3
Craig enterpolantlarını hesaplamak için hangi algoritmalar biliniyor?
İnterpolantları hesaplamak için herhangi bir algoritma araştırması var mı? Sadece bir algoritmadaki kağıtlar ne olacak? En çok ilgilendiğim durum ve C = q artı enterpolantın mümkün olduğu kadar küçük olması. ( McMillan'ın 2005'ten itibaren nicelleştiricilerden kaçınırken enterpolantların nasıl alınacağını açıklayan makalesini biliyorum .)A=¬p∧qA=¬p∧qA=\lnot p\land qC=qC=qC=q Arka plan: Craig interpolasyon teoremi …