DBpedia – Linked Data Fragments
DBpedia 2016-04
Query DBpedia 2016-04 by triple pattern
subject
predicate
object
Matches in DBpedia 2016-04 for
{ <https://github.com/HoTT/HoTT> ?p ?o }
Showing triples 1 to 4 of
4
with
100
triples per page.
HoTT
isCitedBy
Homotopy_type_theory
.
HoTT
isCitedBy
Univalent_foundations
.
HoTT
title
"
HoTT library
"
.
HoTT
url
HoTT
.
