Vikent’ev A, Avilov M. New comprehensive metrics and nontrivial steps to formulas multi-valued logic in the automatic clustering of logical formulas Knowledge Base. I. M [Internet]. 2016 Sep. 30 [cited 2025 Jul. 10];83(3):41-5. Available from: https://mts.buketov.edu.kz/index.php/mathematics-vestnik/article/view/101