Pages that link to "Item:Q5096169"

The following pages link to It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair (Q5096169):

Displayed 2 items.

• Divergence phenomena during completion (Q5055775) ‎ (← links)
• Chain properties of rule closures (Q5096168) ‎ (← links)