Str∔ve and integers

DOI10.1007/3-540-58156-1_29zbMath1433.68550OpenAlexW1487156104MaRDI QIDQ5210788

Larry M. Hines

Publication date: 21 January 2020

Published in: Automated Deduction — CADE-12 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58156-1_29

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Theorem proving in cancellative abelian monoids (extended abstract)

Uses Software

• NQTHM

Cites Work

• Completeness of a prover for dense linear orders
• Experiment with an automatic theorem-prover having partial ordering inference rules
• A Practical Decision Procedure for Arithmetic with Function Symbols
• A Computing Procedure for Quantification Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item