DBpedia – Linked Data Fragments
DBpedia 2015-10
Query DBpedia 2015-10 by triple pattern
subject
predicate
object
Matches in DBpedia 2015-10 for
{ <http://research.microsoft.com/en-us/um/people/gonthier/4colproof.pdf> ?p ?o }
Showing triples 1 to 7 of
7
with
100
triples per page.
4colproof.pdf
first
"
Georges
"
.
4colproof.pdf
isCitedBy
Four_color_theorem
.
4colproof.pdf
last
"
Gonthier
"
.
4colproof.pdf
publisher
"
unpublished
"
.
4colproof.pdf
title
"
A computer-checked proof of the four colour theorem
"
.
4colproof.pdf
url
4colproof.pdf
.
4colproof.pdf
year
"
2005
"
.