Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction (Q4913865): Difference between revisions

@@ Property / cites work @@
+Contributions to the Theory of Loops
@@ Property / cites work: Contributions to the Theory of Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Q5606623
@@ Property / cites work: Q5606623 / rank @@
+Normal rank
@@ Property / cites work @@
+Abelian inner mappings and nilpotency class greater than two.
+Normal rank
@@ Property / cites work @@
+Left conjugacy closed loops of nilpotency class two.
+Normal rank
@@ Property / cites work @@
+Q5488167
@@ Property / cites work: Q5488167 / rank @@
+Normal rank
@@ Property / cites work @@
+Buchsteiner loops: Associators and constructions
@@ Property / cites work: Buchsteiner loops: Associators and constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit constructions of loops with commuting inner mappings.
+Normal rank
@@ Property / cites work @@
+Homomorphisms of Non-Associative Systems
@@ Property / cites work: Homomorphisms of Non-Associative Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625475
@@ Property / cites work: Q5625475 / rank @@
+Normal rank
@@ Property / cites work @@
+On the abelian inner permutation groups of loops
@@ Property / cites work: On the abelian inner permutation groups of loops / rank @@
+Normal rank
@@ Property / cites work @@
+Q4383394
@@ Property / cites work: Q4383394 / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of F-quasigroups.
@@ Property / cites work: The structure of F-quasigroups. / 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 @@
+A generalization of Moufang and Steiner loops.
@@ Property / cites work: A generalization of Moufang and Steiner loops. / rank @@
+Normal rank
@@ Property / cites work @@
+Diassociativity in Conjugacy Closed Loops
@@ Property / cites work: Diassociativity in Conjugacy Closed Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Q4656447
@@ Property / cites work: Q4656447 / 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 @@
+C-LOOPS: EXTENSIONS AND CONSTRUCTIONS
@@ Property / cites work: C-LOOPS: EXTENSIONS AND CONSTRUCTIONS / rank @@
+Normal rank
@@ Property / cites work @@
+When is the commutant of a Bol loop a subloop?
@@ Property / cites work: When is the commutant of a Bol loop a subloop? / rank @@
+Normal rank
@@ Property / cites work @@
+Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Moufang quasigroups
@@ Property / cites work: Moufang quasigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Quasigroups, loops, and associative laws
@@ Property / cites work: Quasigroups, loops, and associative laws / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative loop rings
@@ Property / cites work: Alternative loop rings / rank @@
+Normal rank
@@ Property / cites work @@
+\(G\)-loops and permutation groups
@@ Property / cites work: \(G\)-loops and permutation groups / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of conjugacy closed loops
@@ Property / cites work: The structure of conjugacy closed loops / rank @@
+Normal rank
@@ Property / cites work @@
+Moufang loops with commuting inner mappings.
@@ Property / cites work: Moufang loops with commuting inner mappings. / rank @@
+Normal rank
@@ Property / cites work @@
+FINITE LOOPS WITH NILPOTENT INNER MAPPING GROUPS ARE CENTRALLY NILPOTENT
+Normal rank
@@ Property / cites work @@
+On Connected Transversals to Abelian Subgroups in Finite Groups
+Normal rank
@@ Property / cites work @@
+Q3424081
@@ Property / cites work: Q3424081 / rank @@
+Normal rank
@@ Property / cites work @@
+THE MOUFANG LAWS, GLOBAL AND LOCAL
@@ Property / cites work: THE MOUFANG LAWS, GLOBAL AND LOCAL / rank @@
+Normal rank
@@ Property / cites work @@
+Cheban loops.
@@ Property / cites work: Cheban loops. / rank @@
+Normal rank
@@ Property / cites work @@
+Automated theorem proving in quasigroup and loop theory
+Normal rank
@@ Property / cites work @@
+Bruck Loops with Abelian Inner Mapping Groups
@@ Property / cites work: Bruck Loops with Abelian Inner Mapping Groups / rank @@
+Normal rank
@@ Property / cites work @@
+The varieties of loops of Bol-Moufang type.
@@ Property / cites work: The varieties of loops of Bol-Moufang type. / rank @@
+Normal rank
@@ Property / cites work @@
+The varieties of quasigroups of Bol-Moufang type: an equational reasoning approach.
+Normal rank
@@ Property / cites work @@
+Q5478053
@@ Property / cites work: Q5478053 / rank @@
+Normal rank
@@ Property / cites work @@
+A scoop from groups: Equational foundations for loops
+Normal rank
@@ Property / cites work @@
+Q3998783
@@ Property / cites work: Q3998783 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4317890
@@ Property / cites work: Q4317890 / rank @@
+Normal rank
@@ Property / cites work @@
+Using hints to increase the effectiveness of an automated reasoning program: Case studies
+Normal rank
@@ Property / cites work @@
+Solving open questions and other challenge problems using proof sketches
+Normal rank
@@ Property / cites work @@
+PSATO: A distributed propositional prover and its application to quasigroup problems
+Normal rank