×

SPASS

swMATH ID: 4108
Software Authors: C Weidenbach, U Brahm, T Hillenbrand
Description: SPASS is an automated theorem prover for first-order logic with equality. So the input for the prover is a first-order formula in our syntax. Running SPASS on such a formula results in the final output SPASS beiseite: Proof found. if the formula is valid, SPASS beiseite: Completion found. if the formula is not valid and because validity in first-order logic is undecidable, SPASS may run forever without producing any final result.
Homepage: http://www.spass-prover.org/
Related Software: VAMPIRE; TPTP; E Theorem Prover; OTTER; Isabelle/HOL; z3; iProver; Sledgehammer; Mace4; Isabelle; Mizar; CVC4; Waldmeister; SETHEO; Coq; Prover9; FLOTTER; HOL; Satallax; Bliksem
Cited in: 204 Documents
Further Publications: http://www.spass-prover.org/publications.html
all top 5

Cited by 269 Authors

22 Weidenbach, Christoph
14 Hustadt, Ullrich
12 Schmidt, Renate A.
11 Sutcliffe, Geoff
10 Benzmüller, Christoph Ewald
10 Urban, Josef
8 Blanchette, Jasmin Christian
8 Dixon, Clare
8 Meier, Andreas
7 Baumgartner, Peter
7 Bonacina, Maria Paola
7 de Nivelle, Hans
7 Sorge, Volker
7 Voronkov, Andrei
7 Waldmann, Uwe
5 Hillenbrand, Thomas
5 Kovács, Laura Ildikó
5 Schulz, Stephan
4 Colton, Simon
4 Kaliszyk, Cezary
4 McCasland, Roy L.
4 Nalon, Cláudia
4 Paulson, Lawrence Charles
4 Peltier, Nicolas
4 Plaisted, David Alan
4 Siekmann, Jörg H.
4 Tourret, Sophie
4 Zhang, Lan
3 Areces, Carlos
3 Böhme, Sascha
3 Bromberger, Martin
3 Claessen, Koen
3 Cruanes, Simon
3 Echenim, Mnacho
3 Fietzke, Arnaud
3 Fleury, Mathias
3 Giunchiglia, Enrico
3 Korovin, Konstantin
3 Lyaletski, Alexander V.
3 Paskevich, Andrei
3 Suda, Martin
3 Tacchella, Armando
3 Theiss, Frank
3 Tinelli, Cesare
3 Verchinine, Konstantin
2 Bentkamp, Alexander
2 Brown, Chad Edward
2 Burel, Guillaume
2 Chaudhari, Dipak L.
2 Damani, Om P.
2 Davis, Ernest
2 de Rijke, Maarten
2 Duarte, André
2 Ebner, Gabriel
2 Fischer, Bernd
2 Fuchs, Dirk
2 Furbach, Ulrich
2 Gorín, Daniel
2 Goubault-Larrecq, Jean
2 Höfner, Peter
2 Janičić, Predrag
2 Kapur, Deepak
2 Kruglov, Evgeniĭ Valentinovich
2 Lillieström, Ann
2 Ludwig, Michel
2 Melis, Erica
2 Moser, Georg
2 Narboux, Julien
2 Nipkow, Tobias
2 Papacchini, Fabio
2 Pelzer, Björn
2 Reger, Giles
2 Roggenbach, Markus
2 Schlichtkrull, Anders
2 Schumann, Johann M. Ph.
2 Sofronie-Stokkermans, Viorica
2 Steel, Graham
2 Steen, Alexander
2 Stojanović Đurđević, Sana
2 Tishkovsky, Dmitry
2 Topić, Dalibor
2 Tran, Duc-Khanh
2 van der Torre, Leendert W. N.
1 Afshordel, Bijan
1 Alama, Jesse
1 Armando, Alessandro
1 Autexier, Serge
1 Azmy, Noran
1 Bancerek, Grzegorz
1 Barbosa, Haniel
1 Barrett, Clark W.
1 Beeson, Michael J.
1 Bensalem, Saddek
1 Berghammer, Rudolf
1 Blohm, Antje
1 Bos, Johan
1 Brahm, Uwe
1 Bridge, James P.
1 Buchberger, Bruno
1 Bundy, Alan
...and 169 more Authors

Citations by Year