Next:
Notes 7/2/2001
Notes 7/2/2001
Clausal Form for Predicate Calculus Formulas
Unification
Composition of substitutions
Unifiers
Most General Unifier
Resolution
Refinements and Additions to Resolution
About this document ...
2001-07-05
