Definition from Wiktionary, the free dictionary
- The act of unifying.
- The state of being unified.
- (mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.
act of unifying
state of being unified
in mathematical logic or computer science
- The translations below need to be checked and inserted above into the appropriate translation tables, removing any numbers. Numbers do not necessarily match those in definitions. See instructions at Help:How to check translations.
unification f (plural unifications)