. . . . . 《克里斯蒂亚诺·卡尔卡尼奥等人：从分离逻辑到一阶逻辑》（2005）。 . _：ID_5877328064ca3ff36b1fb25448c08632。_：ID_5877328064ca3ff36b1fb25448c08632 ._：ID_5877328064ca3ff36b1fb25448c08632 ._：ID_5877328064ca3ff36b1fb25448c08632 ._：ID_5877328064ca3ff36b1fb25448c08632“conf/foss/CalcagnoGH05”。 _：编号：602451e9d9e0feb6cd70306cf6f1d3cc。_：ID_602451e9d9e0feb6cd70306cf6f1d3cc ._：ID_602451e9d9e0feb6cd70306cf6f1d3cc ._：ID_602451e9d9e0feb6cd70306cf6f1d3cc ._：ID_602451e9d9e0feb6cd70306cf6f1d3cc"10.1007/978-3-540-31982-5_25" . “从分离逻辑到一阶逻辑”。 . . . . . . . "3"^^. _：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_1。_：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_1 ._：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_1 ._：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_1“克里斯蒂亚诺·加尔卡尼奥”。_：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_1 ._：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_1"1"^^._：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_1 . _：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_2。_：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_2 ._：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_2 ._：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_2“菲利普·加德纳”。_：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_2 ._：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_2"2"^^._：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_2 . _：信号_0b04dde24adcb1af1dad5db62ed2f7ee_3。_：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_3 ._：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_3 ._：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_3“马修·黑格”。_：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_3 ._：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_3"3"^^._：Sig_0b04dde24adcb1af1dad5db62ed2f7ee_3 . . . . . . "395-409" . “FoSSaCS”。 “FoSSaCS”。 "2005"^^. "2005"^^. . “dblp记录‘conf/fossacs/CalcagnoGH05’的RDF数据的来源信息”。 . . . “2018-06-26T14:10:48+0200”。