PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • However, popular circuit simulators, such as SPICE, can encounter direct current (DC) and transient convergence problems while simulating RTD-based circuits because of the negative differential resistance (NDR) in the device's current-voltage characteristics.
http://www.w3.org/ns/prov#wasQuotedFrom
  • aboutspice.com