| http://www.w3.org/ns/prov#value | - If l???m and m???n then l || n.is perpendicular togeometribottom element x = ??? means x is the smallest element. ???x : x ??? ??? = ???the bottom elementlattice theory|= entailment A ??? B means the sentence A entails the sentence B, that is every model in which A is true, B is also true.
|
