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.cs.miami.edu/~tptp/CASC/23/> ?p ?o }
Showing triples 1 to 8 of
8
with
100
triples per page.
23
accessdate
"
2011-08-14
"
.
23
first
"
Geoff
"
.
23
isCitedBy
E_theorem_prover
.
23
last
"
Sutcliffe
"
.
23
publisher
"
University of Miami
"
.
23
title
"
The CADE ATP System Competition
"
.
23
url
"
http://www.cs.miami.edu/~tptp/CASC/23/
"
.
23
year
"
2011
"
.
