The following pages link to (Q4287512):
Displaying 5 items.
- Theory matrices (for modal logics) using alphabetical monotonicity (Q687154) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Building Structured Theories (Q3007564) (← links)
- (Q3490928) (← links)
- On two classical results in the first order logic (Q4899838) (← links)