2024-04-19T20:20:53Z年4月19日 https://oai.zbmath.org/v1/

oai:zbmath.org:6840665 2018年2月19日T16:08:44 Z 03 68

曼弗雷德·科伯（伯明翰） 卡洛斯·安索特吉；波菲尔，密克尔；许多，费利普；马图·维拉雷特 2016 6840665 英语 爱思唯尔（北荷兰），阿姆斯特丹 https://zbmath.org/06840665 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能通过API以适当的许可证提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” 模糊集系统。292, 32-48 (2016). 03B35；03B50；68吨15 具有可满足模理论求解器的多值逻辑自动定理证明器 j个