skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Hydrothermal synthesis of new mixed-oxoanion materials: Rare earth iodate sulfates Sm(IO3)(SO4) and Ln2(IO3)3(SO4)OH·3H2O (Ln = Sm, Eu, Dy)
Award ID(s):
1806279
PAR ID:
10329285
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Solid State Sciences
Volume:
129
Issue:
C
ISSN:
1293-2558
Page Range / eLocation ID:
106918
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. The salt metathesis reaction between one equivalent of SmI2(THF)2 and two equivalents of K(C5Me4H) in THF afforded single crystals of the unusual, toluene-soluble, and asymmetric bimetallic Sm(II)/Sm(II) complex, (C5Me4H)2SmII(μ-η3:η5-C5Me4H)SmII(C5Me4H)(THF)2, instead of the expected product, (C5Me4H)2SmII(THF)2. The toluene-insoluble products of this reaction can be worked up in 1,2-dimethoxyethane (DME) to provide X-ray quality crystals of the monomeric Sm(II) metallocene, (C5Me4H)2SmII(DME). (C5Me4H)2SmII(DME) can also be synthesized directly by the reaction between one equivalent of SmI2(THF)2 and two equivalents of K(C5Me4H) in neat DME. The isolation and characterization of the bimetallic Sm(II)/Sm(II) complex provides supporting evidence for the possible oligomerization that may occur during the synthesis of Sm(II) complexes with cyclopentadienyl ligands that are less sterically bulky and less solubilizing than (C5Me5)1−. 
    more » « less
  2. Conditional literals are an expressive Answer Set Programming language construct supported by the solver clingo. Their semantics are currently defined by a translation to infinitary propositional logic, however, we develop an alternative characterization with the SM operator which does not rely on grounding. This allows us to reason about the behavior of a broad class of clingo programs/encodings containing conditional literals, without referring to a particular input/instance of an encoding. We formalize the intuition that conditional literals behave as nested implications, and prove the equivalence of our semantics to those implemented by clingo. 
    more » « less