。 。 。 “Juan Climent Vidal和Juan Soliveres Tur:关于多排序赤道逻辑的完全性定理以及Hall代数和B\u00E9nabou理论之间的等价性。（2006）”。 _：ID_cd2004d641245d4ededb39b52bf4428d。_：ID_cd2004d641245d4ededb39b52bf4428d 。_：ID_cd2004d641245d4ededb39b52bf4428d 。_：ID_cd2004d641245d4ededb39b52bf4428d“日志/rml/VidalT06”。 “关于多元等式逻辑的完备性定理和霍尔代数与B\u00E9nabou理论的等价性”。 。 。 。 "2"^^。 _：Sig_b3ae001d726e0b0ac56934fc5d3df049_1。_：Sig_b3ae001d726e0b0ac56934fc5d3df049_1 。_：Sig_b3ae001d726e0b0ac56934fc5d3df049_1“胡安·克莱门特·维达尔”。_：Sig_b3ae001d726e0b0ac56934fc5d3df049_1 。_：Sig_b3ae001d726e0b0ac56934fc5d3df049_1“1”^^。_：Sig_b3ae001d726e0b0ac56934fc5d3df049_1 。 _：Sig_b3ae001d726e0b0ac56934fc5d3df049_2。_：Sig_b3ae001d726e0b0ac56934fc5d3df049_2 。_：Sig_b3ae001d726e0b0ac56934fc5d3df049_2《胡安·索里韦斯·图尔》。_：Sig_b3ae001d726e0b0ac56934fc5d3df049_2 。_：Sig_b3ae001d726e0b0ac56934fc5d3df049_2"2"^^。_：Sig_b3ae001d726e0b0ac56934fc5d3df049_2 。 。 。 。 "127-158" . “报告数学日志”。 “报告数学日志”。 "40" . "2006"^^。 “dblp记录'journals/rml/VidalT06'的RDF数据的起源信息”。 。 。 。 “2021-12-08T17:06:01+0100”。