Accurately Measured and Calculated Ground-Term Combinations of Ar ii*

1971 ◽  
Vol 61 (9) ◽  
pp. 1257 ◽  
Author(s):  
Lennart Minnhagen
Keyword(s):  
Ground Term

scholarly journals Nominal Equational Problems

2021 ◽  
pp. 22-41
Author(s):  
Mauricio Ayala-Rincón ◽  
Maribel Fernández ◽  
Daniele Nantes-Sobrinho ◽  
Deivid Vale
Keyword(s):  
General Definition ◽  
Ground Term ◽  
First Order ◽  
Rule Application ◽  
Definition Of ◽  
Term Algebra

AbstractWe define nominal equational problems of the form $$\exists \overline{W} \forall \overline{Y} : P$$ ∃ W ¯ ∀ Y ¯ : P , where $$P$$ P consists of conjunctions and disjunctions of equations $$s\approx _\alpha t$$ s ≈ α t , freshness constraints $$a\#t$$ a # t and their negations: $$s \not \approx _\alpha t$$ s ≉ α t and "Equation missing", where $$a$$ a is an atom and $$s, t$$ s , t nominal terms. We give a general definition of solution and a set of simplification rules to compute solutions in the nominal ground term algebra. For the latter, we define notions of solved form from which solutions can be easily extracted and show that the simplification rules are sound, preserving, and complete. With a particular strategy for rule application, the simplification process terminates and thus specifies an algorithm to solve nominal equational problems. These results generalise previous results obtained by Comon and Lescanne for first-order languages to languages with binding operators. In particular, we show that the problem of deciding the validity of a first-order equational formula in a language with binding operators (i.e., validity modulo $$\alpha $$ α -equality) is decidable.

Simple and Minimal Ground Term Equation Systems

1998 ◽  
Vol 36 (4) ◽  
pp. 367-413 ◽  
Author(s):  
Sándor Vágvölgyi
Keyword(s):  
Ground Term

Elektronische und Resonanz-Raman-Spektren der Chloro-Bromo-Ruthenate(IV), [RuClnBr6-n]2-, n = 0 ... 6

1987 ◽  
Vol 42 (6) ◽  
pp. 597-602
Author(s):  
H. N. v. Allwörden ◽  
W. Preetz
Keyword(s):  
Fine Structure ◽  
Spin Orbit Coupling ◽  
Spin Orbit ◽  
Tetraalkylammonium Salts ◽  
Ground Term ◽  
Point Groups ◽  
Resonance Raman Spectra ◽  
And Shifts ◽  
Electronic Resonance ◽  
Polarisation Measurements

The vibrational and electronic resonance Raman spectra of the solid tetraalkylammonium salts of [RuClnBr6-n]2-, n = 0 . . . 6, are measured at 80 K. The observed electronic Raman bands in the regions of 640-740 cm-1 and 1560-1790 cm-1 are assigned to the intraconfigurational transitions Γ1 → Γ4 and Γ1 → Γ3, Γ5 within the 3T1g(Oh) ground term. The observed splittings and shifts, due to spin orbit coupling and lowered symmetry, are interpreted qualitatively according to the point groups D4h, C4V, C3V and C2V. The O-O-transitions are deduced from vibrational fine structure. The electronic Raman bands of [RuCl6]2- and [RuBr6]2- are assigned in detail by polarisation measurements.

J dependence of the field and mass isotope shifts in the ground term of Sm I

1981 ◽  
Vol 14 (4) ◽  
pp. L135-L139 ◽  
Author(s):  
R New ◽  
J A R Griffith ◽  
G R Isaak ◽  
M P Ralls
Keyword(s):  
Ground Term ◽  
Isotope Shifts

Ground‐Term Energy Levels of Triply Ionized Holmium in Calcium Tungstate

1970 ◽  
Vol 53 (3) ◽  
pp. 1247-1257 ◽  
Author(s):  
D. E. Wortman ◽  
David Sanders
Keyword(s):  
Energy Levels ◽  
Ground Term ◽  
Calcium Tungstate ◽  
Term Energy

Measurements of Sc I gf -values

1976 ◽  
Vol 351 (1667) ◽  
pp. 569-579 ◽  
Keyword(s):  
Energy Level ◽  
Heat Pipe ◽  
Lower Energy ◽  
Ground Term ◽  
Absolute Scale ◽  
Lower Energy Level ◽  
The Absolute

By means of a ‘heat pipe’ and the ‘hook method’ the gf -values for 98 transitions in neutral scandium between 200 and 650 nm have been measured. Of these transitions, 33 are unclassified lines that occur in pairs with the lower energy level identified, and 14 are unclassified but are believed to originate from one of the two levels of the ground term. The absolute scale of gf -values has been based on the measurements of Bell & Lyzenga (1976). We have compared our values to those in the literature.

Sign in / Sign up

Export Citation Format

Share Document