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

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	Theorem I.1.1.3 - If a loop is isotopic to a group, then the loop is a group which is
http://www.w3.org/ns/prov#wasQuotedFrom	ucdenver.edu