. . . . . “Ferruccio Guidi:图解变量通用量化的形式系统。（2022）”。 . . _：ID_13b918c21eb4fbe725744da10984e126。_：ID_13b918c21eb4fbe725744da10984e126 ._：ID_13b918c21eb4fbe725744da10984e126 ._：ID_13b918c21eb4fbe725744da10984e126“期刊/tocl/Guidi22”。 _：ID_2b54310731c05daa4f5fcf9f9faa2149。_：ID_2b54310731c05daa4f5fcf9f9faa2149 ._：ID_2b54310731c05daa4f5fcf9f9faa2149 ._：ID_2b54310731c05daa4f5fcf9f9faa2149"10.1145/3470646" . “图解变量通用量化的形式系统”。 . . “1”^^. _：Sig_fa4714094ffea9a30c0248e83ace8ee2_1。_：Sig_fa4714094咖啡9a30c0248e83面8ee2_1 ._：Sig_fa4714094咖啡9a30c0248e83面8ee2_1“Ferruccio Guidi”。_：Sig_fa4714094ffea9a30c0248e83ace8ee2_1信号 ._：Sig_fa4714094ffea9a30c0248e83ace8ee2_1信号 ._：Sig_fa4714094咖啡9a30c0248e83面8ee2_1“1”^^._：Sig_fa4714094咖啡9a30c0248e83面8ee2_1 . . . . "2:1-2:37" . “ACM事务计算日志”。 “ACM事务计算日志”。 "23" . "1" . "2022"^^. “dblp记录'journals/tocl/Guidi22'的RDF数据的起源信息”。 . . . “2022-04-09T12:32:18+0200”。