The query [[Particular example::Alternating group:A4]] [[Category:Subgroup property non-implications]] was answered by the SMWSQLStore3 in 0.0039 seconds.
[[Particular example::Alternating group:A4]] [[Category:Subgroup property non-implications]]
SMWSQLStore3
Lattice-complemented not implies permutably complemented, Normal-extensible not implies inner, Order-conjugate and Hall not implies order-dominating