@ARTICLE{NUMBER04.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur},
  TITLE = {Elementary Number Theory Problems. {P}art {IV}},
  SECTION1 = {Preliminaries},
  SECTION2 = {Main problems},
  DAY = {30},
  MONTH = {September},
  YEAR = {2022},
  ADDRESS1 = {Institute of Computer Science\\University of Bia{\l}ystok\\ Konstantego Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  SUMMARY = {In this paper problems 17, 18, 26, 27, 28, and 98 from \cite{Sierpinski:1970} are formalized,
  using the Mizar formalism \cite{Mizar-State-2015,BancerekJAR:2018,Kornilowicz:2015:FC}.},
}
