%0 Journal Article %A N. Kh. Kasymov %T Logical specifications of effectively separable data models %J Izvestiâ vysših učebnyh zavedenij. Matematika %D 2024 %P 15-26 %N 6 %U http://geodesic.mathdoc.fr/item/IVM_2024_6_a1/ %G ru %F IVM_2024_6_a1