FOL Proof Method: Resolution
•
conversion to
normal form
•
generalized resolution
•
unification
