@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Formulation_1	owl:sameAs	dbr:Formulation_1 .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbr:Formulation_1	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/Post\u2013Turing_machine> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/Post\u2013Turing_machine> .
dbr:Algorithm	dbo:wikiPageWikiLink	dbr:Formulation_1 .
dbr:Emil_Leon_Post	dbo:wikiPageWikiLink	dbr:Formulation_1 .