The query [[Satisfies property::Abelian group]] [[Dissatisfies property::Finite group]] was answered by the SMWSQLStore3 in 0.0070 seconds.
[[Satisfies property::Abelian group]] [[Dissatisfies property::Finite group]]
SMWSQLStore3
Group of integers