scientific article; zbMATH DE number 1405448

zbMATH Open0939.03014MaRDI QIDQ4938422FDOQ4938422

Authors: Uwe Waldmann 

Publication date: 13 July 2000

Title of this publication is not available (Why is that?)

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)

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)

Cited In (6)

• Title not available (Why is that?)
• 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)