。 。 。 “Mnacho Echenim和Nicolas Peltier：用归纳定义和理论推理证明分离逻辑的程序”（2022）。 _：ID_dc7b63d12ec5da153eff5c2b73917316。_：ID_dc7b63d12ec5da153eff5c2b73917316 。_：ID_dc7b63d12ec5da153eff5c2b73917316 。_：ID_dc7b63d12ec5da153eff5c2b73917316 。_：ID_dc7b63d12ec5da153eff5c2b73917316“日记账/corr/abs-2201-13227”。 _：ID_ebad5322793aeca8af2c7553bd05e6bc。_：ID_ebad5322793aeca8af2c7553bd05e6bc 。_：ID_ebad5322793aeca8af2c7553bd05e6bc 。_：ID_ebad5322793aeca8af2c7553bd05e6bc 。_：ID_ebad5322793aeca8af2c7553bd05e6bc“2201.13227”。 “带归纳定义和理论推理的分离逻辑证明程序”。 。 。 。 。 。 "2"^^。 _：Sig_c95d82ae235975592be17b0868250e5a_1。_：Sig_c95d82ae235975592be17b0868250e5a_1 。_：Sig_c95d82ae235975592be17b0868250e5a_1 。_：Sig_c95d82ae235975592be17b0868250e5a_1“Mnacho Echenim”。_：Sig_c95d82ae235975592be17b0868250e5a_1 。_：Sig_c95d82ae235975592be17b0868250e5a_1“1”^^。_：Sig_c95d82ae235975592be17b0868250e5a_1 。 _：Sig_c95d82ae235975592be17b0868250e5a_2。_：Sig_c95d82ae235975592be17b0868250e5a_2 。_：Sig_c95d82ae235975592be17b0868250e5a_2 。_：Sig_c95d82ae235975592be17b0868250e5a_2“尼古拉斯·佩尔蒂埃”。_：Sig_c95d82ae235975592be17b0868250e5a_2 。_：Sig_c95d82ae235975592be17b0868250e5a_2"2"^^。_：Sig_c95d82ae235975592be17b0868250e5a_2 。 。 。 。 。 “CoRR”。 “CoRR”。 “abs/2201.13227”。 "2022"^^。 “dblp记录'journals/corr/abs-2201-13227'的RDF数据的出处信息”。 。 。 。 “2022-02-02T15:00:01+0100”。