Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Univalence_axiom> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Univalence_axiom wikiPageID "40028010".
- Univalence_axiom wikiPageLength "85".
- Univalence_axiom wikiPageOutDegree "1".
- Univalence_axiom wikiPageRedirects Homotopy_type_theory.
- Univalence_axiom wikiPageRevisionID "628963387".
- Univalence_axiom wikiPageWikiLink Homotopy_type_theory.
- Univalence_axiom wikiPageWikiLinkText "Univalence axiom".
- Univalence_axiom wikiPageWikiLinkText "univalence axiom".
- Univalence_axiom wikiPageUsesTemplate Template:R_from_merge.
- Univalence_axiom wikiPageUsesTemplate Template:R_to_section.
- Univalence_axiom label "Univalence axiom".
- Univalence_axiom wasDerivedFrom Univalence_axiom?oldid=628963387.
- Univalence_axiom isPrimaryTopicOf Univalence_axiom.