2024年4月19日下午5:35:21 https://oai.zbmath.org/v1/

oai:zbmath.org:7307313 2021-02-08T14:33:54Z 68

丹尼尔·考夫曼（Daniela Kaufmann）；阿明·比尔（Armin Biere）；曼纽尔·考尔斯 2020 7307313 英语 美国施普林格，纽约州纽约市 https://zbmath.org/07307313 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” 形式方法系统。设计。56，第1-3、22-54号（2020年）。 68Q60；2006年第68季度；68瓦30 用计算机代数对算术电路进行增量列式验证 j个