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-D9830CFB-EDDB-490A-A456-A11C81427227
Q4588721-D9830CFB-EDDB-490A-A456-A11C81427227
BestRank
Statement
http://www.wikidata.org/entity/statement/Q4588721-D9830CFB-EDDB-490A-A456-A11C81427227
Gerard J. Holzmann
P101
Q4588721-D9830CFB-EDDB-490A-A456-A11C81427227
BestRank
Statement
http://www.wikidata.org/entity/statement/Q4588721-D9830CFB-EDDB-490A-A456-A11C81427227
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
c82c5a6fb89918b502c6d5be9723c1f190b939d2
P101
Model checking