2024-04-19T16:48:09Z https://oai.zbmath.org/v1/

oai:zbmath.org:7176931 2020-03-04T10:58:52Z 68

谢尔盖·博日科；Leyla Khatbullina；塞姆扬·格里戈列夫 2019 7176931 英语 https://zbmath.org/07176931 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能通过API以适当的许可证提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” 罗莎莉·伊姆霍夫（编辑）等人，《逻辑、语言、信息和计算》。第26届国际研讨会，2019年7月2-5日，荷兰乌得勒支WoLLIC 2019。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。11541, 264-281 (2019). 68Q45；68V15；68V20型 Coq中的Bar-Hillel定理机械化 一