. . . . . 《奥斯卡·菲克和伊曼纽尔·基伦斯基：走向可判定性的边界：二变量和三变量逻辑之间》（2023）。 . _：ID_b16962a732a078a397a208602d48fce2。_：ID_b16962a732a078a397a208602d48fce2 ._：ID_b16962a732a078a397a208602d48fce2 ._：ID_b16962a732a078a397a208602d48fce2 ._：ID_b16962a732a078a397a208602d48fce2“conf/lpar/FiukK23”。 _：ID_dfc89b1c3a237d666a3d6f44b8accbaa。_：ID_dfc89b1c3a237d666a3d6f44b8accbaa ._：ID_dfc89b1c3a237d666a3d6f44b8accbaa ._：ID_dfc89b1c3a237d666a3d6f44b8accbaa ._：ID_dfc89b1c3a237d666a3d6f44b8accbaa“10.29007/1XNS”。 “可判定性边界的偏移：在二变量和三变量逻辑之间。”。 . . . . . "2"^^. _：Sig_696332a11bdd625f4f9bd85a1685e69e_1。_：Sig_696332a11bdd625f4f9bd85a1685e69e_1 ._：Sig_696332a11bdd625f4f9bd85a1685e69e_1 ._：Sig_696332a11bdd625f4f9bd85a1685e69e_1“奥斯卡·菲克”。_：Sig_696332a11bdd625f4f9bd85a1685e69e_1 ._：Sig_696332a11bdd625f4f9bd85a1685e69e_1"1"^^._：Sig_696332a11bdd625f4f9bd85a1685e69e_1 . _：Sig_696332a11bdd625f4f9bd85a1685e69e_2。_：Sig_696332a11bdd625f4f9bd85a1685e69e_2 ._：Sig_696332a11bdd625f4f9bd85a1685e69e_2 ._：Sig_696332a11bdd625f4f9bd85a1685e69e_2“伊曼纽尔·基伦斯基”。_：Sig_696332a11bdd625f4f9bd85a1685e69e_2 ._：Sig_696332a11bdd625f4f9bd85a1685e69e_2"2"^^._：Sig_696332a11bdd625f4f9bd85a1685e69e_2 . . . . . "205-223" . “LPAR”。 “LPAR”。 "2023"^^. "2023"^^. . “dblp记录'conf/lpar/FiukK23'的RDF数据的来源信息”。 . . . “2023-07-12T16:50:32+0200”。