The query [[Satisfies metaproperty::Relation implication-expressible subgroup property]] was answered by the SMWSQLStore3 in 0.0041 seconds.
[[Satisfies metaproperty::Relation implication-expressible subgroup property]]
SMWSQLStore3
Automorph-conjugate subgroup, Characteristic subgroup, Conjugate-permutable subgroup, Normal subgroup, Permutable subgroup