unification

unification

englanti

1. yhdistäminen

2. yhdentyminen

3. yhdistyminen

Liittyvät sanat: unifier

Synonyymisanakirja: unification

unification

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

Katso synonyymisanakirja

Riimisanakirja: unification

unification rimmaa näiden kanssa:

1. science fiction, lotion...

Katso riimisanakirja

Käännökset: unification

unification suomeksi

yhdentyminen, yhdistäminen, yhteisyys, liittoutuminen, yhdistyminen

• yhdistyminen, yhdistäminen

unification englanniksi

• 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)

Katso unification englanniksi

Kommentit

Läheisiä sanoja

uniaattikirkko
uniapnea
uniasu
unienselitys
unihiekka
unihäiriö