3
Які алгоритми відомі для обчислення інтерполянтів Крейга?
Чи є опитування алгоритмів обчислення інтерполянтів? А як з паперами лише на одному алгоритмі? Випадок, який мене найбільше цікавить, - це і , плюс обмеження, що інтерполянт якнайменший. (Я знаю з статті Макміллана від 2005 року , де описано, як отримати інтерполянти, уникаючи кількісних показників.)A=¬p∧qA=¬p∧qA=\lnot p\land qC=qC=qC=q Передумови: теорема Крейга …