✦ LIBER ✦

Model Evolution-Based Theorem Proving

Book ID: 123614430
Publisher: IEEE
Year: 2014
Tongue: English
Weight: 630 KB
Volume: 29
Category: Article
ISSN: 1541-1672
DOI: 10.1109/MIS.2013.124

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mechanical Theorem-Proving by Model Elim

Mechanical Theorem-Proving by Model Elimination

✍ Loveland, Donald W. 📂 Article 📅 1968 🏛 Association for Computing Machinery 🌐 English ⚖ 959 KB

leanCoP: lean connection-based theorem p

leanCoP: lean connection-based theorem proving

✍ Jens Otten; Wolfgang Bibel 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 372 KB

The Prolog program implements a theorem prover for classical first-order (clausal) logic which is based on the connection calculus. It is sound and complete (provided that an arbitrarily large I is iteratively given), and demonstrates a comparatively strong performance.

Theorem Proving Based on the Extension R

Theorem Proving Based on the Extension Rule

✍ Lin Hai; Sun Jigui; Zhang Yimin 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 84 KB

Theorem Proving Modulo

✍ Gilles Dowek; Thérèse Hardin; Claude Kirchner 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 238 KB

Proving Pythagoras' Theorem

✍ Carlos Zuluaga 📂 Article 📅 1996 ⚖ 280 KB

Proving Pythagoras' Theorem

✍ John Ling 📂 Article 📅 1995 ⚖ 162 KB