{
  "http://dbpedia.org/resource/Richard_W._Conway" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] } ,
  "http://dbpedia.org/resource/Type_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] } ,
  "http://dbpedia.org/resource/Program_analysis" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] } ,
  "http://dbpedia.org/resource/Invariant_(mathematics)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] } ,
  "http://dbpedia.org/resource/PL/C" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] } ,
  "http://dbpedia.org/resource/Richard_Lipton" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] } ,
  "http://dbpedia.org/resource/Program_correctness" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Correctness_(computer_science)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Correctness_(computer_science)" } ] } ,
  "http://dbpedia.org/resource/Language-based_security" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] } ,
  "http://dbpedia.org/resource/Specification_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] } ,
  "http://dbpedia.org/resource/David_Gries" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] } ,
  "http://dbpedia.org/resource/On_the_Cruelty_of_Really_Teaching_Computer_Science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] } ,
  "http://dbpedia.org/resource/Const_(computer_programming)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] } ,
  "http://dbpedia.org/resource/Particle_swarm_optimization" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] } ,
  "http://dbpedia.org/resource/Krzysztof_R._Apt" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] } ,
  "http://dbpedia.org/resource/Curry\u2013Howard_correspondence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_correctness" } ] }
}