@文章{zbMATH07835211，作者={Korni{\l}owicz，Artur}，标题={初等数论问题。{III}}，FJournal={形式化数学}，日志={Formaliz.Math.}，ISSN={1426-2630}，体积={30}，数字={2}，页码={135--158}，年份={2022}，语言={英语}，DOI={10.2478/forma-2022-0011}，关键词={68V20,11A41,03B35}，zbMATH={7835211}}