[ Source: spass ]
Package: spass (3.7-3)
Automatizovaná síla teorému logiky rovnosti
SPASS je automatizovaný teorém první logiky týkající se rovnosti. Díky kombinaci superpozičního výpočtového aparátu se specifickými pravidly odvozování/redukce jednotlivých typů a dělícími pravidly pro případovou analýzu motivovanou beta-pravidly analytických obrazů a analýzou případů procedury Davis-Putnamovi. Kromě toho, SPASS obsahuje sofistikovanou klauzuli překladu normálních forem.
Tento balíček se skládá z binárky SPASS/FLOTTER, dokumentace a malé kolekce příkladů. Nástroje obsahují kontrolní mechanismus, překlad syntaxe dfg2otter, dfg2tptp a pěkný tisk dfg2ascii.
Pro více informací, doplňků a další příklady se podívejte na domovskou stránku projektu na adrese http://spass.mpi-sb.mpg.de/.
Other Packages Related to spass
|
|
|
-
- dep: dpkg (>= 1.15.4)
- Systém správy balíčků Debianu
- or install-info
- Spravuje instalovanou dokumentaci ve formátu info
-
- dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
- Vestavěná knihovna GNU C: Sdílené knihovny
also a virtual package provided by libc0.1-udeb
-
- dep: libc6 (>= 2.13) [s390x]
- Vestavěná knihovna GNU C: Sdílené knihovny
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.3) [amd64, i386, mips, mipsel]
- dep: libc6 (>= 2.4) [armel, armhf, powerpc, s390]
- dep: libc6 (>= 2.6) [sparc]
-
- dep: libc6.1 (>= 2.3) [ia64]
- Vestavěná knihovna GNU C: Sdílené knihovny
also a virtual package provided by libc6.1-udeb
Download spass
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 2,213.3 kB | 4,304.0 kB | [list of files] |
| armel | 2,022.3 kB | 3,864.0 kB | [list of files] |
| armhf | 1,936.0 kB | 3,053.0 kB | [list of files] |
| i386 | 2,085.3 kB | 4,180.0 kB | [list of files] |
| ia64 | 3,015.3 kB | 7,940.0 kB | [list of files] |
| kfreebsd-amd64 | 2,213.3 kB | 4,396.0 kB | [list of files] |
| kfreebsd-i386 | 2,082.9 kB | 4,252.0 kB | [list of files] |
| mips | 2,028.1 kB | 4,320.0 kB | [list of files] |
| mipsel | 2,033.9 kB | 4,320.0 kB | [list of files] |
| powerpc | 2,076.6 kB | 4,156.0 kB | [list of files] |
| s390 | 2,125.0 kB | 4,252.0 kB | [list of files] |
| s390x | 2,250.4 kB | 4,610.0 kB | [list of files] |
| sparc | 2,047.6 kB | 4,024.0 kB | [list of files] |