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
Q17072293-35BA8DCD-1C73-48AA-8BE4-D1AF2CEAC11C
Q17072293-35BA8DCD-1C73-48AA-8BE4-D1AF2CEAC11C
BestRank
Statement
http://www.wikidata.org/entity/statement/Q17072293-35BA8DCD-1C73-48AA-8BE4-D1AF2CEAC11C
NuSMV
P366
Q17072293-35BA8DCD-1C73-48AA-8BE4-D1AF2CEAC11C
BestRank
Statement
http://www.wikidata.org/entity/statement/Q17072293-35BA8DCD-1C73-48AA-8BE4-D1AF2CEAC11C
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
35cc481bd0dba179f55649719fc5e685568b4584
P366
Model checking