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

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	Such results are stated either as theorems labelled with the name of the author (e.g., Grushko's Theorem) or with a letter and number (e.g., Theorems N1 to N13 on Nielsen transformations, or T1 to T5 on topological aspects).
http://www.w3.org/ns/prov#wasQuotedFrom	st-andrews.ac.uk