Debian Description Tracking --- package: eprover-examples

a b c d e f g h i j k l m n o p q r s t u v w x y z

eprover-examples

Source: eprover
Package: eprover-examples
Versions: eprover-examples (1.0.004-1)
Prioritize: 43
Description: Theorem prover for first-order logic with equality - examples
 E is a fully automatic theorem prover for full first-order logic with
 equality. It accepts a mathematical specification and, optionally, a
 hypothesis, and tries to prove the hypothesis and/or find a
 saturation representing a (counter-)model for the specification.
 .
 E is based on a purely equational problem representation and
 implements a variant of the superposition calculus. Proof search can
 be guided with a multitude of options or a powerful automatic
 configuration mode. The system can process input in a number of
 different formats, including the standard TPTP-2 and TPTP-3
 formats. It can generate proof objects in PCL2 or TPTP-3/TSTP
 format.
 .
 E is considered one of the most powerful and friendly automated
 theorem provers for first-order logic. It has consistently been among
 the top system in the major categories of the CASC system competition,
 and usually been the strongest free software system.
 .
 This package contains several sample inputs to try E on.

This Description was in squeeze from 2009-10-02 to 2011-07-22;
This Description was in etch from 2009-10-02 to 2011-07-22;
This Description was in sid from 2009-03-30 to 2011-12-15;
This Description was in lenny from 2009-10-02 to 2011-07-22;

This Description is not yet translated to ar

This Description is not yet translated to bg

This Description is not yet translated to ca

This Description is not yet translated to cs

This Description is not yet translated to da

This Description is not yet translated to de

This Description is not yet translated to de_DE

This Description is not yet translated to el

This Description is not yet translated to eo

This Description is not yet translated to es

This Description is not yet translated to eu

This Description is not yet translated to fi

This Description is not yet translated to fr

This Description is not yet translated to gl

This Description is not yet translated to hr

This Description is not yet translated to hu

This Description is not yet translated to id

This Description is translated to it

This Description is not yet translated to ja

This Description is not yet translated to km

This Description is not yet translated to ko

This Description is not yet translated to ml

This Description is not yet translated to nb

This Description is not yet translated to nl

This Description is not yet translated to pl

This Description is not yet translated to pt

This Description is not yet translated to pt_AO

This Description is not yet translated to pt_BR

This Description is not yet translated to ro

This Description is not yet translated to ru

This Description is not yet translated to sk

This Description is not yet translated to sr

This Description is not yet translated to sv

This Description is not yet translated to tr

This Description is not yet translated to uk

This Description is not yet translated to vi

This Description is not yet translated to zh

This Description is not yet translated to zh_CN

This Description is not yet translated to zh_TW

parts-md5sum:

51caedea5be06d2145748acec8645920 it     
37d1e9b95985e34793feeaea35b03afe de it ja     
35bf9e54dfe5f41f3d74247eb46ec5aa de it ja     
d0a0b350e4b9ef9ec72a817cb8775462 de it ja     
d0b55905e757c5b30cbe96ba565ac36e it

eprover-examples

other Descriptions of the eprover-examples package: