【24h】

System abstract: E 0.3

机译:系统摘要:E 0.3

获取原文
获取原文并翻译 | 示例

摘要

We describe the main characteristics of version 0.3 of the E equational theorem prover. E is based on superposition and rewritiong. It features a powerful interface for specifying search guiding heuristics. We discuss some important details of the implementation and demonstrate the performance of the prover by presenting experimental results on the TPTP. Finally, we describe our future plans for improving the system.
机译:我们描述了E方程定理证明者0.3版的主要特征。 E基于叠加和重写。它具有一个功能强大的界面,用于指定搜索指导启发法。我们讨论了实现的一些重要细节,并通过在TPTP上展示实验结果来证明证明者的性能。最后,我们描述了我们改进系统的未来计划。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号