The following pages link to (Q4028090):
Displaying 6 items.
- First order theories for partial models (Q813079) (← links)
- Data abstractions for decision tree induction (Q1870535) (← links)
- First-order abduction as enumeration of stable models (Q2284490) (← links)
- Prime factorizations of abstract domains using first-order logic (Q2956723) (← links)
- Bases for first-order theories and subtheories (Q3843604) (← links)
- (Q4247076) (← links)