Әдепкі біріктіру

method ID: defaultunification

Нысан мәліметтері

Негізгі ақпарат

Нысан ID

defaultunification

Нысан түрі

Method

Ағылшын белгісі

Default Unification

Орыс белгісі

Умолчательное объединение

Қазақ белгісі

Әдепкі біріктіру

Жиілік

2

Сипаттама

Ағылшын сипаттамасы

A variant of unification that often succeeds by overwriting inconsistent constraints.

Орыс сипаттамасы

-

Қазақ сипаттамасы

-