Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Ever since Needham and Schroeder introduced the notion of an active attacker, significant research has been conducted regarding… Expand
  • figure 1
Is this relevant?
2008
2008
A high capacity blender has been devised which is adaptable for use in achieving the proper blend of liquid-to-liquid or liquid… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
An electrophotographic copying system is disclosed wherein the DC charging and DC transfer corotrons are powered with an… Expand
Is this relevant?
Highly Cited
2006
Highly Cited
2006
A wafer-level packaging strategy for micro device chips based on uniquely orienting self-assembly is presented with the following… Expand
Is this relevant?
2006
2006
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
  • figure 1
  • figure 2
  • figure 9
  • figure 10
Is this relevant?
2006
2006
Additional bimetallic electrocatalysts for the oxygen reduction reaction ORR in acidic media were designed using a previously… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2003
2003
Bleed-fast, dyed cellulosics particularly absorbent papers have been obtained with a particular class of water-soluble, cationic… Expand
  • figure 5.5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Abstract Knowledge-based proof planning is a new paradigm in automated theorem proving (ATP) which swings the motivational… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
1999
1999
We present a methodology for coupling several saturation-based theoremprovers (running on different computers). The methodology… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
System Description FLOTTER 1 and SPASS 2 are a clause normal form translator for rst-order logic and a theorem prover for rst… Expand
Is this relevant?