@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:NetKernel	dbo:wikiPageWikiLink	dbr:Functional_program .
dbr:Program_synthesis	dbo:wikiPageWikiLink	dbr:Functional_program .
<http://dbpedia.org/resource/Church\u2013Rosser_theorem>	dbo:wikiPageWikiLink	dbr:Functional_program .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Functional_program	owl:sameAs	dbr:Functional_program ;
	dbo:wikiPageWikiLink	dbr:Functional_programming ;
	dbo:wikiPageRedirects	dbr:Functional_programming .