SPASS-AR

swMATH39884MaRDI QIDQ55584FDOQ55584

Author name not available (Why is that?)

Official website: https://link.springer.com/article/10.1007%2Fs10817-020-09546-z

Described by source

• SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment

This page was built for software: SPASS-AR