On the Satisfiability of Linear Systems of Equations for Quantifiers
Li Hui · 1993
In this paper, the satisfiability problem of a linear system of equations for quantifiers is discussed. This problem arises from the mechanical theorem-proving on modules. A discriminating condition for this problem is obtained which places no restriction on quantifiers. Some applications to Abelian groups, elementary number theory, vector spaces, ect. are discussed.