Searching for shortest single axioms for groups of exponent \(6\) (Q861707): Difference between revisions

@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PERL
@@ Property / describes a project that uses: PERL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Fermat
@@ Property / describes a project that uses: Fermat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GAP
@@ Property / describes a project that uses: GAP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Octave
@@ Property / describes a project that uses: Octave / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Prover9
@@ Property / describes a project that uses: Prover9 / 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/s10817-006-9044-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2007571685
@@ Property / OpenAlex ID: W2007571685 / rank @@
+Normal rank
@@ Property / cites work @@
+Single axioms for odd exponent groups
@@ Property / cites work: Single axioms for odd exponent groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531958
@@ Property / cites work: Q4531958 / rank @@
+Normal rank
@@ Property / cites work @@
+The shortest single axioms for groups of exponent 4
+Normal rank
@@ Property / cites work @@
+The semantics of answer literals
@@ Property / cites work: The semantics of answer literals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255507
@@ Property / cites work: Q4255507 / rank @@
+Normal rank
@@ Property / cites work @@
+Another single law for groups
@@ Property / cites work: Another single law for groups / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:861707