DBpedia – Linked Data Fragments
DBpedia 2016-04
Query DBpedia 2016-04 by triple pattern
subject
predicate
object
Matches in DBpedia 2016-04 for
{ <http://www.eprover.org> ?p ?o }
Showing triples 1 to 7 of
7
with
100
triples per page.
www.eprover.org
accessdate
"
2009-03-24
"
.
www.eprover.org
first
"
Stephan
"
.
www.eprover.org
isCitedBy
E_theorem_prover
.
www.eprover.org
last
"
Schulz
"
.
www.eprover.org
title
"
The E Equational Theorem Prover
"
.
www.eprover.org
url
"
http://www.eprover.org
"
.
www.eprover.org
year
"
2008
"
.
