Dis-unification, in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions.
This theoretical computer science–related article is a stub.
You can help Wikipedia by expanding it.