For each of the 534 species millipede order Chordeumatida known from Europe, available information on taxonomy, distribution and habitat is summarized, in 50 × km UTM/MGRS squares shown a map. Comparisons between equally-sized Julida are made with respect to patterns history exploration.

The spectrum of a first-order sentence is the set of the cardinalities of its finite models. In this paper, we consider the spectra of sentences over binary relations that use at least three variables. We show that for every such sentence Φ, there is a sentence Φ that uses the same number of variables, but only one symmetric binary relation, such that its spectrum is linearly proportional to th...

Streptomyces griseus strain XylebKG-1 is an insect-associated strain of the well-studied actinobacterial species S. griseus. Here, we present the genome of XylebKG-1 and discuss its similarity to the genome of S. griseus subsp. griseus NBRC13350. XylebKG-1 was isolated from the fungus-cultivating Xyleborinus saxesenii system. Given its similarity to free-living S. griseus subsp. griseus NBRC133...

We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIME-complete. Furthermore, we show that the validity problem of two-variable dependence logic is undecidable, thereby solving an open problem from the team semantics literature. We also briefly analyse the complexity o...

The satisfiability and finite satisfiability problems for the two-variable guarded fragment of first-order logic with counting quantifiers, a database, and path-functional dependencies are both ExpTime-complete.

let $pi_e(g)$ be the set of element orders of a finite group $g$‎. ‎let $nse(g)={m_nmid ninpi_e(g)}$‎, ‎where $m_n$ be the number of elements of order $n$ in $g$‎. ‎in this paper‎, ‎we prove that if $nse(g)=nse(l_2(81))$‎, ‎then $gcong l_2(81)$‎.