{
  "http://dbpedia.org/resource/Total_functional_programming" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Machine_that_always_halts" } ] } ,
  "http://dbpedia.org/resource/Halting_problem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Machine_that_always_halts" } ] } ,
  "http://dbpedia.org/resource/Chomsky_hierarchy" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Machine_that_always_halts" } ] } ,
  "http://dbpedia.org/resource/BlooP_and_FlooP" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Machine_that_always_halts" } ] } ,
  "http://dbpedia.org/resource/Recursive_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Machine_that_always_halts" } ] } ,
  "http://dbpedia.org/resource/Primitive_recursive_function" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Machine_that_always_halts" } ] } ,
  "http://dbpedia.org/resource/Turing_completeness" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Machine_that_always_halts" } ] } ,
  "http://dbpedia.org/resource/Circuit_complexity" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Machine_that_always_halts" } ] } ,
  "http://dbpedia.org/resource/Machine_that_always_halts" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.04w11w" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/7mj7C" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Machine_that_always_halts" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Machine" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Decider_(Turing_machine)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Decider_(Turing_machine)" } ] }
}