. . . . . 《丹尼斯·库珀伯格：词的一阶正逻辑》（2021）。 . . _：ID_0a8ec40771d83db21c49f8e65ca822f1。_：ID_0a8ec40771d83db21c49f8e65ca822f1 ._：ID_0a8ec40771d83db21c49f8e65ca822f1 ._：ID_0a8ec40771d83db21c49f8e65ca822f1“conf/lics/Kuperberg21”。 _：ID_2229dc4c84e39f75776ddb03763c9c41。_：ID_2229dc4c84e39f75776ddb03763c9c41 ._：ID_2229dc4c84e39f75776ddb03763c9c41 ._：ID_2229dc4c84e39f75776ddb03763c9c41“10.1109/LICS52264.2021.9470602”。 “单词的正一阶逻辑”。 . . "1"^^. _：Sig_f11cbf4ea321eb6e02d7f42d8df1d0ad_1。_：Sig_f11cbf4ea321eb6e02d7f42d8df1d0ad_1 ._：Sig_f11cbf4ea321eb6e02d7f42d8df1d0ad_1“丹尼斯·库珀伯格”。_：Sig_f11cbf4ea321eb6e02d7f42d8df1d0ad_1 ._：Sig_f11cbf4ea321eb6e02d7f42d8df1d0ad_1"1"^^._：信号_f11cbf4ea321eb6e02d7f42d8df1d0ad_1 . . . . "1-13" . “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录'conf/lics/Kuperberg21'的RDF数据的起源信息”。 . . . “2021-07-09T14:36:19+0200”。