The Undecidability of Theories of Groupoids with an Extra Predicate (Q5181677): Difference between revisions

@@ label / en / label / en @@
+The Undecidability of Theories of Groupoids with an Extra Predicate
@@ 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/2039719
@@ Property / full work available at URL: https://doi.org/10.2307/2039719 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4241785957
@@ Property / OpenAlex ID: W4241785957 / rank @@
+Normal rank
@@ Property / title @@
+The Undecidability of Theories of Groupoids with an Extra Predicate (English)
+Normal rank
@@ Property / cites work @@
+Free Loops and Nets and Their Generalizations
@@ Property / cites work: Free Loops and Nets and Their Generalizations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596785
@@ Property / cites work: Q5596785 / rank @@
+Normal rank
@@ Property / cites work @@
+The Equi-Pappian Property
@@ Property / cites work: The Equi-Pappian Property / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5181677