@article{ontomathmathbfpro20ontologyupdatesof,
  title = {OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model},
  author = {Alexander Kirillovich and Olga Nevzorova and Evgeny Lipachev},
  year = {2023},
  eprint = {2303.13542},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2303.13542v1},
}