The query [[Proof style::tabular]] was answered by the SMWSQLStore3 in 0.0066 seconds.
[[Proof style::tabular]]
SMWSQLStore3