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-777ABDF9-14A0-406C-9974-8EA9167D0650
q4588721-777ABDF9-14A0-406C-9974-8EA9167D0650
BestRank
Statement
http://www.wikidata.org/entity/statement/q4588721-777ABDF9-14A0-406C-9974-8EA9167D0650
Gerard J. Holzmann
P214
q4588721-777ABDF9-14A0-406C-9974-8EA9167D0650
BestRank
Statement
http://www.wikidata.org/entity/statement/q4588721-777ABDF9-14A0-406C-9974-8EA9167D0650
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
9a24f7c0208b05d6be97077d855671d1dfdbc0dd
fa278ebfc458360e5aed63d5058cca83c46134f1
P214
5080653
http://www.w3.org/2001/XMLSchema#string
P214
5080653