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

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	But because q comes from an infinite set, you would need to test ((-1)^(1/Denominator[q]))^Numerator[q] == (-1)^q for infinitely many values of q, which is impossible. (btw, I didn't prove that the equation is an identity.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com