Back to Results
First PageMeta Content



PRD axioms PRD problems PRD001+1.p All wine conjectures include(’Axioms/PRD001+0.ax’) ∃x: californiawine(x) and ∃x: americanwine(x) and ∃x: bordeaux(x) and ∃x: burgundy(x) and ∃x: anjou(x) and ∃x: beaujol
Add to Reading List

Document Date: 2017-03-18 22:05:41


Open Document

File Size: 29,58 KB

Share Result on Facebook
UPDATE