. . . “Mnacho-Echenim等人：等式逻辑中的外推推理方法（2013）”。 _：ID_249013eaa1c82d8eb68101965030980f。_：ID_249013eaa1c82d8eb68101965030980f ._：ID_249013eaa1c82d8eb68101965030980f ._：ID_249013eaa1c82d8eb68101965030980f ._：ID_249013eaa1c82d8eb68101965030980f“conf/ijcai/EchenimPT13”。 《等式逻辑中的外推推理方法》。 . . . . . . . "3"^^. _：Sig_dcc81bb970a5eed26eb909651f0e5953_1。_：Sig_dcc81bb970a5eed26eb909651f0e5953_1 ._：Sig_dcc81bb970a5eed26eb909651f0e5953_1 ._：Sig_dcc81bb970a5eed26eb909651f0e5953_1签名“Mnacho Echenim”。_：Sig_dcc81bb970a5eed26eb909651f0e5953_1 ._：Sig_dcc81bb970a5eed26eb909651f0e5953_1"1"^^._：Sig_dcc81bb970a5eed26eb909651f0e5953_1 . _：Sig_dcc81bb970a5eed26eb909651f0e5953_2。_：Sig_dcc81bb970a5eed26eb909651f0e5953_2 ._：Sig_dcc81bb970a5eed26eb909651f0e5953_2 ._：Sig_dcc81bb970a5eed26eb909651f0e5953_2“尼古拉斯·佩尔蒂埃”。_：Sig_dcc81bb970a5eed26eb909651f0e5953_2签名 ._：Sig_dcc81bb970a5eed26eb909651f0e5953_2"2"^^._：Sig_dcc81bb970a5eed26eb909651f0e5953_2 . _：Sig_dcc81bb970a5eed26eb909651f0e5953_3。_：Sig_dcc81bb970a5eed26eb909651f0e5953_3 ._：Sig_dcc81bb970a5eed26eb909651f0e5953_3 ._：Sig_dcc81bb970a5eed26eb909651f0e5953_3“索菲·图雷特”。_：Sig_dcc81bb970a5eed26eb909651f0e5953_3 ._：Sig_dcc81bb970a5eed26eb909651f0e5953_3"3"^^._：Sig_dcc81bb970a5eed26eb909651f0e5953_3 . . . . . . "531-537" . “IJCAI”。 “IJCAI”。 “2013年”^^. “2013年”^^. . “dblp记录'conf/ijcai/EchenimPT13'的RDF数据的来源信息”。 . . . “2022-03-08T17:41:49+0100”。