The query [[Stronger than::Normal subgroup]] [[Satisfies metaproperty::Centralizer-closed subgroup property]] was answered by the SMWSQLStore3 in 0.0071 seconds.
[[Stronger than::Normal subgroup]] [[Satisfies metaproperty::Centralizer-closed subgroup property]]
SMWSQLStore3
Central factor, Characteristic subgroup, Finite direct power-closed characteristic subgroup