Mizar (system dowodzenia twierdzeń) (Q110250)
Jump to navigation
Jump to search
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