@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Saul_Kripke	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Mathematical_logic	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Kleene\u2013Brouwer_order>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Recursion_theory	owl:sameAs	dbr:Recursion_theory ;
	dbo:wikiPageWikiLink	dbr:Computability_theory ;
	dbo:wikiPageRedirects	dbr:Computability_theory .
<http://dbpedia.org/resource/Yiannis_N._Moschovakis>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Effective_descriptive_set_theory	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/John_V._Tucker>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Set_theory	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Vela_Velupillai	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Axiom_of_reducibility	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:List_of_mathematical_theories	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:List_of_inventions_and_discoveries_by_women	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/List_of_Cornell_University_alumni_(natural_sciences)>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/R\u00F3zsa_P\u00E9ter>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Viggo_Stoltenberg-Hansen	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Outline_of_academic_disciplines	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:List_of_academic_fields	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/0>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:History_of_logic	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Math_in_Moscow	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Outline_of_mathematics	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Computable_function	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Polynomial_creativity	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Theodore_Slaman	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:List_of_computer_scientists	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Constructive_set_theory	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Propositional_formula	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Hartley_Rogers_Jr.>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Norman_Routledge	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:List_of_Vanderbilt_University_people	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:David_Hilbert	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:List_of_theorems	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Glossary_of_areas_of_mathematics	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Outline_of_formal_science	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Limit_(mathematics)>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Decision_problem	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Martin_Hyland	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:David_Seetapun	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Complexity_and_Real_Computation	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Primitive_recursive_functional	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Proof_theory	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Kurt_G\u00F6del>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:General_recursive_function	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Marian_Pour-El	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Computational_epistemology	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Stanley_Tennenbaum	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Joseph_R._Shoenfield>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Dimiter_Skordev	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences)>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Theory_of_computation	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Computability	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Stephen_Cole_Kleene	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:List_of_important_publications_in_theoretical_computer_science	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Halting_problem	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Jim_Hefferon	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Leo_Harrington	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Tam\u00E1s_Erd\u00E9lyi_(mathematician)>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Sy_Friedman	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Logic	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Integer_sequence	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Bounded_quantifier	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/\u039C_operator>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:McCarthy_Formalism	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Herbert_Enderton	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Small_cancellation_theory	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Adian\u2013Rabin_theorem>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:List_of_pioneers_in_computer_science	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/K\u0151nig\u0027s_lemma>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Emil_Leon_Post	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Hyperarithmetical_theory	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/\u03A001_class>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Low_(computability)>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Robin_Gandy	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Rohit_Jivanlal_Parikh	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Chaitin\u0027s_constant>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Robert_I._Soare>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Steve_Simpson_(mathematician)>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Non-standard_model_of_arithmetic	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Rice\u2013Shapiro_theorem>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Andrzej_Mostowski	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Forcing_(mathematics)>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/G\u00F6del\u0027s_incompleteness_theorems>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Reverse_mathematics	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Recursive_function	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Self-replicating_machine	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Enumeration	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Mu_(letter)>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Patrick_C._Fischer>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Metamathematics	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Turing_machine	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Arithmetical_hierarchy	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Borel_hierarchy	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Post\u0027s_theorem>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Set-theoretic_topology	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Alpha_recursion_theory	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Semicomputable_function	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Meanings_of_minor_planet_names:_464001\u2013465000>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Barbara_Falkenbach_Ryan	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Carl_Jockusch	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Myhill_isomorphism_theorem	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Implicit_computational_complexity	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Creative_and_productive_sets	dbo:wikiPageWikiLink	dbr:Recursion_theory .
<http://dbpedia.org/resource/Rice\u0027s_theorem>	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Gerald_Sacks	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Richard_Shore	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Maximal_set	dbo:wikiPageWikiLink	dbr:Recursion_theory .
dbr:Computable_real_function	dbo:wikiPageWikiLink	dbr:Recursion_theory .