DBpedia – Linked Data Fragments
DBpedia 2016-04
Query DBpedia 2016-04 by triple pattern
subject
predicate
object
Matches in DBpedia 2016-04 for
{ <http://adam.chlipala.net/tmp/compose.pdf> ?p ?o }
Showing triples 1 to 6 of
6
with
100
triples per page.
compose.pdf
first
"
Adam
"
.
compose.pdf
isCitedBy
Compiler
.
compose.pdf
last
"
Chlipala
"
.
compose.pdf
publisher
"
Harvard University Cambridge, Massachusetts, USA
"
.
compose.pdf
title
"
Syntactic Proofs of Compositional Compiler Correctness
"
.
compose.pdf
url
"
http://adam.chlipala.net/tmp/compose.pdf
"
.
