hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Edward Bodden Airfield
Das Edward Bodden Airfield (auch Little Cayman Airport, IATA-Code: LYB, ICAO-Code: MWCL) ist der einzige Flugplatz der zu den Cayman Islands, einem Britischen Überseegebiet, gehörenden Insel Little Cayman.

Der Flugplatz wurde 1962 im Südwesten der Insel auf Initiative von Leitern des Southern Cross Clubs angelegt. Die einzige Start- und Landebahn verläuft in ungefähr 200 Metern Abstand parallel zur Südküste.

Cayman Islands
Die Cayman Islands, deutsch Kaimaninseln, auch Caymaninseln oder Kaiman-Inseln, sind eine zu den Großen Antillen gehörende Inselgruppe in der westlichen Karibik und eines der britischen Überseegebiete. Die südlich von Kuba gelegene Gruppe erstreckt sich über knapp 200 Kilometer in westsüdwestlich-ostnordöstlicher Richtung. Südöstlich der Cayman Islands liegt Jamaika, im Südwesten befindet sich Honduras und im Westen liegt die Halbinsel Yucatán.

Ihren heutigen Namen erhielt die Inselgruppe nach den dort vorkommenden Spitzkrokodilen, die in der Sprache der Kariben cayman genannt wurden.
Namao-Virus
„Namao-Virus“ (englisch „Namao virus“, NV) ist eine vorgeschlagene Spezies (Art) von Riesenviren (NCLDVs) in der Familie Mimiviridae.
NV parasitiert Störe (englisch sturgeons), insbesondere den See-Stör (Acipenser fulvescens) in der kanadischen Provinz Manitoba.

See-Stör
Der See-Stör (Huso fulvescens, Synonym: Acipenser fulvescens) ist eine Fischart aus der Gattung Huso, die in Nordamerika in Flüssen und Seen vorkommt. Sie wird kommerziell und von Sportfischern befischt.
BDO World Darts Championship 2007
Die Lakeside World Professional Darts Championship 2007 war die 30. Ausgabe der von der BDO durchgeführten Darts-Weltmeisterschaft. Sie wurde vom 6. bis zum 14. Januar 2007 im traditionellen Austragungsort, dem Lakeside Country Club in Frimley Green (England) gespielt. Dabei wurden separate Wettkämpfe für Männer und Frauen veranstaltet.

Titelverteidiger bei den Herren war Jelle Klaasen. Er verlor in der 1. Runde gegen seinen Landsmann Co Stompé mit 0:3. Seinen 1. WM-Titel gewann der an Nummer 1 gesetzte Martin Adams, der im Finale gegen Phill Nixon nach einer 6:0-Führung den zwischenzeitlichen 6:6-Ausgleich hinnehmen musste und am Ende den entscheidenden 13. Satz für sich entschied.

Bei den Damen gewann Trina Gulliver, die ihren 7. WM-Titel gewinnen konnte und bei Weltmeisterschaften weiterhin ungeschlagen bleibt. Im Finale bezwang sie zum 5. Mal Francis Hoenselaar.

Francis Hoenselaar
Francis Hoenselaar (* 15. Januar 1965 in Rotterdam) ist eine ehemalige niederländische Dartspielerin. Ihr größter Erfolg war der BDO-WM-Titel 2009, als sie im Finale ihre Dauerrivalin Trina Gulliver mit 2:1 besiegen konnte.
Johann Gottfried Bobertag
Johann Gottfried Bobertag (* 30. März 1770 in Crossen in der Neumark, heute Krosno Odrzańskie; † 29. September 1830 in Warmbrunn, heute Cieplice Śląskie-Zdrój) war ein deutscher evangelischer Geistlicher und ab 1829 Generalsuperintendent der Kirchenprovinz Schlesien in Breslau.

Evangelische Kirche der schlesischen Oberlausitz
Die Evangelische Kirche der schlesischen Oberlausitz (EKsOL) war eine unierte evangelische Landeskirche, die Kirchengemeinden in der schlesischen Oberlausitz umfasste. Mit Wirkung vom 1. Januar 2004 fusionierte die EKsOL mit der Evangelischen Kirche in Berlin-Brandenburg zur Evangelischen Kirche in Berlin-Brandenburg-schlesische Oberlausitz (EKBO).

Die EKsOL hatte ihren Sitz in Görlitz und zuletzt ca. 70.000 Gemeindeglieder in 72 Kirchengemeinden. Bischofskirche war die Pfarrkirche St. Peter und Paul in Görlitz.
Indisches Problem
Das Indische Problem ist eine Schachkomposition, veröffentlicht 1845 von Howard Staunton in seiner Schachzeitschrift The Chess Player’s Chronicle (Februarheft) unter dem Titel „The Indian Problem“. Aus der grundlegenden Idee dieser Komposition entstand eine ganze Gattung von Schachkompositionen, die so genannten Inder. Zur Popularisierung der indischen Idee trug besonders eine 1903 von Johannes Kohtz und Carl Kockelkorn veröffentlichte Analyse der Komposition bei, die ebenfalls den Titel Das Indische Problem trug. Dieses Buch war zugleich das Gründungsdokument einer bis heute im deutschen Sprachraum dominierenden Schule der Schachkomposition, der neudeutschen oder logischen Schule.

Howard Staunton
Howard Staunton (* April 1810 in London; † 22. Juni 1874 ebenda) war ein britischer Schachspieler, Schachjournalist und Shakespeare-Forscher. Er galt zwischen 1843 und 1851 als stärkster Schachspieler der Welt.
IC 3713
IC 3713 ist eine linsenförmige Galaxie vom Hubble-Typ S0 im Sternbild Jagdhunde am Nordsternhimmel. Sie ist schätzungsweise 320 Millionen Lichtjahre von der Milchstraße entfernt und hat einen Durchmesser von etwa 85.000 Lichtjahren. Vom Sonnensystem aus entfernt sich die Galaxie mit einer errechneten Radialgeschwindigkeit von näherungsweise 7100 Kilometern pro Sekunde.

Im selben Himmelsareal befinden sich unter anderem die Galaxien NGC 4655, PGC 2173672, PGC 2176551, PGC 2178912.

Das Objekt wurde am 21. März 1903 von Max Wolf entdeckt.

PGC 2176551
LEDA/PGC 2176551 ist eine Galaxie im Sternbild Jagdhunde am Nordsternhimmel. Sie ist schätzungsweise 315 Millionen Lichtjahre von der Milchstraße entfernt und hat einen Durchmesser von etwa 60.000 Lichtjahren. Vom Sonnensystem aus entfernt sich das Objekt mit einer errechneten Radialgeschwindigkeit von näherungsweise 7.000 Kilometern pro Sekunde.

Im selben Himmelsareal befinden sich unter anderem die Galaxien NGC 4618, NGC 4625, NGC 4655, IC 3713.
Quirinbach
Der Quirinbach ist ein Bach in  Oberbayern, der in den Tegernsee mündet. Der Quirinbach entspringt westlich unterhalb der Neureuth. Nachdem er bei Sankt Quirin die Gleise und die Bundesstraße 307 gekreuzt hat, mündet er in den Tegernsee.

Tegernsee
Der Tegernsee liegt rund 50 km südlich von München in den Bayerischen Alpen und ist ein Ausflugs- und Fremdenverkehrsziel. Er zählt zu den saubersten Seen Bayerns, da bereits in den 1960er Jahren eine durchgängige Ringkanalisation um den See geschaffen wurde.

Der See liegt im Landschaftsschutzgebiet Schutz des Tegernsees und Umgebung. Er ist Eigentum des Freistaates Bayern und wird verwaltet durch die Bayerische Verwaltung der staatlichen Schlösser, Gärten und Seen, Außenstelle Chiemsee in Prien.
Kraftstofffilter
Der Kraftstofffilter ist ein Bauteil in Kraftfahrzeugen, das den Kraftstoff von Feststoffpartikeln befreit. Er wird als Hauptstromfilter betrieben und ist meistens mit einem papierähnlichen Material gefüllt. Der Einbauort ist in der Kraftstoffleitung zum Motor, wobei zwischen Dieselfilter und Benzinfilter zu unterscheiden ist:
Dieselfilter haben eine kartuschenähnliche Bauform mit einseitiger Anflanschung, bauähnlich einem Ölfilter. Benzinfilter sind meist „inline“ in der Saugleitung zur Kraftstoffpumpe oder in der Druckleitung zwischen Pumpe und Einspritzventile montiert, ihr Gehäuse besteht in der Regel aus Kunststoff oder Leichtmetallblech.

Filterpapier
Filterpapier und Filter aus papierähnlichen Materialien werden in vielen Bereichen eingesetzt, um Feststoffe aus Flüssigkeiten oder Gasen abzuscheiden; physikalisch gesehen, um eine feste Phase von einer wässrigen oder gasförmigen zu trennen.
KHD DG 1100 BBM
Die DG 1100 BBM ist eine Diesellokomotive von Klöckner-Humboldt-Deutz (KHD) aus dem Typenprogramm von 1968. Das vierachsige Fahrzeug war die letzte vom Hersteller produzierte Lokomotive. Das einzige Exemplar dieses Typs wurde 1970 für die Klöckner Hütte Bremen gebaut. 1982 kam die Lokomotive zur Westfälischen Landes-Eisenbahn und war hier einige Jahre im Einsatz. Die Lok wurde 2015 an ein Unternehmen in der Schweiz verkauft und war 2019 noch vorhanden.

Deutz AG
Die Deutz AG (Eigenschreibweise DEUTZ AG) ist ein börsennotierter deutscher Hersteller von Diesel-, Gas-, Wasserstoff- und elektrifizierten Motoren mit Sitz in Köln. Deutz ist einer der weltweit führenden unabhängigen Produzenten kompakter Dieselmotoren in der Leistungsklasse von 10 kW bis 620 kW für Straßen- und Gelände-Anwendungen. Das Unternehmen firmierte in der Vergangenheit unter verschiedenen Namen, unter anderem mit der bekannten Abkürzung KHD für Klöckner-Humboldt-Deutz. Neben der bestehenden Produktion von luft-, wasser- und ölgekühlten Dieselmotoren baute das Unternehmen in der Vergangenheit Ottomotoren, Lokomotiven, Nutzfahrzeuge (Lastkraftwagen und Omnibusse), Bau- und Landmaschinen, eine weitere Sparte war der Anlagenbau.
155 Kriminalfall Kaprun
155 Kriminalfall Kaprun (englischer Titel: The Kaprun Cover-Up) ist ein auf Deutsch und Englisch erhältliches Sachbuch des österreichischen Journalisten Hannes Uhl und des deutschen Journalisten Hubertus Godeysen. Der 2014 erschienene Titel befasst sich mit den Hintergründen und Ermittlungen zur juristischen Aufarbeitung der Brandkatastrophe der Gletscherbahn Kaprun 2.

Hubertus Godeysen
Hubertus Godeysen (* 1949 in Lüneburg) ist ein deutscher Journalist und Autor. Bekannt wurde er durch  das Buch Piefke – Kulturgeschichte einer Beschimpfung und seine Recherchen zur Kaprun-Katastrophe.
Lööne
58.42055622.744722Koordinaten: 58° 25′ N, 22° 45′ O

Lööne (deutsch Köln) ist ein Dorf (estnisch küla) auf der größten estnischen Insel Saaremaa. Es gehört zur Landgemeinde Saaremaa (bis 2017: Landgemeinde Valjala) im Kreis Saare.

Valjala (Landgemeinde)
Valjala (deutsch: Wolde) ist eine ehemalige Landgemeinde im estnischen Kreis Saare mit einer Fläche von 180,02 km². Sie hatte 1397 Einwohner (2006). 2017 fusionierten alle Gemeinden auf Saaremaa zur neuen Landgemeinde Saaremaa.

Valjala lag im Südosten der Insel Saaremaa. Neben dem gleichnamigen Hauptort (Valjala alevik) gehörten zur Landgemeinde die Dörfer Ariste, Jõelepa, Jööri, Jursi, Kalju, Kallemäe, Kalli, Kogula, Koksi, Kõnnu, Kõriska, Kuiste, Kungla, Lööne, Männiku, Nurme, Oessaare, Põlluküla, Rahu, Rannaküla, Röösa, Sakla, Siiksaare, Tõnija, Turja, Undimäe, Väkra, Väljaküla, Vanalõve, Veeriku, Vilidu und Võrsna.

Die Steinkirche von Valjala wurde wahrscheinlich um 1227 erbaut und ist damit eines der ältesten Gotteshäuser Estlands.
René Stadtkewitz
René Stadtkewitz [ʃtʰatʰˈkevɪt͡s] (* 9. Januar 1965 in Ost-Berlin) ist ein deutscher Politiker (AfD, zuvor Die Freiheit bis 2013, CDU bis 2009). Er war von 2001 bis zum Jahr 2011 Mitglied des Abgeordnetenhauses von Berlin. Gewählt wurde er über die Bezirksliste der Pankower CDU. Vom Oktober 2010 bis zum Oktober 2013 war er Bundesvorsitzender der von ihm mitgegründeten Partei Die Freiheit.

Khadija-Moschee (Berlin)
Die Khadija-Moschee oder Chadidscha-Moschee (Urdu مسجد خدیجہ Masdschid-e Chadidscha) ist eine von der Ahmadiyya Muslim Jamaat (AMJ) in Berlin-Heinersdorf gebaute Moschee, die von der Frauenorganisation Lajna Imaillah finanziert wurde. Sie ist nach Chadīdscha bint Chuwailid benannt, der ersten Muslimin und ersten Ehefrau des islamischen Propheten Mohammed.

Die Moscheegemeinde mit etwa zweihundert Mitgliedern war zuvor in Berlin-Reinickendorf ansässig. Der Imam war bis zum 31. Januar 2014 Abdul Basit Tariq, von der Ahmadiyya „Murrabi“ (etwa „Erzieher“) genannt, der bereits in Reinickendorf tätig war. Seit Februar 2014 ist Said Ahmed Arif Imam der Gemeinde.
Schmelzmühle (Salzböden)
Die ehemalige Schmelzmühle Salzböden in Salzböden, einem Ortsteil der Stadt Lollar im mittelhessischen Landkreis Gießen in Hessen, befindet sich nordöstlich von Salzböden und südwestlich von Reimershausen in einem langen Tal der Salzböde, das von Waldgebieten beidseitig begleitet wird. Sie liegt östlich am Fuß vom Hahnenkopf (310 m), unmittelbar nördlich der Burgruine Altes Gronauer Schloss, einer karolingischen Straßenfeste, und ist über die Kreisstraße (K 394) über den abzweigenden Weg Schmelz erreichbar.

Altes Gronauer Schloss
Das Alte Gronauer Schloss, auch Gronauer Altes Schloss genannt, ist eine Burgruine im nördlichen Krofdorfer Forst in der Gemarkung Krofdorf-Gleiberg der Gemeinde Wettenberg im Landkreis Gießen in Mittelhessen, gelegen im Tal der Salzböde unweit der Ortschaft Salzböden, einem Stadtteil von Lollar.
BFC Preussen
Der BFC Preussen (offiziell Berliner Fußballclub Preussen e. V.) ist ein Berliner Sportverein, der heute Abteilungen in Fußball, Futsal, Handball, Volleyball, Leichtathletik und Gymnastik besitzt. Historisch bedeutend war die Eishockey­abteilung des Vereins, die ab 1983 zusammen mit dem Berliner Schlittschuhclub den BSC Preussen bildete.

Berlin-Liga 2023/24
Die Saison 2023/24 war die 32. Spielzeit der Berlin-Liga der Herren und die sechzehnte als sechsthöchste Spielklasse im Fußball in Deutschland. Sie war die höchste Spielklasse des Berliner Fußball-Verbands.
Erste Liga (Eishockey) 2022/23
Die Spielzeit 2022/23 war die 15.  Spielzeit der ungarisch-rumänischen Erste Liga, die vom ungarischen Eishockeyverband organisiert wird. An der Liga nehmen neben ungarischen Vertretern Clubs aus Rumänien teil. Die Meisterschaft gewann erstmals in der Vereinsgeschichte der Gyergyói HK.

Gyergyói HK
Der Gyergyói Hoki Klub (rumänisch ACSH Gheorgheni; bis 2018 Club Sportiv Progym Gheorgheni; ungarisch: Progym Hargita Gyöngye) ist ein rumänischer Eishockeyverein aus Gheorgheni, der 1949 gegründet wurde und in der Rumänischen Eishockeyliga spielt. Zudem nahm der Verein in der Saison 2008/09 an der damaligen ungarisch-rumänischen MOL Liga respektive nimmt seit 2018 wieder an der heutigen Erste Liga teil.
Josh Myers
Joshua David Myers (* 16. Juli 1998 in Dayton, Ohio) ist ein US-amerikanischer American-Football-Spieler auf der Position des Centers. Seit 2025 steht bei den New York Jets in der National Football League (NFL) unter Vertrag. Zuvor spielte Myers vier Jahre lang für die Green Bay Packers.

Dayton (Ohio)
Dayton ist eine City im Montgomery County in Ohio (USA). Sie ist County Seat und befindet sich im mittleren Westen von Ohio. Bei der US-Volkszählung von 2020 wurde eine Bevölkerungszahl von 137.644 ermittelt. Die Stadt befindet sich im Tal des Great Miami River, nördlich von Cincinnati, südlich von Toledo, westlich von Columbus und östlich von Richmond in Indiana.
IC 2182
IC 2182 ist eine Spiralgalaxie vom Hubble-Typ S im Sternbild Zwillinge auf der Ekliptik. Sie ist schätzungsweise 555 Millionen Lichtjahre von der Milchstraße entfernt und hat einen Durchmesser von etwa 85.000 Lichtjahren.
Im selben Himmelsareal befindet sich u. a. die Galaxie IC 2181.

Das Objekt wurde am 7. Februar 1896 von Stéphane Javelle entdeckt.

IC 2181
IC 2181 ist eine Spiralgalaxie vom Hubble-Typ Sab im Sternbild Zwillinge auf der Ekliptik. Sie ist schätzungsweise 219 Millionen Lichtjahre von der Milchstraße entfernt und hat einen Durchmesser von etwa 60.000 Lichtjahren.
Im selben Himmelsareal befindet sich u. a. die Galaxie IC 2182.

Das Objekt wurde am 7. Februar 1896 von Stéphane Javelle entdeckt.
Moostierchen
Moostierchen (Ectoprocta (Gr.: mit äußerem After)), auch Bryozoa oder Polyzoa genannt, sind vielzellige Tiere, die im Wasser leben. Aufgrund ihrer mikroskopischen Größe sind Einzeltiere schwer auszumachen, ausgedehntere Kolonien sind aber leicht als flächige Struktur, zum Beispiel auf angeschwemmtem Seetang, zu erkennen.

Moostierchen gehören zu den Lophotrochozoen, also einer Großgruppe der Urmünder (Protostomia). Ihr genaues Verwandtschaftsverhältnis zu anderen Lophotrochozoa-Stämmen ist zurzeit unklar. Weder die häufig vermutete Beziehung zu den Kelchwürmern (Entoprocta), noch zu den Hufeisenwürmern (Phoronida) und Armfüßern (Brachiopoda) konnte durch molekulargenetische Testmethoden bestätigt werden.
In älteren Lehrbüchern findet man sie aber oft mit den Phoronida und Brachiopoda zum Stamm der Tentaculata vereinigt.

Kranzfühler
Die  Kranzfühler sind ein von den meisten Systematikern nicht mehr anerkannter Tierstamm. In deutschsprachiger Literatur wurden diese Tiere meist als Tentaculata bezeichnet, international meist als Lophophorata. Der Name „Tentaculata“ wird dagegen für eine der Klassen der Rippenquallen verwendet.

Zu den Kranzfühlern stellte man die Hufeisenwürmer (Phoronida), Moostierchen (Bryozoa) und Armfüßer (Brachiopoda), ausschließlich sessile Tiere, die als Filtrierer im Wasser leben. Ihr namengebendes Merkmale ist der Lophophor oder Tentakelkranz, der gewöhnlich von einem Paar mit Tentakeln besetzter Arme gebildet wird, die, gebogenen oder aufgerollt, die Mundöffnung umgeben. Inzwischen werden diese Tiergruppen mit anderen Urmündern (Protostomia) systematisch zum Überstamm der Lophotrochozoen gestellt.
Schatthausen
Schatthausen ist ein Dorf im Rhein-Neckar-Kreis im Nordwesten Baden-Württembergs. Es ist ein Ortsteil der Großen Kreisstadt Wiesloch und hat 1595 Einwohner (Stand: 31. Dezember 2005).

In Zusammenarbeit mit den Dorfbewohnern wurde das alte Gebäude Hohenhardter Straße 7 renoviert uns saniert, das heute als Dorfgemeinschaftshaus mit zahlreichen Veranstaltungen fungiert.

Bahnstrecke Wiesloch–Meckesheim
Die Bahnstrecke Wiesloch–Meckesheim war eine privat betriebene Eisenbahnstrecke im Rhein-Neckar-Kreis, Baden-Württemberg, deren Personenverkehr 1980 eingestellt wurde; der Güterverkehr folgte zehn Jahre später. Sie führte vom Bahnhof Wiesloch-Walldorf zum Bahnhof Meckesheim.

Die Betreiber und Eigentümer der Nebenbahn waren allesamt private Eisenbahngesellschaften: Von der Eröffnung bis zum 31. Dezember 1931 betrieb die Badische Lokal-Eisenbahnen AG (im Folgenden BLEAG genannt) die Strecke, ihr folgte vom 1. Januar 1932 bis zum 30. April 1963 die Deutsche Eisenbahn-Betriebsgesellschaft (im Folgenden DEBG genannt) und vom 1. Mai 1963 bis zur Stilllegung wurde die Nebenbahn von der Südwestdeutschen Eisenbahn-Gesellschaft (SWEG) betrieben.
Tatort: Vergeltung
Vergeltung ist ein Fernsehfilm aus der Krimireihe Tatort. Der Film mit Harald Krassnitzer als österreichischem Ermittler Moritz Eisner wurde am 6. März 2011 erstgesendet. In seinem 24. Fall arbeitet Eisner erstmals mit Bibi Fellner (Adele Neuhauser) zusammen, die bisher bei der „Sitte“ war. Außerdem übernahm Tanja Raunig erstmals die Rolle von Eisners Tochter Claudia, die bisher von Sarah Tkotsch gespielt wurde.

Adele Neuhauser
Adele Neuhauser (* 17. Jänner 1959 in Athen, Griechenland) ist eine österreichische Schauspielerin. Ihre Karriere begann sie in Deutschland als Theaterschauspielerin. Seit 1978 steht sie für Film und Fernsehen vor der Kamera. Einem breiten Publikum wurde sie 2004 durch die österreichische Landkrimiserie Vier Frauen und ein Todesfall und in der Rolle der von ihr seit 2011 verkörperten Tatort-Kommissarin Bibi Fellner bekannt.
Claus Dethloff von Oertzen
Claus Dethloff von  Oertzen, auch: Claus Dethloff III., Claus Detlof, Claus Detlov  (* 11. April 1736 in Gorow; † 4. August 1822 in Bützow) war ein deutscher Amtshauptmann, Verwaltungsbeamter, Parlamentarier und Geheimer Rat in Mecklenburg-Schwerin. Er war zeitweise Erbherr von Gorow, einschließlich Clausdorf, dem Gut Klein Bölkow und dem Gut Preten.

Bützow
Bützow [ˈbʏt͡soː] ist eine norddeutsche Kleinstadt, ehemalige Bischofsresidenz und Universitätsstadt an der Warnow im Landkreis Rostock im Mittleren Mecklenburg. Sie ist Verwaltungssitz des Amtes Bützow-Land, dem weitere elf Gemeinden angehören. Zudem bildet die Stadt ein Grundzentrum für die Umgebung.
Erfüllbarkeitsäquivalenz
Erfüllbarkeitsäquivalenz ist eine Eigenschaft, die zwischen zwei prädikatenlogischen Formeln gelten kann.

Zwei Formeln F und G sind genau dann erfüllbarkeitsäquivalent, wenn gilt:

F ist erfüllbar  G ist erfüllbar

Oder umgekehrt:

F ist unerfüllbar  G ist unerfüllbar

Die beiden Formeln brauchen nicht äquivalent zu sein und brauchen auch nicht durch dieselben Interpretationen erfüllt zu werden. Erfüllbarkeitsäquivalenz ist somit eine recht schwache Eigenschaft.

Relevant ist die Erfüllbarkeitsäquivalenz bei Nachweis der Unerfüllbarkeit einer prädikatenlogischen Formel mittels der Herbrand-Theorie. Dazu muss die Formel erst in die Skolemform umgeformt werden, die zur Ausgangsformel lediglich erfüllbarkeitsäquivalent ist.

Satz von Herbrand
Der Satz von Herbrand ist ein Satz der mathematischen Logik, der 1930 vom französischen Logiker Jacques Herbrand publiziert wurde. Er macht eine Aussage darüber, wann eine prädikatenlogische Formel ohne Gleichheit allgemeingültig oder erfüllbar ist und erlaubt eine Reduktion auf Allgemeingültigkeit oder Erfüllbarkeit in der Aussagenlogik.

Der Satz besagt:

Sei  eine geschlossene prädikatenlogische Formel ohne Gleichheit.

Dann gibt es eine (aus  berechenbare) quantorenfreie Formel , sodass gilt:  ist eine Tautologie genau dann, wenn es variablenfreie Substitutionsinstanzen  von  gibt, sodass

eine aussagenlogische Tautologie ist.
The Fox and The Crow
The Fox and The Crow (auch: The Fox & the Crow, dt. Der Fuchs und die Krähe) ist der Titel einer in den 1940er Jahren im Auftrag der Columbia Pictures produzierten Reihe von Zeichentrick-Kurzfilmen, sowie mehrerer auf diesen Zeichentrickfilmen basierender Comicserien.

Columbia Pictures
Columbia Pictures Industries, Inc. ist eine US-amerikanische Film- und TV-Produktionsfirma und Teil der Sony Pictures Motion Picture Group, welche wiederum zu Sony Pictures Entertainment gehört und ursprünglich zu den sogenannten „Majors“, den fünf größten Filmunternehmen in den Vereinigten Staaten, gehörte (neben Warner Bros., Walt Disney Motion Pictures Group, Paramount Pictures und Universal Pictures), bevor Columbia Pictures von Sony im Jahr 1989 gekauft wurde und Sony Pictures Entertainment Teil der „Majors“ wurde.
HD 23127 b
HD 23127 b ist ein Exoplanet, der den gelben Zwerg HD 23127 alle 1214 Tage umkreist. Die große Halbachse der Umlaufbahn misst ca. 2,4 Astronomischen Einheiten bei einer Exzentrizität von 0,44. Die Mindestmasse des Objekts beträgt rund 1,5 Jupitermassen. Der extrasolare Planet wurde mit Hilfe der Radialgeschwindigkeitsmethode von Simon J. O’Toole et al. im Jahr 2007 entdeckt.

HD 23127
HD 23127 ist ein etwa 322 Lichtjahre entfernter Hauptreihenstern im Sternbild Reticulum. Er besitzt eine scheinbare Helligkeit von 8,6 mag.

Im Jahre 2007 veröffentlichten O’Toole et al. die Entdeckung eines Exoplaneten, der diesen Stern umkreist und mit HD 23127 b bezeichnet wird.
Gmina Męcinka
Die Gmina Męcinka [mɛɲ'ʨiŋka] ist eine Landgemeinde im Powiat Jaworski der Woiwodschaft Niederschlesien in Polen. Ihr Verwaltungssitz ist das gleichnamige Dorf (deutsch Herrmannsdorf) mit etwa 800 Einwohnern.

Powiat Jaworski
Der Powiat Jaworski ist ein Powiat (Kreis) in der Woiwodschaft Niederschlesien in  Polen. Der Powiat hat eine Fläche von 581,25 km², auf der 50.300 Einwohner leben.

Die Kreisverwaltung ist Mitglied der Euroregion Neiße.
Floribert Bwana Chui
Floribert Bwana Chui bin Kositi (* 13. Juni 1981 in Goma, Demokratische Republik Kongo; † 7. Juli 2007 ebenda) war ein kongolesischer Zollbeamter, der wegen seines Glaubens und seiner Unbestechlichkeit ermordet wurde. Er wurde am 15. Juni 2025 in einer von Marcello Kardinal Semeraro geleiteten Zeremonie selig gesprochen.

Goma
Goma ist eine Millionenstadt im Osten der Demokratischen Republik Kongo und Hauptstadt der Provinz Nord-Kivu. Sie liegt auf rund 1500 Metern Höhe am nördlichen Ufer des Kivusees, direkt an der Grenze zu Ruanda. Nördlich der Stadt befindet sich der Nationalpark Virunga, der für die dort lebenden Berggorillas bekannt ist, und die namensgebenden Virunga-Vulkane. Zu diesen zählt der Nyiragongo, der zuletzt im Mai 2021 ausbrach und eine Massenflucht aus der Stadt verursachte. Goma war zudem wiederholt von Konflikten und damit einhergehenden Flüchtlingsströmen betroffen. Im Januar 2025 nahm die Rebellenbewegung M23 die Stadt ein.