Paketname | prover9-doc |
Beschreibung | documentation for Prover9 and associated programs |
Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
Version | 0.0.200902a-1 |
Sektion | doc |
Priorität | optional |
Installierte Größe | 3544 Byte |
Hängt ab von | |
Empfohlene Pakete | |
Paketbetreuer | Peter Collingbourne |
Quelle | prover9-manual |
Paketgröße | 968774 Byte |
Prüfsumme MD5 | c6f1afd44d2140da5d80526f5e0f692b |
Prüfsumme SHA1 | daafb900765f0c1f6ed5604403d817d3b7a8a40e |
Prüfsumme SHA256 | 381a20ff5de1faa666d2ec3fce403764edb10f530fb48c64d1edddd0002e8cdc |
Link zum Herunterladen | prover9-doc_0.0.200902a-1_all.deb |
Ausführliche Beschreibung | Prover9 is an automated theorem prover for first-order and equational
logic. It is a successor of the Otter prover. Prover9 uses the
inference techniques of ordered resolution and paramodulation with
literal selection.
.
This package provides documentation for Prover9, Mace4 and other
associated programs.
|