unifikál
C2
헝가리어
unify
동사
C2
TECHNICAL
1
unify
C2
사용 패턴：
unifikál két kifejezést / változót
아직 예문이 없어요。
뜻
make expressions logically consistent
주제
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
정의
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
문법
아직 문법 정보가 없어요。
표현
아직 연결된 표현이 없어요．