unification

unification

1. yhdistäminen

2. yhdentyminen

3. yhdistyminen

Liittyvät sanat: unifier

Synonyymisanakirja

unification

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

Rimmaavat sanat

unification rimmaa näiden kanssa:

science fiction, lotion...

Katso kaikki

Englannin sanakirja

unification (englanti > suomi)

1. yhdistyminen, yhdistäminen

unification englanniksi

1. The act of unifying.

2. The state of being unify unified.

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

4. (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 UNIF₁, applied to X, Y,
terminates after a finite number of steps.
(ii) {X, Y} is unifiable iff UNIF₁ so indicates upon ter-
mination. Moreover, the substitution σ then available as out-
put is a most general unifier of {X, Y}.

5. (l)

Käännökset