On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504)
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: On the modelling of search in theorem proving -- towards a theory of strategy analysis |
scientific article; zbMATH DE number 1267929
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the modelling of search in theorem proving -- towards a theory of strategy analysis |
scientific article; zbMATH DE number 1267929 |
Statements
On the modelling of search in theorem proving -- towards a theory of strategy analysis (English)
0 references
22 March 1999
0 references
theorem proving
0 references
contraction
0 references
