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

@@ Property / P4 (Deleted Property) @@
-Dowodzenie (logika) Property P4 not found, cannot determine the data type to use.
-Normal rank
@@ Property / Type @@
-Unknown
@@ Property / Type: Unknown / rank @@
-Normal rank
@@ Property / Version @@
-Nimue verch Wledyr ap Gwyn
@@ Property / Version: Nimue verch Wledyr ap Gwyn / rank @@
-Normal rank
@@ 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