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

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	Currently, we have no way of knowing if such a program would halt - doing so requires some sort of proof, there is no general solution to tell if a program will halt.
http://www.w3.org/ns/prov#wasQuotedFrom	marknelson.us