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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

Nowadays, xylene is not only one major air pollutant which threats human health even if its concentration is lower than the human…

2014

We advance an institutional formalisation of the logical systems that underlie the $$\mathbb {K}$$K semantic framework and are…

2013

Wheat straw pulp can be considered to be one of most important raw materials for specialty and functional paper products…

2009

GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests…

2008

In this paper, we present a resolution-based calculus R CTL for Computational Tree Logic (CTL) as well as details about an…

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…

2006

Proofs involving large specifications are typically carried out through interactive provers that use higher-order logic. A…

2005

This paper presents a theory of the emergence of ethical relatedness, which is developed through a synthetic reading of the…

1999

We present a methodology for coupling several saturation-based theoremprovers (running on different computers). The methodology…

1997