未找到相关数据
广义归结中的定理的表示
被引：2
作者：
司徒芊
刘叙华
机构：
[1] 吉林省计算所
[2] 吉林大学
来源：
关键词：
广义归结;
自由变量;
自由变项;
定理;
斯科伦范式;
前束范式;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
本文为广义归结原理提供了一种方法,该方法能将要证明的定理写成一阶逻辑中较为自然的Skolem标准形式。
引用
收藏
页码：35 / 39
页数：5
相关论文