<http://webisa.webdatacommons.org/prov/516168938>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://webisa.webdatacommons.org/144329373> .
<http://webisa.webdatacommons.org/144329373>	<http://www.w3.org/ns/prov#wasQuotedFrom>	<nyu.edu> .
<http://webisa.webdatacommons.org/144329373>	<http://www.w3.org/ns/prov#value>	"&gt; More precisely, suppose C is a large cardinal axiom and A is a statement" .
<http://webisa.webdatacommons.org/144329373>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/ns/prov#Entity> .