Goal-sensitive reasoning with disconnection tableaux (Q1694461)
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: Goal-sensitive reasoning with disconnection tableaux |
scientific article; zbMATH DE number 6833555
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Goal-sensitive reasoning with disconnection tableaux |
scientific article; zbMATH DE number 6833555 |
Statements
Goal-sensitive reasoning with disconnection tableaux (English)
0 references
2 February 2018
0 references
theorem proving
0 references
instance-based methods
0 references
goal-sensitivity
0 references
