@ARTICLE{NUMBER09.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur},
  TITLE = {Elementary Number Theory Problems. {P}art {IX}},
  SECTION1 = {Preliminaries},
  SECTION2 = {Problem 62},
  SECTION3 = {Problem 91},
  SECTION4 = {Problem 125},
  SECTION5 = {Problem 143},
  SECTION6 = {Problem 146},
  SECTION7 = {Problem 147},
  SECTION8 = {Problem 158},
  SECTION9 = {Problem 166},
  SECTION10 = {Problem 178},
  SECTION11 = {Problem 180},
  SECTION12 = {Problem 181},
  DAY = {21},
  MONTH = {November},
  YEAR = {2023},
  ADDRESS1 = {Faculty of Computer Science\\University of Bia{\l}ystok\\ Konstantego Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  SUMMARY = {In this paper problems 62, 91, 125, 143, 146, 147, 158, 166, 178, 180, and 181 from \cite{Sierpinski:1970} are formalized,
  using the Mizar formalism \cite{Mizar-State-2015,BancerekJAR:2018,Kornilowicz:2015:FC}.},
}
