---
title: "Abstract Theorem Proving"
authors:
  - "Fausto Giunchiglia"
  - "Toby Walsh"
doi: ""
url: "https://ijcai.org/proceedings/1989/59"
pdf: "https://ijcai.org/proceedings/1989/0059.pdf"
venue: "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence"
year: 1989
pages: "372-376"
track: "Automated Deduction"
keywords:
---

# Abstract Theorem Proving

Fausto Giunchiglia, Toby Walsh

*Proceedings of the Eleventh International Joint Conference on Artificial Intelligence*, pages 372-376.

## Abstract

Informally, abstraction can be described as the process of mapping a representation of a problem into a new representation. The aim of the paper is to propose a theory of abstraction. The generality of the framework is tested by formalizing and analyzing some work done in the past; its efficacy by giving a procedure which solves the "false proof problem by avoiding the use of inconsistent abstract spaces.