The query [[Satisfies property::Abelian group]] [[Dissatisfies property::Finitely generated group]] was answered by the SMWSQLStore3 in 0.0116 seconds.
[[Satisfies property::Abelian group]] [[Dissatisfies property::Finitely generated group]]
SMWSQLStore3
Baer-Specker group, Group of rational numbers with square-free denominators