. . . . . 《理查德·斯塔特曼：笛卡尔单元论》（1996）。 . . _：ID_012b5155bdcf86e64ed51483f1871267。_：ID_012b5155bdcf86e64ed51483f1871267 ._：ID_012b5155bdcf86e64ed51483f1871267 ._：ID_012b5155bdcf86e64ed51483f1871267“conf/csl/Statman96”。 _：ID_a30f3da59bd0b2e3ba3228ed3e71c4e2。_：ID_a30f3da59bd0b2e3ba3228ed3e71c4e2 ._：ID_a30f3da59bd0b2e3ba3228ed3e71c4e2 ._：ID_a30f3da59bd0b2e3ba3228ed3e71c4e2"10.1007/3-540-63172-0_55" . “关于笛卡尔单体。”。 . . "1"^^. _：Sig_179f69130d890c2a65492c41414097ab_1。_：Sig_179f69130d890c2a65492c41414097ab_1 ._：Sig_179f69130d890c2a65492c41414097ab_1“Richard Statman”。_：信号_179f69130d890c2a65492c141414097ab_1 ._：Sig_179f69130d890c2a65492c41414097ab_1"1"^^._：Sig_179f69130d890c2a65492c41414097ab_1 . . . . "446-459" . “CSL”。 “CSL”。 "1996"^^. "1997"^^. . “dblp记录'conf/csl/Statman96'的RDF数据的来源信息”。 . . . “2017-05-22T17:11:16+0200”。