. . . . . “Mnacho-Echenim等人：无量词等式逻辑和素蕴涵生成（2015）”。 . . _：ID_9d4798dce60ef239af02cdbbd0ded778。_：ID_9d4798dce60ef239af02cdbbd0ded778 ._：标识_9d4798dce60ef239af02cdbbd0ded778 ._：ID_9d4798dce60ef239af02cdbbd0ded778“conf/cade/EchenimPT15”。 _：ID_b4e2b121f91a53fcc1ac1251b88a0f62。_：ID_b4e2b121f91a53fcc1ac1251b88a0f62 ._：ID_b4e2b121f91a53fcc1ac1251b88a0f62 ._：ID_b4e2b121f91a53fcc1ac1251b88a0f62"10.1007/978-3-319-21401-6_21" . “无量词等式逻辑和素蕴涵生成”。 . . . . "3"^^. _：Sig_83d5942417589ff59590c90302288534_1。_：信号_83d5942417589ff59590c90302288534_1 ._：信号_83d5942417589ff59590c90302288534_1“Mnacho Echenim”。_：信号_83d5942417589ff59590c90302288534_1 ._：信号_83d5942417589ff59590c90302288534_1"1"^^._：信号_83d5942417589ff59590c90302288534_1 . _：Sig_83d5942417589ff59590c90302288534_2。_：信号_83d5942417589ff59590c90302288534_2 ._：信号_83d5942417589ff59590c90302288534_2“尼古拉斯·佩尔蒂埃”。_：信号_83d5942417589ff59590c90302288534_2 ._：信号_83d5942417589ff59590c90302288534_2"2"^^._：信号_83d5942417589ff59590c90302288534_2 . _：Sig_83d5942417589ff59590c90302288534_3。_：Sig_83d5942417589ff59590c90302288534_3 ._：Sig_83d5942417589ff59590c90302288534_3“索菲·图雷特”。_：Sig_83d5942417589ff59590c90302288534_3 ._：Sig_83d5942417589ff59590c90302288534_3"3"^^._：Sig_83d5942417589ff59590c90302288534_3 . . . . "311-325" . “CADE”。 “学员”。 "2015"^^. "2015"^^. . “dblp记录'conf/cade/EchenimPT15'的RDF数据的出处信息”。 . . . “2017-05-21T00:17:18+0200”。