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:Tree_(graph_theory) dbr:Recursion dbc:Mathematical_proofs dbc:Graph_theory dbr:First-order_logic dbr:Coinduction dbr:Rózsa_Péter dbc:Logic_in_computer_science dbr:Initial_algebra dbc:Mathematical_logic dbr:Graph_theory dbc:Mathematical_induction dbr:Mathematical_induction dbr:Computer_science dbr:Family_tree dbc:Wellfoundedness dbr:Mathematical_logic dbr:Ultraproduct dbr:Partial_order dbr:Loop_invariant dbr:Binary_tree dbr:Well-ordering_principle dbr:Recursive_definition dbr:List_(computer_science) dbr:Well-founded dbr:Well-founded_induction dbr:File:Waldburg_Ahnentafel.jpg dbr:For_all dbr:Noetherian_induction dbr:Minimal_element dbr:Proof_method
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:YouTube dbt:Math dbt:Cite_journal dbt:Cite_conference dbt:Sup dbt:Citation dbt:Mvar dbt:Mathematical_logic dbt:Ordered_list dbt:Short_description
dct:subject	dbc:Mathematical_proofs dbc:Graph_theory dbc:Logic_in_computer_science dbc:Mathematical_logic dbc:Mathematical_induction dbc:Wellfoundedness
gold:hypernym	dbr:Method
rdfs:label	Structural induction (en) Induction structurelle (fr) Inducción estructural (es) Strukturelle Induktion (de) 構造的帰納法 (ja) Indukcja strukturalna (pl) Structurele inductie (nl) Indução estrutural (pt) Структурная индукция (ru) Структурна індукція (uk) 结构归纳法 (zh)
owl:sameAs	freebase:Structural induction yago-res:Structural induction wikidata:Structural induction dbpedia-nl:Structural induction dbpedia-de:Structural induction dbpedia-fr:Structural induction dbpedia-zh:Structural induction dbpedia-ja:Structural induction dbpedia-pt:Structural induction dbpedia-es:Structural induction dbpedia-fa:Structural induction dbpedia-ru:Structural induction dbpedia-pl: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:Inductive_type dbr:Recursion dbr:Intuitionistic_type_theory dbr:Alexey_Ivakhnenko dbr:Program_synthesis dbr:Coinduction dbr:Induction dbr:Mathematical_induction dbr:Recursion_(computer_science) dbr:Well-founded_relation dbr:Group_method_of_data_handling dbr:List_of_mathematical_logic_topics dbr:Loop_invariant dbr:Structured_program_theorem dbr:Recursive_definition dbr:Dependence_logic dbr:Dafny 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