编辑配置文件（在新选项卡中打开） 杰夫·萨特克利夫 合著者距离 作者ID： 苏特克利夫 发布日期： 杰夫·萨特克利夫;苏特克利夫，G。 已编制索引的文档： 56出版物自1985年以来，包括1个附加arXiv预打印 6作为编辑的贡献 合著者： 38位合著者具有44联合出版物 936位合作作者 全部的 前5名合著者 18 单作者的 9 克里斯蒂安·萨特纳（Christian B.Suttner）。 8 斯蒂芬·舒尔茨 8 约瑟夫·乌尔班 5 克里斯托夫·埃瓦尔德·本兹穆勒 4 弗朗西斯·杰弗里·佩利蒂埃 2 乍得·布朗·爱德华 2 科恩·克莱森 2 马丁·德沙奈斯 2 伯恩德·菲舍尔 2 亚当·皮斯 2 Pudlák，帕维尔 2 尤里·普齐斯 2 弗洛里安·拉贝 2 亚历山大·斯蒂恩 2 Trac，史蒂文 2 范·盖尔德，艾伦 1 吉尔·巴特 1 彼得·鲍姆加特纳 1 迈克尔·比森。 1 玛丽亚·保拉（Maria Paola Bonacina） 1 玛丽安·布朗（Marianne S.Brown）。 1 福恩市长，大卫 1 Thibault Gauthier 1 彼得·霍夫纳 1 塞萨里·卡利西克 1 迈克尔·基扬（Michael K.Kinyon）。 1 安德烈·普拉泽 1 彼得·鲁德尼基 1 雷娜特·施密特（Renate A.Schmidt）。 1 托拜厄斯·斯科尔 1 沈维娜 1 尼克·西格尔 1 乔治·斯特鲁斯 1 泰丝，弗兰克 1 玛格斯·维纳斯 1 安德烈·沃伦科夫 1 维斯科基尔 1 也门，西奥多 全部的 前5名系列 14 AI通信 12 自动化推理杂志 2 应用逻辑杂志 2 计算机科学课堂讲稿 1 人工智能 1 国际计算机数学杂志 1 数学与人工智能年鉴 1 IGPL逻辑杂志 1 计算机科学中的数学 1 形式化推理杂志 1 EPiC计算系列 领域 62 计算机科学（68-XX） 15 数学逻辑和基础（03-XX） 6 总体主题；集合（00-XX） 1 历史和传记（01-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 49出版物有被引用618中的次364文件 引用人▼ 年份▼ TPTP问题库和相关基础设施以及相关基础设施。FOF和CNF部件，v3.5.0。 Zbl 1185.68636号 杰夫·萨特克利夫 111 2009 TPTP问题库。CNF版本v1。2. 1. Zbl 0910.68197号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 69 1998 TPTP问题库和相关基础设施。从CNF到TH0，TPTP v6.4.0。 Zbl 1425.68381号 萨特克利夫，杰夫 53 2017 Mizar形式化的ATP和演示服务。 Zbl 1260.68380号 约瑟夫·乌尔班;彼得·鲁德尼基;杰夫·萨特克利夫 36 2013 MaLARea SG1–带语义指导的自动推理机器学习器。 Zbl 1165.68434号 约瑟夫·乌尔班;杰夫·萨特克利夫;彼得·普德拉克;维斯科基尔 30 2008 TPTP问题库。 Zbl 1433.68569号 杰夫·萨特克利夫;克里斯蒂安·萨特纳;也门，西奥多 29 1994 使用TPTP THF基础设施的高阶逻辑自动推理。 Zbl 1211.68371号 杰夫·萨特克利夫;克里斯托夫·本兹穆勒 28 2010 CASC的状态。 Zbl 1112.68464号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 19 2006 TPTP类型的一阶形式与算术。 Zbl 1352.68217号 杰夫·萨特克利夫;斯蒂芬·舒尔茨;科恩·克莱森;彼得·鲍姆加特纳 16 2012 评估通用自动定理证明系统。 Zbl 0996.68182号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 15 2001 TPTP世界–自动推理的基础设施。 Zbl 1253.68292号 萨特克利夫，杰夫 15 2010 CADE-14 ATP系统竞赛。 兹伯利0916.68141 克里斯蒂安·萨特纳;杰夫·萨特克利夫 13 1998 SRASS——语义关联公理选择系统。 Zbl 1213.68575号 杰夫·萨特克利夫;尤里·普齐斯 13 2007 使用TPTP公司用于编写派生词和有限解释的语言。 Zbl 1222.68373号 杰夫·萨特克利夫;斯蒂芬·舒尔茨;科恩·克莱森;范·盖尔德，艾伦 12 2006 CADE-16 ATP系统竞赛。 Zbl 0953.68595号 萨特克利夫，杰夫 11 2000 CADE-27自动定理证明系统竞赛–CASC-27。 Zbl 1464.68433号 杰夫·萨特克利夫 11 2019 CASC的发展。 Zbl 1019.68101号 弗朗西斯·杰弗里·佩利蒂埃;杰夫·萨特克利夫;克里斯蒂安·萨特纳 10 2002 基于ATP的Mizar证明的交叉验证：方法、系统和首次实验。 Zbl 1178.68532号 约瑟夫·乌尔班;杰夫·萨特克利夫 9 2008 THF0–用于高阶逻辑的TPTP语言的核心。 Zbl 1165.68447号 克里斯托夫·本兹穆勒;弗洛里安·拉贝;杰夫·萨特克利夫 9 2008 CADE ATP系统竞赛。 Zbl 1126.68580号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 8 2004 系统描述：SystemOnTPTP。 Zbl 0963.68529号 萨特克利夫，杰夫 7 2000 MizAR中用于形式化数学的自动推理和表示支持。 Zbl 1286.68403号 约瑟夫·乌尔班;杰夫·萨特克利夫 7 2010 第八届IJCAR自动定理证明系统竞赛——CASC-J8。 Zbl 1373.68367号 杰夫·萨特克利夫 7 2016 第九届IJCAR自动定理证明系统竞赛——CASC-J9。 Zbl 1462.68220号 杰夫·萨特克利夫 7 2018 GRUNGE：一场宏大的ATP统一挑战。 Zbl 07178973号 乍得·E·布朗。;Thibault Gauthier;Cezary卡利西克;杰夫·萨特克利夫;约瑟夫·乌尔班 7 2019 CADE-22自动定理证明系统竞赛–CASC-22。 Zbl 1200.68220号 杰夫·萨特克利夫 6 2010 通过自动分析器生成将TPTP语言扩展到高阶逻辑。 Zbl 1222.68375号 范·盖尔德，艾伦;杰夫·萨特克利夫 6 2006 检测大型一阶知识库中的不一致性。 Zbl 1494.68262号 斯蒂芬·舒尔茨;杰夫·萨特克利夫;约瑟夫·厄本;亚当·皮斯 5 2017 高阶逻辑自动定理证明的发展进展。 Zbl 1250.68236号 杰夫·萨特克利夫;克里斯托夫·本兹穆勒;乍得·E·布朗。;泰斯，弗兰克 5 2009 CADE-21自动化定理证明系统竞赛。 Zbl 1147.68699号 萨特克利夫，杰夫 5 2008 交互式派生查看器。 Zbl 1278.68282号 史蒂文·特拉克;尤里·普齐斯;杰夫·萨特克利夫 5 2007 在CASC与SUMO进行大型理论推理。 Zbl 1344.68229号 亚当·皮斯;杰夫·萨特克利夫;尼克·西格尔;史蒂文·特拉克 4 2010 IJCAR ATP系统竞赛。 Zbl 1003.68718号 苏特克利夫，G。;苏特纳，C.B。;佩莱蒂埃，F.J。 4 2002 自动验证精炼法。 Zbl 1184.68463号 彼得·霍夫纳;乔治·斯特鲁斯;杰夫·萨特克利夫 4 2009 第十届IJCAR自动定理证明系统竞赛——CASC-J10。 Zbl 1485.68287号 杰夫·萨特克利夫 4 2021 TPTP、TSTP、CASC等。 Zbl 1188.68265号 杰夫·萨特克利夫 三 2007 CADE-26自动定理证明系统竞赛–CASC-26。 Zbl 1462.68219号 杰夫·萨特克利夫 2 2017 CADE-28自动定理证明系统竞赛–CASC-28。 Zbl 1487.68249号 杰夫·萨特克利夫;马丁·德沙奈斯 2 2021 ATP问题的一些勘误表。 Zbl 0868.68099号 弗朗西斯·杰弗里·佩利蒂埃;杰夫·萨特克利夫 1 1997 CADE-25自动化定理证明系统竞赛——CASC-25。 Zbl 1373.68368号 萨特克利夫，杰夫;约瑟夫·乌尔班 1 2016 Mizar MPTP挑战问题的ATP交叉验证。 Zbl 1137.68576号 约瑟夫·乌尔班;杰夫·萨特克利夫 1 2007 第七届IJCAR自动定理证明系统竞赛——CASC-J7。 Zbl 1373.68366号 杰夫·萨特克利夫 1 2015 解决100美元的模态逻辑挑战。 Zbl 1161.03302号 弗洛里安·拉贝;彼得·普德拉克;杰夫·萨特克利夫;沈维娜 1 2009 CADE-13 ATP系统竞赛的设计。 兹比尔1412.68263 克里斯蒂安·萨特纳（Christian B.Suttner）。;杰夫·萨特克利夫 1 1996 饱和一阶定理证明器的证明生成。 Zbl 1431.68124号 斯蒂芬·舒尔茨;杰夫·萨特克利夫 1 2015 系统描述：GrAnDe 1.0。 Zbl 1072.68590号 斯蒂芬·舒尔茨;杰夫·萨特克利夫 1 2002 第11届IJCAR自动定理证明系统竞赛——CASC-J11。 Zbl 1532.68123号 杰夫·萨特克利夫;马丁·德沙奈斯 1 2023 拉里·沃斯：自动化推理的愿景。 Zbl 1511.68005号 迈克尔·比森;玛丽亚·保拉（Maria Paola Bonacina）;迈克尔·基扬;杰夫·萨特克利夫 1 2022 TPTP世界的逻辑语言。 兹伯利07806954 杰夫·萨特克利夫 1 2023 第11届IJCAR自动化定理证明系统竞赛——CASC-J11。 Zbl 1532.68123号 杰夫·萨特克利夫;马丁·德沙奈斯 1 2023 TPTP世界的逻辑语言。 Zbl 07806954号 杰夫·萨特克利夫 1 2023 拉里·沃斯：自动化推理的愿景。 Zbl 1511.68005号 迈克尔·比森;玛丽亚·保拉（Maria Paola Bonacina）;迈克尔·基扬;杰夫·萨特克利夫 1 2022 第十届IJCAR自动定理证明系统竞赛——CASC-J10。 Zbl 1485.68287号 杰夫·萨特克利夫 4 2021 CADE-28自动化定理证明系统竞赛——CASC-28。 Zbl 1487.68249号 杰夫·萨特克利夫;马丁·德沙奈斯 2 2021 CADE-27自动定理证明系统竞赛–CASC-27。 Zbl 1464.68433号 杰夫·萨特克利夫 11 2019 GRUNGE：一场宏大的ATP统一挑战。 Zbl 07178973号 乍得·E·布朗。;Thibault Gauthier;塞萨里·卡利西克;杰夫·萨特克利夫;约瑟夫·乌尔班 7 2019 第九届IJCAR自动定理证明系统竞赛——CASC-J9。 兹比尔1462.68220 杰夫·萨特克利夫 7 2018 TPTP问题库和相关基础设施。从CNF到TH0，TPTP v6.4.0。 Zbl 1425.68381号 杰夫·萨特克利夫 53 2017 检测大型一阶知识库中的不一致性。 兹比尔1494.68262 斯蒂芬·舒尔茨;萨特克利夫，杰夫;约瑟夫·乌尔班;亚当·皮斯 5 2017 CADE-26自动定理证明系统竞赛–CASC-26。 Zbl 1462.68219号 杰夫·萨特克利夫 2 2017 第八届IJCAR自动定理证明系统竞赛——CASC-J8。 Zbl 1373.68367号 杰夫·萨特克利夫 7 2016 CADE-25自动定理证明系统竞赛–CASC-25。 Zbl 1373.68368号 杰夫·萨特克利夫;约瑟夫·乌尔班 1 2016 第七届IJCAR自动定理证明系统竞赛——CASC-J7。 Zbl 1373.68366号 杰夫·萨特克利夫 1 2015 饱和一阶定理证明器的证明生成。 Zbl 1431.68124号 斯蒂芬·舒尔茨;杰夫·萨特克利夫 1 2015 Mizar形式化的ATP和演示服务。 Zbl 1260.68380号 约瑟夫·乌尔班;彼得·鲁德尼基;杰夫·萨特克利夫 36 2013 TPTP类型的一阶形式与算术。 Zbl 1352.68217号 杰夫·萨特克利夫;斯蒂芬·舒尔茨;科恩·克莱森;彼得·鲍姆加特纳 16 2012 使用TPTP THF基础设施的高阶逻辑自动推理。 Zbl 1211.68371号 杰夫·萨特克利夫;克里斯托夫·本兹穆勒 28 2010 TPTP世界–自动推理的基础设施。 Zbl 1253.68292号 萨特克利夫，杰夫 15 2010 MizAR中用于形式化数学的自动推理和表示支持。 兹比尔1286.68403 约瑟夫·乌尔班;杰夫·萨特克利夫 7 2010 CADE-22自动定理证明系统竞赛–CASC-22。 Zbl 1200.68220号 杰夫·萨特克利夫 6 2010 在CASC与SUMO进行大型理论推理。 Zbl 1344.68229号 亚当·皮斯;杰夫·萨特克利夫;尼克·西格尔;史蒂文·特拉克 4 2010 TPTP问题库和相关基础设施以及相关基础设施。FOF和CNF部分，v3.5.0。 Zbl 1185.68636号 杰夫·萨特克利夫 111 2009 高阶逻辑自动定理证明的发展进展。 Zbl 1250.68236号 杰夫·萨特克利夫;克里斯托夫·本兹穆勒;乍得·E·布朗。;泰斯，弗兰克 5 2009 自动验证精炼法。 Zbl 1184.68463号 彼得·霍夫纳;乔治·斯特鲁斯;杰夫·萨特克利夫 4 2009 解决100美元的模态逻辑挑战。 Zbl 1161.03302号 弗洛里安·拉贝;彼得·普德拉克;杰夫·萨特克利夫;沈维娜 1 2009 MaLARea SG1–带语义指导的自动推理机器学习器。 Zbl 1165.68434号 约瑟夫·乌尔班;杰夫·萨特克利夫;彼得·普德拉克;维斯科基尔 30 2008 基于ATP的Mizar证明的交叉验证：方法、系统和首次实验。 Zbl 1178.68532号 约瑟夫·厄本;杰夫·萨特克利夫 9 2008 THF0–用于高阶逻辑的TPTP语言的核心。 Zbl 1165.68447号 克里斯托夫·本兹穆勒;弗洛里安·拉贝;杰夫·萨特克利夫 9 2008 CADE-21自动定理证明系统竞赛。 Zbl 1147.68699号 杰夫·萨特克利夫 5 2008 SRASS——语义关联公理选择系统。 Zbl 1213.68575号 杰夫·萨特克利夫;尤里·普齐斯 13 2007 交互式派生查看器。 Zbl 1278.68282号 Trac，史蒂文;尤里·普齐斯;杰夫·萨特克利夫 5 2007 TPTP、TSTP、CASC等。 Zbl 1188.68265号 杰夫·萨特克利夫 三 2007 Mizar MPTP挑战问题的ATP交叉验证。 Zbl 1137.68576号 约瑟夫·乌尔班;杰夫·萨特克利夫 1 2007 CASC的状态。 Zbl 1112.68464号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 19 2006 使用TPTP公司用于编写派生词和有限解释的语言。 Zbl 1222.68373号 杰夫·萨特克利夫;斯蒂芬·舒尔茨;科恩·克莱森;范·盖尔德，艾伦 12 2006 通过自动分析器生成将TPTP语言扩展到高阶逻辑。 兹比尔1222.68375 范·盖尔德，艾伦;萨特克利夫，杰夫 6 2006 CADE ATP系统竞赛。 Zbl 1126.68580号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 8 2004 CASC的发展。 Zbl 1019.68101号 弗朗西斯·杰弗里·佩利蒂埃;杰夫·萨特克利夫;克里斯蒂安·萨特纳 10 2002 IJCAR ATP系统竞赛。 Zbl 1003.68718号 苏特克利夫，G。;苏特纳，C.B。;F.J.Pelletier。 4 2002 系统描述：GrAnDe 1.0。 Zbl 1072.68590号 斯蒂芬·舒尔茨;杰夫·萨特克利夫 1 2002 评估通用自动定理证明系统。 Zbl 0996.68182号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 15 2001 CADE-16 ATP系统竞赛。 Zbl 0953.68595号 杰夫·萨特克利夫 11 2000 系统描述：SystemOnTPTP。 Zbl 0963.68529号 杰夫·萨特克利夫 7 2000 TPTP问题库。CNF版本v1。2. 1. Zbl 0910.68197号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 69 1998 CADE-14 ATP系统竞赛。 Zbl 0916.68141号 克里斯蒂安·萨特纳;杰夫·萨特克利夫 13 1998 ATP问题的一些勘误表。 Zbl 0868.68099号 弗朗西斯·杰弗里·佩利蒂埃;杰夫·萨特克利夫 1 1997 CADE-13 ATP系统竞赛的设计。 Zbl 1412.68263号 克里斯蒂安·萨特纳（Christian B.Suttner）。;杰夫·萨特克利夫 1 1996 TPTP问题库。 Zbl 1433.68569号 杰夫·萨特克利夫;克里斯蒂安·萨特纳;也门，西奥多 29 1994 所有引用出版物 前5名被引用出版物 全部的 前5名450位作者引用 37 约瑟夫·乌尔班 22 Benzmüller、Christoph Ewald 21 塞萨里·卡利西克 20 杰夫·萨特克利夫 18 贾斯敏·克里斯蒂安·布兰切特 11 乍得·布朗·爱德华 11 贾尔斯·里格尔 11 安德烈·沃伦科夫 11 佩塔·武克米罗维奇 10 彼得·鲍姆加特纳 10 亚当·格拉博夫斯基 10 劳伦斯·查尔斯·保尔森 10 索菲·托雷特 9 亚历山大·本特坎普 9 克里斯托夫·韦登巴赫 8 弗洛里安·拉贝 7 Jakubův，简 7 科瓦奇，劳拉·伊尔迪科 7 马丁·苏达 6 Böhme，萨沙 6 乌尔里希·富巴赫 6 康斯坦丁·科洛文 6 延斯·奥滕 6 斯蒂芬·舒尔茨 6 亚历山大·斯蒂恩 6 塞萨尔·蒂内利 6 维斯科基尔 6 Sarah温克勒 5 克拉克·W·巴雷特。 5 斯特凡·赫兹尔 5 彼得·霍夫纳 5 贾尼契奇，普雷德拉格 5 丹尼尔·库尔温 5 亚当·纳莫维奇 5 徐，杨 4 艾哈迈德·巴亚特 4 玛丽亚·保拉（Maria Paola Bonacina） 4 科恩·克莱森 4 西蒙·克鲁恩斯 4 大卫·德拉哈耶 4 Thibault Gauthier 4 阿图尔·科尔尼·奥维茨 4 安·利利斯特罗姆 4 刘军 4 朱利安·纳布克斯 4 Nummelin，维萨卡 4 米罗斯拉夫·奥沙克 4 Pąk，卡罗尔 4 亚当·皮斯 4 吉赛尔·赖斯 4 乌韦·沃尔德曼 4 佐姆博里（Zsolt Zombori） 三 杰西·阿拉玛 三 格拉泽戈兹·班塞雷克 三 沃尔夫冈·比贝尔 三 陈树伟 三 卡雷尔·奇瓦洛夫斯克 三 Dang，Han-Hing（韩红） 三 汉斯·德·尼维尔 三 安德烈·杜阿尔特 三 加布里埃尔·埃布纳 三 迈克尔·Färber 三 帕斯卡·方丹 三 福斯，马提亚斯 三 何兴兴 三 汤姆·M·海斯克斯。 三 霍德、克里什托夫 三 亚历山大·莱奇 三 莱茨，莱因霍尔德 三 孟，贾 三 伯恩哈德·莫勒 三 托比亚斯·尼普科 三 尼古拉斯·佩尔蒂埃 三 比约恩·佩尔泽 三 迈克尔·劳森 三 安德鲁·雷诺兹 三 乔治·斯特鲁斯 三 阿伦·斯塔姆 三 克里斯蒂安·萨特纳（Christian B.Suttner）。 三 泰斯，弗兰克 三 丹尼尔·S·威勒。 三 马克斯·维斯涅夫斯基 三 布鲁诺州古沃尔岑洛格尔 2 阿奈、平子 2 Noriko H.Arai。 2 谢尔盖·奥特西尔 2 朱利安·巴克斯 2 哈尼尔·巴博萨 2 马克·贝泽姆 2 纪尧姆·伯勒 2 纪尧姆·伯里 2 Czesław拜林斯基 2 曹、冯 2 罗兰·科希托 2 马克西米利亚诺·克里斯蒂亚 2 莱昂纳多·德·莫拉 2 吉尔·Défourneaux 2 约尔格登津格 2 马丁·德沙奈斯 2 埃格利，乌韦 …还有350多名作者 全部的 前5名31篇连载文章中引用 70 自动化推理杂志 10 符号计算杂志 8 数学与人工智能年鉴 7 AI通信 7 应用逻辑杂志 6 人工智能 5 信息科学 5 信息与计算 5 计算机科学中的逻辑方法 5 形式化数学 4 逻辑程序设计理论与实践 三 MSCS公司。计算机科学中的数学结构 三 系统设计中的形式化方法 三 计算机科学中的数学 2 理论计算机科学 2 逻辑与代数程序设计杂志 2 程序设计中的逻辑和代数方法杂志 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 编程与计算机软件 1 Studia Logica公司 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 国际近似推理杂志 1 机器学习 1 国际计算机数学杂志 1 应用非经典逻辑杂志 1 软计算 1 计算机语言、系统和结构 1 ACM计算逻辑汇刊 全部的 前5名在14个字段中引用 354 计算机科学（68-XX） 133 数学逻辑和基础（03-XX） 6 几何图形（51至XX） 4 总体主题；集合（00-XX） 4 阶、格、有序代数结构（06-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 范畴理论；同调代数（18-XX） 2 运筹学、数学规划（90-XX） 1 数论（11-XX） 1 交换代数（13-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的引文