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

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	<logic> The branch of logic describing procedures for combining logical statements to show, by a series of truth-preserving transformations, that one statement is a consequence of some other statement or group of statements.
http://www.w3.org/ns/prov#wasQuotedFrom	hobbyprojects.com