Semantic search

Jump to: navigation, search
Query Additional data to display
(add one property name per line)

Format as:
[Add sorting condition]
Other options
The maximum number of results to return
The offset of the first result
Show values as links
Property to sort the query by
order: descending desc asc ascending rand random
Order of the query sort
Display the headers/property names
The label to give to the main page name
The text to display before the query results, if there are any
The text to display after the query results, if there are any
Text for continuing the search
The text to display if there are no query results
The separator for values
The name of a template with which to display the printouts
template arguments:
Sets how the named arguments are passed to the template
named args:
Name the arguments passed to the template
A value passed into each template call, if a template is used
The name of a template to display before the query results, if there are any
The name of a template to display after the query results, if there are any
Additional annotated data are to be copied during the parsing of a subject

Hide query Show embed code

The query [[Page class::Fact]] was answered by the SMWSQLStore3 in 0.0158 seconds.

Results 1 – 50    (Previous 50 | Next 50)   (20 | 50 | 100 | 250 | 500)   (JSON | CSV | RSS | RDF)

1-closed transversal not implies permutably complemented, 2-Engel implies class three for groups, 2-Engel not implies class two for groups, 2-Sylow subgroup is TI implies it is normal or there is exactly one conjugacy class of involutions, 2-hypernormalized satisfies intermediate subgroup condition, 2-subnormal implies conjugate-join-closed subnormal, 2-subnormal implies conjugate-permutable, 2-subnormal implies join-transitively subnormal, 2-subnormal not implies automorph-permutable, 2-subnormal not implies hypernormalized, 2-subnormality is conjugate-join-closed, 2-subnormality is not finite-join-closed, 2-subnormality is not finite-upper join-closed, 2-subnormality is not transitive, 2-subnormality is strongly intersection-closed, 3-Engel implies locally nilpotent for groups, 3-step group implies solvable CN-group, 3-subnormal implies finite-conjugate-join-closed subnormal, 3-subnormal not implies finite-automorph-join-closed subnormal, 4-Engel implies locally nilpotent for groups, 4-subnormal not implies finite-conjugate-join-closed subnormal, ACIC implies nilpotent (finite groups), ACIC is characteristic subgroup-closed, AEP does not satisfy intermediate subgroup condition, Abelian and pronormal implies SCDIN, Abelian automorphism group implies class two, Abelian automorphism group not implies abelian, Abelian automorphism group not implies cyclic, Abelian characteristic is not join-closed, Abelian implies ACIC, Abelian implies every element is automorphic to its inverse, Abelian implies every subgroup is normal, Abelian implies nilpotent, Abelian implies self-centralizing in holomorph, Abelian normal is not join-closed, Abelian normal not implies central, Abelian normal subgroup of core-free maximal subgroup is contranormal implies derived subgroup of whole group is monolith, Abelian p-group with indecomposable coprime automorphism group is homocyclic, Abelian-quotient not implies cocentral, Abelian-quotient not implies kernel of a bihomomorphism, Abelianness is 2-local, Abelianness is directed union-closed, Abelianness is quotient-closed, Abelianness is subgroup-closed, Abnormal implies WNSCC, Abnormal normalizer not implies pronormal, Additive group of a field implies characteristic in holomorph, Algebra group implies power degree group for field size, Algebraically closed implies simple, All cumulative conjugacy class size statistics values divide the order of the group for groups up to prime-fifth order