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