{
  "http://dbpedia.org/resource/Software_architecture" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/Type_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/B-Method" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/Mechatronics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/Production_equipment_control" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/Formal_method" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_methods" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_methods" } ] } ,
  "http://dbpedia.org/resource/Refinement_(computing)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/Universal_Systems_Language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/Computability_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/Formal_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/Xavier_Leroy" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/Egon_B\u00F6rger" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/Behavior_tree" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/Formal_science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/IRT_Flushing_Line" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/IBM_Laboratory_Vienna" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/Formal_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/Digital_Live_Art" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] } ,
  "http://dbpedia.org/resource/RCOS_(computer_sciences)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_method" } ] }
}