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
Q959513-7efd82c7-4379-c65f-2da6-f06528cd8a67
Q959513-7efd82c7-4379-c65f-2da6-f06528cd8a67
BestRank
Statement
http://www.wikidata.org/entity/statement/Q959513-7efd82c7-4379-c65f-2da6-f06528cd8a67
SPIN model checker
P178
Q959513-7efd82c7-4379-c65f-2da6-f06528cd8a67
BestRank
Statement
http://www.wikidata.org/entity/statement/Q959513-7efd82c7-4379-c65f-2da6-f06528cd8a67
rank
NormalRank
type
BestRank
Statement
P178
Gerard J. Holzmann