Trybulec, Andrzej (Q1126950): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+Trybulec, Andrzej Wojciech
@@ aliases / pl / 0 / aliases / pl / 0 @@
+Trybulec, Andrzej Wojciech
@@ Property / National Library Identifier @@
+a0000002067442
@@ Property / National Library Identifier: a0000002067442 / rank @@
+Normal rank
@@ Property / Related Subject @@
+Mizar (system dowodzenia twierdzeń)
@@ Property / Related Subject: Mizar (system dowodzenia twierdzeń) / rank @@
+Normal rank
@@ Property / VIAF ID @@
+http://viaf.org/viaf/21658345
@@ Property / VIAF ID: http://viaf.org/viaf/21658345 / rank @@
+Normal rank
@@ Property / Type @@
+Person
@@ Property / Type: Person / rank @@
+Normal rank
@@ Property / Version @@
+P53062T54096
@@ Property / Version: P53062T54096 / rank @@
+Normal rank

Latest revision as of 02:37, 9 December 2023