Mizar (system dowodzenia twierdzeń) (Q110250): Difference between revisions
Jump to navigation
Jump to search
(Changed label, description and/or aliases in en, pl, and other parts: Updating entity Mizar (system dowodzenia twierdzeń) with Lapacz) |
(Changed an Item: Updating statements of entity ["Mizar (system dowodzenia twierdzeń)" (pl)] with Lapacz) |
||
| (One intermediate revision by the same user not shown) | |||
| Property / Version | |||
| Property / Version: Letho of Gulet / rank | |||
| Property / National Library Identifier | |||
a0000003842699 | |||
| Property / National Library Identifier: a0000003842699 / rank | |||
Normal rank | |||
| Property / Related form and genre | |||
| Property / Related form and genre: Programy komputerowe / rank | |||
Normal rank | |||
| Property / Related person | |||
| Property / Related person: Trybulec, Andrzej / rank | |||
Normal rank | |||
| Property / Related Subject | |||
| Property / Related Subject: Dowodzenie (logika) / rank | |||
Normal rank | |||
| Property / Type | |||
| Property / Type: Unknown / rank | |||
Normal rank | |||
| Property / Version | |||
P89540T43014 | |||
| Property / Version: P89540T43014 / rank | |||
Normal rank | |||
Latest revision as of 14:30, 25 November 2023
No description defined
- System Mizar
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mizar (system dowodzenia twierdzeń) |
No description defined |
|
Statements
a0000003842699
0 references
P89540T43014
0 references