{
  "http://dbpedia.org/resource/Mathematical_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] } ,
  "http://dbpedia.org/resource/Outline_of_academic_disciplines" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] } ,
  "http://dbpedia.org/resource/List_of_academic_fields" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] } ,
  "http://dbpedia.org/resource/Object-oriented_programming" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] } ,
  "http://dbpedia.org/resource/Outline_of_formal_science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] } ,
  "http://dbpedia.org/resource/Peter_Mosses" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] } ,
  "http://dbpedia.org/resource/Theory_of_computation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] } ,
  "http://dbpedia.org/resource/Computer_science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] } ,
  "http://dbpedia.org/resource/Formal_methods" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] } ,
  "http://dbpedia.org/resource/Branches_of_science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] } ,
  "http://dbpedia.org/resource/Semantics_(computer_science)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] } ,
  "http://dbpedia.org/resource/Theoretical_computer_science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] } ,
  "http://dbpedia.org/resource/Unifying_Theories_of_Programming" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] } ,
  "http://dbpedia.org/resource/Knaster\u2013Tarski_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] } ,
  "http://dbpedia.org/resource/Program_semantics" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_semantics" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Semantics_(computer_science)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Semantics_(computer_science)" } ] }
}