@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Propositional_calculus	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Induction-induction	dbo:wikiPageWikiLink	dbr:Inductive_definition .
<http://dbpedia.org/resource/Von_Neumann\u2013Bernays\u2013G\u00F6del_set_theory>	dbo:wikiPageWikiLink	dbr:Inductive_definition .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Inductive_definition	owl:sameAs	dbr:Inductive_definition ;
	dbo:wikiPageWikiLink	dbr:Recursive_definition ;
	dbo:wikiPageRedirects	dbr:Recursive_definition .
<http://dbpedia.org/resource/Index_of_philosophy_articles_(I\u2013Q)>	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Semantic_theory_of_truth	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:First-order_logic	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Propositional_formula	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:T-schema	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Truth_condition	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:N-skeleton	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Mathematical_logic	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Well-formed_formula	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Surreal_number	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Hereditarily_countable_set	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Lawrence_Paulson	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Lambda_calculus	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Operational_semantics	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Fibonacci_word	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Star_height_problem	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Induction-recursion	dbo:wikiPageWikiLink	dbr:Inductive_definition .
dbr:Harrop_formula	dbo:wikiPageWikiLink	dbr:Inductive_definition .