| 释义 |
unifier
u·ni·fy U0079700 (yo͞o′nə-fī′)tr. & intr.v. u·ni·fied, u·ni·fy·ing, u·ni·fies To make into or become a unit; consolidate.
[French unifier, from Old French, from Late Latin ūnificāre : Latin ūnus, one; see uni- + Latin -ficāre, -fy.]
u′ni·fi′a·ble adj.u′ni·fi·ca′tion (-fĭ-kā′shən) n.u′ni·fi′er n.Translationsunifier
unifierThe unifier of a set of expressions is a set of substitutionsof terms for variables such that the expressions are allequal.
See also most general unifier, unification.ThesaurusSeeunify |