Overview

Craig' interpolation theorem


Show Summary Details

Quick Reference

A theorem that provides an answer to the question of whether an interpolant I exists such that given a formula

AB

then both

AI

and

IB

are valid.

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.