. . . . . “Mnacho Echenim和Nicolas Peltier：结合归纳法和基于饱和的定理证明（2020）”。 . _：ID_27d41ffd12e2a23dffca4ba56915d7fc。_：ID_27d41ffd12e2a23dffca4ba56915d7fc ._：ID_27d41ffd12e2a23dffca4ba56915d7fc ._：ID_27d41ffd12e2a23dffca4ba56915d7fc ._：ID_27d41ffd12e2a23dffca4ba56915d7fc“journals/jar/EchenimP20”。 _：ID_2872284674535280a63b71e469689abb。_：ID_2872284674535280a63b71e469689abb ._：ID_2872284674535280a63b71e469689abb ._：ID_2872284674535280a63b71e469689abb ._：ID_2872284674535280a63b71e469689abb“10.1007/S10817-019-09519-X”。 “归纳与饱和相结合的定理证明”。 . . . . . "2"^^. _：Sig_856cdabfbcb931f95d63066812ec67b8_1。_：Sig_856cdabfbcb931f95d63066812ec67b8_1 ._：Sig_856cdabfbcb931f95d63066812ec67b8_1 ._：Sig_856cdabfbcb931f95d63066812ec67b8_1“Mnacho Echenim”。_：信号_856cdabfbcb931f95d63066812ec67b8_1 ._：Sig_856cdabfbcb931f95d63066812ec67b8_1 ._：Sig_856cdabfbcb931f95d63066812ec67b8_1"1"^^._：Sig_856cdabfbcb931f95d63066812ec67b8_1 . _：Sig_856cdabfbcb931f95d63066812ec67b8_2。_：Sig_856cdabfbcb931f95d63066812ec67b8_2 ._：Sig_856cdabfbcb931f95d63066812ec67b8_2 ._：Sig_856cdabfbcb931f95d63066812ec67b8_2“尼古拉斯·佩尔蒂埃”。_：Sig_856cdabfbcb931f95d63066812ec67b8_2 ._：Sig_856cdabfbcb931f95d63066812ec67b8_2 ._：Sig_856cdabfbcb931f95d63066812ec67b8_2"2"^^._：Sig_856cdabfbcb931f95d63066812ec67b8_2 . . . . . "253-294" . “J.Autom.理性”。 “J.Autom.理性”。 "64" . "2" . "2020"^^. “dblp记录'journals/jar/EchenimP20'的RDF数据的起源信息”。 . . . “2020-09-02T13:29:51+0200”。