Twierdzenie Craiga (Q1329954)
Jump to navigation
Jump to search
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