Next:
Clausal Form for Predicate
Up:
notes2
Previous:
notes2
Notes 7/2/2001
Subsections
Clausal Form for Predicate Calculus Formulas
Unification
Composition of substitutions
Unifiers
Most General Unifier
Resolution
Refinements and Additions to Resolution
2001-07-05