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

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	This can happen, for example, when int is an n-bit 2's-complement integer type, and ~ is applied to -2 (n-1). abs i returns the absolute value (magnitude) of i.
http://www.w3.org/ns/prov#wasQuotedFrom	sml-family.org