2024-04-16T18:46:38Z https://oai.zbmath.org/v1/

oai:zbmath.org:7152280 2020年10月1日至16日11时43分48秒 03 68

阿尼埃洛·穆拉诺（Aniello Murano）；Parente，米姆；萨沙·鲁宾；洛雷达纳·索伦蒂诺 2020 7152280 英语 阿姆斯特丹爱思唯尔 https://zbmath.org/07152280 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能通过API以适当的许可证提供。在这些情况下，我们将数据替换为字符串“zbMATH Open Web Interface contents”由于许可证冲突而不可用。” 西奥。计算。科学。806, 577-586 (2020). 68Q60；03B44；2017年第68季度 具有有限路径语义的模型检查分级计算树逻辑 j个