The query [[Stronger than::Normal subgroup]] [[Dissatisfies metaproperty::Centralizer-closed subgroup property]] was answered by the SMWSQLStore3 in 0.0116 seconds.
[[Stronger than::Normal subgroup]] [[Dissatisfies metaproperty::Centralizer-closed subgroup property]]
SMWSQLStore3
Transitively normal subgroup