Restoring old revision of "Item:Q408855"

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.

@@ Property / National Library Identifier @@
-a0000003841187
@@ Property / National Library Identifier: a0000003841187 / rank @@
-Normal rank
@@ Property / Related form and genre @@
-Programy komputerowe
@@ Property / Related form and genre: Programy komputerowe / rank @@
-Normal rank
@@ Property / Related Subject @@
-Automatyczne dowodzenie twierdzeń
@@ Property / Related Subject: Automatyczne dowodzenie twierdzeń / rank @@
-Normal rank
@@ Property / Related Subject @@
-Sztuczna inteligencja
@@ Property / Related Subject: Sztuczna inteligencja / rank @@
-Normal rank
@@ Property / Type @@
-Unknown
@@ Property / Type: Unknown / rank @@
-Normal rank
@@ Property / Version @@
-P30389T36851
@@ Property / Version: P30389T36851 / rank @@
-Normal rank
@@ Property / P4 (Deleted Property) @@
+Automatyczne dowodzenie twierdzeń Property P4 not found, cannot determine the data type to use.
+Normal rank
@@ Property / Type @@
+Unknown
@@ Property / Type: Unknown / rank @@
+Normal rank
@@ Property / Version @@
+Leo Bonhart
@@ Property / Version: Leo Bonhart / rank @@
+Normal rank