Unifier

имя существительное тот, кто или то, что объединяет Например: the liberator and unifier of Italy — освободитель и объединитель Италии

Большой англо-русский словарь

Unifier

noun see unify

Энциклопедический словарь Мерриама-Вебстера

Unifier

The unifier of a set of expressions is a set of substitutions of terms for variables such that the expressions are all equal. See also most general unifier, unification.

Онлайн словарь компьютерных терминов