. . . . . “Mnacho-Echenim等人：任意域上分离逻辑的Bernays-Sch\u00F6nfinkel-Ramsey类。（2019）”。 . . _：ID_7b206438d77e8555cc5d78d943d7bf56。_：ID_7b206438d77e8555cc5d78d943d7bf56 ._：ID_7b206438d77e8555cc5d78d943d7bf56 ._：识别号_7b206438d77e8555cc5d78d943d7bf56“conf/fosss/EchenimIP19”。 _：ID_aa4dcfb8827ce5d24bda515940341cc2。_：ID_aa4dcfb8827ce5d24bda515940341cc2 ._：ID_aa4dcfb8827ce5d24bda515940341cc2 ._：ID_aa4dcfb8827ce5d24bda515940341cc2"10.1007/978-3-030-17127-8_14" . “任意域上分离逻辑的Bernays-Sch\u00F6nfinkel-Ramsey类。”。 . . . . "3"^^. _：Sig_3e7903f73307e4998fb618979f611e9a_1。_：Sig_3e7903f73307e4998fb618979f611e9a_1 ._：Sig_3e7903f73307e4998fb618979f611e9a_1“Mnacho Echenim”。_：Sig_3e7903f73307e4998fb618979f611e9a_1 ._：Sig_3e7903f73307e4998fb618979f611e9a_1"1"^^._：Sig_3e7903f73307e4998fb618979f611e9a_1 . _：Sig_3e7903f73307e4998fb618979f611e9a_2。_：Sig_3e7903f73307e4998fb618979f611e9a_2 ._：Sig_3e7903f73307e4998fb618979f611e9a_2“Radu Iosif”。_：Sig_3e7903f73307e4998fb618979f611e9a_2 ._：Sig_3e7903f73307e4998fb618979f611e9a_2"2"^^._：Sig_3e7903f73307e4998fb618979f611e9a_2 . _：Sig_3e7903f73307e4998fb618979f611e9a_3。_：Sig_3e7903f73307e4998fb618979f611e9a_3 ._：Sig_3e7903f73307e4998fb618979f611e9a_3“尼古拉斯·佩尔蒂埃”。_：Sig_3e7903f73307e4998fb618979f611e9a_3 ._：Sig_3e7903f73307e4998fb618979f611e9a_3"3"^^._：Sig_3e7903f73307e4998fb618979f611e9a_3 . . . . "242-259" . “FoSSaCS”。 “FoSSaCS”。 "2019"^^. "2019"^^. . “dblp记录'conf/fossacs/EchenimIP19'的RDF数据的来源信息”。 . . . “2019-08-20T15:26:54+0200”。