{
  "http://dbpedia.org/resource/Window_operator" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_model" } ] } ,
  "http://dbpedia.org/resource/Interpretation_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_model" } ] } ,
  "http://dbpedia.org/resource/Mathematical_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_model" } ] } ,
  "http://dbpedia.org/resource/Dynamic_epistemic_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_model" } ] } ,
  "http://dbpedia.org/resource/Admissible_rule" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_model" } ] } ,
  "http://dbpedia.org/resource/Inhabited_set" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_model" } ] } ,
  "http://dbpedia.org/resource/Fair_computational_tree_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_model" } ] } ,
  "http://dbpedia.org/resource/Modal_depth" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_model" } ] } ,
  "http://dbpedia.org/resource/Kripke_model" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_model" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_semantics" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Kripke_semantics" } ] }
}