Pages that link to "Item:Q2964455"

The following pages link to First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation (Q2964455):

Displaying 3 items.

• SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment (Q2303255) (← links)
• SCL clause learning from simple models (Q2305416) (← links)
• Automated Reasoning Building Blocks (Q3449631) (← links)