| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/parallelsymmetric.prf |
PRABCD ANNEAB+NECD+COABa+COABb+NEab+COCDc+COCDd+NEcd+NOMEABCD+BEamd+BEcmb defn:parallel NEAB NECD COABa COABb NEab COCDc COCDd NEcd NOMEABCD BEamd BEcmb MECDAB assumption ANNECD+NEAB+COCDP+COABP defn:meet NEAB NECD COABP COCDP MEABCD defn:meet NOMECDAB reductio ANCOCDc+COCDd+NEcd+COABa+COABb+NEab+NOMECDAB+NECD+NEAB+BEcmb+BEamd PRCDAB defn:parallel