2024-04-18T10:58:28Z https://oai.zbmath.org/v1/

oai:zbmath.org:7200668 2020-05-14T15:56:30 Z 03

拉杰夫·戈尔；勒曼，比约恩 2019 7200668 英语 https://zbmath.org/07200668 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” Cerrito，Serenella（编辑）等人，《使用分析表和相关方法的自动推理》。第28届国际会议，2019年9月3-5日，英国伦敦，TABLEAUX 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11714, 185-202 (2019). 03F05；03B45；03B44号 基于线性嵌套序列的时态逻辑句法删减和后向证明 一