%0 Journal Article
%A I. Yu. Balashova
%A E. A. Dzyuba
%A N. A. Popova
%T Ontology-oriented information system for verification 

%J News of the Kabardin-Balkar scientific center of RAS
%D 2024
%P 11-20
%V 26
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IZKAB_2024_26_1_a0/
%G ru
%F IZKAB_2024_26_1_a0