Twierdzenie Craiga (Q1329954): Difference between revisions
(Changed label, description and/or aliases in en, pl, and other parts: Updating entity Twierdzenie Craiga with Lapacz) |
(Changed an Item: Updating statements of entity ["Twierdzenie Craiga" (pl)] with Lapacz) |
||
| Property / Version | |||
| Property / Version: Nimue verch Wledyr ap Gwyn / rank | |||
| 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