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

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	1, Halting problem is intractable, i.e. even you have the data and the program, there is no way to tell (! in the general case !) how long it will take to run it.
http://www.w3.org/ns/prov#wasQuotedFrom	stackoverflow.com