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

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	This verification is done without executing the opcodes, rather it is done by looking at the types of the instruction, just like the java compiler gives an error when you write (Integer)abcd.
http://www.w3.org/ns/prov#wasQuotedFrom	stackoverflow.com