| 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.
|