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

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	Unfortunately I am not an expert so I can not say much more, other than point you to the book by Cook and Nguyen (same Cook as in Cook's theorem) and to the work of Emil Je????bek, especially his thesis on randomized computation.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com