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