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

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	That is, is there a first order formula ??(x) such that this structure satisfies ??(x) if and only if x is an integer?
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net