. . . . . “Fedor Part等人：一阶推理和高效半代数证明（2021）”。 . . _：ID_c53de34e928620aa12e7a67cc63dac2b。_：ID_c53de34e928620aa12e7a67cc63dac2b ._：ID_c53de34e928620aa12e7a67cc63dac2b ._：ID_c53de34e928620aa12e7a67cc63dac2b“conf/lics/PartTT21”。 _：ID_6721cf9e70874ca773ea0f2d3ac7dcda。_：ID_6721cf9e70874ca773ea0f2d3ac7dcda ._：ID_6721cf9e70874ca773ea0f2d3ac7dcda ._：ID_6721cf9e70874ca773ea0f2d3ac7dcda“10.1109/LICS52264.2021.9470546”。 “一阶推理和有效的半代数证明”。 . . . . "3"^^. _：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_1。_：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_1 ._：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_1“Fedor零件”。_：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_1 ._：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_1"1"^^._：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_1 . _：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_2。_：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_2 ._：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_2“Neil Thapen”。_：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_2 ._：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_2"2"^^._：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_2 . _：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_3。_：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_3 ._：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_3“Iddo Tzameret”。_：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_3 ._：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_3"3"^^._：Sig_dbb1fb0be23fa5ee295bbe3a15f7316f_3 . . . . "1-13" . “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录'conf/lics/PartTT21'的RDF数据的来源信息”。 . . . “2021-07-09T14:36:19+0200”。