𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the role of unification in mechanical theorem proving

✍ Scribed by Robert E. Shostak

Publisher
Springer-Verlag
Year
1977
Tongue
English
Weight
306 KB
Volume
7
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Special Issue on Advances in First-order
Special Issue on Advances in First-order Theorem Proving Foreword of the Guest Editors
πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 73 KB

The role of first-order theorem proving as a core theme of automated deduction has been recognized since the beginning of the field, at the dawn of artificial intelligence, more than 40 years ago. Although many other logics have been developed and used in AI, deduction systems based on first-order t

On the Reconstruction of Proofs in Distr
On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method
✍ MARIA PAOLA BONACINA πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 541 KB

Proof reconstruction is the operation of extracting the computed proof from the trace of a theorem-proving run. We study the problem of proof reconstruction in distributed theorem proving: because of the distributed nature of the derivation and especially because of deletions of clauses by contracti