Unification

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The process of finding substitutions for variables that make two syntactic expressions (terms) identical according to the term algebra of a logic; outputs a substitution mapping variables to terms when one exists.