| Paketname | prover9-doc |
| Beschreibung | documentation for Prover9 and associated programs |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 0.0.200902a-1 |
| Sektion | universe/doc |
| Priorität | optional |
| Installierte Größe | 3544 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu MOTU Developers |
| Quelle | prover9-manual |
| Paketgröße | 957042 Byte |
| Prüfsumme MD5 | ab1473500c0175f13af7dca365981266 |
| Prüfsumme SHA1 | 02f9b967ecc239b9dd23ab2c0df8e922a8fad036 |
| Prüfsumme SHA256 | 680caf3998aa70f8263d5a6915917c70e468a3ce0c1578ac69f644c68dd3a94c |
| 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.
|