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

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	H takes two parameters, the first is a description of a program, P, and the second is an input, I. H returns true if P halts on input I, and false otherwise.
http://www.w3.org/ns/prov#wasQuotedFrom	stackoverflow.com