Eliminacja kwantyfikatorów (Q392490): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+Quantifier elimination
@@ aliases / pl / 0 / aliases / pl / 0 @@
+Quantifier elimination
@@ Property / National Library Identifier @@
+a0000003815163
@@ Property / National Library Identifier: a0000003815163 / rank @@
+Normal rank
@@ Property / Related Subject @@
+Logika matematyczna
@@ Property / Related Subject: Logika matematyczna / rank @@
+Normal rank
@@ Property / Related Subject @@
+Kwantyfikator
@@ Property / Related Subject: Kwantyfikator / rank @@
+Normal rank
@@ Property / Related Subject @@
+Rozstrzygalność i nierozstrzygalność
@@ Property / Related Subject: Rozstrzygalność i nierozstrzygalność / rank @@
+Normal rank
@@ Property / Related Subject @@
+Teoria modeli (matematyka)
@@ Property / Related Subject: Teoria modeli (matematyka) / rank @@
+Normal rank
@@ Property / Type @@
+Unknown
@@ Property / Type: Unknown / rank @@
+Normal rank
@@ Property / Version @@
+P39488T58834
@@ Property / Version: P39488T58834 / rank @@
+Normal rank

Latest revision as of 00:07, 28 November 2023