Twierdzenie Craiga (Q1329954)
No description defined
- Craig interpolation property
- Craig interpolation theorem
- Craig-Lyndon theorem
- Craiga, twierdzenie
- Interpolacja Craiga
- Lemat Craiga
- Twierdzenie Craiga o interpolacji
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Twierdzenie Craiga |
No description defined |
|
Statements
a1000000018130
0 references
P13982T26000
0 references