PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • That is, determine the even value of n for which (a) there is an assembly which is solvable using length-n pieces but not solvable with length-(n+2) pieces (give example); and (b) every assembly which is solvable using length-(n+2) pieces is also solvable using length-(n+4) pieces (give proof).
http://www.w3.org/ns/prov#wasQuotedFrom
  • comcast.net