@InCollection{zbMATH07176931，作者={Bozhko，Sergey and Khatbullina，Leyla and Grigorev，Semyon}，标题={Coq}}中的{Bar-{Hillel}定理机械化，BookTitle={逻辑、语言、信息和计算。第26届国际研讨会，2019年7月2-5日，荷兰乌得勒支WoLLIC 2019。诉讼}，国际标准图书编号={978-3-662-59532-9；978-3-562-59533-6}，页码={264--281}，年份={2019}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-662-59533-6_17}，关键词={68Q45,68V15,68V20}，zbMATH={7176931}}