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.0079 seconds.


Results 1 – 1    (Previous 100 | Next 100)   (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 (?)