{
  "http://dbpedia.org/resource/Frama-C" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Interactive_theorem_proving" } ] } ,
  "http://dbpedia.org/resource/Proof_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Interactive_theorem_proving" } ] } ,
  "http://dbpedia.org/resource/Well-formed_formula" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Interactive_theorem_proving" } ] } ,
  "http://dbpedia.org/resource/Formal_proof" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Interactive_theorem_proving" } ] } ,
  "http://dbpedia.org/resource/Functional_programming" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Interactive_theorem_proving" } ] } ,
  "http://dbpedia.org/resource/Automated_reasoning" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Interactive_theorem_proving" } ] } ,
  "http://dbpedia.org/resource/Matita" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Interactive_theorem_proving" } ] } ,
  "http://dbpedia.org/resource/Predicate_transformer_semantics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Interactive_theorem_proving" } ] } ,
  "http://dbpedia.org/resource/Interactive_theorem_proving" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Interactive_theorem_proving" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_assistant" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_assistant" } ] } ,
  "http://dbpedia.org/resource/Tobias_Nipkow" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Interactive_theorem_proving" } ] }
}