The following pages link to Theta-subsumption
External toolsShowing 11 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Preorder (links | edit)
- Inductive logic programming (links | edit)
- Golem (ILP) (links | edit)
- Subsumption (links | edit)
- Term indexing (links | edit)
- Progol (links | edit)
- Θ-subsumption (redirect page) (links | edit)
- Refinement graph (redirect to section "refinement graph") (links | edit)
- Talk:Theta-subsumption (transclusion) (links | edit)
- User:Felix QW/Logic programming (links | edit)
- Draft:Theta-subsumption (redirect page) (links | edit)