unifikál
C2
Ungarisch
unify
VERB
C2
TECHNICAL
1
unify
C2
Verwendungsmuster:
unifikál két kifejezést / változót
Noch keine Beispielpaare.
Bedeutung
make expressions logically consistent
Themen
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
Noch keine Grammatikdetails verfügbar.
Ausdrücke
Für diesen Eintrag gibt es noch keine verknüpften Ausdrücke.