亨德里克·莱丁格;克里斯托弗·魏登巴赫 SCL(EQ):SCL表示等式的一阶逻辑。 (英语) Zbl 07722429号 J.汽车。推理 67,第3号,第22号论文,35页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.Leidinger}和\textit{C.Weidenbach},J.奥托姆。推理67,第3号,第22号论文,第35页(2023;Zbl 07722429) 全文: 内政部
加布里埃尔·埃布纳;贾斯敏·布兰切特;索菲·托雷特 统一拆分。 (英语) Zbl 07702722号 J.汽车。推理 67,第2期,第16号论文,44页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Ebner}等人,J.Autom。推理67,第2期,第16号论文,第44页(2023;Zbl 07702722) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina) 支持集、解调、副调制:历史观点。 (英语) 兹比尔1511.68305 J.汽车。推理 66,第4期,463-497(2022).MSC公司:68伏15 68-03 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina},J.Autom。推理66,No.4,463--497(2022;Zbl 1511.68305) 全文: 内政部
盛英;尤尼·佐哈尔;克里斯托夫·林盖森;简·兰格;帕斯卡·方丹;克拉克·巴雷特 代数数据类型的巧妙组合。 (英语) Zbl 07606342号 J.汽车。推理 66,编号3,331-355(2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人,J.Autom。推理66,第3号,331-355(2022;Zbl 07606342) 全文: 内政部 arXiv公司 链接
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 模型完备性、一致插值和叠加演算。(应用于验证数据软件过程)。 (英语) Zbl 07433024号 J.汽车。推理 65,第7期,941-969(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人,J.Autom。推理65,No.7,941-969(2021;Zbl 07433024) 全文: 内政部
亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 与lambdas重叠。 (英语) Zbl 07433023号 J.汽车。推理 65,第7期,893-940(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bentkamp}等人,J.Autom。推理65,No.7,893--940(2021;Zbl 07433023) 全文: 内政部
Christoph Wernhard公司 带子句一阶表的Craig插值。 (英语) 兹伯利07432183 J.汽车。推理 65,第5号,647-690(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Wernhard},J.Autom(汽车公司)。推理65,No.5,647--690(2021;Zbl 07432183) 全文: 内政部 arXiv公司
西尔维奥·吉拉尔迪;埃琳娜·帕加尼 高阶量词消除、反仿真和容错系统。 (英语) Zbl 07356977号 J.汽车。推理 65,编号3,425-460(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}和\textit{E.Pagani},J.Autom。推理65,No.3,425--460(2021;Zbl 07356977) 全文: 内政部
杰夫·萨特克利夫 TPTP问题库和相关基础设施。从CNF到TH0,TPTP v6.4.0。 (英语) Zbl 1425.68381号 J.汽车。推理 59,第4期,483-502(2017).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe},J.Autom。推理59,No.4,483--502(2017;Zbl 1425.68381) 全文: 内政部
Ganesalingam,M。;W.T.Gowers。 具有人性化输出的全自动定理证明器。 (英语) Zbl 1405.03035号 J.汽车。推理 58,第2期,253-291(2017).MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Ganesalingam}和\textit{W.T.Gowers},J.Autom。推理58,第2期,253-291(2017年;Zbl 1405.03035) 全文: 内政部
杰根,基督;Jochen Hoenicke公司 保证明树插值。 (英语) Zbl 1356.68184号 J.汽车。推理 57,第1号,67-95(2016).MSC公司:68吨15 03B35型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{J.Christ}和textit{J Hoenicke},J.Autom。推理57,No.1,67-95(2016;Zbl 1356.68184) 全文: 内政部
Nishant Totla公司;托马斯·怀斯 完成基于实例化的插值。 (英语) Zbl 1356.68203号 J.汽车。推理 57,第1号,37-65(2016).MSC公司:68吨15 03C40号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Totla}和\textit{T.Wies},J.Autom。推理57,No.1,37--65(2016;Zbl 1356.68203) 全文: 内政部 链接
马蒂亚斯·施莱普费尔;乔治·威森巴赫 超分辨率、子句和局部证明的标记插值系统。 (英语) Zbl 1356.68199号 J.汽车。推理 57,第1期,3-36(2016).MSC公司:68吨15 03立方厘米35 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Schlaipfer}和\textit{G.Weissenbacher},J.Autom。推理57,No.1,3--36(2016;Zbl 1356.68199) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina);穆阿·约翰逊 自动演绎中地面证据的插值系统:一项调查。 (英语) Zbl 1356.68179号 J.汽车。推理 54,第4期,353-390(2015).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{M.Johansson},J.Autom。推理54,No.4,353--390(2015;Zbl 1356.68179) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina);穆阿·约翰逊 自动定理证明中的插值。 (英语) Zbl 1315.03018号 J.汽车。推理 54,第1期,69-97(2015).MSC公司:03B35型 68吨15 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{M.Johansson},J.Autom。推理54,No.1,69--97(2015;Zbl 1315.03018) 全文: 内政部
Janičić,普雷德拉格;朱利安·纳布克斯;佩德罗·夸雷斯马 面积法。概述。 (英语) Zbl 1242.68281号 J.汽车。推理 48,第4期,489-532(2012).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Janić}等人,J.Autom。推理48,No.4,489--532(2012;Zbl 1242.68281) 全文: 内政部
穆阿·约翰逊;卢卡斯·狄克逊;阿兰·邦迪 归纳理论的猜想综合。 (英语) Zbl 1243.68268号 J.汽车。推理 47,第3期,251-289(2011).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Johansson}等人,J.Autom。推理47,No.3,251--289(2011;Zbl 1243.68268) 全文: 内政部 链接
贾尼契奇,普雷德拉格 几何构造语言。 (英语) Zbl 1185.68626号 J.汽车。推理 44,编号1-2,3-24(2010).MSC公司:68吨15 2004年5月5日 68甲15 PDF格式BibTeX公司 XML格式引用 \文本{P.Janičić},J.Autom。推理44,No.1--2,3--24(2010;Zbl 1185.68626) 全文: 内政部
安德烈亚·阿斯佩蒂;克劳迪奥·萨塞尔多蒂·科恩;恩里科·塔西;斯特凡诺·扎奇罗利 用户与Matita校对助手的互动。 (英语) Zbl 1132.68673号 J.汽车。推理 39,第2期,109-139(2007).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}等人,J.Autom。推理39,No.2,109--139(2007;Zbl 1132.68673) 全文: 内政部