# SPASS

## Papers overview

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

2018

2018

- IEEE Sensors Journal
- 2018

Nowadays, xylene is not only one major air pollutant which threats human health even if its concentration is lower than the humanâ€¦Â (More)

Is this relevant?

2012

2012

- ITP
- 2012

Sledgehammer for Isabelle/HOL integrates automatic theorem provers to discharge interactive proof obligations. This paperâ€¦Â (More)

Is this relevant?

2011

2011

- CADE
- 2011

Using a constrained superposition calculus and a disunification procedure, it is possible to employ superposition-based firstâ€¦Â (More)

Is this relevant?

Review

2009

Review

2009

- CADE
- 2009

SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This systemâ€¦Â (More)

Is this relevant?

2006

2006

- Journal of Microelectromechanical Systems
- 2006

A wafer-level packaging strategy for micro device chips based on uniquely orienting self-assembly is presented with the followingâ€¦Â (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- FMCO
- 2005

A program verifier is a complex system that uses compiler technology, program semantics, property inference, verificationâ€¦Â (More)

Is this relevant?

2005

2005

- MobiDE
- 2005

Scalability and energy management issues are crucial for sensor network databases. In this paper, we introduce the Sharing andâ€¦Â (More)

Is this relevant?

1999

1999

- Description Logics
- 1999

mspass is an enhancement of the rst-order theorem prover spass 17; 18; 19; 20] with a translator of modal formulae, formulae ofâ€¦Â (More)

Is this relevant?

1997

1997

- Journal of Automated Reasoning
- 1997

This article describes SPASS, Version 0.49, as it was entered in the system competition at CADE-13. SPASS is an automated theoremâ€¦Â (More)

Is this relevant?

1996

1996

- CADE
- 1996

System Description FLOTTER 1 and SPASS 2 are a clause normal form translator for rst-order logic and a theorem prover for rstâ€¦Â (More)

Is this relevant?