Default Unification
method
ID: defaultunification
Entity Details
Basic Information
Entity ID
defaultunification
Entity Type
Method
English Label
Default Unification
Russian Label
Умолчательное объединение
Kazakh Label
Әдепкі біріктіру
Frequency
2
Description
English Description
A variant of unification that often succeeds by overwriting inconsistent constraints.
Russian Description
-
Kazakh Description
-