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

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	I see that we have an algorithm to take a sentence and n, and determine whether the sentence is true for n, but what I am looking for is an algorithm to take a sentence and determine whether it is [true for all n].
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net