The query [[Fact about.Page::Alternating group:A5]] was answered by the SMWSQLStore3 in 0.0032 seconds.
[[Fact about.Page::Alternating group:A5]]
SMWSQLStore3
Classification of finite subgroups of SO(3,R), PSL(2,4) is isomorphic to A5, PSL(2,5) is isomorphic to A5