和 swMATH ID: 29686 软件作者： 李大法；贾培发 描述： 自动自然推理校准器和实验。本文介绍了用于实现自动自然演绎证明程序（ANDP）的启发式算法和技术，该自然演绎程序采用Gentzen系统。Gentzen系统中有4条量词规则，我们在ANDP系统中有两个统一算法来处理量词。使用ANDP解决了安德鲁斯的挑战和图灵暂停问题。 主页： https://link.springer.com/chapter/10.1007%2FBFb0027411 关键词： Gentzen系统；启发式；自然扣除；量词 相关软件： 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 自动自然推理校准器和实验。 Zbl 1412.68215号李大发；贾培发 1997 3位作者引用 1 李大发 1 李大发 1 贾培发 连载1篇 1 几何杂志 在3个字段中引用 1 数学逻辑和基础（03-XX） 1 几何图形（51至XX） 1 计算机科学（68至XX） 按年份列出的引文