Explore relationships

Unification (computer science)

In logic and computer science, specifically automated reasoning, unification is an algorithmic process of solving equations between symbolic expressions, each of the form Left-hand side = Right-hand side.

Use + to expand a branch. Click a topic name to open its summary.