https://www.sri.com/publication/cyber-formal-methods-pubs/automated-theorem-proving-research-in-the-fifth-generation-computer-systems-project-model-generation-theorem-provers/
Automated Theorem-Proving Research In The Fifth Generation Computer Systems Project: Model...
Feb 24, 2023 - MGTPs have solved previously open problems in finite algebra, produced rapid proofs of condensed detachment problems, and are providing an inferential...
automated theorem provingfifth generation computer