| http://www.w3.org/ns/prov#value | - For example, there is a certain condition on certain linear operators one can define on the free vector space on a graded poset that guarantees the ranks are unimodal, and for many applications of this condition a direct proof of unimodality is not known.
|
