# Superposition calculus

The superposition calculus is a calculus for reasoning in equational first-order logic. It has been developed in the early 1990s and combines… (More)
Wikipedia

1994-2018

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
• Journal of Automated Reasoning
• 2015
We present a modification of the Superposition Calculus that is meant to generate consequences of sets of first-order axioms… (More)
Is this relevant?
2014
2014
• Journal of Automated Reasoning
• 2014
The superposition calculus (Bachmair and Ganzinger, J. Log Comput. 3(4), 217–247, 1994; Nieuwenhuis and Rubio 1994) is the state… (More)
Is this relevant?
2012
2012
• Mathematics in Computer Science
• 2012
The success of superposition-based theorem proving in first-order logic relies in particular on the fact that the superposition… (More)
Is this relevant?
2011
2011
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program… (More)
Is this relevant?
2010
2010
• Journal of Automated Reasoning
• 2010
We present a new calculus for first-order theorem proving with equality, $\mathcal{ME}+$ Sup, which generalizes both the… (More)
Is this relevant?
2009
2009
• CADE
• 2009
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition… (More)
Is this relevant?
2008
2008
• CSL
• 2008
Superposition is an established decision procedure for a variety of first-order logic theories represented by sets of clauses. A… (More)
Is this relevant?
2007
2007
• CSL
• 2007
We present a method of integrating linear rational arithmetic into superposition calculus for first-order logic. One of our main… (More)
Is this relevant?
2005
2005
Many domains of reasoning include a set of distinct objects. For general-purpose automated theorem provers, this property has to… (More)
Is this relevant?
1996
1996
We deene a superposition calculus specialized for abelian groups represented as integer modules, and show its refutational… (More)
Is this relevant?