{
  "http://dbpedia.org/resource/John_Guttag" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Hardware_verification" } ] } ,
  "http://dbpedia.org/resource/ACL2" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Hardware_verification" } ] } ,
  "http://dbpedia.org/resource/Verification" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Hardware_verification" } ] ,
    "http://dbpedia.org/ontology/wikiPageDisambiguates" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Hardware_verification" } ] } ,
  "http://dbpedia.org/resource/Software_verification" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Hardware_verification" } ] } ,
  "http://dbpedia.org/resource/SAT_solver" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Hardware_verification" } ] } ,
  "http://dbpedia.org/resource/Edmund_M._Clarke" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Hardware_verification" } ] } ,
  "http://dbpedia.org/resource/Jason_Baumgartner" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Hardware_verification" } ] } ,
  "http://dbpedia.org/resource/Hardware_verification" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Hardware_verification" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Electronic_design_automation" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Electronic_design_automation" } ] }
}