Horn clause formulation

From Polymath Wiki
Revision as of 02:21, 9 March 2016 by TobiasFritz (talk | contribs) (created with essentially no content yet)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

The members of a union-closed family can be characterized as consisting of precisely those sets which satisfy a bunch of Horn clauses.

Retrieved from "https://michaelnielsen.org/polymath/index.php?title=Horn_clause_formulation&oldid=9822"