http://www.w3.org/ns/prov#value | - Furthermore, given a group $G$ which is the coordinate group of a finite system of equations over $\Gamma$, I will show that there is an algorithm to find such decompositions of each maximal (with respect to a natural partial order) $\Gamma$-limit group which is a quotient of $G$.
|