Bases for first-order theories and subtheories (Q3843604): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2964208
@@ Property / full work available at URL: https://doi.org/10.2307/2964208 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2102073166
@@ Property / OpenAlex ID: W2102073166 / rank @@
+Normal rank
@@ Property / cites work @@
+Zum Eliminationsproblem der mathematischen Logik
@@ Property / cites work: Zum Eliminationsproblem der mathematischen Logik / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807658
@@ Property / cites work: Q5807658 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties preserved under algebraic constructions
+Normal rank