Restoring old revision of "Item:Q430964"

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 @@
-Automatyczne wnioskowanie
@@ aliases / en / 1 / aliases / en / 1 @@
-Metody automatycznego wnioskowania
@@ aliases / en / 2 / aliases / en / 2 @@
-Rezolucja (matematyka)
@@ aliases / en / 3 / aliases / en / 3 @@
-Automated theorem proving
@@ aliases / en / 4 / aliases / en / 4 @@
-Zasada rezolucji
@@ aliases / pl / 0 / aliases / pl / 0 @@
-Automatyczne wnioskowanie
@@ aliases / pl / 1 / aliases / pl / 1 @@
-Metody automatycznego wnioskowania
@@ aliases / pl / 2 / aliases / pl / 2 @@
-Rezolucja (matematyka)
@@ aliases / pl / 3 / aliases / pl / 3 @@
-Automated theorem proving
@@ aliases / pl / 4 / aliases / pl / 4 @@
-Zasada rezolucji
@@ Property / National Library Identifier @@
-a0000001867040
@@ Property / National Library Identifier: a0000001867040 / rank @@
-Normal rank
@@ Property / Related Subject @@
-Dowodzenie (logika)
@@ Property / Related Subject: Dowodzenie (logika) / rank @@
-Normal rank
@@ Property / Related Subject @@
-System wnioskujący
@@ Property / Related Subject: System wnioskujący / rank @@
-Normal rank
@@ Property / Related Subject @@
-Sztuczna inteligencja
@@ Property / Related Subject: Sztuczna inteligencja / rank @@
-Normal rank
@@ Property / Related Subject @@
-Rachunek sekwentów
@@ Property / Related Subject: Rachunek sekwentów / rank @@
-Normal rank
@@ Property / Related Subject @@
-Tableau (logika)
@@ Property / Related Subject: Tableau (logika) / rank @@
-Normal rank
@@ Property / Type @@
-Unknown
@@ Property / Type: Unknown / rank @@
-Normal rank
@@ Property / Version @@
-P38585T26641
@@ Property / Version: P38585T26641 / rank @@
-Normal rank