@ARTICLE{NUMBER10.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur},
  TITLE = {Elementary Number Theory Problems. {P}art {X}},
  SECTION1 = {Preliminaries},
  SECTION2 = {Problem 84},
  SECTION3 = {Problem 94},
  SECTION4 = {Problem 99},
  SECTION5 = {Problem 170},
  SECTION6 = {Problem 173},
  SECTION7 = {Problem 174},
  SECTION8 = {Problem 175},
  SECTION9 = {Problem 177},
  SECTION10 = {Problem 179},
  SECTION11 = {Problem 186},
  SECTION12 = {Problem 187},
  SECTION13 = {Problem 189},
  SECTION14 = {Problem 190},
  SECTION15 = {Problem 193},
  SECTION16 = {Problem 194},
  SECTION17 = {Problem 197},
  SECTION18 = {Problem 199},
  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 84, 94, 99, 170, 173--175, 177, 179, 186, 
  187, 189, 190, 193, 194, 197, and 199 from \cite{Sierpinski:1970} are formalized,
  using the Mizar formalism \cite{Mizar-State-2015,BancerekJAR:2018,Kornilowicz:2015:FC}.}}
