A proof-planning framework with explicit abstractions based on indexed formulas (Q2841241)
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: A proof-planning framework with explicit abstractions based on indexed formulas |
scientific article; zbMATH DE number 6190935
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A proof-planning framework with explicit abstractions based on indexed formulas |
scientific article; zbMATH DE number 6190935 |
Statements
24 July 2013
0 references
proof planning
0 references
methodology
0 references
abstraction
0 references
matrix characterisations
0 references
A proof-planning framework with explicit abstractions based on indexed formulas (English)
0 references
