SCOTT swMATH ID: 6717 Software Authors: John Slaney, Arnold Binas, Kahlil Hodgson, David Price Description: SCOTT: Semantically Constrained Otter. The SCOTT project dates back to 1991 and is still running. The theorem prover, a variant of OTTER, has competed in CASC for several years, achieving unspectacular but interesting results. It is widely regarded as an idea that ought to work but has not yet realised its potential. The program is freely available. Like anything free, it comes with no guarantee. Unlike some free things, it also comes with no documentation: it remains very much work in progress and should be regarded as experimental software Homepage: http://users.cecs.anu.edu.au/~jks/scott/ Dependencies: Otter Keywords: theorem prover; Otter Related Software: OTTER; TPTP; SETHEO; Mace4; SATCHMO; VAMPIRE; Satallax; E Theorem Prover; SPASS; E-Darvin; FALCON; ModGen; SATO; FINDER; KoMeT; CoDe; Scavenger; iProver; StarExec; Why3 Cited in: 27 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year System description: SCOTT-5. Zbl 0988.68603Hodgson, Kahlil; Slaney, John 2001 all top 5 Cited by 36 Authors 5 Slaney, John K. 4 Peltier, Nicolas 2 Caferra, Ricardo 2 Choi, Seungyeob 2 Fuchs, Matthias 2 Hodgson, Kahlil 2 Schaub, Torsten H. 1 Blanchette, Jasmin Christian 1 Bonacina, Maria Paola 1 Brown, Marianne S. 1 Brüning, Stefan 1 Bunder, Martin W. 1 de Nivelle, Hans 1 Dierkes, Michael 1 Fuchs, Dirk 1 Furbach, Ulrich 1 Goré, Rajeev Prabhakar 1 Itegulov, Daniyar 1 Kaliszyk, Cezary 1 Kerber, Manfred 1 Koriche, Frédéric 1 Leitsch, Alexander 1 Matzinger, Robert 1 Meng, Jia 1 Nipkow, Tobias 1 Paulson, Lawrence Charles 1 Puitg, François 1 Sofronie-Stokkermans, Viorica 1 Stolzenburg, Frieder 1 Surendonk, Timothy J. 1 Sutcliffe, Geoff 1 Urban, Josef 1 Voronkov, Andrei 1 Woltzenlogel Paleo, Bruno 1 Zhang, Hantao 1 Zhang, Jian all top 5 Cited in 9 Serials 2 Journal of Symbolic Computation 2 Lecture Notes in Computer Science 1 Artificial Intelligence 1 Bulletin of the Section of Logic 1 Journal of Automated Reasoning 1 AI Communications 1 Journal of Logic and Computation 1 Journal of Universal Computer Science 1 Journal of Formalized Reasoning Cited in 3 Fields 25 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) Citations by Year