PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • I mean, the equation a^3 + b^3 = c^3_does_ have solutions for a,b,c positive reals -- simplychoose a,b > 0 and let c be (a^3 + b^3)^(1/3).Besides that, your lack of knowledge of how to express thingsrigorously renders your proof mostly unreadable, so for now, aside from the objections I made above, I will not try to decipher it any further. quasi
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org