Khakimova , S. Study and Classification of Provers. conf 2024, 1, 642-646.