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/vladimirias/2010_CMU> ?p ?o }
Showing triples 1 to 7 of
7
with
100
triples per page.
2010_CMU
author1Link
"
Vladimir Voevodsky
"
.
2010_CMU
first1
"
Vladimir
"
.
2010_CMU
isCitedBy
Homotopy_type_theory
.
2010_CMU
last1
"
Voevodsky
"
.
2010_CMU
title
"
The equivalence axiom and univalent models of type theory
"
.
2010_CMU
url
2010_CMU
.
2010_CMU
year
"
2010
"
.