Результати пошуку

...вами є відмінними. Заперечення як відмова імітує це відмовою [[Уніфікація (інформатика)|уніфікації]]. Наприклад, якщо задано лише два твердження ...

* [[Уніфікація (інформатика)]] — розв'язування рівнянь між символьними виразами [[Категорія:Уніфікація (інформатика)]] ...

чий ствердний літерал (атом) <math> L\, </math> [[Уніфікація (інформатика)|уніфікується]] з атомом <math> L_i \, </math> обраного літералу <math>\neg ...

...ює об'єкти у цьому домені, а ''n''-арна функція ''f'' відображає [[Кортеж (інформатика)|кортежі]] з n елементів об'єктів на об'єкти. Наприклад, якщо ''n'' ∈ ''V'' * [[Уніфікація (інформатика)|об'єднуючі терми]] ...

...Union–Find використовується у високопродуктивних реалізаціях [[Уніфікація (інформатика)|уніфікації]]<ref name="Knight1989">{{cite journal|last1=Knight|first1=Kevi ...