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

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	In this example, verifying that the answer is a path from A to B and that the cost function equals the minimum value gives you two criteria that all correct answers will satisfy, while no incorrect answers will satisfy both criteria.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com