DBpedia – Linked Data Fragments
DBpedia 2015-10
Query DBpedia 2015-10 by triple pattern
subject
predicate
object
Matches in DBpedia 2015-10 for
{ <http://comet.lehman.cuny.edu/fitting/> ?p ?o }
Showing triples 1 to 8 of
8
with
100
triples per page.
fitting
edition
"
2
"
.
fitting
first
"
Melvin
"
.
fitting
isCitedBy
Automated_theorem_proving
.
fitting
last
"
Fitting
"
.
fitting
publisher
Springer_Science+Business_Media
.
fitting
title
"
First-Order Logic and Automated Theorem Proving
"
.
fitting
url
fitting
.
fitting
year
"
1996
"
.