Investigations into proof structures (Q6653096)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Investigations into proof structures |
scientific article; zbMATH DE number 7958430
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Investigations into proof structures |
scientific article; zbMATH DE number 7958430 |
Statements
Investigations into proof structures (English)
0 references
16 December 2024
0 references
analysis of historic formal proofs
0 references
automated theorem proving in first-order logic
0 references
condensed detachment
0 references
connection method
0 references
lemma generation
0 references
proof structure terms
0 references
0 references
