✦ LIBER ✦

Theorem Proving Based on the Extension Rule

✍ Scribed by Lin Hai; Sun Jigui; Zhang Yimin

Book ID: 111568763
Publisher: Springer Netherlands
Year: 2003
Tongue: English
Weight: 84 KB
Volume: 31
Category: Article
ISSN: 0168-7433
DOI: 10.1023/a:1027339205632

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Theorem proving based on the partial ins

Theorem proving based on the partial instantiation technique

✍ Masahito Yamamoto; Azuma Ohuchi; Toshio Ohyanagi 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 643 KB

Theorem-Proving on the Computer

✍ Robinson, J. A. 📂 Article 📅 1963 🏛 Association for Computing Machinery 🌐 English ⚖ 688 KB

Mechanical geometry theorem proving base

Mechanical geometry theorem proving based on groebner bases

✍ Jinzhao Wu 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 394 KB

On the relation between resolution based

On the relation between resolution based and completion based theorem proving

✍ Rolf Socher 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 951 KB

Completion theorem proving, as proposed by J. Hsiang (1982), is based on the observation that proving a first order formula is equivalent to solving an equational system over a boolean polynomial ring. The latter can be accomplished by completing the set of rewrite rules obtained from the equational

A reduction method for theorem proving b

A reduction method for theorem proving based on the partial-instantiation technique

✍ Masahito Yamamoto; Azuma Ohuchi 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 250 KB

On the fundamental theorem for the decis

On the fundamental theorem for the decision rule based on distance ∥ ∥

✍ Kameo Matusita; Minoru Motoo 📂 Article 📅 1955 🏛 Springer Japan 🌐 English ⚖ 186 KB