Uttal
- IPA: /ˌju.nɪ.fɪ.ˈkeɪ.ʃən/
Ordet hittades på dessa språk:
Ingen översättning hittades i den valda målspråket.
Definitioner
Substantiv
- The act of unifying.
- The state of being unified.
- (mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.
Exempel
- 1</sub>, 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}.
Böjningsformer