ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Sorting

Electronic Resource

SETHEO and E-SETHEO - The CADE-13 Systems (1997)

Moser, Max ; Ibens, Ortrun ; Letz, Reinhold ; [et al.]

Springer

Journal of automated reasoning 18 (1997), S. 237-246

add to mindlist on the mindlist

Details

ISSN: 1573-0670

Keywords: automated theorem proving ; competition ; SETHEO ; E-SETHEO ; first-order logic ; model elimination ; equality

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: Abstract The model elimination theorem prover SETHEO (version V3.3) and its equational extension E-SETHEO are presented. SETHEO employs sophisticated mechanisms of subgoal selection, elaborate iterative deepening techniques, and local failure caching methods. Its equational counterpart E-SETHEO transforms formulae containing equality (using a variant of Brand's modification method) and processes the output with the standard SETHEO system. This article gives an overview of the theoretical background, the system architecture, and the performance of both systems.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1023/A:1005808119103

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit