. . . “Richard Statman：Jacobini定理的边缘化。（2001）”。 _：ID_eeb1111f5f6c97fec6a73cc7b59fcdbd。_：ID_eeb1111f5f6c97fec6a73cc7b59fcdbd ._：ID_eeb1111f5f6c97fec6a73cc7b59fcdbd ._：ID_eeb1111f5f6c97fec6a73cc7b59fcdbd“日志/fuin/Statman01”。 “Jacopini定理的边缘”。 . . "1"^^. _：Sig_4c49cbe2094327ba243ff78a5f765d79_1。_：Sig_4c49cbe2094327ba243ff78a5f765d79_1 ._：Sig_4c49cbe2094327ba243ff78a5f765d79_1“Richard Statman”。_：Sig_4c49cbe2094327ba243ff78a5f765d79_1 ._：Sig_4c49cbe2094327ba243ff78a5f765d79_1"1"^^._：Sig_4c49cbe2094327ba243ff78a5f765d79_1 . . . . "117-121" . “Fundam.Informaticae”。 “Fundam.Informaticae”。 "45" . "1-2" . "2001"^^. “dblp记录'journals/fuin/Statman01'的RDF数据的来源信息”。 . . . “2020-09-18T11:17:01+0200”。