unifikál
C2
Unkari
unify
VERBI
C2
TECHNICAL
1
unify
C2
Käyttömalli:
unifikál két kifejezést / változót
Esimerkkipareja ei ole vielä saatavilla.
Merkitys
make expressions logically consistent
Teemat
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Määritelmä
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Kielioppi
Kielioppitietoja ei ole vielä saatavilla.
Ilmaukset
Tähän hakusanaan ei ole vielä liitetty ilmauksia.