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
Q3441191-E36D303C-5681-4510-8DB8-BA8978962D6A
Q3441191-E36D303C-5681-4510-8DB8-BA8978962D6A
BestRank
Statement
http://www.wikidata.org/entity/statement/Q3441191-E36D303C-5681-4510-8DB8-BA8978962D6A
Romeo Model Checker
P366
Q3441191-E36D303C-5681-4510-8DB8-BA8978962D6A
BestRank
Statement
http://www.wikidata.org/entity/statement/Q3441191-E36D303C-5681-4510-8DB8-BA8978962D6A
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
149681922252a561a6217ea26f294af4ac803782
P366
Model checking