Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Kripke_structures> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Kripke_structures wikiPageID "19836140".
- Kripke_structures wikiPageLength "47".
- Kripke_structures wikiPageOutDegree "1".
- Kripke_structures wikiPageRedirects Kripke_structure_(model_checking).
- Kripke_structures wikiPageRevisionID "426549005".
- Kripke_structures wikiPageWikiLink Kripke_structure_(model_checking).
- Kripke_structures label "Kripke structures".
- Kripke_structures wasDerivedFrom Kripke_structures?oldid=426549005.
- Kripke_structures isPrimaryTopicOf Kripke_structures.