OpenLLM-France/wikimedia huggingface dataset:
# Solèr's theorem

In mathematics, Solèr's theorem is a result concerning certain infinite-dimensional vector spaces. It states that any orthomodular form that has an infinite orthonormal set is a Hilbert space over the real numbers, complex numbers or quaternions. Originally proved by Maria Pia Solèr, the result is significant for quantum logic and the foundations of quantum mechanics. In particular, Solèr's theorem helps to fill a gap in the effort to use Gleason's theorem to rederive quantum mechanics from information-theoretic postulates. It is also an important step in the Heunen–Kornell axiomatisation of the category of Hilbert spaces.
Physicist John C. Baez notes,
   Nothing in the assumptions mentions the continuum: the hypotheses are purely algebraic. It therefore seems quite magical that [the division ring over which the Hilbert space is defined] is forced to be the real numbers, complex numbers or quaternions.
Writing a decade after Solèr's original publication, Pitowsky calls her theorem "celebrated".

## Statement

Let $\mathbb {K}$ be a division ring. That means it is a ring in which one can add, subtract, multiply, and divide but in which the multiplication need not be commutative. Suppose this ring has a conjugation, i.e. an operation $x\mapsto x^{*}$ for which
    ${\begin{aligned}&(x+y)^{*}=x^{*}+y^{*},\\&(xy)^{*}=y^{*}x^{*}{\text{ (the order of multiplication is inverted), and }}\\&(x^{*})^{*}=x.\end{aligned}}$
Consider a vector space V with scalars in $\mathbb {K}$, and a mapping
    $(u,v)\mapsto \langle u,v\rangle \in \mathbb {K}$
which is $\mathbb {K}$ -linear in left (or in the right) entry, satisfying the identity
    $\langle u,v\rangle =\langle v,u\rangle ^{*}.$
This is called a Hermitian form. Suppose this form is non-degenerate in the sense that
    $\langle u,v\rangle =0{\text{ for all values of }}u{\text{ only if }}v=0.$
For any subspace S let $S^{\bot }$ be the orthogonal complement of S. Call the subspace "closed" if $S^{\bot \bot }=S.$
Call this whole vector space, and the Hermitian form, "orthomodular" if for every closed subspace S we have that $S+S^{\bot }$ is the entire space. (The term "orthomodular" derives from the study of quantum logic. In quantum logic, the distributive law is taken to fail due to the uncertainty principle, and it is replaced with the "modular law," or in the case of infinite-dimensional Hilbert spaces, the "orthomodular law.")
A set of vectors u$_i$∈V{\textstyle u_{i}\in V} is called "orthonormal" if $\langle u_{i},u_{j}\rangle =\delta _{ij}.$The result is this:
    If this space has an infinite orthonormal set, then the division ring of scalars is either the field of real numbers, the field of complex numbers, or the ring of quaternions.
# Shashpur

Shashpur is a census town in Kalna II CD Block in Kalna subdivision of Purba Bardhaman district in the Indian state of West Bengal.

## Geography
### Location

Shashpur is located at 23°12′45″N 88°22′46″E﻿ / ﻿23.2126°N 88.3794°E﻿ / 23.2126; 88.3794.
Shashpur is also shown in the map of Kalna II CD block in the District Census Handbook.

### Urbanisation

87.00% of the population of Kalna subdivision live in the rural areas. Only 13.00% of the population live in the urban areas. The map alongside presents some of the notable locations in the subdivision. All places marked in the map are linked in the larger full screen map.

## Demographics

As per the 2011 Census of India, Shashpur had a total population of 10,100 of which 5,240 (52%) were males and 4,860 (48%) were females. Population below 6 years was 1,071. The total number of literates in Shashpur was 6,598 (73.08% of the population over 6 years).

## Infrastructure

As per the District Census Handbook 2011, Shashpur covered an area of 2.4249 km$^2$. Amongst the medical facilities, the nearest nursing home was 22 km away and the nearest veterinary hospital was 22 km away. It had 4 medicine shops. It had 3 primary schools. Major educational facilities were available 1 km away at Kalna.
Note: There are major medical facilities at Kalna.

## Transport

Shashpur is off State Highway 6. Ambika Kalna railway station is located nearby.
# Røyken og Hurums Avis

Røyken og Hurums Avis (The Røyken and Hurum Gazette) is a local Norwegian newspaper covering the municipalities of Røyken and Hurum in Buskerud county.
Røyken og Hurums Avis was launched in 1976, when it was called Hurumposten (The Hurum Gazette), later renamed Smånytt fra Røyken og Hurum (Little Gazette from Røyken and Hurum). The newspaper is published twice a week, on Tuesdays and Thursdays. Its office has been located in Sætre since 2003, after it moved from Slemmestad. It is edited by Svein Ove Isaksen. Røyken og Hurums Avis is fully owned by Drammens Tidende, which is part of the company Edda Media.

## Circulation

According to the Norwegian Audit Bureau of Circulations and National Association of Local Newspapers, Røyken og Hurums Avis has had the following annual circulation:
* 2006: 3,193
* 2007: 3,192
* 2008: 3,391
* 2009: 3,541
* 2010: 3,711
* 2011: 3,695
* 2012: 3,790
* 2013: 3,872
* 2014: 3,668
* 2015: 3,639
* 2016: 3,572
# Redux Orchestra versus Einstürzende Neubauten

Redux Orchestra versus Einstürzende Neubauten is the fourth release of Einstürzende Neubauten's Musterhaus project, a series of highly experimental CD releases that were only available via an annual subscription through their website or from shows during their 25th Anniversary Tour. This project was separate from their Neubauten.org Supporter Project, which ran concurrently.
The Musterhaus release saw Redux Orchestra and Einstürzende Neubauten collaborating to create new re-arrangements of songs from Einstürzende Neubauten's previous releases.

## Track listing

* "Keine Schönheit ohne Gefahr" (from Fünf auf der nach oben offenen Richterskala) – 15:09
* "Wüste" (from Tabula Rasa) – 7:59
* "Installation No. 1" (from Ende Neu) – 10:14
* "Negativ Nein" (from Kollaps) – 2:14
# Letter of Seventeen

The Letter of Seventeen (Russian: «Письмо семнадцати») was a highly controversial open letter published in Lenin Bayrağı in March 1968, condemning the desire for the right of return among the exiled Crimean Tatar community. It was often referred to as "the letter of seventeen traitors."

## Contents

The letter addressed the experiences and struggles of Crimean Tatars in Central Asia, downplaying the discrimination they faced. It advised the Crimean Tatar community to accept their circumstances and settle in Central Asia rather than advocating for their right to return to Crimea—a desire held by many within the community. The letter referenced Ukaz 493, claiming it had "radically solved their national question," even though the decree was widely unpopular among Crimean Tatars. The decree initially created false hope for some, leading them to believe they could return to Crimea, only to face deportation again. While the decree officially recognized Crimean Tatars as rehabilitated, it did not grant them the right to reparations or the ability to return to their homeland. Furthermore, the decree reinforced the use of the phrase "citizens of Tatar nationality who formerly lived in Crimea" instead of the ethnonym "Crimean Tatar," a practice aligned with the Soviet Union's denial of the Crimean Tatar identity. The letter concluded by characterizing the idea of returning to Crimea as an unrealistic aspiration that should be abandoned in favor of the perceived greater good. It was co-signed by 17 members of the community, who, though somewhat accomplished, were not widely recognized and adhered to the party line without publicly supporting the right of return.

## Reception

Initially, many Crimean Tatars found it difficult to believe that members of their community had willingly signed the letter. However, over time, the authenticity of the signatures was no longer questioned, and it became apparent how the government had attempted to use certain Crimean Tatars against their own people. The Crimean Tatar civil rights activist Yuri Osmanov referred to it as the "letter of national traitors."
Decades later, after Crimean Tatars were granted the right to return to Crimea, the letter was republished in the newspaper Avdet on 15 March 1991, accompanied by commentary urging individuals not to betray their community in times of hardship, as the signatories of the letter had done.

## Signatories

* Seit Izmailov
* Seit Tairov
* Mustafa Cholakov
* Mustafa Chachi
* Shevket Atamanov
* Anife Alchikova
* Abduraim Appazov
* Yaya Ablyakimov
* Liban Appazov
* Akhtem Mustafaev
* Kurt Sametdinov
* Riza Memetov
* Gulver Asanov
* Shevket Kadyrov
* Meryem Kovaleva
* Isa Azizov
* Memet Molochnikov
# 30th Anniversary Mari Hamada Live Tour -Special-

30th Anniversary Mari Hamada Live Tour -Special- is a live video by Japanese singer/songwriter Mari Hamada, released on January 7, 2015, by Meldac/Tokuma Japan. Recorded live on April 27, 2014, at the Tokyo International Forum Hall A as the final show of Hamada's 30th anniversary tour, the video was released on DVD and was Hamada's first Blu-ray release. The show features guest guitarist Akira Takasaki of Loudness on Hamada's performance of "Stay Gold".
The video peaked at No. 9 on Oricon's Blu-ray Disc chart and at No. 11 on Oricon's DVD chart.

## Track listing

All lyrics are written by Mari Hamada, except where indicated
* Tracks 25–31 released as "Disc 2" on DVD version.

## Personnel

* Takashi Masuzaki (Dimension) – guitar
* Yōichi Fujii – guitar
* Tomonori "You" Yamada – bass
* Satoshi "Joe" Miyawaki – drums
* Takanobu Masuda – keyboards
* Masafumi Nakao – keyboards, sound effects
* ERI (Eri Hamada) – backing vocals
* Jang Daehyok – strings
* Junichi Sasaki – strings
* Satoko Nakamura – strings
* Taiga Kanno – strings
* Akira Takasaki – guitar (guest)

## Charts

| Chart (2015) | Peak position |
| Blu-ray Disc Chart (Oricon) | 9 |
| DVD Chart (Oricon) | 11 |
# Lotus Long

Lotus Long (born Lotus Pearl Shibata, July 18, 1909 – September 14, 1990) was an Asian-American film actress.

## Early life

Long was born in New Jersey to Ishiro Shibata and Blanche Leleu. She came to Southern California during the 1920s to act in Hollywood films and usually portrayed ethnic Asian female characters in supporting roles. She used the name Lotus Long for stage and film. Due to her professional surname, people generally assumed that she was of Chinese ancestry. During World War II she used this name to avoid incarceration in American internment camps with other persons of Japanese ancestry, which included both legal permanent residents and American citizens.

## Career

She appeared in the MGM docudrama Eskimo (1933) as wife of the main character and under the stage name Lotus Long in the 1934 movie The Mysterious Mr. Wong and 1939's Mr. Wong in Chinatown. She also starred alongside Keye Luke in Phantom of Chinatown as Win Len, Dr. Benton's secretary.
She also was credited under the name Karen Sorrell in the movies Flight into Nowhere (1938), starring Jack Holt and Mysterious Mr. Moto (1938), starring Peter Lorre. She was uncredited in the movie The Real Glory (1939), starring Gary Cooper and David Niven.
One of her more infamous roles was Tokyo Rose in Lew Landers' movie Tokyo Rose (1946), which starred Keye Luke, Edwin Luke, Richard Loo, Byron Barr, and Osa Massen.
Long had a writing and producing credit for the film The Tahitian (1956) made with her husband James Knott. The Tahitian was filmed on location with a largely native cast.

## Legacy

She was a pioneer for future Asian-American actresses in film and also a role model.
In Timothy Tau's short-film bio-pic Keye Luke, Lotus Long is portrayed by Mei Melancon.
# 1972 European Wrestling Championships

The 1972 European Wrestling Championships was held from 24 to 30 May 1972 in Katowice, Poland.

## Medal table

| Rank | Nation | Gold | Silver | Bronze | Total |
| 1 | Soviet Union | 9 | 6 | 1 | 16 |
| 2 | Bulgaria | 5 | 7 | 3 | 15 |
| 3 | Romania | 1 | 2 | 6 | 9 |
| 4 | Poland | 1 | 1 | 4 | 6 |
| 5 | East Germany | 1 | 1 | 2 | 4 |
| 6 | Turkey | 1 | 1 | 0 | 2 |
| 7 | Greece | 1 | 0 | 0 | 1 |
| 7 | West Germany | 1 | 0 | 0 | 1 |
| 9 | Finland | 0 | 1 | 0 | 1 |
| 9 | Hungary | 0 | 1 | 0 | 1 |
| 11 | Czechoslovakia | 0 | 0 | 2 | 2 |
| 11 | Yugoslavia | 0 | 0 | 2 | 2 |
| Totals (12 entries) | Totals (12 entries) | 20 | 20 | 20 | 60 |

## Medal summary
### Men's freestyle

| Event | Gold | Silver | Bronze |
| 48 kg | Sefer Baygın Turkey | Jürgen Möbius East Germany | Ognyan Nikolov Bulgaria |
| 52 kg | Arsen Alakhverdiyev Soviet Union | Bayu Baev Bulgaria | Emil Butu Romania |
| 57 kg | Ivan Kuleshov Soviet Union | Ivan Shavov Bulgaria | Zbigniew Żedzicki Poland |
| 62 kg | Ruslan Pliyev Soviet Union | Mehmet Sarı Turkey | Petre Coman Romania |
| 68 kg | Ismail Yuseinov Bulgaria | Petre Poalelungi Romania | Šefer Saliovski Yugoslavia |
| 74 kg | Adolf Seger West Germany | Roman Marsaguishvili Soviet Union | Yancho Pavlov Bulgaria |
| 82 kg | Vasili Siulzhin Soviet Union | Ivan Iliev Bulgaria | Wolfgang Nitschke East Germany |
| 90 kg | Gennady Strakhov Soviet Union | Rusi Petrov Bulgaria | Paweł Kurczewski Poland |
| 100 kg | Ivan Yarygin Soviet Union | Vasil Todorov Bulgaria | Gerd Bachmann East Germany |
| +100 kg | Aleksandr Medved Soviet Union | Osman Duraliev Bulgaria | Ștefan Stîngu Romania |

### Men's Greco-Roman

| Event | Gold | Silver | Bronze |
| 48 kg | Gheorghe Berceanu Romania | Stefan Angelov Bulgaria | Vladimir Zubkov Soviet Union |
| 52 kg | Jan Michalik Poland | Vitaly Konstantinov Soviet Union | Petar Kirov Bulgaria |
| 57 kg | Jristo Traikov Bulgaria | Yuri Sokolov Soviet Union | Ion Baciu Romania |
| 62 kg | Georgi Markov Bulgaria | Martti Laakso Finland | Kazimierz Lipień Poland |
| 68 kg | Jürgen Hähnel East Germany | Antal Steer Hungary | Andrzej Supron Poland |
| 74 kg | Petros Galaktopoulos Greece | Kasim Djalilov Soviet Union | Vítězslav Mácha Czechoslovakia |
| 82 kg | Anatoly Nazarenko Soviet Union | Ion Gabor Romania | Miroslav Janota Czechoslovakia |
| 90 kg | Stoyan Nikolov Bulgaria | Omar Bliadze Soviet Union | Darko Nišavić Yugoslavia |
| 100 kg | Nikolay Yakovenko Soviet Union | Nicolae Martinescu Romania | Andrzej Skrzydlewski Poland |
| +100 kg | Aleksandar Tomov Bulgaria | Anatoly Kochnev Soviet Union | Victor Dolipschi Romania |
# Pascal Pierre Duprat

Pascal Pierre Duprat (1815–1885) was a French journalist and politician with republican beliefs. He was elected as a deputy to the Constituent and Legislative Assemblies during the second Republic. He was an opponent of Louis-Napoleon Bonaparte.

## Books

* Essai historique sur les races anciennes et modernes de l’Afrique septentrionale : leurs origines, leurs mouvements et leurs transformations, depuis l’antiquité la plus reculée jusqu’à nos jours, Paris, Jules Labitte, 1840, 308 p., in-8°
* Timon et sa logique : avec une préface, Paris, Labitte, 1845, 72 p., in-32
* Une guerre insensée : expédition contre les Kabyles ou Berbers de l’Algérie (Extrait de la Revue indépendante du 25 mars 1845), Paris, Schneider et Langrand, 1845, 15 p., in-8
* Victoire du peuple sur la royauté : inauguration de la République, Paris, Impr. de L. Martinet, 1848, 8 p., in-8°
* De l’État, sa place et son rôle dans la vie des sociétés, Bruxelles, J. Rozez, 1852, 72 p., in-18
* Les tables de proscription de Louis Bonaparte et de ses complices, t. 1, Liège, Redouté, 1852, 2 vol.; in-8°
* Les Encyclopédistes : leurs travaux, leur doctrine et leur influence.
* La Conjuration contre les petits États en Europe, Paris, Librairie internationale, 1867, 56 p., in-18
* Les Révolutions, Paris, Armand Le Chevalier, 1869, 255 p., 18 cm
* L’Esprit des Révolutions, t. 1, Paris, C. Marpon et E. Flammarion, 1879, 467 p., 2 vol. in-8°
# Black Brook

Black Brook may refer to:

## Places

* Black Brook, Nova Scotia, Canada
* Black Brook, New York, United States
* Black Brook, Wisconsin, United States

## Rivers
### In England

* Black Brook (Chorley), a small river in Lancashire
* Black Brook, West Yorkshire, a small river near Calderdale
* Black Brook, Leicestershire, a tributary of the River Soar

### In the United States

* Black Brook (Rum River tributary), in Minnesota
* Black Brook (Merrimack River tributary), in New Hampshire
* Black Brook (Passaic River tributary), in New Jersey
* Black Brook (Whippany River tributary), in New Jersey
* Black Brook (Seneca River tributary), in New York
* Black Brook (Beaver Kill tributary), in New York
* Black Brook (Susquehanna River tributary), in New York

## Nature reserves

* Black Brook Nature Reserve, Staffordshire, England
# Abraham Cornelius Benjamin

Abraham Cornelius Benjamin (25 August 1897 – 19 October 1968) was an American philosopher of science who taught at University of Chicago and University of Missouri.
A. C. Benjamin was born in Grand Rapids, Michigan. He attended the University of Michigan, graduating with a B.A. in 1920. Continuing there, he studied "the logical atomism of Bertrand Russell", submitted his thesis on the topic, graduating Ph.D. in 1924.
The University of Illinois employed him as assistant professor of philosophy from 1925 to 1932. He was awarded a Guggenheim Fellowship in 1930. Then University of Chicago employed him similarly until 1945 when he became department chairman in philosophy at University of Missouri.
While in Chicago he wrote three books, first positing a logical structure to science, then a beginning description of the philosophy of science, and a course on values, methods, and concepts. In 1950 he presented "a history of philosophical systems" for an anthology on philosophy of the sciences. He described operationalism in a book in 1955, and a decade later a consideration of sciences related to human values and technology.
Benjamin retired from the department chair in 1956 and from teaching in 1966. He died 19 October 1968 in Columbia, Missouri.

## Works

* 1936: The Logical Structure of Science
* 1937: Introduction to the Philosophy of Science via Internet Archive
* 1940: Methods, Values and Concepts course
* 1950: "A History of Philosophical Systems"
* 1955: Operationism via HathiTrust
* 1965: Science, Technology and Human Values
# SAMT

SAMT may refer to:
* Samara Time, the time zone 4 hours ahead of UTC
* SAMT (organization), the Organization for Researching and Composing University Textbooks in the Humanities

## People

Wilma Samt, Austrian chess master
# Letter of Majesty

The Letter of Majesty (1609) was a 17th-century European document, reluctantly signed by Rudolf II in his capacity as king of Bohemia, granting religious tolerance to both Protestant and Catholic citizens living in the estates of Bohemia. The letter also created a Bohemian Protestant State Church, run by said estates. A similar Letter was issued for Silesia, a part of the Lands of the Bohemian Crown.
In 1611, Rudolf inexplicably permitted his cousin Archduke Leopold to invade Bohemia with some 7,000 troops. A considerable Bohemian force drove Leopold back from the suburbs of Prague, and the Bohemian Estates called upon Matthias to take over the government of their kingdom.
Following the Bohemian Revolt, Ferdinand II, Holy Roman Emperor revoked the Letter of Majesty, going as far as to personally tear up the original document.
# Seis (disambiguation)

Seis may refer to:
* Seis, a type of Puerto Rican dance music
* Seis am Schlern, a village in Tyrol, Italy
* Seis, a locality in Lutzhorn, Germany
SEIS may refer to:
* On-Line Encyclopedia of Integer Sequences
* Seed Enterprise Investment Scheme
* Seismic Experiment for Interior Structure, a scientific instrument on board the InSight Mars lander
* SEIS (album) [es], by Mon Laferte (2021); see Mon Laferte discography
# 1977–78 Luxembourg National Division

The 1977–78 Luxembourg National Division was the 64th season of top level association football in Luxembourg.

## Overview

It was performed in 12 teams, and FC Progrès Niedercorn won the championship.

## League standings

| Pos | Team | Pld | W | D | L | GF | GA | GD | Pts |
| 1 | FC Progrès Niedercorn | 22 | 13 | 6 | 3 | 55 | 33 | +22 | 32 |
| 2 | Jeunesse Esch | 22 | 10 | 6 | 6 | 45 | 31 | +14 | 26 |
| 3 | FA Red Boys Differdange | 22 | 9 | 7 | 6 | 50 | 33 | +17 | 25 |
| 4 | FC Etzella Ettelbruck | 22 | 8 | 7 | 7 | 48 | 43 | +5 | 23 |
| 5 | Chiers Rodange | 22 | 8 | 6 | 8 | 35 | 35 | 0 | 22 |
| 6 | Union Luxembourg | 22 | 7 | 7 | 8 | 35 | 43 | −8 | 21 |
| 7 | US Rumelange | 22 | 9 | 3 | 10 | 30 | 44 | −14 | 21 |
| 8 | Alliance Dudelange | 22 | 7 | 6 | 9 | 34 | 48 | −14 | 20 |
| 9 | FC Avenir Beggen | 22 | 7 | 5 | 10 | 31 | 35 | −4 | 19 |
| 10 | CS Grevenmacher | 22 | 5 | 9 | 8 | 28 | 37 | −9 | 19 |
| 11 | CA Spora Luxembourg | 22 | 6 | 6 | 10 | 49 | 47 | +2 | 18 |
| 12 | Stade Dudelange | 22 | 7 | 4 | 11 | 34 | 45 | −11 | 18 |

## Results

| Home \ Away | AVE | ALD | CHI | ETZ | GRE | JEU | PRO | RBD | RUM | SPO | STD | UNI |
| Avenir Beggen | | 1–1 | 1–4 | 1–1 | 3–0 | 0–1 | 1–2 | 0–3 | 4–0 | 3–2 | 4–1 | 1–1 |
| Alliance Dudelange | 2–3 | | 1–1 | 5–4 | 0–1 | 3–1 | 1–5 | 2–1 | 2–1 | 1–5 | 1–1 | 1–1 |
| Chiers Rodange | 5–1 | 1–5 | | 0–0 | 1–3 | 3–0 | 1–1 | 1–5 | 2–0 | 0–1 | 4–1 | 0–0 |
| Etzella Ettelbruck | 0–1 | 3–0 | 3–3 | | 2–3 | 2–0 | 3–1 | 2–1 | 3–1 | 1–1 | 3–2 | 3–5 |
| Grevenmacher | 0–0 | 1–1 | 1–0 | 3–3 | | 1–1 | 0–2 | 1–1 | 2–2 | 1–2 | 2–1 | 1–1 |
| Jeunesse Esch | 2–1 | 4–2 | 5–1 | 1–1 | 1–1 | | 1–2 | 1–0 | 4–1 | 3–1 | 7–2 | 3–3 |
| Progrès Niederkorn | 3–1 | 4–1 | 1–1 | 5–4 | 2–1 | 0–3 | | 4–4 | 6–0 | 2–0 | 3–1 | 2–0 |
| Red Boys Differdange | 1–2 | 2–0 | 3–0 | 3–1 | 3–2 | 2–2 | 0–0 | | 1–2 | 3–3 | 1–1 | 6–2 |
| Rumelange | 1–0 | 0–1 | 0–2 | 2–2 | 4–2 | 1–0 | 2–2 | 2–1 | | 4–0 | 1–0 | 0–2 |
| Spora Luxembourg | 1–1 | 7–2 | 0–2 | 1–3 | 0–0 | 2–4 | 3–3 | 1–2 | 7–3 | | 2–3 | 2–3 |
| Stade Dudelange | 1–0 | 0–1 | 2–1 | 2–1 | 4–1 | 2–1 | 3–4 | 2–2 | 1–2 | 2–2 | | 1–0 |
| Union Luxembourg | 3–2 | 1–1 | 1–2 | 2–3 | 3–1 | 0–0 | 2–1 | 2–5 | 0–1 | 1–6 | 2–1 | |