。 。 。 “Bartosz-Bednarczyk等人：在树上扩展双变量逻辑。（2016）”。 _：ID_62076672d0a00ae5c48b5ecd156ba3e6。_：ID_62076672d0a00ae5c48b5ecd156ba3e6 。_：ID_62076672d0a00ae5c48b5ecd156ba3e6 。_：ID_62076672d0a00ae5c48b5ecd156ba3e6“期刊/corr/BednarczykCK16”。 _：ID_713955c41b151d7801667edc98ac268b。_：ID_713955c41b151d7801667edc98ac268b 。_：ID_713955c41b151d7801667edc98ac268b 。_：ID_713955c41b151d7801667edc98ac268b"1611.02112" . “在树上扩展双变量逻辑”。 。 。 。 。 "3"^^。 _：Sig_4ee9854fc533a629b16d7daa09ff3f2a_1。_：Sig_4ee9854fc533a629b16d7daa09ff3f2a_1 。_：Sig_4ee9854fc533a629b16d7da09ff3f2a_1“Bartosz Bednarczyk”。_：Sig_4ee9854fc533a629b16d7daa09ff3f2a_1 。_：Sig_4ee9854fc533a629b16d7daa09ff3f2a_1"1"^^。_：Sig_4ee9854fc533a629b16d7daa09ff3f2a_1 。 _：Sig_4ee9854fc533a629b16d7daa09ff3f2a_2。_：Sig_4ee9854fc533a629b16d7daa09ff3f2a_2 。_：Sig_4ee9854fc533a629b16d7daa09ff3f2a_2“维托尔德·查拉托尼克”。_：Sig_4ee9854fc533a629b16d7daa09ff3f2a_2 。_：Sig_4ee9854fc533a629b16d7daa09ff3f2a_2"2"^^。_：Sig_4ee9854fc533a629b16d7daa09ff3f2a_2 。 _：Sig_4ee9854fc533a629b16d7daa09ff3f2a_3。_：Sig_4ee9854fc533a629b16d7daa09ff3f2a_3 。_：Sig_4ee9854fc533a629b16d7daa09ff3f2a_3“伊曼纽尔·基伦斯基”。_：Sig_4ee9854fc533a629b16d7daa09ff3f2a_3 。_：Sig_4ee9854fc533a629b16d7daa09ff3f2a_3"3"^^。_：Sig_4ee9854fc533a629b16d7daa09ff3f2a_3 。 。 。 。 “CoRR”。 “CoRR”。 “abs/1611.02112”。 “2016年”^^。 “dblp记录'journals/corr/BednarczykCK16'的RDF数据的起源信息”。 。 。 。 “2018-08-13T16:47:57+0200”。