| Back: | ⟨a, b, c | aabb=1, bcac=1⟩ |
|---|
Completion settings:
Axiom: aabb=1.
Axiom: bcac=1.
Referenced by [3], [5], [6], [7], [10], [15].
Overlap of [1] aabb=1 with [2] bcac=1:
Critical pair: aab=cac.
Defines rule #1.
Referenced by [4], [5], [8], [9], [13].
Overlap of [1] aabb=1 with [3] aab=cac:
Critical pair: cacb=1.
Defines rule #6.
Referenced by [6].
Overlap of [3] aab=cac with [2] bcac=1:
Critical pair: aa=caccac.
Flip LHS and RHS.
Defines rule #16.
Referenced by [10], [11], [12], [16].
Overlap of [2] bcac=1 with [4] cacb=1:
Critical pair: bca=acb.
Defines rule #3.
Referenced by [7], [8], [9], [21].
Overlap of [2] bcac=1 with [6] bca=acb:
Critical pair: acbc=1.
Defines rule #7.
Referenced by [14], [17], [18], [19].
Overlap of [3] aab=cac with [6] bca=acb:
Critical pair: aaacb=cacca.
Defines rule #9.
Overlap of [6] bca=acb with [3] aab=cac:
Critical pair: bccac=acbab.
Defines rule #12.
Overlap of [2] bcac=1 with [5] caccac=aa:
Critical pair: baa=cac.
Defines rule #4.
Referenced by [13], [14], [23].
Overlap of [5] caccac=aa with [5] caccac=aa:
Critical pair: cacaa=aacac.
Flip LHS and RHS.
Defines rule #8.
Overlap of [5] caccac=aa with [5] caccac=aa:
Critical pair: caccaaa=aaaccac.
Flip LHS and RHS.
Defines rule #18.
Overlap of [10] baa=cac with [3] aab=cac:
Critical pair: bacac=cacab.
Defines rule #14.
Overlap of [10] baa=cac with [7] acbc=1:
Critical pair: ba=caccbc.
Flip LHS and RHS.
Defines rule #17.
Overlap of [2] bcac=1 with [14] caccbc=ba:
Critical pair: bba=cbc.
Defines rule #5.
Referenced by [17], [22], [24].
Overlap of [5] caccac=aa with [14] caccbc=ba:
Critical pair: caccaba=aaaccbc.
Flip LHS and RHS.
Defines rule #19.
Overlap of [15] bba=cbc with [7] acbc=1:
Critical pair: bb=cbccbc.
Flip LHS and RHS.
Referenced by [18], [19], [20].
Overlap of [7] acbc=1 with [17] cbccbc=bb:
Critical pair: abb=cbc.
Defines rule #2.
Overlap of [7] acbc=1 with [17] cbccbc=bb:
Critical pair: acbbb=bccbc.
Flip LHS and RHS.
Defines rule #13.
Overlap of [17] cbccbc=bb with [17] cbccbc=bb:
Critical pair: cbcbb=bbcbc.
Flip LHS and RHS.
Defines rule #15.
Overlap of [18] abb=cbc with [6] bca=acb:
Critical pair: abacb=cbcca.
Defines rule #11.
Overlap of [18] abb=cbc with [15] bba=cbc:
Critical pair: abcbc=cbcba.
Defines rule #10.
Overlap of [21] abacb=cbcca with [10] baa=cac:
Critical pair: abaccac=cbccaaa.
Defines rule #20.
Overlap of [21] abacb=cbcca with [15] bba=cbc:
Critical pair: abaccbc=cbccaba.
Defines rule #21.