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

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	The ideal generated by $p$ and $q$ must contain $p \cup q$ and all of its subsets, and one checks easily that it indeed is an ideal.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com