| http://www.w3.org/ns/prov#value | - Sufficient.There are a few errors here:As a side note: \(0^0\) is defined and is equal to 1.p=2 (\(2^2 = 2^2\)) also works, so (2) can not be sufficient (1)+(2): (1) tells us that -1, 0 and 1 are the only possible values, but with (2), only 1 fits the bill.
|