地板 swMATH ID: 29685 软件作者： 韦登巴赫（Christoph Weidenbach）；伯恩德·盖德；乔治·洛克 描述： FLOTTER和SPASS分别是一阶逻辑的子句范式翻译器和一阶等式逻辑的定理证明器。 主页： https://link.springer.com/chapter/10.1007%2F3-540-61511-3_75 相关软件： SPASS公司；水獭；TPTP公司；VAMPIRE公司；SETHEO公司；E定理证明器；CVC4型；浸透；折扣；伊莎贝尔/HOL；梅斯4；校准仪9；伊西查尔；z3（零3）；阿凡达；验证；KoMeT公司；狮子座III；萨塔拉克；Nitpick公司 引用于： 17文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 SPASS&FLOTTER 0.42版。 Zbl 1412.68267号克里斯托夫·韦登巴赫；伯恩德·盖德；乔治·洛克 1996 全部的 前5名被33位作者引用 5 克里斯托夫·韦登巴赫 2 汉斯·德·尼维尔 2 杰夫·萨特克利夫 2 乌韦州瓦尔德曼 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 贾斯敏·克里斯蒂安·布兰切特 1 玛丽亚·保拉（Maria Paola Bonacina） 1 Tour男孩，蒂埃里 1 伯恩德·因戈·达恩 1 马尔滕·德·里杰克 1 加布里埃尔·埃布纳 1 阿诺德·菲埃茨克 1 伯恩德·盖德 1 哈拉尔德·甘辛格 1 吉尔根·格内 1 托马斯·希伦布兰德 1 彼得·霍夫纳 1 Th.洪尼格曼。 1 Jieh乡 1 曼弗雷德·科伯 1 金·克恩 1 迈克尔·科尔哈斯 1 克里斯托夫·迈耶 1 汉斯·尤根·奥巴赫 1 鲁齐卡皮斯卡 1 乔治·洛克 1 斯蒂芬·舒尔茨 1 维奥里卡Sofrone-Stokkerman 1 亚历山大·斯蒂恩 1 乔治·斯特鲁斯 1 索菲·托雷特 1 马克斯·维斯涅夫斯基 1 安德烈亚斯·沃尔夫 全部的 前5名引用于6个系列 4 符号计算杂志 2 自动推理杂志 2 数学与人工智能年鉴 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 应用非经典逻辑杂志 在4个字段中引用 13 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 1 阶、格、有序代数结构（06-XX） 1 群论与推广（20-XX） 按年份列出的引文