Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Inductive_type> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Inductive_type wikiPageExternalLink dybjer60thBirthdayGothenburgJune2013.pdf.
- Inductive_type wikiPageExternalLink setzerLisbon2012InductionInductionInduction.pdf.
- Inductive_type wikiPageID "22778065".
- Inductive_type wikiPageLength "3734".
- Inductive_type wikiPageOutDegree "20".
- Inductive_type wikiPageRevisionID "671511117".
- Inductive_type wikiPageWikiLink Binary_relation.
- Inductive_type wikiPageWikiLink Category:Type_theory.
- Inductive_type wikiPageWikiLink Coinduction.
- Inductive_type wikiPageWikiLink Coq.
- Inductive_type wikiPageWikiLink Data_structure.
- Inductive_type wikiPageWikiLink Homotopy_type_theory.
- Inductive_type wikiPageWikiLink Impredicative.
- Inductive_type wikiPageWikiLink Impredicativity.
- Inductive_type wikiPageWikiLink Induction-recursion_(type_theory).
- Inductive_type wikiPageWikiLink Intuitionistic_type_theory.
- Inductive_type wikiPageWikiLink Natural_number.
- Inductive_type wikiPageWikiLink Number.
- Inductive_type wikiPageWikiLink Parity_(mathematics).
- Inductive_type wikiPageWikiLink Peano_axioms.
- Inductive_type wikiPageWikiLink Relation_(mathematics).
- Inductive_type wikiPageWikiLink Structural_induction.
- Inductive_type wikiPageWikiLink Structural_recursion.
- Inductive_type wikiPageWikiLink Successor_function.
- Inductive_type wikiPageWikiLink Tree_(graph_theory).
- Inductive_type wikiPageWikiLink Type_theory.
- Inductive_type wikiPageWikiLink Universe_type.
- Inductive_type wikiPageWikiLink Well-founded_relation.
- Inductive_type wikiPageWikiLinkText "inductive type".
- Inductive_type wikiPageWikiLinkText "inductively".
- Inductive_type hasPhotoCollection Inductive_type.
- Inductive_type subject Category:Type_theory.
- Inductive_type comment "In type theory, a system has inductive types if it has facilities for creating a new type along with constants and functions that create terms of that type. The feature serves a role similar to data structures in a programming language and allows a type theory to add concepts like numbers, relations, and trees.".
- Inductive_type label "Inductive type".
- Inductive_type sameAs m.0wk71wk.
- Inductive_type sameAs Q17092426.
- Inductive_type sameAs Q17092426.
- Inductive_type wasDerivedFrom Inductive_type?oldid=671511117.
- Inductive_type isPrimaryTopicOf Inductive_type.