Pages that link to "Item:Q3454079"
From MaRDI portal
The following pages link to History and Prospects for First-Order Automated Deduction (Q3454079):
Displaying 7 items.
- Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- A logical reasoning based decision making method for handling qualitative knowledge (Q2658034) (← links)
- (Q4931900) (← links)
- A multi-clause dynamic deduction algorithm based on standard contradiction separation rule (Q6086313) (← links)
- On structures of regular standard contradictions in propositional logic (Q6154459) (← links)
- Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)
