| http://www.w3.org/ns/prov#value | - A system according to claim 6 wherein said communicating means comprises means for generating a list for each of said math parts, each list including names of all remaining math parts, the formulas of which include the name of the associated math part.
|
