二氯四环素

DCTP-一个断开演算定理证明器。DCTP是一阶子句逻辑的自动定理证明器。给定包含TPTP语法中的问题规范的输入文件,DCTP将试图证明输入公式的不可满足性,或者替代地,证明输入公式是可满足的。