萨奇莫 swMATH ID: 6619 软件作者： Manthey，R.、Bry，F。 描述： SATCHMO：在Prolog中实现的定理证明器。SATCHMO定理证明程序是最早使用模型生成的系统之一，即自下而上的证明程序。证明程序由一个小Prolog-program给出，它实现了一个表格证明程序。一个限制是它需要有范围限制的公式。 主页： http://en.wikibooks.org/wiki/Logic_for_Computer_Scientists/Predicate_Logic/SATCHMO 编程语言： 序言 关键词： 定理证明器 相关软件： TPTP公司;水獭;SETHEO公司;SPASS公司;梅斯4;取景器;VAMPIRE公司;精益TAP;达尔文;E定理证明器;电子达文;DCTP公司;香车叶草;I-SATCHMO公司;iProver（iProver）;E-KRHper公司;斯科特;Coq公司;萨彻姆ID;斯莫德尔斯 引用于： 92文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 SATCHMO：在Prolog中实现的定理证明程序。 Zbl 0668.68104号曼恩，雷纳;弗朗索瓦·布里 1988 全部的 前5名114位作者引用 10 彼得·鲍姆加特纳 9 尼古拉斯·佩尔蒂埃 6 乌尔里希·富巴赫 6 大卫·艾伦（David Alan），Plaisted 4 弗朗索瓦·布里 4 井上，胜美 4 阿德南·H·叶海亚。 三 长谷川龙子 三 何立峰 三 宫崎骏小村 三 罗伯特·A·科瓦尔斯基。 三 Niemelä，Ilkka N.F。 三 艾伦·拉姆齐 三 克里斯托夫·韦登巴赫 三 张健 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 玛丽亚·保拉（Maria Paola Bonacina） 2 里卡多·卡费拉 2 赵玉燕 2 Fermüller，克里斯蒂安·G。 2 蒂姆·盖斯勒 2 雷纳·哈内尔 2 伊藤秀内里 2 亚历山大·莱奇 2 唐纳德·洛夫兰。 2 杰克·明克尔 2 比约恩·佩尔泽 2 法里巴·萨德里 2 恰基萨卡马 2 雷娜特·施密特（Renate A.Schmidt）。 2 赫里伯特·舒茨 2 迪特马尔·塞佩尔（Dietmar A.Seipel）。 2 谢克曼，Jörg H。 2 Christoph Wernhard公司 2 张汉涛 1 萨尔瓦多阿布雷乌 1 Chandrabose阿拉文丹 1 谢尔盖·奥特西尔 1 马塞洛·巴尔杜奇尼 1 伯恩哈德·贝克特 1 马克·贝泽姆 1 沃尔夫冈·比贝尔 1 安捷·布隆姆 1 克利斯朵夫，很有把握 1 凯·布伦勒 1 William E.伯德。 1 楚恒 1 乔瓦尼·西亚托 1 罗伯特·李，警察 1 可口、蒂埃里 1 桑托斯·科斯塔，Vítor 1 哭吧，玛丽 1 维罗妮卡·达尔 1 吕克·德·雷德 1 丹尼·德·施雷耶 1 亨德里克·德克尔 1 马克·德内克 1 丹尼尔·迪亚兹 1 尤尔根·迪克斯 1 托马斯·艾特 1 丹尼尔·弗里德曼（Daniel P.Friedman）。 1 彼得·弗里奇 1 藤田，广岛 1 哈拉尔德·甘辛格 1 拉杰夫·普拉巴卡尔·戈尔 1 乔治·戈特洛布 1 让·古鲍特·拉雷克 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 托马斯·希伦布兰德 1 乌尔里希·赫斯塔特 1 井沼，Koji 1 格温·科迪莱斯 1 菲利普·科纳 1 托马斯·克罗普夫 1 拉梅亚·库马尔 1 尼古拉·利昂 1 莱茨，莱因霍尔德 1 Michael Leuschel先生 1 曼恩，雷纳 1 威廉·麦库恩。 1 乔治·梅特卡夫 1 克里斯托夫·迈耶 1 斯瓦哈·米勒 1 沃伊切赫Moczydłowski 1 何塞·弗朗西斯科·莫拉莱斯 1 鲍里斯·莫提克 1 中村俊史 1 约瑟夫·P·奈尔（Joseph P.Near）。 1 沃尔夫冈·内杰德尔 1 阮林安 1 Ohta，Yoshihiko先生 1 延斯·奥滕 1 乌韦·彼得曼 1 约阿希姆·波塞加 1 大卫·W·里德。 1 卡罗来纳州鲁伊斯 1 帕斯奎尔·鲁洛 1 乌尔里克·萨特勒 1 弗朗西斯科·斯卡切罗 1 克劳斯·施耐德 …还有14位作者 全部的 前5名18篇连载文章中引用 16 自动推理杂志 4 符号计算杂志 4 逻辑与计算杂志 三 人工智能 三 逻辑程序设计杂志 2 计算机科学与技术杂志 2 信息与计算 2 逻辑程序设计理论与实践 2 计算机科学课堂讲稿 1 信息处理信件 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 新一代计算 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 应用逻辑杂志 1 剑桥理论计算机科学丛书 1 国际计算机科学专著系列 在5个字段中引用 89 计算机科学（68至XX） 52 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 2 信息与通信理论、电路（94-XX） 1 群论与推广（20-XX） 按年份列出的引文