SPASS
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Using resolution for testing modal satisfiability and building models
- Theoretical Aspects of Computing - ICTAC 2004
- Automated verification of refinement laws
- On the modelling of search in theorem proving -- towards a theory of strategy analysis
- Cocktail
- LEO-II
- Nitpick
- SETHEO
- SOLAR
- AutoBayes/CC
- PLAGIATOR
- MizarMode
- SafeGen
- CASL
- TGTP
- MPTP
- TAPS
- MPTP 0.2
- OTTER
- KARO
- VAMPIRE
- MAYA
- THF0
- Darwin
- TPTP
- MoMM
- cvc3
- SPASS+T
- Prover9
- FINDER
- DCTP
- SATCHMO
- SCOTT
- E-Darvin
- TSPASS
- Satallax
- Mace4
- AURA
- MML
- Hets
- E-SETHEO
- Sledgehammer
- ESC4
- TATL
- CVC Lite
- Cadence SMV
- LoTREC
- ARA
- Ralf
- RALL
- MBase
- CERES
- StarExec
- CVC4
- Herod
- iProver-Eq
- Pilate
- CalcCheck
- Equinox
- iProver
- ForTheL
- Amphion
- SAD
- TLAPS
- Gandalf
- E Theorem Prover
- SicoTHEO
- Ivy
- MathWeb
- HR
- Octopus
- TeMP
- SystemOnTPTP
- QUBE
- Cool
- ModalCasl
- OnTrack
- MetTeL
- PVSio-web
- Sibyl
- TABLEAUX
- KtSeqC
- HTab
- YAGO
- Roo
- Spartacus
- Easychair
- HOT
- Beagle
- HyLoTab
- Lingva
- TRP++
- EQP
- Spass-FD
- HyLoRes
- MSPASS
- OMEGA
- TRAMP
- Leo-III
- miz3
This page was built for software: SPASS
