unification

unification

englanti

  1. yhdistäminen

  2. yhdentyminen

  3. yhdistyminen

Liittyvät sanat: unifier

Synonyymisanakirja

unification

  1. kombinaatio, yhdisteleminen, yhdistäminen, liittoutuminen, yhdistyminen, liittyminen, yhteenkasvaminen, sulautuminen, yhtyminen, kiinnikasvaminen, yhteentarttuminen, yhteenliityminen, yhdentyminen, uudelleen yhdistyminen, uudelleenyhdistyminen, heimovihkimys, katto, sateenvarjo.

Lisää synonyymejä Synonyymit.fi:ssä

Käännökset

englanti

yhdentyminen, yhdistäminen

yhteisyys

liittoutuminen, yhdistyminen The act of unifying.
The state of being unify unified.
puhekieltä Given two terms, their join with respect to a specialisation order.
(quote-book)

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

Riimisanakirja

unification rimmaa näiden kanssa:

science fiction, lotion

Lisää riimejä

Ehdota määritelmää