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.
Also, the resolution
be used to prove that a given sentence is
entailed by a set of axioms
Worst case: Resolution is exponential in the number of clauses to resolve
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License