Journal of Automated Reasoning
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
Solution of the Robbins Problem
Journal of Automated Reasoning
Journal of Automated Reasoning
Conquering the Meredith Single Axiom
Journal of Automated Reasoning
Journal of Automated Reasoning
A Legacy Recalled and a Tradition Continued
Journal of Automated Reasoning
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Hi-index | 0.03 |
In this special issue of the iJournal of Automated Reasoning, this article sets the stage for the succeeding articles, all of which focus on finding proofs of theorems of formal logic and on the various methodologies that were employed. The proofs that are offered mark an important milestone for automated reasoning and for logic, for each of them is indeed new. One key question this article answers is why an automated reasoning program was able to find proofs that had eluded some of the finest mathematicians and logicians for many, many decades.