斯蒂芬·舒尔茨 系统描述：E 0.81。 （英语） Zbl 1126.68578号 David Basin（编辑）等人，《自动推理》。第二届国际联合会议，2004年7月4日至8日，爱尔兰科克，IJCAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22345-2/pbk）。计算机科学课程讲稿3097。人工智能课堂讲稿，223-228（2004）。 E是等式逻辑的等式定理证明器。我们描述了最新版本E 0.81 Tumsong，特别强调了与之前描述的版本相比发生了变化的重要方面。有关整个系列，请参见[Zbl 1088.68001号]. 引用于17文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：E定理证明器 PDF格式BibTeX公司 XML格式引用 \textit{S.Schulz}，莱克特。票据计算。科学。3097223--228（2004年；Zbl 1126.68578） 全文： 内政部