<http://webisa.webdatacommons.org/prov/462771080>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://webisa.webdatacommons.org/188254917> .
<http://webisa.webdatacommons.org/188254917>	<http://www.w3.org/ns/prov#value>	"So 1 is like an assertion; 2 is like a tool for proving correctness, performance, or other properties - I think." .
<http://webisa.webdatacommons.org/188254917>	<http://www.w3.org/ns/prov#wasQuotedFrom>	<stackexchange.com> .
<http://webisa.webdatacommons.org/188254917>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/ns/prov#Entity> .