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

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	If a proposition is an assertion which may be proved or unproved, true or false, why is it inappropriate if a proposition happens to be a trivial theorem, i.e., a trivial assertion that can be proved from the axioms?
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net