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

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	The Performance Evaluation Process Algebra methodology of Tribastone and Gilmore, while firmly rooted in formal methods, has recently been extended to biology, chemistry, and other areas of science and engineering.
http://www.w3.org/ns/prov#wasQuotedFrom	computer.org