Pestryakov, D. (2025) “Prospects for using the ontology description language ONTOL V2 in automating the knowledge verification procedure”, Computer Tools in Education [Preprint], (3). doi:10.32603/2071-2340-2025-3-5.