2024-04-20T04:41:11Z https://oai.zbmath.org/v1/

oai:zbmath.org:7191326 2020-04-21T10:54:13Z 03 68

亚历山大·博洛托夫（Alexander Bolotov）；蒙特塞拉特赫莫；帕基·卢西奥 2020 7191326 英语 爱思唯尔，阿姆斯特丹 https://zbmath.org/07191326 zbMATH Open生成的内容，如评论，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” 西奥。计算。科学。813, 428-451 (2020). 03B44；60年第68季度 分支时间逻辑\（\mathsf{ECTL}^{#}\）及其树型单程表：扩展\（\mathsf{EC TL}^+\）的公平性表示 j个