The query [[Uses property satisfaction of::Normal subgroup having no common composition factor with its quotient group]] was answered by the SMWSQLStore3 in 0.0118 seconds.
[[Uses property satisfaction of::Normal subgroup having no common composition factor with its quotient group]]
SMWSQLStore3