全部搜尋項
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ 原始碼: spass  ]

套件: spass (3.7-3)

spass 的相關超連結

Screenshot

Debian 的資源:

下載原始碼套件 spass

維護者:

相似套件:

An automated theorem prover for first-order logic with equality

SPASS is a saturation-based automated theorem prover for first-order logic with equality. It is unique due to the combination of the superposition calculus with specific inference/reduction rules for sorts (types) and a splitting rule for case analysis motivated by the beta-rule of analytic tableaux and the case analysis employed in the Davis-Putnam procedure. Furthermore, SPASS provides a sophisticated clause normal form translation.

This package consists of the SPASS/FLOTTER binary, documentation, and a small example collection. The tools collections contain the proof checker pcs, the syntax translators dfg2otter and dfg2tptp, and the ASCII pretty printer dfg2ascii.

For more information, additional and partly huge example collections, consider the project homepage at http://spass.mpi-sb.mpg.de/.

標籤: 領域: 數學

其他與 spass 有關的套件

  • 依賴
  • 推薦
  • 建議
  • enhances

下載 spass

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
armhf 1,936.0 kB3,053.0 kB [文件列表]