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 Sep. 4];83(3):41-5. Available from: http://mts.buketov.edu.kz/index.php/mathematics-vestnik/article/view/101