A rewriting approach to satisfiability procedures. (Q1401930)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A rewriting approach to satisfiability procedures. |
scientific article; zbMATH DE number 1967123
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A rewriting approach to satisfiability procedures. |
scientific article; zbMATH DE number 1967123 |
Statements
A rewriting approach to satisfiability procedures. (English)
0 references
19 August 2003
0 references
Automated deduction
0 references
Equational logic
0 references
Term rewriting
0 references
Superposition
0 references
Decision procedures
0 references
Lists
0 references
Encryption
0 references
Arrays with extensionality
0 references
Finite sets with extensionality
0 references
Homomorphism
0 references
0 references
0 references
0.9136251
0 references
0.90560216
0 references
0.90097207
0 references
0.8751102
0 references
0.87077373
0 references
0 references
0 references
