{
  "http://dbpedia.org/resource/Isabelle_(proof_assistant)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/SPARK_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Reason" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Tim_Teitelbaum" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Rank_(computer_programming)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Action_semantics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Widening_(computer_science)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Outline_of_academic_disciplines" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/List_of_academic_fields" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Scope_(computer_science)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Syntax_(programming_languages)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Operational_semantics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Outline_of_computer_science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Program_transformation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Java_memory_model" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Liskov_substitution_principle" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Programming_language_specification" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Department_of_Computer_Science_and_Technology,_University_of_Cambridge" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Game_semantics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Programming_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Data_model" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/ML_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Object_model" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Execution_(computing)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] ,
    "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)" } ] } ,
  "http://dbpedia.org/resource/ProActive" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Reification_(computer_science)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Fail-stop" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Axiomatic_semantics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Semantics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Computing" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Abstraction_(computer_science)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Normalisation_by_evaluation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Algorithm" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/List_of_pioneers_in_computer_science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Static_program_analysis" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Predicate_transformer_semantics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Formal_methods" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/KPI-driven_code_analysis" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Outline_of_computer_programming" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Dynamic_semantics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Hidden_algebra" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/SIGNAL_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Kermeta" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Denotational_semantics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Language-independent_specification" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Glossary_of_computer_science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/CIDOC_Conceptual_Reference_Model" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/British_Colloquium_for_Theoretical_Computer_Science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Knaster\u2013Tarski_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Invariant-based_programming" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Observational_equivalence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Argus_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] } ,
  "http://dbpedia.org/resource/Fundamental_modeling_concepts" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ] }
}