The query [[Particular example::Symmetric group:S5]] [[Page class::Fact]] was answered by the SMWSQLStore3 in 0.0074 seconds.
[[Particular example::Symmetric group:S5]] [[Page class::Fact]]
SMWSQLStore3
2-subnormality is not finite-upper join-closed, N-group not implies solvable or minimal simple, Subnormality is not finite-upper join-closed