@misc{indiciae0bff5405c91e,
  title = {OntoMath\$\{\}\textasciicircum{}\{\textbackslash{}mathbf\{PRO\}\}\$ 2.0 Ontology: Updates of the Formal Model},
  author = {Alexander Kirillovich and Olga Nevzorova and Evgeny Lipachev},
  year = {2023},
  doi = {10.1134/s1995080222150136},
  url = {https://arxiv.org/abs/2303.13542},
  note = {Source identifier: 2303.13542}
}