。 。 。 。 。 “Petar Maksimovic等人：精确分离逻辑（2022）”。 。 。 _：ID_6697b5f5801f43c91baefceadc13。_：ID_6697b5f5801f43c91baefceadc13 。_：ID_6697b5f5801f43c91baefceadc13 。_：ID_6697b5f5801f43c91baefceadc13“期刊/corr/abs-2208-07200”。 _：ID_5f130aec3b28068f33c891490e5ba242。_：ID_5f130aec3b28068f33c891490e5ba242 。_：ID_5f130aec3b28068f33c891490e5ba242 。_：ID_5f130aec3b28068f33c891490e5ba242“10.48550/ARXIV.2208.07200”。 “精确分离逻辑”。 。 。 。 。 。 。 。 "6"^^。 _：Sig_5379d4d274b2de56b5fdcd2cb97e7757_1。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_1 。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_1“彼得·马克西莫维奇”。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_1 。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_1"1"^^。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_1 。 _：Sig_5379d4d274b2de56b5fdcd2cb97e7757_2。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_2 。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_2“Caroline Cronj\u00E4ger”。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_2 。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_2"2"^^。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_2 。 _：Sig_5379d4d274b2de56b5fdcd2cb97e7757_3。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_3 。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_3“朱利安·萨瑟兰”。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_3 。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_3"3"^^。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_3 。 _：Sig_5379d4d274b2de56b5fdcd2cb97e7757_4。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_4 。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_4“安德烈亚斯L\u00F6\u00F 6w”。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_4 。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_4"4"^^。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_4 。 _：Sig_5379d4d274b2de56b5fdcd2cb97e7757_5。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_5 。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_5“Sacha-\u00C9lie Ayoun”。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_5 。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_5"5"^^。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_5 。 _：Sig_5379d4d274b2de56b5fdcd2cb97e7757_6。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_6 。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_6“菲利普·加德纳”。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_6 。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_6"6"^^。_：Sig_5379d4d274b2de56b5fdcd2cb97e7757_6 。 。 。 。 “CoRR”。 “CoRR”。 “abs/2208.07200”。 "2022"^^。 “dblp记录‘journals/corr/abs-2208-07200’的RDF数据的来源信息”。 。 。 。 “2022-08-17T09:42:52+0200”。