<http://webisa.webdatacommons.org/prov/450094881>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://webisa.webdatacommons.org/86999191> .
<http://webisa.webdatacommons.org/86999191>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/ns/prov#Entity> .
<http://webisa.webdatacommons.org/86999191>	<http://www.w3.org/ns/prov#wasQuotedFrom>	<slashdot.org> .
<http://webisa.webdatacommons.org/86999191>	<http://www.w3.org/ns/prov#value>	"by Missing.Matter (1845576) writes: That is, given two languages A and B, A solves B means that there is a map f from B to A where f(x) is in A if and only if x is in B, for all possible x (not just those in B).You pretty much just stated the definition for a reduction." .