PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Show that an integral domain with every strictly decreasing chain of ideals $I_1 \supset I_2\supset \cdots $ finite in length is a field.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com