Critical pair (logic)

1. REDIRECT Critical pair (term rewriting)

{{Redirect category shell|

{{R from move}}

}}