Semantic search

Jump to: navigation, search
Search

Edit query Show embed code

The query [[Proves property satisfaction of::Homomorph-containing subgroup]] was answered by the SMWSQLStore3 in 0.0063 seconds.


Results 1 – 5    (Previous 100 | Next 100)   (20 | 50 | 100 | 250 | 500)   (JSON | CSV | RSS | RDF)
 UsesFact about
Homomorph-containment is quotient-transitiveHomomorph-containing subgroup (1)
Quotient-transitive subgroup property (2)
Homomorph-containment is strongly join-closedHomomorph-containing subgroup (1)
Strongly join-closed subgroup property (2)
Homomorph-containment satisfies intermediate subgroup conditionHomomorph-containing subgroup (1)
Intermediate subgroup condition (2)
Omega subgroups are homomorph-containingSdf (1)
Property (2)
Perfect core is homomorph-containingPerfectness is quotient-closedSdf (1)
Property (2)