E 2.0 User Manual
EasyChair Preprints（2018）
摘要
E is an equational theorem prover for full first-order logic, based
on superposition and rewriting. In this preliminary manual we first
give a short introduction for impatient new users, and then cover
calculus and proof procedure. The manual covers proof search control
and related options, followed by input and output formats. Finally,
it describes some additional tools that are part of the E
distribution.
更多on superposition and rewriting. In this preliminary manual we first
give a short introduction for impatient new users, and then cover
calculus and proof procedure. The manual covers proof search control
and related options, followed by input and output formats. Finally,
it describes some additional tools that are part of the E
distribution.
查看译文
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要