Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/bf8ee449abdef179fe962a14b7996ea13c4f7109de6d68cea9d8fa06163e9445> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- bf8ee449abdef179fe962a14b7996ea13c4f7109de6d68cea9d8fa06163e9445 author "David A. Duffy".
- bf8ee449abdef179fe962a14b7996ea13c4f7109de6d68cea9d8fa06163e9445 isCitedBy Abstract_rewriting_system.
- bf8ee449abdef179fe962a14b7996ea13c4f7109de6d68cea9d8fa06163e9445 isCitedBy Completeness_(logic).
- bf8ee449abdef179fe962a14b7996ea13c4f7109de6d68cea9d8fa06163e9445 isCitedBy Occurs_check.
- bf8ee449abdef179fe962a14b7996ea13c4f7109de6d68cea9d8fa06163e9445 isCitedBy Substitution_(logic).
- bf8ee449abdef179fe962a14b7996ea13c4f7109de6d68cea9d8fa06163e9445 publisher "Wiley".
- bf8ee449abdef179fe962a14b7996ea13c4f7109de6d68cea9d8fa06163e9445 title "Principles of Automated Theorem Proving".
- bf8ee449abdef179fe962a14b7996ea13c4f7109de6d68cea9d8fa06163e9445 year "1991".