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

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	???There is an algorithm which can decide that, for any given natural number x, it is not the case that there is an algorithm which can decide that, for any given natural number y, the machine M is not decisive on input y.???
http://www.w3.org/ns/prov#wasQuotedFrom	wordpress.com