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

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	Theory and proofs, as well as applications to areas such as logistics, transportation, scheduling, communication, biology, circuit design, and theoretical computer science.
http://www.w3.org/ns/prov#wasQuotedFrom	usafa.edu