1. The act of unifying.
  2. The state of being unified.
  3. (mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.
    • 5.7.T ( Unification theorem ) For any two terms or formulas
      without quantifiers X and Y, the following holds.
      (i) The unification algorithm UNIF1, applied to X, Y,
      terminates after a finite number of steps.
      (ii) {X, Y} is unifiable iff UNIF1 so indicates upon ter-
      mination. Moreover, the substitution σ then available as out-
      put is a most general unifier of {X, Y}.
Antonyms Translations Translations Translations
  • Russian: унифика́ция

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.004
Offline English dictionary