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
Q8637035-F9CB5F47-6D4D-44F2-9F5F-526700412DE2
Q8637035-F9CB5F47-6D4D-44F2-9F5F-526700412DE2
BestRank
Statement
http://www.wikidata.org/entity/statement/Q8637035-F9CB5F47-6D4D-44F2-9F5F-526700412DE2
Category:Model checking
P301
Q8637035-F9CB5F47-6D4D-44F2-9F5F-526700412DE2
BestRank
Statement
http://www.wikidata.org/entity/statement/Q8637035-F9CB5F47-6D4D-44F2-9F5F-526700412DE2
rank
NormalRank
type
BestRank
Statement
P301
Model checking