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

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	Without the proofs, I would have had a difficult time understanding what they were doing, too.here is an example of an interesting theorem in the book.
http://www.w3.org/ns/prov#wasQuotedFrom	blogspot.com