。 。 。 。 。 “Mnacho-Echenim等人：在等式逻辑中生成基本蕴涵的重写策略。（2014）”。 。 。 _：ID_9d4798dce60ef238af02cdbbd0ded777。_：ID_9d4798dce60ef238af02cdbbd0ded777 。_：ID_9d4798dce60ef238af02cdbbd0ded777 。_：ID_9d4798dce60ef238af02cdbbd0ded777“conf/cade/EchenimPT14”。 _：ID_b4e2b121f91a53fb6ebb571888ab0957。_：ID_b4e2b121f91a53fb6ebb571888ab0957 。_：ID_b4e2b121f91a53fb6ebb571888ab0957 。_：ID_b4e2b121f91a53fb6ebb571888ab0957"10.1007/978-3-319-08587-6_10" . “在等式逻辑中生成素蕴涵的重写策略”。 。 。 。 。 "3"^^。 _：Sig_83d5942417589ff49590c90302288533_1。_：信号_83d5942417589ff49590c90302288533_1 。_：信号_83d5942417589ff49590c90302288533_1“Mnacho Echenim”。_：信号_83d5942417589ff49590c90302288533_1 。_：信号_83d5942417589ff49590c90302288533_1"1"^^。_：信号_83d5942417589ff49590c90302288533_1 。 _：Sig_83d5942417589ff49590c90302288533_2。_：信号_83d5942417589ff49590c90302288533_2 。_：信号_83d5942417589ff49590c90302288533_2“尼古拉斯·佩尔蒂埃”。_：信号_83d5942417589ff49590c90302288533_2 。_：信号_83d5942417589ff49590c90302288533_2"2"^^。_：信号_83d5942417589ff49590c90302288533_2 。 _：Sig_83d5942417589ff49590c90302288533_3。_：Sig_83d5942417589ff49590c90302288533_3 。_：Sig_83d5942417589ff49590c90302288533_3“索菲·图雷特”。_：Sig_83d5942417589ff49590c90302288533_3 。_：Sig_83d5942417589ff49590c90302288533_3"3"^^。_：Sig_83d5942417589ff49590c90302288533_3 。 。 。 。 "137-151" . “IJCAR”。 “IJCAR”。 “2014年”^^。 “2014年”^^。 。 “dblp记录‘conf/cade/EchenimPT14’的RDF数据的来源信息”。 。 。 。 “2017-05-21T00:17:17+0200”。