{
  "http://en.wikipedia.org/wiki/Untyped_lambda_calculus" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Untyped_lambda_calculus" } ] } ,
  "http://dbpedia.org/resource/Untyped_lambda_calculus" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Untyped_lambda_calculus" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q18199149" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/kyaB" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Untyped lambda calculus" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Lambda_calculus" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Untyped_lambda_calculus?oldid=1123964178&ns=0" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Lambda_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Lambda_calculus" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Lambda_calculus" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Untyped_lambda_calculus" } ] } ,
  "http://dbpedia.org/resource/Karoubi_envelope" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Untyped_lambda_calculus" } ] } ,
  "http://dbpedia.org/resource/Fixed_point_(mathematics)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Untyped_lambda_calculus" } ] } ,
  "http://dbpedia.org/resource/Typed_lambda_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Untyped_lambda_calculus" } ] } ,
  "http://dbpedia.org/resource/List_of_paradoxes" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Untyped_lambda_calculus" } ] } ,
  "http://dbpedia.org/resource/Lambda_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Untyped_lambda_calculus" } ] } ,
  "http://dbpedia.org/resource/Simply_typed_lambda_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Untyped_lambda_calculus" } ] } ,
  "http://dbpedia.org/resource/Normalisation_by_evaluation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Untyped_lambda_calculus" } ] } ,
  "http://dbpedia.org/resource/Categorical_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Untyped_lambda_calculus" } ] } ,
  "http://dbpedia.org/resource/Functional_programming" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Untyped_lambda_calculus" } ] } ,
  "http://dbpedia.org/resource/Denotational_semantics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Untyped_lambda_calculus" } ] } ,
  "http://dbpedia.org/resource/Mogensen\u2013Scott_encoding" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Untyped_lambda_calculus" } ] }
}