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-C12DB173-A30B-4151-AC71-0D3CE0DC94CE
Q4588721-C12DB173-A30B-4151-AC71-0D3CE0DC94CE
BestRank
Statement
http://www.wikidata.org/entity/statement/Q4588721-C12DB173-A30B-4151-AC71-0D3CE0DC94CE
Gerard J. Holzmann
P269
Q4588721-C12DB173-A30B-4151-AC71-0D3CE0DC94CE
BestRank
Statement
http://www.wikidata.org/entity/statement/Q4588721-C12DB173-A30B-4151-AC71-0D3CE0DC94CE
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
bce174f90a76ac924204cf7f23576399f20db07b
P269
110460227
http://www.w3.org/2001/XMLSchema#string
P269
id