@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
<http://dbpedia.org/resource/Kleene\u2013Brouwer_order>	dbo:wikiPageWikiLink	dbr:Recursive_ordinal .
<http://dbpedia.org/resource/Kleene\u0027s_O>	dbo:wikiPageWikiLink	dbr:Recursive_ordinal .
dbr:Large_countable_ordinal	dbo:wikiPageWikiLink	dbr:Recursive_ordinal .
dbr:Admissible_ordinal	dbo:wikiPageWikiLink	dbr:Recursive_ordinal .
dbr:Turing_reduction	dbo:wikiPageWikiLink	dbr:Recursive_ordinal .
dbr:Fast-growing_hierarchy	dbo:wikiPageWikiLink	dbr:Recursive_ordinal .
dbr:Ordinal_collapsing_function	dbo:wikiPageWikiLink	dbr:Recursive_ordinal .
dbr:Hyperarithmetical_theory	dbo:wikiPageWikiLink	dbr:Recursive_ordinal .
dbr:Pointclass	dbo:wikiPageWikiLink	dbr:Recursive_ordinal .
dbr:Borel_hierarchy	dbo:wikiPageWikiLink	dbr:Recursive_ordinal .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Recursive_ordinal	owl:sameAs	<http://rdf.freebase.com/ns/m.0d67p8> .
@prefix yago-res:	<http://yago-knowledge.org/resource/> .
dbr:Recursive_ordinal	owl:sameAs	yago-res:Recursive_ordinal ,
		<https://global.dbpedia.org/id/7zwSJ> ,
		dbr:Recursive_ordinal ;
	dbo:wikiPageWikiLink	dbr:Computable_ordinal ;
	dbo:wikiPageRedirects	dbr:Computable_ordinal .
<http://dbpedia.org/resource/Reduction_(computability_theory)>	dbo:wikiPageWikiLink	dbr:Recursive_ordinal .
dbr:Nonrecursive_ordinal	dbo:wikiPageWikiLink	dbr:Recursive_ordinal .
dbr:Ordinal_analysis	dbo:wikiPageWikiLink	dbr:Recursive_ordinal .