About: Structural induction

Property	Value
dbo:description	form of mathematical proof (en) форма математичного доведення (uk) mathematisches Beweisverfahren (de)
dbo:thumbnail	wiki-commons:Special:FilePath/Waldburg_Ahnentafel.jpg?width=300
dbo:wikiPageExternalLink	https://hal.inria.fr/inria-00076533/file/RR-0028.pdf https://archive.org/details/trent_0116404725818
dbo:wikiPageWikiLink	dbr:Well-ordering_principle dbr:Coinduction dbr:Loop_invariant dbc:Logic_in_computer_science dbr:Computer_science dbr:Mathematical_logic dbr:Graph_theory dbr:Rózsa_Péter dbr:Tree_(graph_theory) dbr:Mathematical_induction dbr:Recursion dbr:Ultraproduct dbr:First-order_logic dbr:Family_tree dbr:Partial_order dbr:Recursive_definition dbr:Binary_tree dbc:Wellfoundedness dbc:Mathematical_logic dbc:Graph_theory dbc:Mathematical_proofs dbc:Mathematical_induction dbr:Initial_algebra dbr:Proof_method dbr:List_(computer_science) dbr:For_all dbr:Well-founded dbr:Well-founded_induction dbr:Noetherian_induction dbr:Minimal_element dbr:File:Waldburg_Ahnentafel.jpg
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Mathematical_logic dbt:Citation dbt:Cite_conference dbt:Cite_journal dbt:Math dbt:Mvar dbt:Ordered_list dbt:Short_description dbt:Sup dbt:YouTube
dct:subject	dbc:Logic_in_computer_science dbc:Wellfoundedness dbc:Mathematical_logic dbc:Graph_theory dbc:Mathematical_proofs dbc:Mathematical_induction
gold:hypernym	dbr:Method
rdfs:label	Structural induction (en) Induction structurelle (fr) Strukturelle Induktion (de) Inducción estructural (es) 構造的帰納法 (ja) Indukcja strukturalna (pl) Indução estrutural (pt) Structurele inductie (nl) Структурная индукция (ru) Структурна індукція (uk) 结构归纳法 (zh)
owl:sameAs	yago-res:Structural induction freebase:Structural induction wikidata:Structural induction dbpedia-de:Structural induction dbpedia-es:Structural induction dbpedia-nl:Structural induction dbpedia-pl:Structural induction dbpedia-fr:Structural induction dbpedia-ja:Structural induction dbpedia-pt:Structural induction dbpedia-ru:Structural induction dbpedia-zh:Structural induction dbpedia-fa:Structural induction dbpedia-si:Structural induction dbpedia-sr:Structural induction dbpedia-uk:Structural induction dbpedia-global:Structural induction
prov:wasDerivedFrom	wikipedia-en:Structural_induction?oldid=1188111032&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Waldburg_Ahnentafel.jpg
foaf:isPrimaryTopicOf	wikipedia-en:Structural_induction
is dbo:wikiPageDisambiguates of	dbr:Induction
is dbo:wikiPageRedirects of	dbr:Structural_recursion dbr:Structural_recursion dbr:Recursive_on_the_number_of_variables dbr:Induction_on_the_structure
is dbo:wikiPageWikiLink of	dbr:Sprague–Grundy_theorem dbr:Recursion_(computer_science) dbr:Coinduction dbr:Loop_invariant dbr:Program_synthesis dbr:Alexey_Ivakhnenko dbr:Mathematical_induction dbr:Recursion dbr:Well-founded_relation dbr:Dafny dbr:Intuitionistic_type_theory dbr:Group_method_of_data_handling dbr:Dependence_logic dbr:Induction dbr:Structured_program_theorem dbr:Recursive_definition dbr:List_of_mathematical_logic_topics dbr:Inductive_type dbr:Path_ordering_(term_rewriting) dbr:Structural_recursion dbr:Recursive_on_the_number_of_variables dbr:Induction_on_the_structure
is rdfs:seeAlso of	dbr:Recursion_(computer_science)
is foaf:primaryTopic of	wikipedia-en:Structural_induction