Special cases of the interpolation theorem for classical predicate calculus (Q6647873)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Special cases of the interpolation theorem for classical predicate calculus |
scientific article; zbMATH DE number 7953477
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special cases of the interpolation theorem for classical predicate calculus |
scientific article; zbMATH DE number 7953477 |
Statements
Special cases of the interpolation theorem for classical predicate calculus (English)
0 references
3 December 2024
0 references
interpolation theorem
0 references
classical predicate calculus
0 references
universal interpolant
0 references
Horn interpolant
0 references