𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On a relation between the Sylow and Baer-Suzuki theorems

✍ Scribed by D. O. Revin


Book ID
110187536
Publisher
SP MAIK Nauka/Interperiodica
Year
2011
Tongue
English
Weight
182 KB
Volume
52
Category
Article
ISSN
0037-4466

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