information about Condensed detachment field

Condensed detachment

http://en.wikipedia.org/wiki/Condensed_detachment
Field Hierarchy
Parent
Modus ponens
829 papers
Current
Condensed detachment
papers
Child
Trends