all options
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: spass  ]

Package: spass (3.9-1.1 and others)

Links for spass

Screenshot

Debian Resources:

Download Source Package spass:

Maintainers:

External Resources:

Similar packages:

Automatiseret læresætningsbeviser for første orden logik med ligestilling

SPASS er en mætningsbaseret automatiseret læresætningsbeviser for første ordens logik med ligestilling. Det er unikt på grund af kombinationen af superposition calculus med særlige regler følgeslutning/reduktion for sortering (typer) og en opsplitningsregel for tilfældeanalyse motiveret af beta-reglen om analytiske tableauer og sagsanalyse anvendt i Davis-Putnam-proceduren. Endvidere tilbyder SPASS en sofistikeret klausulnormalformsoversættelse.

Denne pakke består af den SPASS/FLOTTER-binære fil, dokumentation og en lille eksempelsamling. Værktøjssamlingerne indeholder beviskontrol-pcs, syntaksoversætterne dfg2otter og dfg2tptp og ASCII pretty-printeren dfg2ascii.

Tags: Field: Mathematics

Other Packages Related to spass

  • depends
  • recommends
  • suggests
  • enhances

Download spass

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 3.9-1.1 286.2 kB758.0 kB [list of files]
arm64 3.9-1.1 245.6 kB734.0 kB [list of files]
armel 3.9-1.1 209.1 kB601.0 kB [list of files]
armhf 3.9-1.1 218.7 kB425.0 kB [list of files]
i386 3.9-1.1 321.2 kB981.0 kB [list of files]
mips64el 3.9-1.1 251.3 kB1,042.0 kB [list of files]
ppc64el 3.9-1.1 301.8 kB1,106.0 kB [list of files]
riscv64 3.9-1.1+b1 275.6 kB583.0 kB [list of files]
s390x 3.9-1.1 256.8 kB834.0 kB [list of files]