编辑配置文件（在新选项卡中打开） 安德斯·施利奇特克鲁尔 合著者距离 作者ID： schlichtkrull.anders公司 发布日期： 安德斯·施利奇特克鲁尔 已编制索引的文档： 8出版物自2016年起 合著者： 11位合著者具有5份联合出版物 191位合作作者 全部的 前5名合著者 三 单作者的 2 贾斯敏·克里斯蒂安·布兰切特 2 德米特里·特拉泰尔 2 约根·维拉德森 2 乌韦·沃尔德曼 1 丹尼·鲍尔森（Danny Bougsted Poulsen） 1 来自阿斯塔·哈尔克 1 亚历山大·伯奇·延森 1 米贾·库尔琴斯基 1 约翰·布伦特·拉森 1 凯文·洛茨 1 德克·诺沃特卡 系列 2 自动推理杂志 1 AI通信 1 逻辑与计算杂志 领域 8 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用28中的次23文件 引用人▼ 年份▼ 正式化巴赫迈尔和甘津格的有序分辨率证明文件。 Zbl 1468.68306号 安德斯·施利奇特克鲁尔;贾斯敏·克里斯蒂安·布兰切特;德米特里·特拉泰尔;乌韦·沃尔德曼 10 2018 一阶逻辑解析演算的形式化。 Zbl 1478.68442号 安德斯·施利奇特克鲁尔 7 2016 一阶逻辑解析演算的形式化。 Zbl 1451.03019号 安德斯·施利奇特克鲁尔 6 2018 正式化巴赫迈尔和甘津格的有序分辨率证明文件。 Zbl 1468.68307号 安德斯·施利奇特克鲁尔;贾斯敏·布兰切特;德米特里·特拉泰尔;乌韦·沃尔德曼 5 2020 正式化巴赫迈尔和甘津格的有序分辨率证明文件。 Zbl 1468.68307号 安德斯·施利奇特克鲁尔;贾斯敏·布兰切特;德米特里·特拉泰尔;乌韦·沃尔德曼 5 2020 正式化Bachmair和Ganzinger的有序解析证明。 Zbl 1468.68306号 安德斯·施利奇特克鲁尔;贾斯敏·克里斯蒂安·布兰切特;德米特里·特拉泰尔;乌韦·沃尔德曼 10 2018 一阶逻辑解析演算的形式化。 Zbl 1451.03019号 安德斯·施利奇特克鲁尔 6 2018 一阶逻辑解析演算的形式化。 Zbl 1478.68442号 安德斯·施利奇特克鲁尔 7 2016 所有引用出版物 前5名被引用出版物 全部的 前5名被34位作者引用 6 贾斯敏·克里斯蒂安·布兰切特 5 安德斯·施利奇特克鲁尔 4 德米特里·特拉泰尔 4 乌韦·沃尔德曼 三 安德烈·波佩斯库 三 索菲·托雷特 三 约根·维拉德森 2 马丁·德沙奈斯 2 马蒂亚斯·弗勒里 2 来自阿斯塔·哈尔克 2 西蒙·罗比拉德 1 亚历山大·本特坎普 1 帕特里克·布莱克本 1 玛丽亚·保拉（Maria Paola Bonacina） 1 艾格尼斯·莫斯格德·埃舍恩 1 风、洋河 1 拉杰夫·普拉巴卡尔·戈尔 1 韩，杰西·迈克尔 1 何兴兴 1 亚历山大·伯奇·延森 1 彼得·兰米奇 1 拉森，约翰·布伦泽 1 李英芳 1 朱利叶斯·迈克利斯 1 托比亚斯·尼普科 1 劳伦斯·查尔斯·保尔森 1 雷娜特·施密特（Renate A.Schmidt）。 1 汉斯·约尔·舒尔 1 杰夫·萨特克利夫 1 弗洛里斯·范·道恩 1 佩塔·武克米罗维奇 1 克里斯托夫·韦登巴赫 1 吴敏超 1 郑森 3篇连载文章中引用 8 自动推理杂志 2 AI通信 1 信息科学 在3个字段中引用 22 计算机科学（68至XX） 12 数学逻辑和基础（03-XX） 1 量子理论（81-XX） 按年份列出的引文