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-476AC2E7-330C-4B6F-8607-732FBACBC549
Q4588721-476AC2E7-330C-4B6F-8607-732FBACBC549
BestRank
Statement
http://www.wikidata.org/entity/statement/Q4588721-476AC2E7-330C-4B6F-8607-732FBACBC549
Gerard J. Holzmann
P7859
Q4588721-476AC2E7-330C-4B6F-8607-732FBACBC549
BestRank
Statement
http://www.wikidata.org/entity/statement/Q4588721-476AC2E7-330C-4B6F-8607-732FBACBC549
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
4d32ac1b02a875b46900286163af972817bb0d98
P7859
lccn-n88074098
http://www.w3.org/2001/XMLSchema#string