提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/tocl/PodderZ22AU-波德，穆曼蒂AU-朱可夫斯基，马克西姆量词深度有界的一阶存在句的TI-Zero-One定律。JO-ACM事务处理。计算。日志。VL-23IS-2SP-12:1分EP-12:272022年上半年//DO-10.1145/3489466UR-（欧元）https://doi.org/10.1145/3489466急诊室-