why_provenance (210B)
1 # Why provenance 2 3 [Semiring_provenance] in the [semiring] of [sets] of [sets] of [provenance_tokens] 4 5 Specialization: [PosBool] 6 7 - [why_provenance_computation] 8 9 Up: [provenance] 10 11 See also: [why_not_provenance]