DBpedia – Linked Data Fragments
DBpedia 2015-10
Query DBpedia 2015-10 by triple pattern
subject
predicate
object
Matches in DBpedia 2015-10 for
{ <http://hdl.handle.net/1842/6649> ?p ?o }
Showing triples 1 to 9 of
9
with
100
triples per page.
6649
first
"
Raymond
"
.
6649
isCitedBy
Structural_induction
.
6649
last
"
Aubin
"
.
6649
publisher
"
University of Edinburgh
"
.
6649
series
"
EDI-INF-PHD
"
.
6649
title
"
Mechanizing Structural Induction
"
.
6649
url
6649
.
6649
volume
"
76-002
"
.
6649
year
"
1976
"
.