awgldk
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
Q4588721-74c2aa4a-4102-5931-c69b-539e3a419ec9
Q4588721-74c2aa4a-4102-5931-c69b-539e3a419ec9
BestRank
Statement
http://www.wikidata.org/entity/statement/Q4588721-74c2aa4a-4102-5931-c69b-539e3a419ec9
Gerard J. Holzmann
P166
Q4588721-74c2aa4a-4102-5931-c69b-539e3a419ec9
BestRank
Statement
http://www.wikidata.org/entity/statement/Q4588721-74c2aa4a-4102-5931-c69b-539e3a419ec9
rank
NormalRank
type
BestRank
Statement
P585
2015-01-01T00:00:00Z
http://www.w3.org/2001/XMLSchema#dateTime
P585
418aedfba643e02a5ba758952f8f7765
P166
Harlan D. Mills award