unifikál
C2
Hungarian
unify
PANDIWA
C2
TECHNICAL
1
unify
C2
Padron ng paggamit:
unifikál két kifejezést / változót
Wala pang mga pares ng halimbawa.
Kahulugan
make expressions logically consistent
Mga tema
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Depinisyon
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Gramatika
Wala pang mga detalye ng gramatika.
Mga ekspresyon
Wala pang mga ekspresyong nakaugnay sa entry na ito.