DBpedia – Linked Data Fragments
DBpedia 2016-04
Query DBpedia 2016-04 by triple pattern
subject
predicate
object
Matches in DBpedia 2016-04 for
{ ?s ?p "Proofs by Induction in Equational Theories with Constructors" }
Showing triples 1 to 2 of
2
with
100
triples per page.
pdf?md5=91486d696ff2e5535889186ab82e5dde&pid=1-s2.0-002200008290006X-main.pdf
chapter
"
Proofs by Induction in Equational Theories with Constructors
"
.
614db96505b296e35ca284ebc9497855d10e2c5179f9f8f3d89d94e03eb9c837
title
"
Proofs by Induction in Equational Theories with Constructors
"
.
