Quelle dec6.289
Sprache: unbekannt
|
|
//6p algebras
<a,b,c|cb,cac,pa,pb-ba,pc-xcaaa,class=4>(all x)
<a,b,c|cb,cac-caaa,pa,pb-ba,pc-xcaaa,class=4>(all x)
<a,b,c|cb-caaa,cac,pa,pb-ba,pc-xcaaa,class=4>(all x)
<a,b,c|cb-caaa,cac-caaa,pa,pb-ba,pc-xcaaa,class=4>(all x)
<a,b,c|cb,cac,pa-caaa,pb-ba,pc,class=4>
<a,b,c|cb-caaa,cac,pa-caaa,pb-ba,pc,class=4>
<a,b,c|cb,cac-caaa,pa-xcaaa,pb-ba,pc,class=4>(x ne 0)
<a,b,c|cb-caaa,cac-caaa,pa-xcaaa,pb-ba,pc,class=4>(x ne 0)
[ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
]
|
2026-04-02
|