{
  "http://dbpedia.org/resource/Widening_(computer_science)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstraction_model_checking" } ] } ,
  "http://dbpedia.org/resource/Hybrid_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstraction_model_checking" } ] } ,
  "http://dbpedia.org/resource/SLAM_project" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstraction_model_checking" } ] } ,
  "http://dbpedia.org/resource/Abstraction_model_checking" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.027yppd" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/8S1Un" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstraction_model_checking" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstract_model_checking" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstract_model_checking" } ] }
}