@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Untyped_lambda_calculus	foaf:primaryTopic	dbr:Untyped_lambda_calculus .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbr:Typed_lambda_calculus	dbo:wikiPageWikiLink	dbr:Untyped_lambda_calculus .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbpedia-global:	<https://global.dbpedia.org/id/> .
dbr:Untyped_lambda_calculus	owl:sameAs	dbpedia-global:kyaB .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Untyped_lambda_calculus	owl:sameAs	wikidata:Q18199149 ,
		dbr:Untyped_lambda_calculus .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Untyped_lambda_calculus	rdfs:label	"Untyped lambda calculus"@en .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Untyped_lambda_calculus	dct:subject	dbc:Lambda_calculus .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Untyped_lambda_calculus	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Untyped_lambda_calculus?oldid=1123964178&ns=0> ;
	foaf:isPrimaryTopicOf	wikipedia-en:Untyped_lambda_calculus ;
	dbo:wikiPageWikiLink	dbr:Lambda_calculus ,
		dbc:Lambda_calculus ;
	dbo:wikiPageRedirects	dbr:Lambda_calculus .
<http://dbpedia.org/resource/Fixed_point_(mathematics)>	dbo:wikiPageWikiLink	dbr:Untyped_lambda_calculus .
dbr:Normalisation_by_evaluation	dbo:wikiPageWikiLink	dbr:Untyped_lambda_calculus .
dbr:Categorical_logic	dbo:wikiPageWikiLink	dbr:Untyped_lambda_calculus .
dbr:Karoubi_envelope	dbo:wikiPageWikiLink	dbr:Untyped_lambda_calculus .
dbr:Functional_programming	dbo:wikiPageWikiLink	dbr:Untyped_lambda_calculus .
dbr:Lambda_calculus	dbo:wikiPageWikiLink	dbr:Untyped_lambda_calculus .
dbr:Denotational_semantics	dbo:wikiPageWikiLink	dbr:Untyped_lambda_calculus .
dbr:Simply_typed_lambda_calculus	dbo:wikiPageWikiLink	dbr:Untyped_lambda_calculus .
dbr:List_of_paradoxes	dbo:wikiPageWikiLink	dbr:Untyped_lambda_calculus .
<http://dbpedia.org/resource/Mogensen\u2013Scott_encoding>	dbo:wikiPageWikiLink	dbr:Untyped_lambda_calculus .