The query [[Proves property satisfaction of::Subgroup having a left transversal that is also a right transversal]] was answered by the SMWSQLStore3 in 0.0037 seconds.
[[Proves property satisfaction of::Subgroup having a left transversal that is also a right transversal]]
SMWSQLStore3