编辑配置文件（在新选项卡中打开） 艾伯特·斯特克迈尔 合著者距离 作者ID： 斯蒂克梅耶·阿尔伯特 发布日期： 艾伯特·斯特克迈尔 已编制索引的文档： 1出版物自2016年起 合著者： 4位合著者具有1联合出版物 77位合著者 合著者 0 单作者的 1 贾斯敏·克里斯蒂安·布兰切特 1 Böhme，萨沙 1 马蒂亚斯·弗勒里 1 斯莫尔卡，斯特芬·尤尔夫 系列 1 自动推理杂志 领域 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用13中的次12文件 引用人▼ 年份▼ 机器生成证明的半不可分辨Isar证明。 Zbl 1356.68178号 贾斯敏·克里斯蒂安·布兰切特；Böhme，萨沙；马蒂亚斯·弗勒里；斯莫尔卡，斯特芬·尤尔夫；艾伯特·斯特克迈尔 13 2016 机器生成证明的半不可分辨Isar证明。 Zbl 1356.68178号 贾斯敏·克里斯蒂安·布兰切特；Böhme，萨沙；马蒂亚斯·弗勒里；斯莫尔卡，斯特芬·尤尔夫；艾伯特·斯特克迈尔 13 2016 所有引用出版物 前5名被引用出版物 全部的 前5名被25位作者引用 7 贾斯敏·克里斯蒂安·布兰切特 4 马蒂亚斯·弗勒里 三 Cezary卡利西克 2 亚历山大·本特坎普 2 迪特里赫·克拉科夫 2 克里斯托夫·韦登巴赫 1 哈尼尔·巴博萨 1 托马斯·博埃里 1 库卡斯·扎伊卡 1 马丁·德沙奈斯 1 帕斯卡·方丹 1 大卫·格林纳韦 1 马克西米利安·哈斯贝克。 1 Jakubův，简 1 贾尼契奇，普雷德拉格 1 丹尼尔·库尔温 1 彼得·兰米奇 1 丹尼尔·马提库克 1 朱利安·纳布克斯 1 托比亚斯·尼普科 1 阿曼多·佩森提·格里蒂 1 安德烈·波佩斯库 1 佛朗哥·雷蒙迪 1 汉斯·约尔·舒尔 1 约瑟夫·乌尔班 连载1篇 7 自动推理杂志 在2个字段中引用 12 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文