| http://www.w3.org/ns/prov#value | - But in the second part 'P' is true, it is about the proposition 'P' and it asserts that the proposition is a true one.You are correct that they are not the same proposition. one is i.e,'P' is the proposition and the second one is 'P'is true is about the truth-value of the the proposition 'P'.
|
