文件名称：automated-theorem-prover:用Python编写的简单定理证明者
文件大小：3KB
文件格式：ZIP
更新时间：2024-06-02 04:29:34
Python
自动定理证明者 用Python编写的用于一阶谓词逻辑的简单定理证明器。 实现基于分辨率反驳技术和呼吸优先搜索。 在解决过程中，重言式和暗示被消除，以减少搜索空间。
【文件预览】：
automated-theorem-prover-master
----source.py(10KB)
----README.md(278B)