Semantic search

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

Format as:
Sorting
[Add sorting condition]
Other options
limit:
The maximum number of results to return
offset:
The offset of the first result
link:
Show values as links
sort:
Property to sort the query by
order: descending desc asc ascending rand random
Order of the query sort
headers:
Display the headers/property names
mainlabel:
The label to give to the main page name
intro:
The text to display before the query results, if there are any
outro:
The text to display after the query results, if there are any
searchlabel:
Text for continuing the search
default:
The text to display if there are no query results
sep:
The separator for values
template:
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
userparam:
A value passed into each template call, if a template is used
introtemplate:
The name of a template to display before the query results, if there are any
outrotemplate:
The name of a template to display after the query results, if there are any
import-annotation:
Additional annotated data are to be copied during the parsing of a subject
Search

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