| http://www.w3.org/ns/prov#value | - The function is parameterized on key and value types K, V. It takes four arguments: an integer n, a birth t, a key k and a storage rs of key and value types K, V.-- Let us define a binary function next_item_2, parameterized by birth threshold t and key k.
|
