unification

suomi-englanti sanakirja

unification englannista suomeksi

  1. yhdentyminen, yhdistäminen

  2. yhteisyys

  3. liittoutuminen, yhdistyminen

  1. Substantiivi

  2. yhdistyminen, yhdistäminen

unification englanniksi

  1. The act of unifying.

  2. The state of being unified.

  3. Given two terms, their join with respect to a order.

  4. (quote-book)

  5. 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}.
  6. (l)