Publication:3939272
From MaRDI portal
zbMath0481.68089MaRDI QIDQ3939272
Publication date: 1982
equational theories; deciding formulas in combinations of unquantified first-order theories; integer and real arithmetic; purely equational canonical form theories; subtheory of monadic set theory
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
Related Items
A decision procedure for combinations of propositional temporal logic and other specialized theories, Unification theory, From diagrammatic confluence to modularity