| 释义 | unifier
 u·ni·fyU0079700 (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.Translations
 unifier
 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
 |