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

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 insertion method according to claim 1, characterised in that each message in the set that is of a size that is not the largest in the set is deducible from another message with a larger size that is included in the set of messages.
http://www.w3.org/ns/prov#wasQuotedFrom	google.com