Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems (Q5200021)
From MaRDI portal
scientific article; zbMATH DE number 5934348
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems |
scientific article; zbMATH DE number 5934348 |
Statements
Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems (English)
0 references
29 July 2011
0 references
higher-order logic
0 references
simple type theory
0 references
higher-order theorem proving
0 references
abstract consistency
0 references
SAT solving
0 references
0 references
0 references
