DBpedia – Linked Data Fragments
DBpedia 2015-10
Query DBpedia 2015-10 by triple pattern
subject
predicate
object
Matches in DBpedia 2015-10 for
{ <https://github.com/UniMath/UniMath/tree/master/UniMath/Ktheory> ?p ?o }
Showing triples 1 to 3 of
3
with
100
triples per page.
Ktheory
isCitedBy
Homotopy_type_theory
.
Ktheory
title
"
Ktheory library
"
.
Ktheory
url
Ktheory
.