THE MOUFANG LAWS, GLOBAL AND LOCAL (Q3638685): Difference between revisions

@@ Property / describes a project that uses @@
+Prover9
@@ Property / describes a project that uses: Prover9 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Loops whose inner mappings are automorphisms
@@ Property / cites work: Loops whose inner mappings are automorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Power-associative, conjugacy closed loops.
@@ Property / cites work: Power-associative, conjugacy closed loops. / rank @@
+Normal rank
@@ Property / cites work @@
+Every diassociative A-loop is Moufang
@@ Property / cites work: Every diassociative A-loop is Moufang / rank @@
+Normal rank
@@ Property / cites work @@
+Commutants of Bol loops of odd order
@@ Property / cites work: Commutants of Bol loops of odd order / rank @@
+Normal rank
@@ Property / cites work @@
+Moufang quasigroups
@@ Property / cites work: Moufang quasigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction in equational logic and cubic curves
+Normal rank
@@ Property / cites work @@
+Q3998783
@@ Property / cites work: Q3998783 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3638685