Twierdzenie Craiga (Q1329954): Difference between revisions
Jump to navigation
Jump to search
(Created a new Item: Document Twierdzenie Craiga added by Lapacz) |
(Changed an Item: Updating statements of entity ["Twierdzenie Craiga" (pl)] with Lapacz) |
||
| (One intermediate revision by the same user not shown) | |||
| aliases / en / 0 | aliases / en / 0 | ||
Craig interpolation property | |||
| aliases / en / 1 | aliases / en / 1 | ||
Craig interpolation theorem | |||
| aliases / en / 2 | aliases / en / 2 | ||
Craig-Lyndon theorem | |||
| aliases / en / 3 | aliases / en / 3 | ||
Craiga, twierdzenie | |||
| aliases / en / 4 | aliases / en / 4 | ||
Interpolacja Craiga | |||
| aliases / en / 5 | aliases / en / 5 | ||
Lemat Craiga | |||
| aliases / en / 6 | aliases / en / 6 | ||
Twierdzenie Craiga o interpolacji | |||
| aliases / pl / 0 | aliases / pl / 0 | ||
Craig interpolation property | |||
| aliases / pl / 1 | aliases / pl / 1 | ||
Craig interpolation theorem | |||
| aliases / pl / 2 | aliases / pl / 2 | ||
Craig-Lyndon theorem | |||
| aliases / pl / 3 | aliases / pl / 3 | ||
Craiga, twierdzenie | |||
| aliases / pl / 4 | aliases / pl / 4 | ||
Interpolacja Craiga | |||
| aliases / pl / 5 | aliases / pl / 5 | ||
Lemat Craiga | |||
| aliases / pl / 6 | aliases / pl / 6 | ||
Twierdzenie Craiga o interpolacji | |||
| Property / National Library Identifier | |||
a1000000018130 | |||
| Property / National Library Identifier: a1000000018130 / rank | |||
Normal rank | |||
| Property / Related Subject | |||
| Property / Related Subject: Logika matematyczna / rank | |||
Normal rank | |||
| Property / Related Subject | |||
| Property / Related Subject: Logika pierwszego rzędu / rank | |||
Normal rank | |||
| Property / Type | |||
| Property / Type: Unknown / rank | |||
Normal rank | |||
| Property / Version | |||
P13982T26000 | |||
| Property / Version: P13982T26000 / rank | |||
Normal rank | |||
Latest revision as of 17:08, 14 December 2023
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