Back to Results
First PageMeta Content
Model theory / Logic / Predicate logic / Quantification / Skolem normal form / Inverse trigonometric functions / Quantifier / Surjective function / Unification / Herbrandization / First-order logic


Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011
Add to Reading List

Document Date: 2011-03-16 15:35:01


Open Document

File Size: 345,99 KB

Share Result on Facebook
UPDATE