Досліджується підхід до побудови машино-орієнтованих числень пошуку спростування у логіці першого порядку, що спирається на узагальненні поняття диз"юнкту. Наводяться результати про коректність та повноту числення, яке ґрунтується на цьому узагальненні.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
