System wnioskujący (Q408855): Difference between revisions

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

Latest revision as of 03:10, 28 November 2023