Афонін, Андрій2012-07-162012-07-162010Афонін А. Про спрямовану парамодуляцію в методі елімінації моделей / Афонін А.О. // Вісник Київського університету. Серія : Фізико-математичні науки. - 2010. - Вип. 2. – С. 87-91.https://ekmair.ukma.edu.ua/handle/123456789/1610The paper is devoted to the research on the building-in of paramodulation rules into the model elimination method and input resolution. The results about the soundness and completeness of the constructed extensions are given.Стаття присвячена дослідженням з вбудовування парамодуляційних правил у метод елімінації моделей та вхідну резолюцію. Даються результати про коректність та повноту побудованих розширень.ukпарамодуляціяметод елімінації моделейArticle