Inverse resolution
Inverse resolution is an inductive reasoning technique that involves inverting the resolution operator.
References
 | This logic-related article is a stub. You can help Wikipedia by expanding it. |
This is an old revision of this page, as edited by SchreiberBike (talk | contribs) at 23:11, 20 June 2012 (Repairing links to disambiguation pages - You can help! - Inverse). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Inverse resolution is an inductive reasoning technique that involves inverting the resolution operator.