@ARTICLE{NUMBER07.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur},
  TITLE = {Elementary Number Theory Problems. Part {VII}},
  SECTION1 = {Preliminaries},
  SECTION2 = {Problem 48},
  SECTION3 = {Problem 80},
  SECTION4 = {Problem 87},
  SECTION5 = {Problem 89},
  SECTION6 = {Problem 124},
  DAY = {31},
  MONTH = {March},
  YEAR = {2023},
  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 48, 80, 87, 89, and 124 from \cite{Sierpinski:1970} are formalized,
  using the Mizar formalism \cite{Mizar-State-2015,BancerekJAR:2018,Kornilowicz:2015:FC}.}}
