Publication:4249895
From MaRDI portal
zbMath0924.03026MaRDI QIDQ4249895
Publication date: 17 June 1999
automated theorem proving; variable elimination algorithm; cancellative superposition calculus; divisible torsion-free abelian groups; variable overlaps
03B35: Mechanization of proofs and logical operations
20-04: Software, source code, etc. for problems pertaining to group theory
Related Items
Extending reduction orderings to ACU-compatible reduction orderings, Automatic decidability and combinability, Superposition with completely built-in abelian groups, Cancellative Abelian monoids and related structures in refutational theorem proving. II, Set of support, demodulation, paramodulation: a historical perspective, On First-Order Model-Based Reasoning