Pages that link to "Theta-subsumption"
Showing 11 items.
- 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)