A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
A key concern of Automated Theorem Proving (ATP) research is the development and use of systems that derives conclusions following inevitably from facts. This capability lies at the heart of many important computational tasks. The project's focus was on the design and implementation of a program for automated theorem proving in first-order logic using the resolution proof procedure for first-order logic. The justification for implementing such a program using logic is that, proofs derived bydoi:10.17577/ijertv9is020301 fatcat:n27iauebrjeuzlvldemztsj3hm