Mizar (system dowodzenia twierdzeń) (Q110250)

From wikibase-docker
Jump to navigation Jump to search
No description defined
  • System Mizar
edit
Language Label Description Also known as
English
Mizar (system dowodzenia twierdzeń)
No description defined
  • System Mizar

Statements

a0000003842699
0 references
0 references
P89540T43014
0 references