Paket: prover9-doc (0.0.200902a-2)

[ Quellcode: prover9-manual  ]

Dokumentation für Prover9 und zugehörige Programme

Prover 9 ist ein automatisierter Theorem-Beweiser für Prädikatenlogik erster Stufe und Gleichungslogik. Er ist der Nachfolger des Beweisers Otter. Prover9 verwendet die Schlussfolgerungstechniken der geordneten Resolution und Paramodulation mit »literal selection«

Dieses Paket stellt Dokumentation für Prover9, Mace4 und andere zugehörige Programme bereit.

Markierungen: Hergestellt aus: HTML, Hypertext Markup Language (Hypertext-Auszeichnungssprache), PDF-Dokumente, Rolle: Dokumentation

Andere Pakete mit Bezug zu prover9-doc

• sug: ladr4-apps

  the LADR deduction library, miscellaneous applications

• sug: prover9

  theorem prover and countermodel generator

• sug: python

  Interaktive objektorientierte Hochsprache (Python2-Version)

prover9-doc herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	946,3 kB	3.118,0 kB	[Liste der Dateien]