Bibliographic Details
| Title: |
On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi. |
| Authors: |
Fuchs, Dirk |
| Source: |
Fundamenta Informaticae. 1999, Vol. 39 Issue 1-2, p123. 21p. 1 Diagram, 2 Charts. |
| Subjects: |
Automatic theorem proving, Proof theory |
| Abstract: |
Presents a study on the potential of subgoal clauses to reduce proof lengths and searches in top-down and bottom-up theorem proving. Notion of goal decompositions; Case analysis on the capabilities of subgoal clauses; Conclusion. |
| Database: |
Engineering Source |
