@第{zbMATH07730283条，作者={古铁雷斯、朱利安和纳吉布、穆罕默德和佩雷利、朱塞佩和伍尔德里奇、迈克尔}，标题={关于理性验证的复杂性}，FJournal={数学与人工智能年鉴}，日志={Ann.Math.Artif.Intern.}，ISSN={1012-2443}，体积={91}，数字={4}，页码={409--430}，年份={2023}，语言={英语}，DOI={10.1007/s10472-022-09804-3}，关键词={68Txx}，zbMATH={7730283}}