{
  "http://dbpedia.org/resource/Baherove_(air_base)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Specification_(technical_standard)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Kaisa_Sere" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/B-Method" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Model_transformation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Software_design" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Program_transformation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Design_by_contract" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Liskov_substitution_principle" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Program_derivation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Program_refinement" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Refinement_(computing)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Refinement_(computing)" } ] } ,
  "http://dbpedia.org/resource/Refinement_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Abstract_state_machine" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Wide-spectrum_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Formal_specification" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Abstraction_(computer_science)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Formal_methods" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/List_of_programming_language_researchers" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Predicative_programming" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/FDR_(software)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Unifying_Theories_of_Programming" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Transformation_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] } ,
  "http://dbpedia.org/resource/Gavin_Lowe_(computer_scientist)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Program_refinement" } ] }
}