• TPTP

  • 341篇参考文献[SW04143]
  • 自动定理证明的检验问题(英文)三磷酸腺苷)系统。TPTP提供三磷酸腺苷社区与…综合图书馆三磷酸腺苷今天的测试问题,以便提供…将问题转化为现有的实用工具三磷酸腺苷系统的格式。概述需求的一般准则…三磷酸腺苷系统评价。输入和输出标准三磷酸腺苷系统主要动机…
  • 大锤

  • 104篇参考文献[SW07047 ]
  • 外部一阶自动定理证明器三磷酸腺苷)解除交互证明义务产生…Satallax,两个最突出的高阶三磷酸腺苷提高了其在高阶问题上的性能。探索它们的有用性,这些三磷酸腺苷按一级计量三磷酸腺苷内置伊莎贝尔…
  • MPTP 0.2

  • 42篇参考文献[SW02589]
  • 当前一阶自动定理证明器三磷酸腺苷(反之亦然),促进发展…基于知识的,通常基于人工智能的三磷酸腺苷方法。MPTP交换机的这个版本…扩展TPTP语法,允许多个三磷酸腺苷实验这包括,例如,一致的处理…MIZAR算术评价我们描述了几个初始三磷酸腺苷实验,两者都很容易…
  • 甘道夫

  • 33篇参考文献[SW10133]
  • 甘道夫是一个自动定理证明(三磷酸腺苷)系统。证明了逻辑中的定理。因为…逻辑学是一门非常普遍的语言,三磷酸腺苷像甘道夫这样的系统可以证明定理…通信协议。一个新的应用领域三磷酸腺苷系统是语义网:一个项目…参加年度CASC比赛三磷酸腺苷系统,令人印象深刻的结果,见CASC…
  • HR

  • 29篇参考文献[SW1092]
  • 自动定理证明器的检验定理(英文)三磷酸腺苷,或者更小的素数牵连,这代表…测试问题的TPTP库三磷酸腺苷系统HR是一个可用的Java程序…
  • 马尔萨斯

  • 40篇参考文献[SW1078]
  • 工具(现在的E和SPASS)三磷酸腺苷系统)与机器学习组件…
  • ILTP

  • 22篇参考文献[SWO4437 ]
  • 自动定理证明的测试和基准测试(英文)三磷酸腺苷一阶和命题直觉逻辑系统…一阶命题直观集合三磷酸腺苷用于转换问题的系统和工具…一些已有直觉主义的输入语法三磷酸腺苷系统它还包括当前可用的信息…三磷酸腺苷直觉逻辑的系统及其性能结果对ILTP中的问题…
  • StultOntPTP

  • 15篇参考文献[SW10408]
  • 接口允许三磷酸腺苷问题容易和快速提交的各种方式…范围三磷酸腺苷系统该接口使用一组可用的CurrTyTy。三磷酸腺苷系统提交给一个或多个三磷酸腺苷系统顺序,或可能提交…
  • 数学网站

  • 18篇参考文献[SW1093]
  • 委托给一个自动定理证明器三磷酸腺苷通过将它们编码为接口逻辑,简单地…大多数病例。尽管这种看似理想的情况,三磷酸腺苷实际上很少被别人使用…
  • 大地测量学

  • 23篇参考文献[SW06216]
  • 动态几何软件(DGS),自动定理证明器三磷酸腺苷)和几何构造库,数字…
  • 普罗赫

  • 11篇参考文献[SW10191]
  • 进口HOL防光三磷酸腺苷关于最近开发的翻译…光与飞斑问题三磷酸腺苷格式PROCH并行地结合了几种重建方法…详细的推理步骤记录在三磷酸腺苷(TPTP)证明,使用几个内部的HOL光推断…
  • 霍利默

  • 18篇参考文献[SW11553]
  • 锤子:在线三磷酸腺苷服务于HOLL灯。HOL(Y)锤子是一个在线AI/ATP服务…
  • 扎普

  • 8篇参考文献[ SW068 23 ]
  • 软件分析自动定理证明器的证明(英文)三磷酸腺苷是许多软件的关键组件…但是,基本接口由三磷酸腺苷(公式的有效性/可满足性检查)几乎没有改变…DISIDARATA用于这样的接口三磷酸腺苷逻辑(理论)…三磷酸腺苷对于程序分析应该支持,并提出我们如何将许多这些…
  • QMLTP

  • 7篇参考文献[SW0915]
  • 自动定理证明的检验与评价(英文)三磷酸腺苷一阶模态逻辑系统。主要的…促进新模式的发展三磷酸腺苷系统,并把他们的比较…用现有模态进行综合试验三磷酸腺苷系统在提出的版本中…
  • 水泡

  • 4篇参考文献[SW18721]
  • 最先进的自动定理证明器三磷酸腺苷如E允许大量…自动生成策略的学习方法三磷酸腺苷以前提出过。其中一个…BliStr),一个自动发明的系统三磷酸腺苷策略本文介绍了…
  • TPT2X

  • 5篇参考文献[SW10409]
  • 现有格式的TPTP格式三磷酸腺苷系统2)将各种变换应用于TPTP…
  • 校对表

  • 1篇参考文献[SW28 64]
  • 自动化智能化的内部指导三磷酸腺苷系统特别是,我们(i)设计观察表…基于E的子句评价试探法三磷酸腺苷系统,以及(二)开发新的指导…里面装载了许多以前的证据三磷酸腺苷并用…
  • 最小值

  • 2篇参考文献[SW2687]
  • 三级结构,催化类似反应三磷酸腺苷. 图中显示的是用户…