. . . . . “Rick Statman：Church’s Semigroup Is Sq-Universal.（2021）”。 . . _：ID_bf25e334f24665ee9f1b1f4b37f2baad。_：ID_bf25e334f24665ee9f1b1f4b37f2baad ._：ID_bf25e334f24665ee9f1b1f4b37f2baad ._：ID_bf25e334f24665ee9f1b1f4b37f2baad“conf/fscd/Statman21”。 _：ID_828ce8ddc08d3931b836a594325e400d。_：ID_828ce8ddc08d3931b836a594325e400d ._：ID_828ce8ddc08d3931b836a594325e400d ._：ID_828ce8ddc08d3931b836a594325e400d“10.4230/LIPICS.FSCD.2021.6”。 “Church的Semigroup是Sq-Universal。”。 . . "1"^^. _：Sig_5d750a85163231aa3d6a469b5bde8669_1。_：Sig_5d750a85163231aa3d6a469b5bde8669_1 ._：Sig_5d750a85163231aa3d6a469b5bde8669_1“Rick Statman”。_：Sig_5d750a85163231aa3d6a469b5bde8669_1 ._：Sig_5d750a85163231aa3d6a469b5bde8669_1"1"^^._：Sig_5d750a85163231aa3d6a469b5bde8669_1 . . . . "6:1-6:6" . “FSCD”。 “FSCD”。 "2021"^^. "2021"^^. . “dblp记录'conf/fscd/Statman21'的RDF数据的来源信息”。 . . . “2021-07-06T15:54:59+0200”。