@第{zbMATH07771372条，作者={Korni{\l}owicz，Artur}，标题={初等数论问题。{VIII}}，FJournal={形式化数学}，日志={Formaliz.Math.}，ISSN={1426-2630}，体积={31}，数字={1}，页码={87--100}，年份={2023}，语言={英语}，DOI={10.2478/forma-2023-0009}，关键词={68V20,11A41,03B35}，zbMATH=｛7771372｝}