Pages that link to "Item:Q352977"

The following pages link to Paramodulation with non-monotonic orderings and simplification (Q352977):

Displaying 5 items.

• Equational theorem proving modulo (Q2055853) (← links)
• \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality (Q2156971) (← links)
• A Lambda-Free Higher-Order Recursive Path Order (Q2988386) (← links)
• (Q4263170) (← links)
• (Q4989394) (← links)