Mizar (system dowodzenia twierdzeń) (Q110250): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+System Mizar
@@ aliases / pl / 0 / aliases / pl / 0 @@
+System Mizar
@@ Property / National Library Identifier @@
+a0000003842699
@@ Property / National Library Identifier: a0000003842699 / rank @@
+Normal rank
@@ Property / Related form and genre @@
+Programy komputerowe
@@ Property / Related form and genre: Programy komputerowe / rank @@
+Normal rank
@@ Property / Related person @@
+Trybulec, Andrzej
@@ Property / Related person: Trybulec, Andrzej / rank @@
+Normal rank
@@ Property / Related Subject @@
+Dowodzenie (logika)
@@ Property / Related Subject: Dowodzenie (logika) / rank @@
+Normal rank
@@ Property / Type @@
+Unknown
@@ Property / Type: Unknown / rank @@
+Normal rank
@@ Property / Version @@
+P89540T43014
@@ Property / Version: P89540T43014 / rank @@
+Normal rank

Latest revision as of 14:30, 25 November 2023