Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Inductive_data_type> ?p ?o }
Showing triples 1 to 20 of
20
with 100 triples per page.
- Inductive_data_type wikiPageID "3699637".
- Inductive_data_type wikiPageLength "518".
- Inductive_data_type wikiPageOutDegree "5".
- Inductive_data_type wikiPageRevisionID "470348807".
- Inductive_data_type wikiPageWikiLink Algebraic_data_type.
- Inductive_data_type wikiPageWikiLink Category:Dependently_typed_programming.
- Inductive_data_type wikiPageWikiLink Category:Type_theory.
- Inductive_data_type wikiPageWikiLink Inductive_family.
- Inductive_data_type wikiPageWikiLink Intuitionistic_type_theory.
- Inductive_data_type wikiPageWikiLink Recursive_data_type.
- Inductive_data_type wikiPageWikiLinkText "Inductive data type".
- Inductive_data_type wikiPageUsesTemplate Template:Disambiguation.
- Inductive_data_type subject Category:Dependently_typed_programming.
- Inductive_data_type subject Category:Type_theory.
- Inductive_data_type type Page.
- Inductive_data_type label "Inductive data type".
- Inductive_data_type sameAs Q16797580.
- Inductive_data_type sameAs Q16797580.
- Inductive_data_type wasDerivedFrom Inductive_data_type?oldid=470348807.
- Inductive_data_type isPrimaryTopicOf Inductive_data_type.