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 [[Particular example::Dihedral group:D8]] [[Page class::Fact]] was answered by the SMWSQLStore3 in 0.0126 seconds.

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

2-subnormal not implies automorph-permutable, Abelian normal not implies central, Central factor is not finite-intersection-closed, Central factor is not quotient-transitive, Characteristic not implies fully invariant, Characteristic not implies isomorph-free in finite group, Characteristic not implies isomorph-normal in finite group, Characteristically metacyclic not implies metacyclic derived series, Characteristicity does not satisfy image condition, Characteristicity does not satisfy intermediate subgroup condition, Characteristicity is not finite-relative-intersection-closed, Class two not implies abelian automorphism group, Complemented normal not implies direct factor, Conjugacy-closedness is not join-closed, Direct factor is not upper join-closed, Full invariance does not satisfy intermediate subgroup condition, Intermediate characteristicity is not transitive, Isomorph-freeness is not transitive, Lattice-complemented is not transitive, Left-transitively WNSCDIN not implies normal, Marginality does not satisfy intermediate subgroup condition, Nilpotent automorphism group not implies abelian automorphism group, Nilpotent not implies abelian, Normal not implies central factor, Normal not implies left-transitively fixed-depth subnormal, Normal not implies normal-extensible automorphism-invariant in finite, Normal not implies normal-potentially characteristic, Normal not implies normal-potentially relatively characteristic, Normal-extensible not implies normal, Normal-isomorph-free not implies isomorph-free in finite, Normality is not transitive, Omega-1 of odd-order class two p-group has prime exponent, Permutably complemented does not satisfy transfer condition, Permutably complemented is not finite-intersection-closed, Permutably complemented is not transitive, Potentially characteristic not implies normal-potentially characteristic, Pronormality is not centralizer-closed, Schur-triviality is not characteristic subgroup-closed, Schur-triviality is not subgroup-closed, Sylow not implies CDIN, Transitive normality is not quotient-transitive, Transitively normal not implies central factor