Rachunek sekwentów (Q1781161): Difference between revisions
Jump to navigation
Jump to search
(Created a new Item: Document Rachunek sekwentów added by Lapacz) |
(Changed an Item: Updating statements of entity ["Rachunek sekwentów" (pl)] with Lapacz) |
||
| (One intermediate revision by the same user not shown) | |||
| aliases / en / 0 | aliases / en / 0 | ||
Rachunek Gentzena | |||
| aliases / en / 1 | aliases / en / 1 | ||
Rachunek sekwentowy | |||
| aliases / en / 2 | aliases / en / 2 | ||
Rachunki Gentzena | |||
| aliases / en / 3 | aliases / en / 3 | ||
Rachunki sekwentów | |||
| aliases / en / 4 | aliases / en / 4 | ||
Sekwenty Gentzena | |||
| aliases / en / 5 | aliases / en / 5 | ||
System Gentzena | |||
| aliases / en / 6 | aliases / en / 6 | ||
System LK | |||
| aliases / en / 7 | aliases / en / 7 | ||
Systemy Gentzena | |||
| aliases / en / 8 | aliases / en / 8 | ||
Sequent calculus | |||
| aliases / pl / 0 | aliases / pl / 0 | ||
Rachunek Gentzena | |||
| aliases / pl / 1 | aliases / pl / 1 | ||
Rachunek sekwentowy | |||
| aliases / pl / 2 | aliases / pl / 2 | ||
Rachunki Gentzena | |||
| aliases / pl / 3 | aliases / pl / 3 | ||
Rachunki sekwentów | |||
| aliases / pl / 4 | aliases / pl / 4 | ||
Sekwenty Gentzena | |||
| aliases / pl / 5 | aliases / pl / 5 | ||
System Gentzena | |||
| aliases / pl / 6 | aliases / pl / 6 | ||
System LK | |||
| aliases / pl / 7 | aliases / pl / 7 | ||
Systemy Gentzena | |||
| aliases / pl / 8 | aliases / pl / 8 | ||
Sequent calculus | |||
| Property / National Library Identifier | |||
a0000002712803 | |||
| Property / National Library Identifier: a0000002712803 / rank | |||
Normal rank | |||
| Property / Related person | |||
| Property / Related person: Gentzen, Gerhard / rank | |||
Normal rank | |||
| Property / Related Subject | |||
| Property / Related Subject: Automatyczne dowodzenie twierdzeń / rank | |||
Normal rank | |||
| Property / Related Subject | |||
| Property / Related Subject: Logika matematyczna / rank | |||
Normal rank | |||
| Property / Related Subject | |||
| Property / Related Subject: Logika substrukturalna / rank | |||
Normal rank | |||
| Property / Type | |||
| Property / Type: Unknown / rank | |||
Normal rank | |||
| Property / Version | |||
P62287T79127 | |||
| Property / Version: P62287T79127 / rank | |||
Normal rank | |||
Latest revision as of 14:28, 7 December 2023
No description defined
- Rachunek Gentzena
- Rachunek sekwentowy
- Rachunki Gentzena
- Rachunki sekwentów
- Sekwenty Gentzena
- System Gentzena
- System LK
- Systemy Gentzena
- Sequent calculus
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rachunek sekwentów |
No description defined |
|
Statements
a0000002712803
0 references
P62287T79127
0 references