On the satisfiability of linear systems of equations for quantifiers

MaRDI QIDQ2367853zbMATH OpenFDO

Authors Lian Li, Yixun Liu, Huiling Li

Publication date 16 August 1993

Published in Science in China. Series A (Search for Journal in Brave)

zbMATH Keywords

mechanical theorem-proving on modules

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Recommendations

• The solvability of linear systems and the satisfiability
• scientific article; zbMATH DE number 4068843
• Number representation of satisfiability
• Satisfiability modulo linear arithmetic over a finite ring

Cited in

(5)

• Affine systems of equations and counting infinitary logic
• Satisfiability of systems of equations of real analytic functions is quasi-decidable
• scientific article; zbMATH DE number 4068843 (Why is no real title available?)
• The Positivstellensatz and Small Deduction Rules for Systems of Inequalities
• Satisfiability modulo linear arithmetic over a finite ring

This page was built for publication: On the satisfiability of linear systems of equations for quantifiers

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