pl1resAutomated theorem prover for first-order predicate logic based on resolutionATPfirst-order predicate logicresolutionautomated theorem proving0.2.0 • Published 3 years ago