<http://webisa.webdatacommons.org/142644388>	<http://www.w3.org/ns/prov#wasQuotedFrom>	<google.com> .
<http://webisa.webdatacommons.org/142644388>	<http://www.w3.org/ns/prov#value>	"At diamond 970, the invention determines whether for each set of elements X in SoS2, there exists a set of elements Y in SoS1 such that Y is a subset of X. If this condition holds, then the sequence returns True." .
<http://webisa.webdatacommons.org/prov/53890477>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://webisa.webdatacommons.org/142644388> .
<http://webisa.webdatacommons.org/142644388>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/ns/prov#Entity> .