. . . . . . “Marco Bozzano等人：通过延迟理论组合的有效可满足模理论。（2005）”。 . . _：ID_4363cc07fd254a4394a0e0a8697e8444。_：ID_4363cc07fd254a4394a0e0a8697e8444 ._：ID_4363cc07fd254a4394a0e0a8697e8444 ._：ID_4363cc07fd254a4394a0e0a8697e8444 ._：ID_4363cc07fd254a4394a0e0a8697e8444“conf/cav/BozzanoBCJRRS05”。 _：ID_72913787a823aac00306fde50da2b606。_：ID_72913787a823aac00306fde50da2b606 ._：ID_72913787a823aac00306fde50da2b606 ._：ID_72913787a823aac00306fde50da2b606 ._：ID_72913787a823aac00306fde50da2b606"10.1007/11513988_34" . _：编号：62033198d8abaf7c5fdfe981daf26d71。_：ID_62033198d8abaf7c5fdfe981daf26d71 ._：ID_62033198d8abaf7c5fdfe981daf26d71 ._：ID_62033198d8abaf7c5fdfe981daf26d71“Q62041373”。 “通过延迟理论组合的有效可满足模理论”。 . . . . . . . . . . . . . . . "7"^^. _：Sig_06bc6bc658aea98757f98066c507e388_1。_：Sig_06bc6bc658aea98757f98066c507e388_1 ._：Sig_06bc6bc658aea98757f98066c507e388_1 ._：Sig_06bc6bc658aea98757f98066c507e388_1“马可·波扎诺”。_：Sig_06bc6bc658aea98757f98066c507e388_1 ._：Sig_06bc6bc658aea98757f98066c507e388_1"1"^^._：Sig_06bc6bc658aea98757f98066c507e388_1 . _：Sig_06bc6bc658aea98757f98066c507e388_2。_：信号_06bc6bc658aea98757f98066c507e388_2 ._：信号_06bc6bc658aea98757f98066c507e388_2 ._：信号_06bc6bc658aea98757f98066c507e388_2“罗伯托·布鲁托梅索”。_：信号_06bc6bc658aea98757f98066c507e388_2 ._：信号_06bc6bc658aea98757f98066c507e388_2"2"^^._：信号_06bc6bc658aea98757f98066c507e388_2 . _：Sig_06bc6bc658aea98757f98066c507e388_3。_：Sig_06bc6bc658aea98757f98066c507e388_3 ._：Sig_06bc6bc658aea98757f98066c507e388_3 ._：Sig_06bc6bc658aea98757f98066c507e388_3“亚历山德罗·西马蒂”。_：Sig_06bc6bc658aea98757f98066c507e388_3 ._：Sig_06bc6bc658aea98757f98066c507e388_3 ._：Sig_06bc6bc658aea98757f98066c507e388_3"3"^^._：Sig_06bc6bc658aea98757f98066c507e388_3 . _：Sig_06bc6bc658aea98757f98066c507e388_4。_：Sig_06bc6bc658aea98757f98066c507e388_4 ._：Sig_06bc6bc658aea98757f98066c507e388_4 ._：Sig_06bc6bc658aea98757f98066c507e388_4“汤米·A·琼蒂拉”。_：Sig_06bc6bc658aea98757f98066c507e388_4 ._：Sig_06bc6bc658aea98757f98066c507e388_4"4"^^._：Sig_06bc6bc658aea98757f98066c507e388_4 . _：Sig_06bc6bc658aea98757f98066c507e388_5。_：Sig_06bc6bc658aea98757f98066c507e388_5 ._：Sig_06bc6bc658aea98757f98066c507e388_5 ._：Sig_06bc6bc658aea98757f98066c507e388_5“西尔维奥·兰伊斯”。_：Sig_06bc6bc658aea98757f98066c507e388_5 ._：Sig_06bc6bc658aea98757f98066c507e388_5"5"^^._：Sig_06bc6bc658aea98757f98066c507e388_5 . _：Sig_06bc6bc658aea98757f98066c507e388_6。_：Sig_06bc6bc658aea98757f98066c507e388_6 ._：Sig_06bc6bc658aea98757f98066c507e388_6 ._：Sig_06bc6bc658aea98757f98066c507e388_6“彼得·范·罗森”。_：Sig_06bc6bc658aea98757f98066c507e388_6 ._：Sig_06bc6bc658aea98757f98066c507e388_6"6"^^._：Sig_06bc6bc658aea98757f98066c507e388_6 . _：Sig_06bc6bc658aea98757f98066c507e388_7。_：Sig_06bc6bc658aea98757f98066c507e388_7 ._：Sig_06bc6bc658aea98757f98066c507e388_7 ._：Sig_06bc6bc658aea98757f98066c507e388_7“罗伯托·塞巴斯蒂亚尼”。_：Sig_06bc6bc658aea98757f98066c507e388_7 ._：Sig_06bc6bc658aea98757f98066c507e388_7"7"^^._：Sig_06bc6bc658aea98757f98066c507e388_7 . . . . . "335-349" . “CAV”。 “CAV”。 "2005"^^. "2005"^^. . “dblp记录'conf/cav/BozzanoBCJRRS05'的RDF数据的出处信息”。 . . . “2019-06-02T21:10:36+0200”。