Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses (Q5234686)
From MaRDI portal
scientific article; zbMATH DE number 7111158
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses |
scientific article; zbMATH DE number 7111158 |
Statements
Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses (English)
0 references
1 October 2019
0 references
automated reasoning
0 references
substitution tree
0 references
automated deduction
0 references
path indexing
0 references
