Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
The background theory is a set of definite clauses
The negative evidence is derived implicitly, by making the closed world assumption (realized by the minimal Herbrand model)
The hypotheses are sets of general clauses expressible using
the same alphabet
as the background theory
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License