@article{be602b546efe400e95b479b31ed7e078,
title = "Formalizing Ordinal Partition Relations Using Isabelle/HOL",
keywords = "interactive theorem proving, Isabelle, Ordinal partition relations, proof assistants, set theory",
author = "Mirna D{\v z}amonja and Angeliki Koutsoukou-Argyraki and Paulson, {Lawrence C.}",
note = "Publisher Copyright: {\textcopyright} 2021 The Author(s). Published with license by Taylor and Francis Group, LLC.",
year = "2022",
doi = "10.1080/10586458.2021.1980464",
language = "English",
volume = "31",
pages = "383--400",
journal = "EXPERIMENTAL MATHEMATICS",
issn = "1058-6458",
publisher = "A K Peters",
number = "2",
}