The query [[Survey article about.Defining ingredient::Order of a group]] was answered by the SMWSQLStore3 in 0.0115 seconds.
[[Survey article about.Defining ingredient::Order of a group]]
SMWSQLStore3
Deducing basic facts about Sylow subgroups and Hall subgroups, Subnormal-to-normal and normal-to-characteristic