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

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 base case is |E| = |V|-1 (the least value for which G can be connected); then G itself is a tree (by the theorem above).
http://www.w3.org/ns/prov#wasQuotedFrom	yale.edu