scientific article; zbMATH DE number 1405448

MaRDI QIDQ4938422zbMATH OpenFDO

Authors Uwe Waldmann

Publication date 13 July 2000

zbMATH Keywords

decision procedurevariable elimination algorithmcancellative superposition calculusdivisible torsion-free abelian groupsrefutationally complete

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 1303342
• Cancellative Abelian monoids and related structures in refutational theorem proving. II
• Cancellative Abelian monoids and related structures in refutational theorem proving. I
• scientific article; zbMATH DE number 1765672
• Theorem proving in cancellative abelian monoids (extended abstract)

Cited in

(6)

• scientific article; zbMATH DE number 1765672 (Why is no real title available?)
• Cancellative Abelian monoids and related structures in refutational theorem proving. I
• Theorem proving in cancellative abelian monoids (extended abstract)
• Harald Ganzinger's legacy: contributions to logics and programming
• Superposition with completely built-in abelian groups
• Cancellative Abelian monoids and related structures in refutational theorem proving. II

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4938422)