Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Homotopy_Type_Theory> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Homotopy_Type_Theory wikiPageID "33974273".
- Homotopy_Type_Theory wikiPageRedirects Homotopy_type_theory.
- Homotopy_Type_Theory wikiPageRevisionID "494729467".
- Homotopy_Type_Theory label "Homotopy Type Theory".
- Homotopy_Type_Theory sameAs m.0hn8nh2.
- Homotopy_Type_Theory wasDerivedFrom Homotopy_Type_Theory?oldid=494729467.
- Homotopy_Type_Theory isPrimaryTopicOf Homotopy_Type_Theory.