Completeness of a prover for dense linear orders
From MaRDI portal
Publication:1187856
DOI10.1007/BF00263449zbMath0768.68195MaRDI QIDQ1187856
Publication date: 23 July 1992
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Related Items
Cyclic connections ⋮ Theorem proving in cancellative abelian monoids (extended abstract) ⋮ Str∔ve and integers ⋮ Ordered chaining for total orderings
This page was built for publication: Completeness of a prover for dense linear orders
