UNIFICATION

Unification

Unification, in computer science and logic, is an algorithmic process of solving equations between symbolic expressions.

The above text is a snippet from Wikipedia: Unification (computer science)
and as such is available under the Creative Commons Attribution/Share-Alike License.

unification

Noun

  1. The act of unifying.
  2. The state of being unified.
  3. Given two terms, their join with respect to a specialisation order.


The above text is a snippet from Wiktionary: unification
and as such is available under the Creative Commons Attribution/Share-Alike License.

Need help with a clue?
Try your search in the crossword dictionary!