Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Homotopical_type_theory> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Homotopical_type_theory wikiPageID "33974237".
- Homotopical_type_theory wikiPageLength "34".
- Homotopical_type_theory wikiPageOutDegree "1".
- Homotopical_type_theory wikiPageRedirects Homotopy_type_theory.
- Homotopical_type_theory wikiPageRevisionID "464396159".
- Homotopical_type_theory wikiPageWikiLink Homotopy_type_theory.
- Homotopical_type_theory label "Homotopical type theory".
- Homotopical_type_theory wasDerivedFrom Homotopical_type_theory?oldid=464396159.
- Homotopical_type_theory isPrimaryTopicOf Homotopical_type_theory.