![Model theory / Automated theorem proving / Boolean algebra / Resolution / Interpolation / First-order logic / Interpretation / Unsatisfiable core / Atomic formula / Logic / Mathematical logic / Propositional calculus Model theory / Automated theorem proving / Boolean algebra / Resolution / Interpolation / First-order logic / Interpretation / Unsatisfiable core / Atomic formula / Logic / Mathematical logic / Propositional calculus](https://www.pdfsearch.io/img/599f76246a30761b0406f87ce3dfa667.jpg) Date: 2014-05-07 12:02:18Model theory Automated theorem proving Boolean algebra Resolution Interpolation First-order logic Interpretation Unsatisfiable core Atomic formula Logic Mathematical logic Propositional calculus | | Instantiations, Zippers and EPR Interpolation Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav Microsoft Research, Software Engineering Institute, University of Manchester, Tel Aviv University Abstract Add to Reading ListSource URL: research.microsoft.comDownload Document from Source Website File Size: 271,31 KBShare Document on Facebook
|