Quelle  root.bib

@article{Min_Max_Least_Greatest-AFP,
  author  = {Martin Desharnais},
  title   = {Minimal, Maximal, Least, and Greatest Elements w.r.t. Restricted Ordering},
  journal = {Archive of Formal Proofs},
  month   = {October},
  year    = {2024},
  note    = {\url{https://isa-afp.org/entries/Min_Max_Least_Greatest.html},
             Formal proof development},
  ISSN    = {2150-914x},
}

@article{singh2017fully,
  title={Fully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem},
  author={Singh, Abhishek Kr},
  journal={arXiv preprint arXiv:1703.06133},
  year={2017}
}


@article{perles1963proof,
  title={A proof of Dilworth’s decomposition theorem for partially ordered sets},
  author={Perles, Micha A},
  journal={Israel Journal of Mathematics},
  volume={1},
  pages={105--107},
  year={1963},
  publisher={Springer}
}

@article{dilworth1950,
 ISSN = {0003486X, 19398980},
 URL = {http://www.jstor.org/stable/1969503},
 author = {R. P. Dilworth},
 journal = {Annals of Mathematics},
 number = {1},
 pages = {161--166},
 publisher = {[Annals of Mathematics, Trustees of Princeton University on Behalf of the Annals of Mathematics, Mathematics Department, Princeton University]},
 title = {A Decomposition Theorem for Partially Ordered Sets},
 urldate = {2025-03-11},
 volume = {51},
 year = {1950}
}