. . . . . “Jerzy Marcinkowski等人:B和D足以使Halpern-Shoham逻辑无法确定。(2010)”。 . . _:ID_fc97c617d7367093113e13eb76f8752。_:ID_fc97c617d7367093113e13eb76f8752 ._:ID_fc97c617d7367093113e13eb76f8752 ._:ID_fc97c617d7367093113e13eb76f8752“conf/icalp/MarcinkowskiMK10”。 _:ID_eaaa280d10d3fdd6b392fbc58d043fe6。_:ID_eaaa280d10d3fdd6b392fbc58d043fe6 ._:ID_eaaa280d10d3fdd6b392fbc58d043fe6 ._:ID_eaaa280d10d3fdd6b392fbc58d043fe6“10.1007/978-3-642-14162-1_30”。 “B和D足以使Halpern-Shoham逻辑无法确定。”。 . . . . "3"^^. _:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_1。_:信号_83478db7d5b3c44f97eddb4eb5ecdb0e_1 ._:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_1“Jerzy Marcinkowski”。_:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_1 ._:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_1"1"^^._:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_1 . _:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_2。_:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_2 ._:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_2“Jakub Michaliszyn”。_:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_2 ._:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_2"2"^^._:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_2 . _:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_3。_:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_3 ._:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_3“伊曼纽尔·基伦斯基”。_:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_3 ._:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_3 ._:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_3"3"^^._:Sig_83478db7d5b3c44f97eddb4eb5ecdb0e_3 . . . . "357-368" . “ICALP(2)”。 “iclp(2)”。 "2010"^^. "2010"^^. . “dblp记录'conf/icalp/MarcinkowskiMK10'的RDF数据的起源信息”。 . . . “2019-09-16T15:32:57+0200”。