Pages that link to "Item:Q1079960"
From MaRDI portal
The following pages link to Completeness results for inequality provers (Q1079960):
Displaying 7 items.
- A simplification of the completeness proofs for Guaspari and Solovay's R (Q923070) (← links)
- Completeness results for inequality provers (Q1079960) (← links)
- Completeness of a prover for dense linear orders (Q1187856) (← 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)