About: http://webisa.webdatacommons.org/4678714

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	If u is a word and US is a cycle map, let abstractw(US,u)=u??? such that |u???|=|u|, SI(u)=SI(u???) and such that for each n<|u|, u???(SI(u)+n)=abstractl(US(SI(u)+n), u(SI(u)+n))
http://www.w3.org/ns/prov#wasQuotedFrom	google.com