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

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	It knows that n will always be an integer, even if you do nothing but call f until the end of the earth, GCC can be 100% positive that n is an integer.
http://www.w3.org/ns/prov#wasQuotedFrom	alexgaynor.net