Semantic search

Jump to: navigation, search
Search

Edit query Show embed code

The query [[Proves property satisfaction of::CDIN-subgroup]] was answered by the SMWSQLStore3 in 0.0072 seconds.


Results 1 – 1    (Previous 50 | Next 50)   (20 | 50 | 100 | 250 | 500)   (JSON | CSV | RSS | RDF)
 UsesFact about
Sylow and TI implies CDINAlperin's fusion theorem in terms of tame intersections
Sylow implies order-conjugate
Sylow TI-subgroup (2)
CDIN-subgroup (2)
TI-subgroup (?)