Publication Details:
«ՀՀ ԳԱԱ Տեղեկագիր: Մաթեմատիկա»-ն լույս է տեսնում 1966 թվականից՝ տարին 6 անգամ։
Journal or Publication Title:
Date of publication:
Volume:
Number:
ISSN:
Official URL:
Additional Information:
Title:
Модификация метода резолюций Робинсона на случай использования встроенных предикатов
Other title:
Modification of the Robinson's resolution method for built-in predicates.
Creator:
Contributor(s):
Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) ; Ռ․ Վ․ Համբարձումյան (1994-2009) ; Ա․ Ա․ Սահակյան (2010-)
Subject:
Uncontrolled Keywords:
Coverage:
Abstract:
К известному правилу резолюции Робинсона добавляется правило унарной резолюции Ru. Правило Ru применяется к дизъюнкту, использующему интерпретированный на эрбрановском универсуме вычислимый предикат. Рассматриваются так называемые разумные ограничения Ru и доказывается полнота модифицированного правила резолюции в случае любых разумных ограничений Ru.
Place of publishing:
Երևան
Publisher:
Date created:
Type:
Format:
Call number:
Digitization:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան