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-4D7FF5F9-DCDF-45DD-A247-234CD0E194D6
Q4588721-4D7FF5F9-DCDF-45DD-A247-234CD0E194D6
BestRank
Statement
http://www.wikidata.org/entity/statement/Q4588721-4D7FF5F9-DCDF-45DD-A247-234CD0E194D6
Gerard J. Holzmann
P1015
Q4588721-4D7FF5F9-DCDF-45DD-A247-234CD0E194D6
BestRank
Statement
http://www.wikidata.org/entity/statement/Q4588721-4D7FF5F9-DCDF-45DD-A247-234CD0E194D6
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
a4293b1c5f91574806d1a8df1fbc654e0b5e3777
P1015
90378158
http://www.w3.org/2001/XMLSchema#string
P1015
90378158