Unpublished, Draft, To Appear
@UnPublished
Unveröffentlicht, Entwurf


Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

login to update
Options:









Author, Editor
Author(s):
Nonnengart, Andreasdblp

BibTeX citekey*:

Nonnengart98

Title, Booktitle

Title*:

Strong Skolemization

Vol, No, pp., Year

Month:

September
Year:

2001

Language:

English
Pages:

18

Abstract, Links, ©

Note:

Journal version of the corresponding technical report.
Submitted for publication

LaTeX Abstract:

Skolemization is a means to eliminate existential quantifiers within
predicate logic sentences by replacing existentially quantified variables
with Skolem function applications.
The arguments of such Skolem functions are variables that are quantified outside
the sub-formula under consideration.
In this article a skolemization technique is introduced which abstracts from
some of the Skolem function arguments.
It turns out that the result obtained this way is
usually more general than what can be achieved from standard (classical)
Skolemization techniques.
From a theorem prover's point of view such generalizations often lead to a
reduction of both search space and proof length.

Categories / Keywords:

Skolemization, Automated Theorem proving, Theorem Proving, Predicate Logic

HyperLinks / References / URLs:


Personal Comments:


File Upload:




Download
Access Level:


Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat

BibTeX Entry:
@UNPUBLISHED{Nonnengart98,
AUTHOR = {Nonnengart, Andreas},
 TITLE = {Strong Skolemization},
 YEAR = {2001},
 PAGES = {18},
 MONTH = {September},
 NOTE = {Journal version of the corresponding technical report. Submitted for publication},
}

Entry last modified by Christine Kiesel, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Andreas Nonnengart		Created
09/25/1997 04:02:15 PM
Revisions
3.
2.
1.
0.
Editor(s)
Christine Kiesel
Christine Kiesel
Andreas Nonnengart
Andreas Nonnengart
Edit Dates
19.03.2001 17:13:57
19.03.2001 16:41:08
25/03/98 14:41:37
25/09/97 16:02:16