unification

algorithmic process of solving equations between symbolic expressions

en-US/ˌjunəfeɪˈkeɪʃən/
en-GB/ˌjuːnɪfɪˈkeɪʃən/

Categories:

algorithm