Automated Search for Gödel’s Proofs (Q3654817)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated Search for Gödel’s Proofs |
scientific article |
Statements
Automated Search for Gödel’s Proofs (English)
0 references
11 January 2010
0 references
proof search procedure
0 references
strategies
0 references
heuristics
0 references
Gödel's incompleteness theorems
0 references
natural deduction
0 references
proof-planning framework
0 references
