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

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	If there were such an algorithm, then for any program e and input n, we could form the statement program e halts on input n and check by the supposed computational procedure whether this statement is true or not.
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net