Algebra and automated deduction (Q4647540): Difference between revisions

@@ Property / describes a project that uses @@
+LARCH
@@ Property / describes a project that uses: LARCH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GAP
@@ Property / describes a project that uses: GAP / rank @@
+Normal rank
@@ 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.1007/3-540-61511-3_106
+Normal rank
@@ Property / OpenAlex ID @@
+W1564734982
@@ Property / OpenAlex ID: W1564734982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3708174
@@ Property / cites work: Q3708174 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
+Normal rank
@@ Property / cites work @@
+An overview of LP, the Larch Prover
@@ Property / cites work: An overview of LP, the Larch Prover / rank @@
+Normal rank
@@ Property / cites work @@
+Presentations of groups and monoids
@@ Property / cites work: Presentations of groups and monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q3686870
@@ Property / cites work: Q3686870 / rank @@
+Normal rank
@@ Property / cites work @@
+A Contribution to the Theory of Groups of Prime-Power Order
+Normal rank
@@ Property / cites work @@
+Q3994922
@@ Property / cites work: Q3994922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040881
@@ Property / cites work: Q4040881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4771409
@@ Property / cites work: Q4771409 / rank @@
+Normal rank
@@ Property / cites work @@
+Some group theoretic examples with completion theorem provers
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite complete group presentations
@@ Property / cites work: Infinite complete group presentations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3941589
@@ Property / cites work: Q3941589 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234301
@@ Property / cites work: Q4234301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4285784
@@ Property / cites work: Q4285784 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying nilpotence
@@ Property / cites work: Verifying nilpotence / rank @@
+Normal rank