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

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	At the end of the walk (triggered by some event such as having no remaining moves), we use the collected information to compute an unbiased estimator for the number of vertices in $G$.
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net