PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • That depends on the way this other IDE handles the flashing.- If it uses avrdude and the Arduino bootloader, there will be no difference- If it (you!) uses an external ISP programmer then the flash will be erased first including the bootloader.
http://www.w3.org/ns/prov#wasQuotedFrom
  • arduino.cc