{
  "http://dbpedia.org/resource/Temporal_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_structure" } ] } ,
  "http://dbpedia.org/resource/Transition_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_structure" } ] } ,
  "http://dbpedia.org/resource/Linear_time_property" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_structure" } ] } ,
  "http://dbpedia.org/resource/Kripke_structure" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_structure" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_structure_(model_checking)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_structure_(model_checking)" } ] } ,
  "http://dbpedia.org/resource/KeY" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_structure" } ] } ,
  "http://dbpedia.org/resource/CTL*" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_structure" } ] } ,
  "http://dbpedia.org/resource/Saul_Kripke" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_structure" } ] } ,
  "http://dbpedia.org/resource/List_of_terms_relating_to_algorithms_and_data_structures" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_structure" } ] } ,
  "http://dbpedia.org/resource/Linear_temporal_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_structure" } ] } ,
  "http://dbpedia.org/resource/B\u00FCchi_automaton" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_structure" } ] }
}