Хайлтын үр дүнгүүд - Knuth-Bendix completion algorithm~
Таны хайлт - Knuth-Bendix completion algorithm~ - ямарваа нөөцтэй тохирохгүй байна.
Та хайлтын асуулгаа тохируулснаар илүү их үр дүн олж авах боломжтой байж магадгүй.
- Хөрвөх тэмдэг нэмснээр үгийн хувилбарыг татаж авах боломжтой: Knuth-Bendix completion algorithm*.