IMT journal Document segmentSection

18_5

http://libmeta.ru/resource/imt/seg/18_5

Данные

hasConfidence	0.75
hasEndOffset	6082
hasLabel	Метод решения
hasOrderIndex	5
hasStartOffset	3614
wasManuallyVerified	false

extractedFrom

18

generatedBy

run_mocassin_1

mentions concept

Обратная связь Характеристическая функция Конъюнктивная нормальная форма Нормальная форма Ограниченный квантор Характеристическая функция

mentions

Обратная связь Характеристическая функция Конъюнктивная нормальная форма Нормальная форма Ограниченный квантор Характеристическая функция

fragment of

КОНСТРУКТИВНЫЙ ПОДХОД К ПРОВЕРКЕ ИСТИННОСТИ КВАНТИФИЦИРОВАННЫХ БУЛЕВЫХ ФОРМУЛ В…

Входящие связи

← has fragment · 1

КОНСТРУКТИВНЫЙ ПОДХОД К ПРОВЕРКЕ ИСТИННОСТИ КВАНТИФИЦИРОВАННЫХ БУЛЕВЫХ ФОРМУЛ В…