A comprehensive framework for saturation theorem proving (Q5970776)
From MaRDI portal
scientific article; zbMATH DE number 7632082
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A comprehensive framework for saturation theorem proving |
scientific article; zbMATH DE number 7632082 |
Statements
A comprehensive framework for saturation theorem proving (English)
0 references
12 December 2022
0 references
automated theorem proving
0 references
saturation
0 references
resolution calculus
0 references
superposition calculus
0 references
redundancy
0 references
prover architectures
0 references
