Squashed entanglement, also called CMI entanglement (CMI can be pronounced "see me"), is an information theoretic measure of quantum entanglement for a bipartite quantum system. If formula_1 is the density matrix of a system formula_2 composed of two subsystems formula_3 and formula_4, then the CMI entanglement formula_5 of system formula_2 is defined by
Squashed entanglement can be applied to certain quantum systems
( z1 possible :ARG1 ( z2 apply :ARG1 ( z3 entanglement :ARG1-of ( z4 squash ) ) :ARG2 ( z5 system :mod ( z6 quantum ) :mod ( z7 certain ) ) ) )