Craig interpolation (Q1052021)
Jump to navigation
Jump to search
theorem
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Craig interpolation |
theorem |
Statements
Identifiers
Sitelinks
Wikipedia(6 entries)
- dewiki Craig-Interpolation
- enwiki Craig interpolation
- frwiki Théorème d'interpolation de Craig
- jawiki クレイグの補間定理
- kowiki 크레이그의 보간 정리
- plwiki Twierdzenie Craiga