Sanakirja
Tekoälykääntäjä

Synonyymit

Ääntäminen

    • IPA: /ˌju.nɪ.fɪ.ˈkeɪ.ʃən/

Käännöksiä ei löytynyt valitulle kohdekielelle.

Määritelmät

Substantiivit

  1. The act of unifying.
  2. The state of being unified.
  3. (mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.

Esimerkit

  • 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}.

Taivutusmuodot

Monikkounifications

Luokat