摘要：所有格的等式理论由一个吸收定律定义 长度为29的8个变量恒等式比以前已知的定义格的等式短。
作者：William McCune, Ranganathan Padmanabhan, Robert Veroff
论文ID：math/0307284
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中