Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,817,728 papers from all fields of science
Search
Sign In
Create Free Account
SPASS
Known as:
SPASS theorem prover
, Synergetic Prover Augmenting Superposition with Sorts
SPASS is an automated theorem prover for first-order logic with equality developed at the Max Planck Institute for Computer Science and using the…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
8 relations
Automated theorem proving
E theorem prover
Linked data
Neuman–Stubblebine protocol
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Synergetic p+n Field-Effect Transistor Circuits for ppb-Level Xylene Detection
Xinyuan Zhou
,
Ying Wang
,
+4 authors
Yunfa Chen
IEEE Sensors Journal
2018
Corpus ID: 4772684
Nowadays, xylene is not only one major air pollutant which threats human health even if its concentration is lower than the human…
Expand
Review
2009
Review
2009
SPASS Version 3.5
Christoph Weidenbach
,
D. Dimova
,
Arnaud Fietzke
,
Rohit Kumar
,
M. Suda
,
P. Wischnewski
CADE
2009
Corpus ID: 793341
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system…
Expand
Highly Cited
2007
Highly Cited
2007
System Description: SpassVersion 3.0
Christoph Weidenbach
,
R. Schmidt
,
T. Hillenbrand
,
R. Rusev
,
Dalibor Topic
CADE
2007
Corpus ID: 41294061
An electrophotographic copying system is disclosed wherein the DC charging and DC transfer corotrons are powered with an…
Expand
Highly Cited
2006
Highly Cited
2006
Automation for interactive proof: First prototype
Jia Meng
,
Claire Quigley
,
Lawrence Charles Paulson
Inf. Comput.
2006
Corpus ID: 10734953
Highly Cited
2006
Highly Cited
2006
Wafer-level packaging based on uniquely orienting self-assembly (the DUO-SPASS processes)
Jiandong Fang
,
K. Böhringer
2006
Corpus ID: 210726881
A wafer-level packaging strategy for micro device chips based on uniquely orienting self-assembly is presented with the following…
Expand
2006
2006
On Verifying Complex Properties using Symbolic Shape Analysis
Thomas Wies
,
Viktor Kuncak
,
Karen Zee
,
A. Podelski
,
M. Rinard
ArXiv
2006
Corpus ID: 2149
Note: MPI-I-2006-2-1 (Max-Planck Institute for Computer Science) Reference LARA-REPORT-2006-002 URL: http://arxiv.org/abs/cs.PL…
Expand
2003
2003
Implementing an Efficient Theorem Prover
A. Riazanov
2003
Corpus ID: 118776547
Bleed-fast, dyed cellulosics particularly absorbent papers have been obtained with a particular class of water-soluble, cationic…
Expand
Review
2002
Review
2002
SPASS version 2.0
Christoph Weidenbach
,
Uwe Brahm
,
T. Hillenbrand
,
Enno Keen
,
Christian Theobald
,
Dalibor Topic
2002
Corpus ID: 17703189
SPASS is an automated theorem prover for full first-order logic with equality. This system description provides an overview of…
Expand
1999
1999
Knowledge-based Cooperation between Theorem Provers by Techs
Dirk Fuchs
,
J. Denzinger
1999
Corpus ID: 18780242
We present a methodology for coupling several saturation-based theoremprovers (running on different computers). The methodology…
Expand
Highly Cited
1996
Highly Cited
1996
SPASS & FLOTTER Version 0.42
Christoph Weidenbach
,
Bernd Gaede
,
Georg Rock
CADE
1996
Corpus ID: 14283893
System Description FLOTTER 1 and SPASS 2 are a clause normal form translator for rst-order logic and a theorem prover for rst…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE