<http://webisa.webdatacommons.org/241419013>	<http://www.w3.org/ns/prov#value>	"Posted: Tue Nov 16, 2010 6:03 pm Post subject: Quote: Did anyone try the latest Mike patch for the scheduler? yes and it made quite a lot of a difference in my eeepc, firefox for example feels much more useable now if i have sth. compiling in background." .
<http://webisa.webdatacommons.org/prov/220048718>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://webisa.webdatacommons.org/241419013> .
<http://webisa.webdatacommons.org/241419013>	<http://www.w3.org/ns/prov#wasQuotedFrom>	<gentoo.org> .
<http://webisa.webdatacommons.org/241419013>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/ns/prov#Entity> .