. . . . . 《Matteo Mio等人：结合不确定性、概率和终止：等式和度量推理》（2021）。 . . _：ID_4303b60986a380bd293c5bc2814c04fc。_：ID_4303b60986a380bd293c5bc2814c04fc ._：ID_4303b60986a380bd293c5bc2814c04fc ._：ID_4303b60986a380bd293c5bc2814c04fc“conf/lics/MioSV21”。 _：ID_7162ee7e8e685801daf7efa81a43c7。_：ID_7162ee7e8e685801daf7efa81a43c7 ._：ID_7162ee7e8e685801daf7efa81a43c7 ._：ID_7162ee7e8e685801daf7efa81a43c7“10.1109/LICS52264.2021.9470717”。 “结合不确定性、概率和终止：等式和度量推理”。 . . . . "3"^^. _：Sig_fafd86036fe06a79e1362bbc6a88eeb8_1。_：Sig_fafd86036fe06a79e1362bbc6a88eeb8_1 ._：Sig_fafd86036fe06a79e1362bbc6a88eeb8_1“Matteo Mio”。_：Sig_fafd86036fe06a79e1362bbc6a88eeb8_1 ._：Sig_fafd86036fe06a79e1362bbc6a88eeb8_1"1"^^._：Sig_fafd86036fe06a79e1362bbc6a88eeb8_1 . _：Sig_fafd86036fe06a79e1362bbc6a88eeb8_2。_：Sig_fafd86036fe06a79e1362bbc6a88eeb8_2 ._：Sig_fafd86036fe06a79e1362bbc6a88eeb8_2“拉尔夫·萨基斯”。_：Sig_fafd86036fe06a79e1362bbc6a88eeb8_2 ._：Sig_fafd86036fe06a79e1362bbc6a88eeb8_2"2"^^._：Sig_fafd86036fe06a79e1362bbc6a88eeb8_2 . _：Sig_fafd86036fe06a79e1362bbc6a88eeb8_3。_：Sig_fafd86036fe06a79e1362bbc6a88eeb8_3 ._：Sig_fafd86036fe06a79e1362bbc6a88eeb8_3“瓦莱丽亚·维格努德利”。_：Sig_fafd86036fe06a79e1362bbc6a88eeb8_3 ._：Sig_fafd86036fe06a79e1362bbc6a88eeb8_3"3"^^._：Sig_fafd86036fe06a79e1362bbc6a88eeb8_3 . . . . "1-14" . “LICS”。 “舔”。 "2021"^^. "2021"^^. . “dblp记录'conf/lics/MioSV21'的RDF数据的起源信息”。 . . . “2021-07-09T14:36:19+0200”。