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

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	Those two problems have been shown equivalent (meaning that there is an algorithm that solves one of them if one has as an input a solution for the other one) under some particular assumptions.
http://www.w3.org/ns/prov#wasQuotedFrom	ens-lyon.fr