2024-04-26T10:49:21Z https://oai.zbmath.org/v1/

oai:zbmath.org:7311959 2021-02-17T14:52:10Z 03 68 90

乌尔里希·赫斯塔特；Ana Ozaki；克莱尔·狄克逊 2020 7311959 英语 施普林格荷兰，多德雷赫特 https://zbmath.org/07311959 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” J.汽车。《推理64》，第8期，1553-1610（2020）。 03B35；03B44；03B70；68T40；68V15；90B20；90B35型 自然数上逐点度量时态逻辑的定理证明 j个