. . . . . 《伊利亚·夏皮洛夫斯基：克里普克框架和的可满足性问题》（2022）。 . . _：ID_0cb576f966faadf4215bc4904733c4b3。_：ID_0cb576f966faadf4215bc4904733c4b3 ._：ID_0cb576f966faadf4215bc4904733c4b3 ._：ID_0cb576f966faadf4215bc4904733c4b3“期刊/tocl/Shapirovsky22”。 _：ID_fac7d8eea0983b37db61776eb2718a2c。_：ID_fac7d8eea0983b37db61776eb2718a2c ._：ID_fac7d8eea0983b37db61776eb2718a2c ._：ID_fac7d8eea0983b37db61776eb2718a2c"10.1145/3508068" . “关于Kripke框架和的可满足性问题”。 . . "1"^^. _：Sig_93653e99657801b0a80b8c3045b1186f_1。_：Sig_93653e99657801b0a80b8c3045b1186f_1 ._：Sig_93653e99657801b0a80b8c3045b1186f_1“伊利亚·夏皮洛夫斯基”。_：Sig_93653e99657801b0a80b8c3045b1186f_1 ._：Sig_93653e99657801b0a80b8c3045b1186f_1 ._：Sig_93653e99657801b0a80b8c3045b1186f_1"1"^^._：Sig_93653e99657801b0a80b8c3045b1186f_1 . . . . "15:1-15:25" . “ACM事务计算日志”。 “ACM事务计算日志”。 "23" . "3" . "2022"^^. “dblp记录'journals/tocl/Shapirovsky22'的RDF数据的来源信息”。 . . . “2022-08-25T08:37:10+0200”。