𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Air between forums On proving the null hypothesis

✍ Scribed by Cameron Fincher


Book ID
105497431
Publisher
Springer
Year
1995
Tongue
English
Weight
188 KB
Volume
36
Category
Article
ISSN
0361-0365

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On the relation between resolution based
✍ 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