prov:value
| - Formal Definition: The operations new(), insert(k, v, D), and find(k, D) may be defined with axiomatic semantics as follows. new() returns a dictionary find(k, insert(k, v, D)) = v find(k, insert(j, v, D)) = find(k, D) if k ??? j where k and j are keys, v is a value, and D is a dictionary.
|