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-542cf09e-4a13-b839-bdce-62ffbf0e82ad
Q959513-542cf09e-4a13-b839-bdce-62ffbf0e82ad
Statement
http://www.wikidata.org/entity/statement/Q959513-542cf09e-4a13-b839-bdce-62ffbf0e82ad
SPIN model checker
P348
Q959513-542cf09e-4a13-b839-bdce-62ffbf0e82ad
Statement
http://www.wikidata.org/entity/statement/Q959513-542cf09e-4a13-b839-bdce-62ffbf0e82ad
rank
NormalRank
type
Statement
P577
1995-01-07T00:00:00Z
http://www.w3.org/2001/XMLSchema#dateTime
P577
74c6ebdc700014215df549e7a2fb4626
P348
2.0.1
http://www.w3.org/2001/XMLSchema#string