Torthaí cuardaigh - Knuth-Bendix completion algorithm
Do chuardach - Knuth-Bendix completion algorithm - níor mheaitseáil seo acmhainn ar bith.
B'fhéidir go mbeifeá in ann tuilleadh torthaí a fháil ach d’iarratas cuardaigh a bheachtú.
- Má dhéantar cuardach doiléire, seans go bhfaighfear téarmaí a bhfuil litriú comhchosúil orthu: Knuth-Bendix completion algorithm~.
- Má chuirtear saoróg leis, seans go bhfaighfear malairtí focail: Knuth-Bendix completion algorithm*.