. . . “Mnacho Echenim等人：《检查分离逻辑符号堆之间的蕴涵：超越连接和建立的系统》（2020）”。 _：ID_15ab74e830d7df89782f6d4275a3788a。_：ID_15ab74e830d7df89782f6d4275a3788a ._：ID_15ab74e830d7df89782f6d4275a3788a ._：ID_15ab74e830d7df89782f6d4275a3788a ._：ID_15ab74e830d7df89782f6d4275a3788a“期刊/corr/abs-2012-14361”。 _：ID_24dd64397b4cf21ce7891043a96845a4。_：ID_24dd64397b4cf21ce7891043a96845a4 ._：ID_24dd64397b4cf21ce7891043a96845a4 ._：ID_24dd64397b4cf21ce7891043a96845a4 ._：ID_24dd64397b4cf21ce7891043a96845a4"2012.14361" . “检查分离逻辑符号堆之间的蕴涵：超越已连接和已建立的系统。”。 . . . . . . . "3"^^. _：Sig_028d93c5256b7acd65118c1f6a3713ce_1。_：Sig_028d93c5256b7acd65118c1f6a3713ce_1 ._：Sig_028d93c5256b7acd65118c1f6a3713ce_1 ._：Sig_028d93c5256b7acd65118c1f6a3713ce_1“Mnacho Echenim”。_：Sig_028d93c5256b7acd65118c1f6a3713ce_1 ._：Sig_028d93c5256b7acd65118c1f6a3713ce_1"1"^^._：Sig_028d93c5256b7acd65118c1f6a3713ce_1 . _：Sig_028d93c5256b7acd65118c1f6a3713ce_2。_：Sig_028d93c5256b7acd65118c1f6a3713ce_2 ._：Sig_028d93c5256b7acd65118c1f6a3713ce_2 ._：Sig_028d93c5256b7acd65118c1f6a3713ce_2“拉杜·伊奥西夫”。_：Sig_028d93c5256b7acd65118c1f6a3713ce_2 ._：Sig_028d93c5256b7acd65118c1f6a3713ce_2"2"^^._：Sig_028d93c5256b7acd65118c1f6a3713ce_2 . _：Sig_028d93c5256b7acd65118c1f6a3713ce_3。_：Sig_028d93c5256b7acd65118c1f6a3713ce_3 ._：Sig_028d93c5256b7acd65118c1f6a3713ce_3 ._：Sig_028d93c5256b7acd65118c1f6a3713ce_3“尼古拉斯·佩尔蒂埃”。_：Sig_028d93c5256b7acd65118c1f6a3713ce_3 ._：Sig_028d93c5256b7acd65118c1f6a3713ce_3"3"^^._：Sig_028d93c5256b7acd65118c1f6a3713ce_3 . . . . . “CoRR”。 “CoRR”。 “abs/2012.14361”。 "2020"^^. “dblp记录‘journals/corr/abs-2012-14361’的RDF数据的来源信息”。 . . . “2021-01-05T16:02:31+0100”。