TY  - JOUR
AU  - I. Yu. Balashova
AU  - E. A. Dzyuba
AU  - N. A. Popova
TI  - Ontology-oriented information system for verification 

JO  - News of the Kabardin-Balkar scientific center of RAS
PY  - 2024
SP  - 11
EP  - 20
VL  - 26
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IZKAB_2024_26_1_a0/
LA  - ru
ID  - IZKAB_2024_26_1_a0
ER  -