SPASS-AR

swMATH39884MaRDI QIDQ55584FDOQ55584

Author name not available (Why is that?)

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