. . . “Mnacho Echenim和Nicolas Peltier：公式图式推理（2012）”。 _：ID_a0c809fb34bd63dab56e579214f67a99。_：ID_a0c809fb34bd63dab56e579214f67a99 ._：ID_a0c809fb34bd63dab56e579214f67a99 ._：ID_a0c809fb34bd63dab56e579214f67a99 ._：ID_a0c809fb34bd63dab56e579214f67a99“日记账/corr/abs-1204-2990”。 _：ID_2c7db777727b7c87da91079c64dbd014。_：ID_2c7db777727b7c87da91079c64dbd014 ._：ID_2c7db7777727b7c87da91079c64dbd014 ._：ID_2c7db777727b7c87da91079c64dbd014 ._：ID_2c7db777727b7c87da91079c64dbd014"1204.2990" . “公式图式推理”。 . . . . . "2"^^. _：Sig_2777d19b333ab7963c1e1f321373ce55_1。_：Sig_2777d19b333ab7963c1e1f321373ce55_1 ._：Sig_2777d19b333ab7963c1e1f321373ce55_1 ._：Sig_2777d19b333ab7963c1e1f321373ce55_1“Mnacho Echenim”。_：Sig_2777d19b333ab7963c1e1f321373ce55_1 ._：Sig_2777d19b333ab7963c1e1f321373ce55_1"1"^^._：Sig_2777d19b333ab7963c1e1f3213ce55_1 . _：Sig_2777d19b333ab7963c1e1f321373ce55_2。_：Sig_2777d19b333ab7963c1e1f321373ce55_2 ._：Sig_2777d19b333ab7963c1e1f321373ce55_2 ._：Sig_2777d19b333ab7963c1e1f321373ce55_2“尼古拉斯·佩尔蒂埃”。_：Sig_2777d19b333ab7963c1e1f321373ce55_2 ._：Sig_2777d19b333ab7963c1e1f321373ce55_2"2"^^._：Sig_2777d19b333ab7963c1e1f321373ce55_2 . . . . . “CoRR”。 “CoRR”。 “abs/1204.2990”。 "2012"^^. “dblp记录'journals/corr/abs-1204-2990'的RDF数据的来源信息”。 . . . “2018-08-13T16:46:53+0200”。