推特 swMATH ID: 28632 软件作者： 北斯莫尔博内。 描述： Twee是方程式逻辑的定理证明者。它以公理和猜想这两组方程作为输入，并试图从公理中证明猜想。有关如何获取副本，请参阅安装页；你可能还想看看简短的手册。输入问题应以TPTP格式编写。 主页： http://nick8325.github.io/twee/ 相关软件： 香车叶草;E定理证明器;TPTP公司;VAMPIRE公司;iProver（iProver）;MadMax公司;z3（零3）;SPASS公司;ACER公司;谜;github;亚当;HOList公司;PyTorch公司;HOL公司;校准仪9;超小卫星;伊西查尔;StarExec公司;大锤 引用于： 6文件 全部的 前5名被10位作者引用 2 安德烈·杜阿尔特 2 康斯坦丁·科洛文 2 尼古拉斯·斯莫尔博内 1 克莱森，科恩 1 马丁·德沙奈斯 1 汤姆·M·海斯克斯。 1 米科拉什·亚诺塔 1 Jelle Piepenbrock 1 杰夫·萨特克利夫 1 约瑟夫·厄本 在1个序列中引用 1 人工智能通信 在3个字段中引用 6 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 群论与推广（20-XX） 按年份列出的引文