The query [[Particular example::Symmetric group:S3]] [[Category:Subgroup metaproperty dissatisfactions]] was answered by the SMWSQLStore3 in 0.0075 seconds.
[[Particular example::Symmetric group:S3]] [[Category:Subgroup metaproperty dissatisfactions]]
SMWSQLStore3
Pronormality is not finite-upper join-closed, Transitive normality is not centralizer-closed, Transitive normality is not finite-join-closed