斯科特 swMATH ID: 6717 软件作者： 约翰·斯莱尼、阿诺德·比纳斯、卡利尔·霍奇森、大卫·普莱斯 描述： 斯科特：语义受限的水獭。SCOTT项目可以追溯到1991年，目前仍在运行。定理证明器是OTTER的一个变体，在CASC中竞争了几年，取得了一些不起眼但有趣的结果。它被广泛认为是一个应该奏效但尚未实现其潜力的想法。该程序是免费的。就像任何免费的东西一样，它没有任何保证。与一些免费软件不同，它也没有文档：它仍有很多工作在进行中，应该被视为实验软件 主页： http://users.cecs.anu.edu.au/~jks/scott（杰克斯/斯科特）/ 依赖项： 水獭 关键词： 定理证明器；水獭 相关软件： 水獭；TPTP公司；SETHEO公司；梅斯4；萨奇莫；VAMPIRE公司；E定理证明器；萨塔拉克；SPASS公司；E-Darvin公司；SATO公司；FALCON公司；ModGen公司；查找器；KoMeT公司；Why3号机组；正则_代数；那不勒斯；拦污栅；欧米茄 引用于： 27文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 系统描述：SCOTT-5。 Zbl 0988.68603号卡里尔·霍奇森；约翰·斯拉尼 2001 全部的 前5名36位作者引用 5 约翰·斯莱尼。 4 尼古拉斯·佩尔蒂埃 2 里卡多·卡费拉 2 Choi，Seungyeob先生 2 福斯，马提亚斯 2 卡里尔·霍奇森 2 托尔斯滕·绍布（Torsten H.Schaub）。 1 贾斯敏·克里斯蒂安·布兰切特 1 玛丽亚·保拉（Maria Paola Bonacina） 1 玛丽安·布朗（Marianne S.Brown）。 1 斯特凡·布吕宁 1 马丁·邦德。 1 汉斯·德·尼维尔 1 迈克尔·迪尔凯斯 1 操，德克 1 乌尔里希·富巴赫 1 拉杰夫·普拉巴卡尔·戈尔 1 伊捷古洛夫，达尼亚尔 1 塞萨里·卡利西克 1 曼弗雷德·科伯 1 弗里德里克·科里奇 1 亚历山大·莱奇 1 罗伯特·马辛格 1 孟，贾 1 托比亚斯·尼普科 1 劳伦斯·查尔斯·保尔森 1 弗朗索瓦·普伊特 1 维奥里卡Sofrone-Stokkerman 1 弗里德·斯托尔森堡 1 蒂莫西·苏伦登克。 1 杰夫·萨特克利夫 1 约瑟夫·乌尔班 1 安德烈·沃伦科夫 1 布鲁诺沃尔岑洛格尔古 1 张汉涛 1 张健 全部的 前5名9连载 2 符号计算杂志 2 计算机科学课堂讲稿 1 人工智能 1 逻辑科公报 1 自动推理杂志 1 人工智能通信 1 逻辑与计算杂志 1 通用计算机科学杂志 1 形式化推理杂志 在3个字段中引用 25 计算机科学（68至XX） 14 数理逻辑与基础（03-XX） 1 总体主题；集合（00-XX） 按年份列出的引文