Pages that link to "Item:Q1079960"

The following pages link to Completeness results for inequality provers (Q1079960):

Displaying 5 items.

• Completeness results for inequality provers (Q1079960) (← links)
• The problem of reasoning from inequalities (Q1195540) (← links)
• Theorem proving in cancellative abelian monoids (extended abstract) (Q4647536) (← links)
• Ordered chaining for total orderings (Q5210789) (← links)
• Reasoning with preorders and dynamic sorts using free variable tableaux (Q6560387) (← links)