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

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	His argument is a little different, but it does ultimately use the fact that quasi-finite and proper implies finite, which also comes down to Zariski's main theorem in the end.
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net