. . . . . “Mnacho-Echenim等人：一个选择器字段的Prenex分离逻辑（2019）”。 . _：ID_835f662ad39ccdb79607e5feb79313f6。_：ID_835f662ad39ccdb79607e5feb79313f6 ._：ID_835f662ad39ccdb79607e5feb79313f6 ._：ID_835f662ad39ccdb79607e5feb79313f6 ._：ID_835f662ad39ccdb79607e5feb79313f6“conf/tableaux/EchenimIP19”。 _：ID_8b0c859448b38c7a334652ffb45ea54a。_：ID_8b0c859448b38c7a334652ffb45ea54a ._：标识_8b0c859448b38c7a334652ffb45ea54a ._：ID_8b0c859448b38c7a334652ffb45ea54a ._：ID_8b0c859448b38c7a334652ffb45ea54a"10.1007/978-3-030-29026-9_23" . “带一个选择器字段的Prenex分离逻辑”。 . . . . . . . "3"^^. _：Sig_35ed118cb9af3f73489591609da585b2_1。_：Sig_35ed118cb9af3f73489591609da585b2_1 ._：Sig_35ed118cb9af3f73489591609da585b2_1 ._：Sig_35ed118cb9af3f73489591609da585b2_1“Mnacho Echenim”。_：Sig_35ed118cb9af3f73489591609da585b2_1 ._：Sig_35ed118cb9af3f73489591609da585b2_1"1"^^._：信号_35ed118cb9af3f73489591609da585b2_1 . _：Sig_35ed118cb9af3f73489591609da585b2_2。_：Sig_35ed118cb9af3f73489591609da585b2_2 ._：Sig_35ed118cb9af3f73489591609da585b2_2 ._：Sig_35ed118cb9af3f73489591609da585b2_2“Radu Iosif”。_：Sig_35ed118cb9af3f73489591609da585b2_2 ._：Sig_35ed118cb9af3f73489591609da585b2_2"2"^^._：Sig_35ed118cb9af3f73489591609da585b2_2 . _：Sig_35ed118cb9af3f73489591609da585b2_3。_：Sig_35ed118cb9af3f73489591609da585b2_3 ._：Sig_35ed118cb9af3f73489591609da585b2_3 ._：Sig_35ed118cb9af3f73489591609da585b2_3“尼古拉斯·佩尔蒂埃”。_：Sig_35ed118cb9af3f73489591609da585b2_3 ._：Sig_35ed118cb9af3f73489591609da585b2_3"3"^^._：Sig_35ed118cb9af3f73489591609da585b2_3 . . . . . "409-427" . “TABLEAUX”。 “TABLEAUX”。 "2019"^^. "2019"^^. . “dblp记录'conf/tableaux/EchenimIP19'的RDF数据的来源信息”。 . . . “2019-08-22T12:11:15+0200”。