Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544)
From MaRDI portal
scientific article; zbMATH DE number 7838186
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fully reusing clause deduction algorithm based on standard contradiction separation rule |
scientific article; zbMATH DE number 7838186 |
Statements
Fully reusing clause deduction algorithm based on standard contradiction separation rule (English)
0 references
25 April 2024
0 references
theorem proving
0 references
ATP system
0 references
inference rule
0 references
deduction algorithm
0 references
standard contradiction
0 references
S-CS rule
0 references
vampire
0 references
0 references
0 references
