About: http://webisa.webdatacommons.org/104036693

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	However, software floating-point linkage will be used by default, including cases where a --cpu option is specified that implicitly support hardware floating-point.
http://www.w3.org/ns/prov#wasQuotedFrom	arm.com