2024-04-19T12:58:03Z年4月19日 https://oai.zbmath.org/v1/

oai:zbmath.org:7260168 2020-10-13T15:16:05Z 03 68

罗查、蒂亚戈·阿尔维斯；马丁斯（Ana Teresa Martins）；弗朗西伯·马丁斯·费雷拉 2020 7260168 英语 阿姆斯特丹爱思唯尔 https://zbmath.org/07260168 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” 西奥。计算。科学。843, 115-135 (2020). 68T20；03C13；68Q32；68Q42；68兰特 用EF游戏和SAT从不一致的字符串样本中合成无量词的DNF句子 j个