yvandenbroek
/
sprookjes
/
Login
Register
TriplyDB
sprookjes
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
Graphs
2
Q959513-e62077bf-4e45-4f2f-8b33-8b752cd41a74
Q959513-e62077bf-4e45-4f2f-8b33-8b752cd41a74
Statement
http://www.wikidata.org/entity/statement/Q959513-e62077bf-4e45-4f2f-8b33-8b752cd41a74
SPIN model checker
P348
Q959513-e62077bf-4e45-4f2f-8b33-8b752cd41a74
Statement
http://www.wikidata.org/entity/statement/Q959513-e62077bf-4e45-4f2f-8b33-8b752cd41a74
rank
NormalRank
type
Statement
wasDerivedFrom
1be062c510b08df26f6c54777bc94aaa35540756
P577
1991-01-01T00:00:00Z
http://www.w3.org/2001/XMLSchema#dateTime
P577
12fc1cdb4c565b89fee111a6238c56cc
P348
1.0
http://www.w3.org/2001/XMLSchema#string