Теоретичні та методологічні основи програмування 54 14 UDC 004.42:510.69 3 УДК 004.42:510.69 3 логічний наслідок 3 секвенційне числення 3 004.415 2 ALC 2 RDM 2 UDC 004.62 2 UDC 519.681 2 UDC 681.3 2 logic 2 logical consequence 2 partial predicate 2 semantic web 2 Моделі та засоби систем баз даних і знань 2 УДК 004.62 2 УДК 519.6 2 УДК 519.681 2 бинарная реляционная структура данных 2 дескриптивна логіка 2 логика 2 логическое следствие 2 предикат 2 реляционная модель данных 2 реляційна модель даних 2 секвенциальное исчисление 2 004:512 1 : логіка 1