PTSTS
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
6
6
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
Modelli_di_Kripke
Modelli_di_Kripke
http://it.dbpedia.org/resource/Modelli_di_Kripke
Kripke structure (model checking)
sameAs
Modelli_di_Kripke
http://it.dbpedia.org/resource/Modelli_di_Kripke