Restoring old revision of "Item:Q1126950"

Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to a username, among other benefits.

@@ 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