hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Bačka Palanka
Bačka Palanka (serbisch / kroatisch: Bačka Palanka; serbisches kyrillisch: Бачка Паланка; slowakisch: Báčska Palanka; ungarisch: Bácspalánka; deutsch: Plankenburg) ist eine Gemeinde und eine Stadt bzw. Ortschaft in Serbien, die in der südlichen Batschka in der autonomen Provinz Vojvodina liegt.

Die Stadt ist durch eine 740 m lange Donaubrücke mit der kroatischen Stadt Ilok verbunden.

Vojvodina
„Traditionelle Flagge“

„Traditionelles Wappen“

Die Vojvodina [ˈvɔjvɔˌdina] (serbisch-kyrillisch Војводина, deutsch Wojwodina oder Woiwodina, ungarisch Vajdaság) ist eine autonome Provinz in der Republik Serbien. Sie macht den Landesteil nördlich der Save und nördlich bzw. östlich der Donau aus, dessen administrative Grenze vom Westen her überwiegend an der Save entlang (am Bezirk Belgrad mit einem Bogen Richtung Norden) und weiter in Richtung Osten zur rumänischen Grenze fast ständig an der Donau entlang verläuft. Administrativer Hauptsitz ist Novi Sad, die zweitgrößte Stadt Serbiens.

Die Vojvodina ist die Heimat vieler verschiedener Volksgruppen. Neben Serben, die mit etwa zwei Dritteln die Mehrheit der Bevölkerung stellen, leben in der Vojvodina als anerkannte Minderheiten unter anderem Ungarn, Slowaken, Kroaten, Rumänen, Bunjewatzen, Šokci, Russinen (Ruthenen), Roma, Deutsche, Tschechen und Bulgaren.
Mendel Szajnfeld
Mendel Szajnfeld, auch Schainfeld, (* 2. August 1922 in Sosnowiec, Polen; † 21. Mai 2000 in Oslo, Norwegen) war ein polnisch-norwegischer Holocaust-Überlebender. Als Zeitzeuge des Holocausts hielt er die Erinnerung daran durch Erzählungen in Schulen und in den polnischen KZ-Gedenkstätten wach.

Sosnowiec
Sosnowiec ([sɔˈsnɔvʲɛʦ] anhörenⓘ, deutsch Sosnowitz, auch Sosnowice) ist eine Großstadt in der Woiwodschaft Schlesien in Polen. Sie liegt an der Schwarzen Przemsa rund 10 km östlich von Katowice (Kattowitz) und 65 km nordwestlich von Krakau im Osten des Oberschlesischen Industriereviers, einem Zentrum des Dombrowaer Kohlebeckens. Industriezweige sind u. a. die Metall- und Textilverarbeitung.
Komma
Das Komma (bundesdeutsches und Schweizer Hochdeutsch, von altgriechisch κόμμα kómma, deutsch ‚Einschnitt, Abschnitt, Glied eines Satzes‘; Pl. Kommata oder auch Kommas) bzw. der Beistrich (österreichisches Hochdeutsch) wird als Satzzeichen und Trennzeichen verwendet. In Österreich heißt das Trennzeichen »Komma«, das Satzzeichen jedoch »Beistrich«. Als Trennzeichen wird das Komma in vielen Ländern als Dezimaltrennzeichen bei Zahlen oder beim Separieren von Daten und Werten benutzt. Als Satzzeichen bewirkt das Komma eine schwächere Trennung als das Semikolon und der Punkt.

Aldus Manutius
Aldus Pius Manutius (italienisch Aldo Pio Manuzio; * 1449 in Bassiano; † 6. Februar 1515 in Venedig) war ein venezianischer Buchdrucker und Verleger. Manutius war zu seiner Zeit der bedeutendste Drucker griechischer Texte.
Threose
Threose ist ein Monosaccharid aus der Gruppe der Tetrosen. Es gibt zwei Stereoisomere, die D-Threose und die L-Threose. Aufgrund der endständigen Aldehyd-Gruppe zählen sie zu den Aldosen. Der IUPAC-Name der D-Form ist (2S,3R)-2,3,4-Trihydroxybutanal. L-Threose [Synonym: (2R,3S)-2,3,4-Trihydroxybutanal] besitzt nur geringe Bedeutung. Wenn in diesem Text  oder in der wissenschaftlichen Literatur „Threose“ ohne weiteren Namenszusatz (Präfix) erwähnt wird, ist D-Threose gemeint. Die Erythrose ist ein Diastereomer der Threose.

Die stereochemische Konfiguration der Threose ist namensgebend für den Deskriptor threo-, der als halbsystematischer Namenszusatz genutzt wird, um ähnlich konfigurierte Moleküle zu kennzeichnen.

Deskriptor (Chemie)
Als Deskriptor bezeichnet man in der chemischen Nomenklatur ein Präfix vor dem systematischen Substanznamen, der die Konfiguration oder die Stereochemie des Moleküls beschreibt.
Einige Deskriptoren sind nur noch von chemiehistorischer Bedeutung und sollen in aktuellen Publikationen nicht mehr verwendet werden, da sie in den gültigen Empfehlungen der IUPAC nicht mehr berücksichtigt werden.

Häufig werden Deskriptoren in Kombination mit Lokanten verwendet, um eine chemische Struktur eindeutig zu benennen.

Bei der alphabetischen Sortierung werden die in der Regel am Anfang des systematischen Namens stehenden Deskriptoren nicht berücksichtigt.
Otto Maercker
Otto August Martin Ludwig Maercker (* 25. April 1899 in Ludwigslust; † 24. März 1978 in Mölln) war ein deutscher evangelisch-lutherischer Theologe, dessen Verurteilung 1957 wegen Boykotthetze in einem Schauprozess als Signal einer repressiven Kirchenpolitik der DDR gesehen wurde.

Ludwigslust
Ludwigslust [luːtvɪçsˈlʊst] ist eine Kleinstadt im Landkreis Ludwigslust-Parchim in Mecklenburg-Vorpommern. Sie ist Verwaltungssitz des Amtes Ludwigslust-Land, selbst aber amtsfrei. Die Stadt ist eines der 18 Mittelzentren des Landes und liegt in der Metropolregion Hamburg.

Einzigartig in Norddeutschland ist das Ensemble rund um das klassizistische Schloss Ludwigslust der Herzöge Mecklenburg-Schwerins, das auch als „Versailles des Nordens“ bezeichnet wird, sowie die darum angelegte Residenzstadt mit vielen Baudenkmälern.
Orson Welles’ Othello
Orson Welles’ Othello (Originaltitel: Othello) ist ein Filmdrama des US-amerikanischen Regisseurs Orson Welles aus dem Jahr 1951 nach dem Theaterstück Othello von William Shakespeare.

Welles produzierte den Film, adaptierte das Drehbuch und spielte auch die Titelrolle. Die Dreharbeiten des Films, der von United Artists finanziert wurde, dauerten drei Jahre. Othello, der in Marokko, Venedig, der Toskana und Rom gedreht wurde, erhielt 1952 den Hauptpreis der Internationalen Filmfestspiele von Cannes. Der Film wurde auch unter den Titeln Othello und The Tragedy of Othello: The Moor of Venice vermarktet.

Micheál Mac Liammóir
Micheál Mac Liammóir, Geburtsname: Alfred Lee Willmore, (* 25. Oktober 1899 in London; † 6. März 1978 in Dublin) war ein britisch-irischer Autor, Bühnenbildner, Dramaturg, Illustrator, Maler, Schauspieler und Theaterregisseur.
Higgs-Primzahl
In der Zahlentheorie ist eine Higgs-Primzahl für die Potenz a eine Primzahl , bei der  die -te Potenz des Produkts aller kleineren Higgs-Primzahlen teilt.
Algebraisch bedeutet das bei gegebener Potenz , dass die Higgs-Primzahl  folgende Bedingung erfüllt:

wobei  die Eulersche Phi-Funktion ist (sie gibt für jede natürliche Zahl  an, wie viele zu  teilerfremde natürliche Zahlen es gibt, die nicht größer als  sind; bei Primzahlen  ist ).

Die Higgs-Primzahlen wurden nach dem britischen Mathematiker Denis Higgs benannt.

Denis Higgs
Denis Arthur Higgs (* 6. Mai 1932 in England; † 25. Februar 2011 in Toronto) war ein britischer Mathematiker.

Higgs studierte an der University of Witwatersrand und der Universität Cambridge. Er war Lehrer in Lusaka (damals in Nord-Rhodesien). Higgs beteiligte sich an der politischen Bewegung gegen das Apartheidsregime in Südafrika. Nachdem er vorübergehend entführt worden war und in Johannesburg wieder freigelassen wurde, wobei eine Verantwortlichkeit Südafrikas vermutet wurde, verließ er Afrika. Er ging 1964 nach London und 1966 nach Kanada.

Higgs wurde 1970 an der McMaster University bei Gert Sabidussi promoviert (Matroids on complete Boolean algebras) und war Professor an der University of Waterloo. Dort war er seit 1966 und wurde 1997 emeritiert.

Seine Arbeiten befassen sich mit Fragestellungen in der Kombinatorik (Inzidenzgeometrien und ihre Abbildungen), Kategorientheorie (Topos-Theorie) und universellen Algebra. Nach ihm ist die Higgs-Primzahl benannt.
Christoph von Bärenstein
Christoph von Bärenstein, auch Bernstein, war ein deutscher Beamter. Er wurde 1581 zum Amtshauptmann des Amtes Schwarzenberg und Crottendorf ernannt. Diese Funktion übte er bis 1583 aus. Zuvor war er Amtshauptmann in Wolkenstein gewesen.

Kreisamt Schwarzenberg
Das Kreisamt Schwarzenberg, auch Amt Schwarzenberg war eine Verwaltungseinheit im Kurfürstentum und Königreich Sachsen. Sie bestand nach Erwerb der Herrschaft Schwarzenberg durch Johann Friedrich den Großmütigen 1533 bis zum Ende der sächsischen Ämterverfassung im Jahr 1856 und bildete den räumlichen Bezugspunkt für die Einforderung landesherrlicher Abgaben und Frondienste, für Polizei, Rechtsprechung und Heeresfolge.

Als Kreisamt des Erzgebirgischen Kreises stand Schwarzenberg für das Obererzgebirge im gleichen Rang wie Freiberg für das Niedererzgebirge.
Maumusson (Loire-Atlantique)
Maumusson (bretonisch: Malvegon; Gallo: Maumuczon) ist eine Ortschaft und eine Commune déléguée in der französischen Gemeinde Vallons-de-l’Erdre mit 1.050 Einwohnern (Stand: 1. Januar 2022) im Département Loire-Atlantique in der Region Pays de la Loire. Die Einwohner werden Maumussonnais genannt.

Zum 1. Januar 2018 wurde Maumusson mit Bonnœuvre, Freigné, Saint-Mars-la-Jaille, Saint-Sulpice-des-Landes und Vritz zur Gemeinde (commune nouvelle) Vallons-de-l’Erdre zusammengelegt. Die Gemeinde Maumusson gehörte zum Arrondissement Châteaubriant-Ancenis.

Arrondissement Châteaubriant-Ancenis
Das Arrondissement Châteaubriant-Ancenis ist eine am 1. Januar 2017 neu gegründete Verwaltungseinheit im Département Loire-Atlantique in der französischen Region Pays de la Loire. Unterpräfektur ist Châteaubriant. Sie besteht hauptsächlich aus den ehemaligen Arrondissements Ancenis und Châteaubriant.

Im Arrondissement liegen sieben Wahlkreise (Kantone) und 76 Gemeinden.
Flughafen Andorra – La Seu d’Urgell
Der Flughafen Andorra – La Seu d’Urgell (offizielle spanische Bezeichnung: Aeroport Andorra – La Seu d’Urgell) ist ein Flughafen der allgemeinen Luftfahrt im Besitz der Regierung von Katalonien (Generalitat de Catalunya). Betreiber ist die Gesellschaft Aeroports Públics de Catalunya (SLU).

Der Flughafen liegt in Katalonien südwestlich der Stadt La Seu d’Urgell zwölf Kilometer südlich der Landesgrenze zwischen Spanien und Andorra auf dem Berg Ensiula zwischen den Orten Montferrer i Castellbò und Ribera d’Urgellet in der Comarca Alt Urgell.

Ribera d’Urgellet
Ribera d’Urgellet (spanisch Ribera d’Urgellet) ist eine Gemeinde (municipi) mit 965 Einwohnern (Stand: 2024) in der Provinz Lleida in der Autonomen Region Katalonien. Zur Gemeinde gehören 16 Ortschaften, darunter Adrall, Arfa, Castellar de Tost, la Coma de Nabiers, la Freita, Gramos, els Hostalets de Tost, Montan de Tost, Nabiers, Parroquia de Ortó, Pla de San Tirs, Sant Pere Codinet, Sauvanyà, Torà de Tost und Tost. Der Verwaltungssitz befindet sich in Pla de San Tirs.
Julius Stief
Julius Stief (* 24. Dezember 1827 in Grönenbach; † 16. Mai 1896 in Nürnberg) war ein deutscher Verleger und Politiker.

Stief studierte zunächst Pharmazie. 1856 nahm er eine Stelle als Buchhalter in der Kunstanstalt und Kupferstecherschule von Carl Mayer in Nürnberg an. Dort erhielt das Bürgerrecht und eine Konzession zum Betrieb eines Buch- und Kunsthandels mit Verlagsrecht.

Ab 1869 gehörte Stief dem Gemeindekollegium der Stadt Nürnberg an und war später auch dessen erster Vorstand. Von 1875 bis 1879 war er für die Bayerische Fortschrittspartei im Wahlkreis Nürnberg Mitglied der Kammer der Abgeordneten. Aus geschäftlichen Gründen ersuchte er am 12. Oktober 1879 um die Aufgabe seines Mandats, dem am 16. Oktober 1879 stattgegeben wurde.

Er bekam 1889 den Titel eines Kommerzienrates verliehen und wurde 1894 zum Ehrenbürger der Stadt Nürnberg ernannt.

Bad Grönenbach
Bad Grönenbach ist ein Markt im schwäbischen Landkreis Unterallgäu und der Sitz der Verwaltungsgemeinschaft Bad Grönenbach.

Der Ort ist als Kneippkurort staatlich anerkannt. Der Markt befindet sich zwischen den Städten Memmingen im Norden und Kempten im Süden. Etwas östlich von Bad Grönenbach verläuft die A 7. Die Herrschaft über den 1099 erstmals urkundlich erwähnten Ort wechselte im Laufe der Jahrhunderte mehrmals. Ein lokaler Ortsadel bestand bis Anfang des 13. Jahrhunderts, danach ging die Herrschaft über verschiedene Adelsgeschlechter, bis Bad Grönenbach 1803 Bayern zugeschlagen wurde.

Seit dem 1. April 1997 führt der Markt den Namen Bad Grönenbach.
The Royal Teens
The Royal Teens waren eine Rock-’n’-Roll-Band, die 1957 in New Jersey gegründet wurde. Sie ist mit ihrer Single Short shorts bekannt
geworden, die 1958 Platz 3 in den US-Charts erreichte.
Die Nachfolge-Single Believe me im Jahre 1958 belegte nur Platz 26. Eine LP wurde nie aufgenommen. Die Band trennte sich 1965.

Der Saxophonist Bill Crandle gründete im selben Jahr die Gruppe The Knickerbockers; der Pianist Bob Gaudio wurde später Mitglied der Band The Four Seasons; der Gitarrist Al Kooper gründete 1967 die Gruppe Blood, Sweat & Tears.

Bob Gaudio
Bob Gaudio (* 17. November 1942 in New York City, New York) ist ein US-amerikanischer Sänger, Keyboarder, Songwriter und Musikproduzent, der vor allem als Mitglied der Band The Four Seasons bekannt wurde.
Mektoub, My Love: Canto Uno
Mektoub, My Love: Canto Uno (ursprünglicher Arbeitstitel: Mektoub is Mektoub) ist ein Spielfilm von Abdellatif Kechiche aus dem Jahr 2017. Die französisch-italienisch-tunesische Koproduktion basiert auf einem Drehbuch von Regisseur Kechiche und Ko-Drehbuchautorin Ghalya Lacroix, das wiederum von einem Roman von François Bégaudeau (La blessure la vraie) inspiriert wurde. Erzählt wird eine Coming-of-Age-Geschichte um einen jungen Drehbuchautor tunesischer Abstammung, der Mitte der 1990er-Jahre nach Südfrankreich reist, wo er in eine schicksalhafte Liebesromanze gerät. 2019 folgte Mektoub, My Love: Intermezzo, 2025 wurde die Fortsetzung Mektoub, My Love: Canto Due veröffentlicht.

Der Film wurde am 7. September 2017 im Wettbewerb der 74. Internationalen Filmfestspiele von Venedig uraufgeführt.

Abdellatif Kechiche
Abdellatif Kechiche (* 7. Dezember 1960 in Tunis) ist ein französischer Film- und Theaterregisseur, Drehbuchautor und Schauspieler tunesischer Herkunft.

Sein Drama Blau ist eine warme Farbe über die Liebesbeziehung zweier junger Frauen wurde 2013 auf den Filmfestspielen von Cannes mit der Goldenen Palme ausgezeichnet.
Amt Marne-Nordsee
Das Amt Marne-Nordsee ist ein Amt im Kreis Dithmarschen in Schleswig-Holstein mit Sitz der Verwaltung in Marne.

Das Amt wurde am 1. Januar 2008 aus den Gemeinden des bisherigen Amtes Kirchspielslandgemeinde Marne-Land, der bis dahin amtsfreien Stadt Marne und der bis dahin amtsfreien Gemeinde Friedrichskoog gebildet.

Amt (Kommunalrecht)
Ämter sind interkommunale Kooperationen in den deutschen Ländern Brandenburg, Mecklenburg-Vorpommern und Schleswig-Holstein. Ein Amt besteht aus mehreren Gemeinden und hat eine gemeinsame Verwaltung. Gemeinden, die eine eigene Verwaltung haben und zu keinem Amt gehören, nennt man amtsfreie Gemeinden, vergleichbar mit Einheitsgemeinden in den meisten anderen deutschen Ländern. Ein Amt ist keine Gebietskörperschaft, sondern eine Bundkörperschaft.

Es existieren 83 Ämter in Schleswig-Holstein (Stand Juni 2023), 76 Ämter in Mecklenburg-Vorpommern (Stand Februar 2023) sowie 50 Ämter in Brandenburg (Stand April 2022). Bis zum Inkrafttreten der Gebiets- und Verwaltungsreformen 1970 in Rheinland-Pfalz, 1974 im Saarland und 1975 in Nordrhein-Westfalen gab es auch dort Ämter.
Lilium Jet
Der Lilium Jet war ein in Entwicklung befindliches 36-motoriges, elektrisch angetriebenes, senkrecht startendes und landendes Luftfahrzeug (eVTOL) des insolventen Unternehmens Lilium N.V. mit Geschäftsstelle in Gauting am Sonderflughafen Oberpfaffenhofen. Das Fluggerät soll sieben Personen befördern können und ab 2026 als Lufttaxi vermarktet werden. Anders als die Bezeichnung „Jet“ vermuten lässt, besitzt es keine Strahltriebwerke, sondern schwenkbare Mantelpropeller.

Flugplatz Oberpfaffenhofen
Der Flugplatz Oberpfaffenhofen (IATA-Code: OBF, ICAO-Code: EDMO) ist ein Sonderflughafen auf dem Gebiet der Gemeinden Gauting, Gilching und Weßling bei Oberpfaffenhofen im Landkreis Starnberg westsüdwestlich von München. Er wurde 1936 als Werksflughafen der Dornier-Werke errichtet.
Bergensfjord (Schiff, 1956)
Die Bergensfjord (II) war ein 1956 in Dienst gestelltes Passagierschiff der norwegischen Den norske Amerikalinje, das für die Reederei bis 1971 in Fahrt blieb und anschließend bis 1973 als De Grasse für die Compagnie Générale Transatlantique im Einsatz stand. Nach zwei weiteren Umbenennungen und Besitzerwechseln lag das Schiff ab 1978 in Griechenland, ehe es am 17. August 1980 nach einem bei Umbauarbeiten in Perama ausgebrochenen Brand sank und dort bis heute als Wrack zu sehen ist.

Den norske Amerikalinje
Die Den norske Amerikalinje (deutsch Norwegische Amerikalinie) war eine norwegische Reederei mit Sitz in Oslo, die von 1910 bis 1995 existierte und mehrere Linienpassagier- sowie Frachtschiffe betrieb. In den 1960er Jahren stieg die Reederei auf Kreuzfahrten um, die sie ab 1980 in Zusammenarbeit mit der britischen Cunard Line vertrieb. 1995 wurde die Den norske Amerikalinje nach 85 Jahren in die Reederei Wilh. Wilhelmsen eingegliedert und somit als eigenständiges Unternehmen aufgelöst.
McLaren F1 GTR
Der McLaren F1 GTR ist die Rennversion des McLaren-F1-Supersportwagens, die ab 1995 für Langstreckenrennen wie die BPR Global GT Series, die FIA GT Meisterschaft oder die Britischen GT-Meisterschaften hergestellt wurde. Angetrieben wird der F1 GTR von einem BMW S70/2 V12-Ottomotor, der 680 PS leistet und den Wagen auf bis zu 370 km/h beschleunigt. Von insgesamt 106 gebauten McLaren F1 sind 28 F1 GTR. Der F1 GTR dominierte in den 1990er Jahren die internationale Motorsportszene, bis er 2005 in den Ruhestand geschickt wurde. Er ist vor allem für seinen Gesamtsieg bei den 24 Stunden von Le Mans 1995 bekannt, wo er sich bei sehr nassen Bedingungen gegen schnellere und speziell für Le Mans angefertigte Prototypen durchsetzte.

David Price Racing
David Price Racing ist ein britisches Motorsportteam, das 1976 von David Price gegründet wurde. Im April 2009 wurde das Team an Andre Herck verkauft. Seit 2005 geht David Price Racing in der GP2-Serie an den Start.
Johannisloge Zur Eintracht
Die Johannisloge „Zur Eintracht“ ist eine am 9. Dezember 1754 unter dem Namen „De La Concorde“ in Berlin gegründete reguläre Freimaurerloge. Sie ist die älteste noch arbeitende Tochterloge der Großen National-Mutterloge „Zu den drei Weltkugeln“ (GNML „3WK“) und eine der wenigen deutschen Freimaurerlogen, die seit ihrer Gründung ununterbrochen bestehen. In ihr wirkten bedeutende Vertreter der Aufklärung in Preußen.

Friedrich Nicolai
Christoph Friedrich Nicolai, auch Nickolai (* 18. März 1733 in Berlin; † 8. Januar 1811 ebenda), war ein deutscher Schriftsteller, Verlagsbuchhändler, Kritiker, Verfasser satirischer Romane und Reisebeschreibungen, Regionalhistoriker, Hauptvertreter der Berliner Aufklärung, Freund Lessings, Zelters und Mendelssohns und Gegner Kants und Fichtes.
Ringgold County Courthouse
Das Ringgold County Courthouse in Mount Ayr ist das Justiz- und Verwaltungsgebäude (Courthouse) des Ringgold County im Süden des US-amerikanischen Bundesstaates Iowa.

Das heutige Gebäude ist das vierte Courthouse des 1847 gegründeten Ringgold County. Im Jahr 1856 wurde eine kleine Blockhütte als erstes Gerichtsgebäude errichtet, das schon zwei Jahre später Opfer eines Tornados wurde. Das zweite Gebäude, ein stabiler und größerer Holzrahmenbau, diente 25, bis es für die gestiegenen Aufgaben zu klein und unsicher wurde. 1884 wurde das dritte Courthouse errichtet. Das zweistöckige Gebäude bestand aus Ziegeln und hatte einen Uhrturm. Durch morsch gewordene Ziegel konnte das Haus ab 1921 nicht mehr genutzt werden.

Das heutige Courthouse ist ein nach einem Entwurf der Architekten Keffer & Jones im neoklassizistischen Stil von 1926–1927 errichteter dreistöckiger Backsteinbau.

1981 wurde das Gebäude mit der Referenznummer 81000267 in das National Register of Historic Places aufgenommen.

Ringgold County
Das Ringgold County ist ein County im US-amerikanischen Bundesstaat Iowa. Im Jahr 2020 hatte das County 4663 Einwohner und eine Bevölkerungsdichte von 3,4 Einwohnern pro Quadratkilometer. Der Verwaltungssitz (County Seat) ist Mount Ayr.
Zulässige Regel
Eine Schlussregel heißt zulässig in Bezug auf einen Kalkül, wenn jede Formel des Kalküls, die in dem Kalkül mit Verwendung dieser Regel hergeleitet werden kann, bereits auch ohne Verwendung dieser Regel hergeleitet werden kann.

Auf diese Weise lassen sich Gültigkeitsbeweise von Regeln durchführen: Ist eine Regel wie etwa die Schnittregel in einem Kalkül zulässig, also eliminierbar, so ist sie in dem Kalkül gültig.

Schnittregel
Der Schnitt (engl. cut oder cut-rule) ist eine transitive Regel in der Logik, der linearen Optimierung und der Constraintprogrammierung.

Die Aussage der Schnittregel lässt sich im Wesentlichen so zusammenfassen: Wird in einer Ableitung oder einem Suchbaum ein vermeidbarer transitiver „Umweg“ vorgenommen, so ist dieser Umweg wegschneidbar.
Löwenstern (baltisches Adelsgeschlecht)
Die Familie der Barone von Löwenstern (von Rigemann) a. d. Hs. Rösthof ist ein deutsch-baltisches Adelsgeschlecht, eine Kaufmanns- und Großgrundbesitzerfamilie aus Estland, deren Wurzeln bis 1387 zurückreichen. Sie waren in der Stadt Riga als Ratsherren engagiert. Die Familie besaß im Baltikum mehrere Güter (Walküll, Jendel, Forell, Rasik, Campen, Pikwa, Wechmut, Kuikatz (ab 1803 Löwenhof), Kayafer, Kokenhusen und Allafer), die zusammen etwa 29.000 Hektar umfassten. Mitglieder der Familie Baron von Löwenstern und direkte Verwandte leben heute in Deutschland, Österreich, Argentinien, Australien, Namibia, Südafrika und Kanada.

Georg Heinrich von Löwenstern
Baron Georg Heinrich von Löwenstern (* 5. Dezember 1786 in Reval; † 20. September 1856 in Kiel) war ein deutsch-baltischer Gutsbesitzer, sowie als Offizier in russischen und später als Offizier und Diplomat in dänischen Diensten.
Brook Farm
Brook Farm war eine von 1841 bis 1847 bestehende sozialutopische Lebens- und Arbeitsgemeinschaft in West Roxbury, das heute ein Stadtteil von Boston in Massachusetts ist. Gründer war der zum engsten Kreis der Transzendentalisten gehörende George Ripley, ein ehemaliger unitarischer Geistlicher, der sich von der Kirche gelöst hatte und nun mit Brook Farm einige sozialreformerische Ideen in die Tat umsetzte.

West Roxbury
West Roxbury ist ein Stadtteil (neighborhood) der Stadt Boston im Bundesstaat Massachusetts in den Vereinigten Staaten. Das Viertel wird von Roslindale im Nordosten, Dedham im Westen und Süden, Brookline im Norden und Newton im Westen begrenzt. West Roxbury wird häufig mit Roxbury verwechselt, aber beide Stadtteile sind durch Jamaica Plain und Roslindale voneinander getrennt. Der Stadtteil wird häufig als „Vorort innerhalb der Stadt“ bezeichnet.

Die wichtigste Straße in West Roxbury ist die Centre Street, entlang derer viele Restaurants und kommerzielle Einrichtungen zu finden sind. Heute vermitteln die mit Bäumen gesäumten Straßen und die vielen Einfamilienhäuser den Eindruck eines Vororts innerhalb des Stadtgebiets. Im Stadtteil leben viele Einwohner mit irischer Abstammung sowie eine kleinere Anzahl irischer Immigranten aus jüngerer Vergangenheit.
Schuylkill River
Der Schuylkill (Aussprache [ˈskuːlkɪl], lokal [ˈskuːkəl]) ist ein Fluss im Osten des US-Bundesstaates Pennsylvania. Er ist etwa 217 km lang und mündet bei Philadelphia in den Delaware.

Der Fluss wurde vom Entdecker Arendt Corssen der Niederländischen Westindien-Kompanie benannt, sein Name bedeutet auf Niederländisch so viel wie „versteckter Fluss“.

Wichtige Städte am Ufer des Flusses sind Pottsville, Reading, Pottstown, Phoenixville, Norristown, Conshohocken und Philadelphia.

Conshohocken
Conshohocken [ˌkɒnʃəˈhɒkən] ist ein Borough im Montgomery County im Südosten des US-Bundesstaates Pennsylvania. Das U.S. Census Bureau hat bei der Volkszählung 2020 eine Einwohnerzahl von 9.261 ermittelt.

Conshocken liegt am Schuylkill River nordwestlich von Philadelphia und ist unter anderem Sitz des Chemieunternehmens Quaker Chemical.