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::Symmetric group:S4]] [[Page class::Fact]] was answered by the SMWSQLStore3 in 0.0096 seconds.


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

2-subnormal not implies hypernormalized, Characteristicity is not finite-relative-intersection-closed, Finite solvable not implies p-normal, Lattice-complemented does not satisfy intermediate subgroup condition, P-solvable not implies Glauberman type for p, Pronormal not implies NE, Pronormal not implies join with any distinct conjugate is the whole group, Pronormality does not satisfy transfer condition, Pronormality is not centralizer-closed, Pronormality is not commutator-closed, Pronormality is not finite-intersection-closed, Pronormality is not finite-upper join-closed, Subgroups of all orders dividing the group order not implies Sylow tower, Subgroups of all orders dividing the group order not implies supersolvable, Sylow not implies CDIN, Sylow not implies local divisibility-closed