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

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	But proofs cannot be expressed in a completely standardized human-like language, because the most novel results, exactly the ones that we want to read the most, require new forms of expression.
http://www.w3.org/ns/prov#wasQuotedFrom	rutgers.edu