. . . “Juan Climent Vidal和Juan Soliveres Tur：多类等式逻辑的语法和语义的两类框架。（2010）”。 _：ID_cd2004d641255d87dedb39b52bf542c6。_：ID_cd2004d641255d87dedb39b52bf542c6 ._：ID_cd2004d641255d87dedb39b52bf542c6 ._：ID_cd2004d641255d87dedb39b52bf542c6 ._：ID_cd2004d641255d87dedb39b52bf542c6“日志/rml/VidalT10”。 “多分类等式逻辑的句法和语义的双范畴框架。”。 . . . . . "2"^^. _：Sig_b3ae001d726f0b43c56934fc5d3ef082_1。_：Sig_b3ae001d726f0b43c56934fc5d3ef082_1 ._：Sig_b3ae001d726f0b43c56934fc5d3ef082_1 ._：Sig_b3ae001d726f0b43c56934fc5d3ef082_1“Juan Climent Vidal”。_：Sig_b3ae001d726f0b43c56934fc5d3ef082_1 ._：Sig_b3ae001d726f0b43c56934fc5d3ef082_1"1"^^._：Sig_b3ae001d726f0b43c56934fc5d3ef082_1 . _：Sig_b3ae001d726f0b43c56934fc5d3ef082_2。_：Sig_b3ae001d726f0b43c56934fc5d3ef082_2 ._：Sig_b3ae001d726f0b43c56934fc5d3ef082_2 ._：Sig_b3ae001d726f0b43c56934fc5d3ef082_2《胡安·索里韦斯·图尔》。_：Sig_b3ae001d726f0b43c56934fc5d3ef082_2 ._：Sig_b3ae001d726f0b43c56934fc5d3ef082_2"2"^^._：Sig_b3ae001d726f0b43c56934fc5d3ef082_2 . . . . . "37-95" . “报告数学日志”。 “报告数学日志”。 "45" . "2010"^^. “dblp记录'journals/rml/VidalT10'的RDF数据的起源信息”。 . . . “2021-12-08T17:06:01+0100”。