Dong Huynh

Results 2 issues of Dong Huynh

The (extra) attribute-value pairs of a record have set-like behaviour, i.e. `entity(ex:a, [ex:v=2, ex:v=2])` is considered equivalent to `entity(ex:a, [ex:v=2])`. Therefore, attribute-value pairs are stored in a set by prov.model....

bug
prov.model

Two activity records in separate provenance documents have the same identifier, one with startTime and the other with endTime: - `test-activity-1.provn`: ``` document prefix act activity(act:executing/1, 2022-06-21T14:42:12.898+01:00, -) endDocument ```...