Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Structural_induction> ?p ?o }
Showing triples 1 to 70 of
70
with 100 triples per page.
- Structural_induction thumbnail Waldburg_Ahnentafel.jpg?width=300.
- Structural_induction wikiPageExternalLink 6649.
- Structural_induction wikiPageID "211399".
- Structural_induction wikiPageLength "10400".
- Structural_induction wikiPageOutDegree "27".
- Structural_induction wikiPageRevisionID "706309956".
- Structural_induction wikiPageWikiLink Binary_tree.
- Structural_induction wikiPageWikiLink Category:Graph_theory.
- Structural_induction wikiPageWikiLink Category:Logic_in_computer_science.
- Structural_induction wikiPageWikiLink Category:Mathematical_induction.
- Structural_induction wikiPageWikiLink Category:Mathematical_logic.
- Structural_induction wikiPageWikiLink Category:Mathematical_proofs.
- Structural_induction wikiPageWikiLink Category:Wellfoundedness.
- Structural_induction wikiPageWikiLink Coinduction.
- Structural_induction wikiPageWikiLink Computer_science.
- Structural_induction wikiPageWikiLink Family_tree.
- Structural_induction wikiPageWikiLink Graph_theory.
- Structural_induction wikiPageWikiLink Initial_algebra.
- Structural_induction wikiPageWikiLink Mathematical_induction.
- Structural_induction wikiPageWikiLink Mathematical_logic.
- Structural_induction wikiPageWikiLink Maximal_element.
- Structural_induction wikiPageWikiLink Partially_ordered_set.
- Structural_induction wikiPageWikiLink Recursion.
- Structural_induction wikiPageWikiLink Recursive_definition.
- Structural_induction wikiPageWikiLink Ultraproduct.
- Structural_induction wikiPageWikiLink Well-founded_relation.
- Structural_induction wikiPageWikiLink Well-ordering_principle.
- Structural_induction wikiPageWikiLink File:Waldburg_Ahnentafel.jpg.
- Structural_induction wikiPageWikiLinkText "Structural induction".
- Structural_induction wikiPageWikiLinkText "certain recursive functions".
- Structural_induction wikiPageWikiLinkText "induction on the structure".
- Structural_induction wikiPageWikiLinkText "induction".
- Structural_induction wikiPageWikiLinkText "recursive on the number of variables".
- Structural_induction wikiPageWikiLinkText "structural induction".
- Structural_induction wikiPageUsesTemplate Template:Citation.
- Structural_induction wikiPageUsesTemplate Template:Cite_book.
- Structural_induction wikiPageUsesTemplate Template:Cite_conference.
- Structural_induction wikiPageUsesTemplate Template:Cite_journal.
- Structural_induction subject Category:Graph_theory.
- Structural_induction subject Category:Logic_in_computer_science.
- Structural_induction subject Category:Mathematical_induction.
- Structural_induction subject Category:Mathematical_logic.
- Structural_induction subject Category:Mathematical_proofs.
- Structural_induction subject Category:Wellfoundedness.
- Structural_induction hypernym Method.
- Structural_induction type Software.
- Structural_induction type Combinatoric.
- Structural_induction type Field.
- Structural_induction type Proof.
- Structural_induction type Relation.
- Structural_induction type Theorem.
- Structural_induction comment "Structural induction is a proof method that is used in mathematical logic (e.g., in the proof of Łoś' theorem), computer science, graph theory, and some other mathematical fields. It is a generalization of mathematical induction over natural numbers, and can be further generalized to arbitrary Noetherian induction.".
- Structural_induction label "Structural induction".
- Structural_induction sameAs Q1932759.
- Structural_induction sameAs Strukturelle_Induktion.
- Structural_induction sameAs Inducción_estructural.
- Structural_induction sameAs استقرای_ساختاری.
- Structural_induction sameAs 構造的帰納法.
- Structural_induction sameAs Structurele_inductie.
- Structural_induction sameAs Indukcja_strukturalna.
- Structural_induction sameAs Indução_estrutural.
- Structural_induction sameAs m.01d_g5.
- Structural_induction sameAs Структурная_индукция.
- Structural_induction sameAs සූර්යාගේ_ව්යුහය.
- Structural_induction sameAs Структурна_индукција.
- Structural_induction sameAs Q1932759.
- Structural_induction sameAs 结构归纳法.
- Structural_induction wasDerivedFrom Structural_induction?oldid=706309956.
- Structural_induction depiction Waldburg_Ahnentafel.jpg.
- Structural_induction isPrimaryTopicOf Structural_induction.