. . . . . . “Clemens Kupke等人：《算术模态逻辑中带全局假设的协同代数推理》（2022）”。 . . . _：ID_d3bb067d46fea52aabb132259d31dae9。_：ID_d3bb067d46fea52aabb132259d31dae9 ._：ID_d3bb067d46fea52aabb132259d31dae9 ._：ID_d3bb067d46fea52aabb132259d31dae9“期刊/tocl/KupkePS22”。 _：ID_d4590ec6a86f556d85ff1f1a268e7f9a。_：ID_d4590ec6a86f556d85ff1f1a268e7f9a ._：ID_d4590ec6a86f556d85ff1f1a268e7f9a ._：ID_d4590ec6a86f556d85ff1f1a268e7f9a"10.1145/3501300" . _：ID_66bdf76363ee61b129af182735bd3aa2。_：ID_66bdf76363ee61b129af182735bd3aa2 ._：ID_66bdf76363ee61b129af182735bd3aa2 ._：ID_66bdf76363ee61b129af182735bd3aa2“Q114613905”。 《算术模态逻辑中带全局假设的协同代数推理》。 . . . . "3"^^. _：Sig_3153c13ff0d534e60949ece847086aa5_1。_：Sig_3153c13ff0d534e60949ece847086aa5_1 ._：Sig_3153c13ff0d534e60949ece847086aa5_1“克莱门斯·库普克”。_：信号_3153c13ff0d534e60949ece847086aa5_1 ._：Sig_3153c13ff0d534e60949ece847086aa5_1 ._：Sig_3153c13ff0d534e60949ece847086aa5_1"1"^^._：Sig_3153c13ff0d534e60949ece847086aa5_1 . _：Sig_3153c13ff0d534e60949ece847086aa5_2。_：Sig_3153c13ff0d534e60949ece847086aa5_2 ._：信号_3153c13ff0d534e60949ece847086aa5_2“德克·帕丁森”。_：Sig_3153c13ff0d534e60949ece847086aa5_2 ._：Sig_3153c13ff0d534e60949ece847086aa5_2 ._：Sig_3153c13ff0d534e60949ece847086aa5_2"2"^^._：Sig_3153c13ff0d534e60949ece847086aa5_2 . _：Sig_3153c13ff0d534e60949ece847086aa5_3。_：信号_3153c13ff0d534e60949ece847086aa5_3 ._：Sig_3153c13ff0d534e60949ece847086aa5_3“Lutz Schr\u00F6der”。_：Sig_3153c13ff0d534e60949ece847086aa5_3 ._：Sig_3153c13ff0d534e60949ece847086aa5_3 ._：Sig_3153c13ff0d534e60949ece847086aa5_3"3"^^._：Sig_3153c13ff0d534e60949ece847086aa5_3 . . . . "11:1-11:34" . “ACM事务计算日志”。 “ACM事务计算日志”。 "23" . "2" . "2022"^^. “dblp记录'journals/tocl/KupkePS22'的RDF数据的起源信息”。 . . . “2023-08-28T21:37:11+0200”。