ChangeDetection - Change Log: The E Theorem Prover

The E Theorem Prover

Address: www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html

Current status: normal - monitoring
Number of users monitoring this page: 1
Most recent sizable change (text, html) : 2011-08-20 07:48
Most recent change (text, html) : 2011-08-20 07:48
Last checked for changes: 2012-02-14 07:43
ChangeDetection started monitoring: 2008-09-10 07:27

monitor this page

summary of most recent changes

Showing 1 - 5 of 13

1 2 3 [next]

show added and deleted only added only deleted | show context hide context | show sizable show all

View changes: 2011-08-20 07:48 48 new words, 31 deleted words, 25% change

... References Me Impressum E 1.3 Ringtong 1.4 Namring has been rele asedwon the CNF division ... in UEQ and LTB. Major changes It again was among ... features since version 1.3 include: • Improved clausification New literal selection functions • Improved automatic mode • Output of Improved answer tuples for question” type conjectures output • Weight functions that allow ... on certain function symbols ... References Me Impressum E 1.4 Namring has won the CNF division ... in UEQ and LTB. It again was among ... features since version 1.3 include: • New literal selection functions • Improved automatic mode • Improved answer output • Much improved (though ... documented) LTB support The new version is References Me Impressum E 1.3 Ringtong has been rele ased. Major changes include: • Improved clausification • Improved automatic mode • Output of answer tuples for question” type conjectures • Weight functions that allow ... on certain function symbols The new version is more...

View changes: 2011-07-01 07:27 2 new words, 1 deleted words, 1% change
... most powerful and friendly provers reasoning systems for first-order logic. most powerful and friendly reasoning systems for first-order logic. most powerful and friendly provers for first-order logic.

View changes: 2011-06-28 07:27 188 new words, 1468 deleted words, 95% change

Technische Universität München , Fakultät ... Research Group Automated Reasoning The E Equational Theorem Prover E 1.2 Badamtam released! E 1.2 Badamtam is the latest release of ... E is available as a free download under the ... a a purely equational theorem prover for full first-order logicwith equality. That means it is It accepts a program that you can stuff problem specification, typically consisting of ... The E ... theorem prover for full first-order logicwith equality. It accepts a problem specification, typically consisting of a number of first-order clauses or formulas, and a conjecture, again either in clausal ... form. The system will then try to find a formal proof for the conjecture, assuming the ... axioms . If a proof is found, ... provide a detailed list of proof steps that can be individually verified... Technische Universität München , Fakultät ... Research Group Automated Reasoning The E Equational Theorem Prover E 1.2 Badamtam released! E 1.2 Badamtam is the latest release of ... E is available as a free download under the ... a a purely equational theorem prover for full first-order logic... . That means it is a program that you can stuff a mathematical specification (in first-order format) and a hypothesis into... more...

View changes: 2010-12-09 08:20 14 new words, 3 deleted words, 1% change

... released! E 1.2 Balasun Badamtam is the latest release ... prover overall" award/ . We believe it is ... Additional Information and Links Belorussian translation of this page (2010-12-07) by Paul Bukhovko Bibliography [BDP89 ... tu-muenchen.de , 5.7.2000 8.12.2010 released! E 1.2 Badamtam is the latest release ... prover overall" award. We believe it is ... Additional Information and Links Belorussian translation of this page (2010-12-07) by Paul Bukhovko Bibliography [BDP89 ... tu-muenchen.de , 8.12.2010 released! E 1.2 Balasun is the latest release ... prover overall" award/ We believe it is ... tu-muenchen.de , 5.7.2000

View changes: 2010-09-25 07:27 7 new words, 1 deleted words, <1% change
... E 1.2 Badamtam (2010-07-172010-09-24 - small update in proof output) The README file E 1.2 Badamtam (2010-09-24 - small update in proof output) The README file E 1.2 Badamtam (2010-07-17) The README file

link to this change log

Changes to the page www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html are logged on this page as they are detected. You can link to this log by pasting the HTML below into your page. It produces a link which looks like this: change log

The E Theorem Prover

monitor this page

summary of most recent changes

link to this change log

log in

search