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

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	The leap of thought you would need here is to realize that the remaining x must be substituted by u and so what you want to find is a function which in terms of u can replace x, in this case we can go for $(x-3)$.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com