Mizar (system dowodzenia twierdzeń) (Q110250)

From wikibase-docker
Revision as of 06:23, 29 October 2023 by Lenny0face-bot (talk | contribs) (‎Changed an Item: Updating statements of entity ["Mizar (system dowodzenia twierdzeń)" (pl), "Mizar (system dowodzenia twierdzeń)" (en)] with Lapacz)
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
  • System Mizar

Statements

P4 (Deleted Property)
Dowodzenie (logika) Property P4 not found, cannot determine the data type to use.
0 references
Type
Unknown
0 references
Version
Nimue verch Wledyr ap Gwyn
0 references
 
Retrieved from "http://origanum-93.man.poznan.pl/w/index.php?title=Item:Q110250&oldid=4461146"