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
Q1569697-77BCEB09-01CE-4421-A045-645F18732457
Q1569697-77BCEB09-01CE-4421-A045-645F18732457
BestRank
Statement
http://www.wikidata.org/entity/statement/Q1569697-77BCEB09-01CE-4421-A045-645F18732457
Model checking
P910
Q1569697-77BCEB09-01CE-4421-A045-645F18732457
BestRank
Statement
http://www.wikidata.org/entity/statement/Q1569697-77BCEB09-01CE-4421-A045-645F18732457
rank
NormalRank
type
BestRank
Statement
P910
Category:Model checking