Finding shortest proofs: An application of linked inference rules (Q5951526)
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: Finding shortest proofs: An application of linked inference rules |
scientific article; zbMATH DE number 1686112
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finding shortest proofs: An application of linked inference rules |
scientific article; zbMATH DE number 1686112 |
Statements
Finding shortest proofs: An application of linked inference rules (English)
0 references
7 January 2002
0 references
automated theorem proving
0 references
searching for shortest proofs in logical systems
0 references
condensed detachment
0 references
linked UR-resolution
0 references
