@第{zbMATH07719397条，作者={Salamon，Andr{\'a}s Z.和Wehar，Michael}，标题＝{有效的猜测有不太可能的后果}，FJournal={计算系统理论}，期刊={理论计算系统}，ISSN={1432-4350}，体积={67}，数字={3}，页码={548--568}，年份={2023}，语言={英语}，DOI={10.1007/s00224-023-1119-x}，关键词={68Qxx，94Cxx，68Pxx}，zbMATH={7719397}}