The query [[Stronger than::Normal subgroup]] [[Dissatisfies metaproperty::Join-closed subgroup property]] was answered by the SMWSQLStore3 in 0.0089 seconds.
[[Stronger than::Normal subgroup]] [[Dissatisfies metaproperty::Join-closed subgroup property]]
SMWSQLStore3
1-automorphism-invariant subgroup, Abelian normal subgroup