Pages that link to "Item:Q2209546"

The following pages link to First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546):

Displaying 3 items.

• \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) (Q2104525) (← links)
• Automated reasoning with restricted intensional sets (Q2666960) (← links)
• A multi-clause dynamic deduction algorithm based on standard contradiction separation rule (Q6086313) (← links)