本書重點介紹了基于矛盾體分離理論的一階邏輯自動定理證明器的各個組成部分、系統(tǒng)構(gòu)建、演繹過程驗證和實驗評估，設(shè)計實現(xiàn)了基于矛盾體分離演繹的一階邏輯自動定理證明器、基于矛盾體分離演繹的一階邏輯自動定理證明融合系統(tǒng)、基于矛盾體分離演繹的一階邏輯自動定理證明驗證檢查工具，涵蓋了用于一階邏輯自動定理證明的整個體系。