Pages that link to "Item:Q387121"
From MaRDI portal
The following pages link to Automatic models of first order theories (Q387121):
Displaying 7 items.
- First order theories for partial models (Q813079) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- First-order abduction as enumeration of stable models (Q2284490) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- (Q3996619) (← links)
- (Q4247076) (← links)
- Inductive Logic Programming (Q5494320) (← links)