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

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	By quantifier elimination, definable sets (in one variable) are given as Boolean combinations of formulas of the form nx = a, where n is an integer and a is an arbitrary element.
http://www.w3.org/ns/prov#wasQuotedFrom	forkinganddividing.com