Publication:4217950

zbMath0914.03011MaRDI QIDQ4217950

Belaïd Benhamou, Laurent Henocque

Publication date: 11 November 1998

zbMATH Keywords

automated theorem proving; finite model; satisfiability test; models of equational theories

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

03B35: Mechanization of proofs and logical operations

Uses Software

• FINDER