| http://www.w3.org/ns/prov#value | - We will use this observation in the rest of our analysis.The following is a complete list of all the non-trivial subgroups of Aut(K4) ??? S4 up to isomorphism: S4, A4, D4, D3, D2, ???4, ???3, ???2.We will show that all of these groups are positively realizable, and hence all of the groups will also be realizable.
|