一阶逻辑定理证明器中的无效子句删除策略

一阶逻辑定理证明器中的无效子句删除策略

姜世攀, 陈树伟, 曾国艳

Strategy of invalid clause elimination in first-order logic theorem prover

Shipan JIANG, Shuwei CHEN, Guoyan ZENG

《计算机应用》唯一官方网站 . 2024, (3): 677 -682 . DOI: 10.11772/j.issn.1001-9081.2023030284