<http://webisa.webdatacommons.org/prov/472534730>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://webisa.webdatacommons.org/254430689> .
<http://webisa.webdatacommons.org/254430689>	<http://www.w3.org/ns/prov#value>	"g is a function that given a list of Direction would return weather of not the ant got back to its place." .
<http://webisa.webdatacommons.org/254430689>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/ns/prov#Entity> .
<http://webisa.webdatacommons.org/254430689>	<http://www.w3.org/ns/prov#wasQuotedFrom>	<stackexchange.com> .