Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Automated theorem provingE theorem proverLinked dataNeuman–Stubblebine protocol

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
Nowadays, xylene is not only one major air pollutant which threats human health even if its concentration is lower than the human… 
2017
2017
Intercalated zinc-aluminum alloy powder and zinc-aluminum synergetic anticorrosive paint prepared from same and method
The invention discloses intercalated zinc-aluminum alloy powder and zinc-aluminum synergetic anticorrosive paint prepared from… 
2014
2014
An Institutional Foundation for the K Semantic Framework
We advance an institutional formalisation of the logical systems that underlie the $$\mathbb {K}$$K semantic framework and are… 
2013
2013
Biobleaching of Wheat Straw Pulp using Laccase and Xylanase
Wheat straw pulp can be considered to be one of most important raw materials for specialty and functional paper products… 
2009
2009
Testing Provers on a Grid - Framework Description
GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests… 
2008
2008
First-order resolution for CTL
In this paper, we present a resolution-based calculus R CTL for Computational Tree Logic (CTL) as well as details about an… 
2005
2005
The Psychogenesis of the Self and the Emergence of Ethical Relatedness: Klein in Light of Merleau-Ponty
This paper presents a theory of the emergence of ethical relatedness, which is developed through a synthetic reading of the… 
1999
1999
Knowledge-based Cooperation between Theorem Provers by Techs
We present a methodology for coupling several saturation-based theoremprovers (running on different computers). The methodology… 
1999
1999
Cooperation in Theorem Proving by Loosely Coupled Heuristics
We present a cooperation concept for automated theorem provers that isbased on a periodical interchange of selected results… 
1997
1997
Some necessary conditions for the optimality of synergetic maneuvers
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)