The query [[Satisfies metaproperty::First-order subgroup property]] was answered by the SMWSQLStore3 in 0.0128 seconds.
[[Satisfies metaproperty::First-order subgroup property]]
SMWSQLStore3
2-subnormal subgroup, Central factor, Central factor of normalizer, Conjugate-permutable subgroup, Core-free subgroup, Normal subgroup, Self-normalizing subgroup, Subgroup of index two