. . . . . “Jakub Michaliszyn等人：关于初等模态逻辑的可判定性（2015）”。 . . _：ID_174e96ca303a24e04e22f9ccb755cc1f。_：ID_174e96ca303a24e04e22f9ccb755cc1f ._：ID_174e96ca303a24e04e22f9ccb755cc1f ._：ID_174e96ca303a24e04e22f9ccb755cc1f“期刊/tocl/MichaliszynOK15”。 _：ID_929f3a8afadf40a3df952419d00d951。_：ID_929f3a8afadf40a3df952419d00d951 ._：ID_929f3a8afadf40a3df952419d00d951 ._：ID_929f3a8afadf40a3df952419d00d951“10.1145/2817825”。 “关于初等模态逻辑的可判定性”。 . . . . "3"^^. _：Sig_81d123bdfbd15a9cb8a586c082ed01db_1。_：Sig_81d123bdfbd15a9cb8a586c082ed01db_1 ._：Sig_81d123bdfbd15a9cb8a586c082ed01db_1“Jakub Michaliszyn”。_：Sig_81d123bdfbd15a9cb8a586c082ed01db_1 ._：Sig_81d123bdfbd15a9cb8a586c082ed01db_1 ._：Sig_81d123bdfbd15a9cb8a586c082ed01db_1"1"^^._：Sig_81d123bdfbd15a9cb8a586c082ed01db_1 . _：Sig_81d123bdfbd15a9cb8a586c082ed01db_2。_：Sig_81d123bdfbd15a9cb8a586c082ed01db_2 ._：信号_81d123bdfbd15a9cb8a586c082ed01db_2“Jan Otop”。_：Sig_81d123bdfbd15a9cb8a586c082ed01db_2 ._：Sig_81d123bdfbd15a9cb8a586c082ed01db_2 ._：Sig_81d123bdfbd15a9cb8a586c082ed01db_2"2"^^._：Sig_81d123bdfbd15a9cb8a586c082ed01db_2 . _：Sig_81d123bdfbd15a9cb8a586c082ed01db_3。_：Sig_81d123bdfbd15a9cb8a586c082ed01db_3 ._：Sig_81d123bdfbd15a9cb8a586c082ed01db_3“伊曼纽尔·基伦斯基”。_：Sig_81d123bdfbd15a9cb8a586c082ed01db_3 ._：Sig_81d123bdfbd15a9cb8a586c082ed01db_3 ._：Sig_81d123bdfbd15a9cb8a586c082ed01db_3"3"^^._：Sig_81d123bdfbd15a9cb8a586c082ed01db_3 . . . . "2" . “ACM事务计算日志”。 “ACM事务计算日志”。 "17" . "1" . "2015"^^. “dblp记录'journals/tocl/MichaliszynOK15'的RDF数据的起源信息”。 . . . “2022-06-10T10:35:17+0200”。