scientific article; zbMATH DE number 1405448
From MaRDI portal
Publication:4938422
zbMath0939.03014MaRDI QIDQ4938422
Publication date: 13 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decision procedurevariable elimination algorithmcancellative superposition calculusdivisible torsion-free abelian groupsrefutationally complete
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Torsion-free groups, infinite rank (20K20)
Related Items (3)
Superposition with completely built-in abelian groups ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ Cancellative Abelian monoids and related structures in refutational theorem proving. II
This page was built for publication:
