PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The resulting ring is a field, as the ideal $I$ generated by the three plays contains either $(ax+by+c,x)$ or $(ax+by+c,x+1)$, which are maximal, hence is equal to one of these and $R/I$ is a field.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com