scientific article; zbMATH DE number 1303342
From MaRDI portal
Publication:4249895
zbMath0924.03026MaRDI QIDQ4249895
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automated theorem provingvariable elimination algorithmcancellative superposition calculusdivisible torsion-free abelian groupsvariable overlaps
Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to group theory (20-04)
Related Items
Extending reduction orderings to ACU-compatible reduction orderings ⋮ On First-Order Model-Based Reasoning ⋮ Superposition with completely built-in abelian groups ⋮ Automatic decidability and combinability ⋮ Set of support, demodulation, paramodulation: a historical perspective ⋮ Cancellative Abelian monoids and related structures in refutational theorem proving. II
This page was built for publication:
