{
  "http://dbpedia.org/resource/CoreASM" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstract_State_Machines" } ] } ,
  "http://dbpedia.org/resource/B-Method" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstract_State_Machines" } ] } ,
  "http://dbpedia.org/resource/Abstract_State_Machines" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstract_State_Machines" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstract_state_machine" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstract_state_machine" } ] } ,
  "http://dbpedia.org/resource/Egon_B\u00F6rger" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstract_State_Machines" } ] } ,
  "http://dbpedia.org/resource/Z_User_Group" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstract_State_Machines" } ] } ,
  "http://dbpedia.org/resource/Formal_methods" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstract_State_Machines" } ] }
}