SPASS-AR

MaRDI QIDQ55584swMATHFDO

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