unifikál
C2
Ungerska
unify
VERB
C2
TECHNICAL
1
unify
C2
Användningsmönster:
unifikál két kifejezést / változót
Inga exempelpar ännu.
Betydelse
make expressions logically consistent
Teman
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Definition
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Grammatik
Inga grammatikdetaljer ännu.
Uttryck
Det finns inga uttryck kopplade till det här uppslagsordet än.