Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Higher_inductive_type> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- Higher_inductive_type wikiPageID "44636930".
- Higher_inductive_type wikiPageLength "78".
- Higher_inductive_type wikiPageOutDegree "1".
- Higher_inductive_type wikiPageRedirects Homotopy_type_theory.
- Higher_inductive_type wikiPageRevisionID "637178750".
- Higher_inductive_type wikiPageWikiLink Homotopy_type_theory.
- Higher_inductive_type wikiPageWikiLinkText "higher inductive type".
- Higher_inductive_type wikiPageUsesTemplate Template:R_with_potential.
- Higher_inductive_type label "Higher inductive type".
- Higher_inductive_type wasDerivedFrom Higher_inductive_type?oldid=637178750.
- Higher_inductive_type isPrimaryTopicOf Higher_inductive_type.