. . . . . “莫里茨·利希特：从多项式时间中分离秩逻辑。（2021）”。 . . _：ID_9aa76806193eb4c67a9ca41c5eeb0985。_：ID_9aa76806193eb4c67a9ca41c5eeb0985 ._：ID_9aa76806193eb4c67a9ca41c5eeb0985 ._：ID_9aa76806193eb4c67a9ca41c5eeb0985“conf/lics/Lichter21”。 _：ID_5e0e6daee785880941ffa0052bbbf519。_：ID_5e0e6daee785880941ffa0052bbbf519 ._：ID_5e0e6daee785880941ffa0052bbbf519 ._：ID_5e0e6daee785880941ffa0052bbbf519“10.1109/LICS52264.2021.9470598”。 “从多项式时间中分离秩逻辑”。 . . "1"^^. _：Sig_38f68f563d2a808218ebcb6c82d6d541_1。_：Sig_38f68f563d2a808218ebcb6c82d6d541_1 ._：信号_38f68f563d2a808218ebcb6c82d6d541_1“莫里茨·利希特”。_：Sig_38f68f563d2a808218ebcb6c82d6d541_1 ._：信号_38f68f563d2a808218ebcb6c82d6d541_1"1"^^._：Sig_38f68f563d2a808218ebcb6c82d6d541_1 . . . . "1-13" . “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录'conf/lics/Lichter21'的RDF数据的起源信息”。 . . . “2021-07-09T14:36:19+0200”。