Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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
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