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

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	I suppose you might say that the algorithm is the implementation of the verb, but you still search a tree, even if that search is a binary search.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com