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

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	For the type of applications considered in this book, especially in Chapter 5, automated reasoning may be the only feasible method for solving the corresponding problems.
http://www.w3.org/ns/prov#wasQuotedFrom	slideshare.net