hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Primera División (Paraguay)
Die Primera División de Paraguay (offiziell División Profesional de la Asociación Paraguaya de Fútbol) ist die höchste Fußballliga in Paraguay. Zwölf Mannschaften spielen zwischen Februar und Dezember an 44 Spieltagen eine Apertura und eine Clausura Meisterschaft aus. Rekordsieger ist Olimpia mit 47 Titeln.

Club Olimpia
Der Club Olimpia ist ein Sportverein aus Asunción, der Hauptstadt von Paraguay. Bekannt ist der Verein vor allem für seine Fußballmannschaft, aber auch Basketball, Futsal und Handball werden im Verein erfolgreich gespielt.
St. Markus (Haimbach)
St. Markus ist eine römisch-katholische Filialkirche im Fuldaer Stadtteil Haimbach im osthessischen Landkreis Fulda, die zum Bistum Fulda gehört und dem Dekanat Fulda zugeordnet ist. Das Kirchengebäude steht in der Saturnstraße 9 auf dem alten Wehrfriedhof.

Zur Gemeinde gehört auch die Herz-Jesu-Kapelle, auch Schulzenbergkkapelle genannt.

Bistum Fulda
Das Bistum Fulda (lateinisch Dioecesis Fuldensis) ist eine römisch-katholische Diözese im Norden und Osten von Hessen und, zu kleineren Anteilen, im Westen Thüringens (Gebiet um Geisa) und im Nordwesten Bayerns (Exklave Ostheim vor der Rhön). Es ist eine Suffragandiözese des Erzbistums Paderborn. Bischofssitz ist der Dom zu Fulda.
Makambako (TC)
Makambako (TC) (Makambako Town Council) ist ein Distrikt der Region Njombe in Tansania. Er grenzt im Norden und im Osten an den Distrikt Mufindi der Region iringa, im Süden an den Distrikt Njombe und im Westen an den Distrikt Wanging'ombe.

Mufindi
Mufindi ist ein Distrikt der Iringa-Region im zentralen Teil von Tansania. Mufindi grenzt im Norden an die Distrikte Kilolo und Iringa, im Osten an die Region Morogoro, im Süden an die Region Njombe, sowie im Westen an die Region Mbeya. Er umschließt den Distrikt Mafinga (TC).
Christopher Reitz
Christopher Reitz (* 3. April 1973 in Frankfurt am Main) ist ein ehemaliger deutscher Hockeyspieler des Rüsselsheimer RK, mit dem er im Jahr 2000 deutscher Vizemeister im Hallenhockey wurde.

Christopher Reitz stand zwischen 1992 und 2001 im Tor der deutschen Hockeynationalmannschaft und bestritt insgesamt 154 Länderspiele, 151 auf dem Feld und 3 in der Halle. Er nahm an drei Olympischen Spielen teil, 1992 in Barcelona – Goldmedaille, 1996 in Atlanta – 4. Platz – und 2000 in Sydney – 5. Platz. Außerdem spielte er bei der Feldhockey-Weltmeisterschaft der Herren 1994 und 1998, zwei Europameisterschaften im Feldhockey (1995, 1999) und sieben Champions Trophys (1994, 1995, 1996, 1997, 1998, 2000, 2001).

1992 wurde er mit der Sportplakette des Landes Hessen und dem Silbernen Lorbeerblatt, der höchsten sportlichen Auszeichnung in Deutschland, sowie auch dem Bambi, einem jährlich vom Burda-Verlag verliehener Medien- und Fernsehpreis, ausgezeichnet.

Olympische Sommerspiele 1996/Hockey
Bei den XXVI. Olympischen Sommerspielen 1996 in Atlanta fanden zwei Wettkämpfe im Hockey statt. In den Entscheidungsspielen wurde keine Verlängerung gespielt, sondern sofort ein Siebenmeterschießen durchgeführt. Erstmals bei Olympischen Spielen kam die Interchanging-Regel zur Anwendung: so konnten bis zu 16 Spieler in einem Spiel eingesetzt werden.
Strasbourg (Spiel)
Strasbourg ist ein Brettspiel in Form eines Legespiels von Spieleautor Stefan Feld. Es erschien 2011 bei Pegasus Spiele und wurde im selben Jahr im Rahmen des Spiel-des-Jahres-Preises als Kennerspiel des Jahres nominiert. Beim Deutschen Spiele Preis erreichte es Platz 10. Das Spiel ist für drei bis fünf Spieler ab 12 Jahren geeignet und dauert etwa 75 Minuten.

Im 15. Jahrhundert konkurrieren jeweils von einem Spieler dargestellte Familien um Einfluss in Adel und Kirche, in den Handwerks-Zünften und unter den Kaufleuten und dadurch im Stadtrat.

Spiel des Jahres
Der Kritikerpreis Spiel des Jahres ist ein vom Verein Spiel des Jahres e. V. seit 1979 vergebener Spielepreis für deutschsprachige Brett- und Kartenspiel-Neuheiten. Er gilt als die weltweit bedeutendste Auszeichnung für nicht-elektronische Spiele, als „Oscar für Brettspiele“. Die Siedler von Catan und Carcassonne sind mit ihren Millionenauflagen die beiden populärsten Titel, die diesen Preis erhalten haben. Seit 2001 wird auch das Kinderspiel des Jahres ausgezeichnet. Seit 2011 vergibt die Jury einen dritten Hauptpreis Kennerspiel des Jahres. Er richtet sich an Spieler, „die schon längere Zeit spielen und Erfahrung beim Erlernen neuer Spiele mitbringen“.
Segelwagen
Ein Segelwagen (auch Windwagen oder Landsegler) ist ein mittels eines Segels windangetriebener Wagen, der – von äußerer Kraft angetrieben – nicht zu den Automobilen (selbstbewegter Wagen) gerechnet wird. Das Prinzip findet beim heutigen Strandsegeln Anwendung.

Segel
Ein Segel (von althochdeutsch segal, wohl ursprünglich: abgeschnittenes Tuchstück) ist ein Tuch, das dem Antrieb von Fahrzeugen durch den Wind dient.

Je nach Konstruktion und Funktion werden Segel in verschiedene Gruppen eingeteilt. Die beiden Hauptgruppen heißen Rahsegel und Schratsegel. Segel bewegen ein Fahrzeug durch Ausnutzen des Winddrucks. Er wirkt als Druck auf der dem Wind zugewandten Seite und als Zug oder Sog auf der dem Wind abgewandten Seite. Die Kräfte der beiden Seiten wirken zusammen. Segelfahrzeuge können mittels entsprechender Segelstellung auch schräg gegen den Wind fahren.

Beim Material der Segeltuche gab es markante Entwicklungsschritte. Während Segel früher aus pflanzlichen Geweben und später aus gewebten Kunstfasern gefertigt wurden, kommen gegenwärtig auch Laminatsegel auf der Basis von Kunststofffolien zum Einsatz.
Embru
Die Embru-Werke AG ist ein Schweizer Möbelhersteller mit Sitz in Rüti ZH. Das Unternehmen wurde 1904 gegründet und beschäftigt heute 195 Mitarbeitende in der Schweiz. Das Sortiment von Embru umfasst Möbel für Pflege- und Bildungseinrichtungen, Büromöbel und zahlreiche Designklassiker. In den letzten 119 Jahren haben namhafte Designer und Architekten wie Max Ernst Haefeli, Werner Max Moser, Rudolf Steiger, Gustav Hassenpflug, Wilhelm Kienzle und Alfred Roth für Embru Möbel entworfen.

Werner Max Moser
Werner Max Moser (* 16. Juli 1896 in Karlsruhe; † 19. August 1970 in Zürich) war ein Schweizer Architekt und Professor an der ETH Zürich. Bekannt wurde er durch diverse Kirchenbauten und das Hochhaus zur Palme in Zürich.
Bernd Hünlich
Bernd Hünlich (* 2. Oktober 1943 in Dresden; † 9. März 1992 ebenda) war ein deutscher autodidaktischer Heimatforscher und  Kunsthistoriker. Er wurde zu DDR-Zeiten durch zahlreiche Veröffentlichungen über die Landesgrenzen hinweg bekannt. Neben der Dresdner Stadtgeschichte waren die Lokalgeschichte der Künstlergruppe Brücke und das Leben von Paula Modersohn-Becker seine Schwerpunkte.

Paula Modersohn-Becker
Paula Modersohn-Becker, geborene Paula Hermina Becker (* 8. Februar 1876 in Dresden; † 20. November 1907 in Worpswede), war eine deutsche Malerin. Ihre Werke zählen zu den bedeutendsten Arbeiten des frühen Expressionismus. In den knapp 14 Jahren, in denen sie künstlerisch tätig war, schuf sie 750 Gemälde, etwa 1000 Zeichnungen und 13 Radierungen, die kennzeichnende Aspekte der Kunst des frühen 20. Jahrhunderts in sich vereinen.
Eichenberg–Gotha–Saalfelder Störungszone
Die Eichenberg–Gotha–Saalfelder Störungszone ist eine geologische Störung, die sich von Eichenberg im Nordosten Hessens rund 130 km südostwärts über Gotha nach Saalfeld durch Thüringen zieht. Ihr nordwestlicher Teilabschnitt wird auch als (geologischer Strukturraum) Eichenberg–Gothaer Graben bezeichnet.

Lediglich im nordwestlichsten Teil, der vom Leinegraben bis zum Westrand des Hainich führt, tritt die Störung in der Hauptsache als Senke hervor. Im zentralen, durch den Südwestrand des Thüringer Beckens verlaufenden Teil ist sie demgegenüber durch markante Höhenzüge (z. B. Drei Gleichen) landschaftsprägend, weiter südöstlich sorgt sie schließlich für eine schroffe Abbruchkante der Ohrdrufer Platte zum Südrand des Beckens.

Saalfeld/Saale
Saalfeld/Saale ist eine Stadt in Thüringen. Sie ist die Kreisstadt des Landkreises Saalfeld-Rudolstadt im Südosten des Bundeslandes und als Ort mit Heilstollenkurbetrieb ein staatlich anerkannter Kurort. Saalfeld liegt an der Saale in der Mitte des Saalebogens. Südwestlich der Stadt beginnt das Thüringer Schiefergebirge. Bekannteste Sehenswürdigkeit sind die Feengrotten. Außerdem ist die Stadt ein bedeutender Eisenbahnknoten. Saalfeld bildet gemeinsam mit Rudolstadt und Bad Blankenburg ein Mittelzentrum mit Teilfunktionen eines Oberzentrums mit 60.000 Einwohnern. Die drei Städte kooperieren im Rahmen des „Städtedreiecks am Saalebogen“ miteinander.
Kreditsachbearbeitung
Kreditsachbearbeitung (oder Kreditbearbeitung) ist insbesondere in der Aufbauorganisation des Bank-, Bausparkassen- und Versicherungswesens eine Abteilung, die das Kreditservicing im Kreditgeschäft durchführt.

Kredit
Unter Kredit (abgeleitet von lateinisch credere, „glauben, vertrauen“ und lateinisch creditum, „das auf Treu und Glauben Anvertraute“; englisch credit oder englisch loan = Leihe) versteht man allgemein die Übereignung von Bargeld (Banknoten, Münzen), Buchgeld oder vertretbaren Sachen vom Kreditgeber zwecks befristeter Gebrauchsüberlassung durch den Kreditnehmer, der sich zu einer zukünftigen Tilgung und häufig auch zu einer Gegenleistung in Form von Kreditzinsen verpflichtet.
Nichtopioid-Analgetikum
Ein Nichtopioid-Analgetikum (Synonym nichtopioides Analgetikum) ist ein schmerzstillendes Arzneimittel (Analgetikum), das seine Wirkung nicht durch Bindung an Opioidrezeptoren entfaltet und damit kein Opioid ist. Viele nichtopioide Analgetika wirken über eine Hemmung des Enzyms Cyclooxygenase (COX) und somit über eine Prostaglandin-Synthesehemmung analgetisch, antipyretisch und antiphlogistisch. In der Entwicklung sind neuerdings Substanzen, die als Lipoxygenase-Hemmstoffe wirken. Viele Nichtopioid-Analgetika sind in Deutschland ohne Rezept in Apotheken erhältlich. Typische Vertreter der Nichtopioid-Analgetika sind COX-2-Hemmer, Paracetamol und Metamizol.

Prostaglandine
Prostaglandine sind chemische Verbindungen aus der Gruppe der Eicosanoide. Sie wirken im menschlichen und höheren tierischen Organismus als Gewebshormone und kommen mit verschiedener Struktur und Funktion überall im Organismus vor. Besonders reich sind sie im Sperma vertreten.

Das chemische Grundgerüst der Prostaglandine (PG) ist die Prostansäure. Drei mehrfach ungesättigte C20-Fettsäuren sind jeweils Ausgangsstoff für die Biosynthese der Prostaglandine.

Wegen ihrer vielfältigen physiologischen und pathophysiologischen Wirkungen ist der Einsatz von Prostaglandinen und ihrer synthetischen Strukturabkömmlinge von therapeutischem Interesse.
F1 Manager 2023
F1 Manager 2023 ist ein offizielles Rennmanagement-Simulationsspiel zur Formel-1-, Formel-2- und Formel-3-Meisterschaft 2023, das von Frontier Developments entwickelt und veröffentlicht wurde. Das Spiel erschien am 31. Juli 2023 für Microsoft Windows, PlayStation 4, PlayStation 5, Xbox One und Xbox Series X/S.

Frontier Developments
Frontier Developments ist ein britisches Spieleentwicklungsunternehmen, das 1994 gegründet wurde. Das Unternehmen hat seinen Sitz in Cambridge, England und eine Niederlassung in Halifax, Kanada. Es beschäftigt weltweit 680 Mitarbeiter.
Portus Adurni
Portus Adurni war ein Limitaneikastell und Flottenbasis der Classis Britannica am Limes der britischen „Sachsenküste“, County of Hampshire/England, Parish Fareham, Ortsteil Portchester in England.
Es wurde im 3. Jahrhundert erbaut und war einer der Hauptstützpunkte der römischen Kanalflotte. Sie gilt mit Abstand als die am besten erhaltene spätrömische Festung in Nordeuropa. Im Gegensatz zu vielen anderen Sachsenküstenkastellen blieb das Kastell auch von der Küstenerosion verschont. Im Hochmittelalter wurde in einer der Kastellecken eine normannische Burg (Portchester Castle) errichtet. Danach wurde es bis ins frühe 19. Jahrhundert für verschiedene militärische Zwecke verwendet. Im Inneren wird es heute von zwei mittelalterlichen Gebäudekomplexen geprägt, die St.-Marys-Kirche und die normannische Burg, letztere dominiert von einem großen Wohnturm (Keep) der im 12. Jahrhundert errichtet wurde.

Limitanei
Römischer Follis mit dem Porträt des Diokletian, geprägt in Treveris (Trier) um 300 n. Chr. (Classic Numismatic Group, Inc., CNG)

Solidus mit Porträt Kaiser Konstantins, geprägt 326

Detail eines spätantiken Mosaiks, das eine Jagdszene darstellt, die Figur mit Schild und Lanze zeigt wahrscheinlich einen römischen Soldaten des 4. Jahrhunderts (Villa del Casale, Piazza Armerina, Sizilien)

Detail des spätantiken Jagdmosaiks, die zwei Figuren stellen wahrscheinlich römische Offiziere des 4. Jahrhunderts dar

Spätrömische Reiter auf der Jagd, Mosaik in der Villa del Casale, Piazza Armerina, Sizilien (4. Jahrhundert)

Darstellung eines spätrömischen Soldaten in De Rebus Bellicis

Die Limitanei (lateinisch für „Grenzer“) genannten Einheiten bildeten zusammen mit den Comitatenses das römische spätantike Landheer. Sie wurden im Gegensatz zu den Comitatenses (dem mobilen Feldheer) nicht an strategisch wichtigen Punkten im Hinterland, sondern direkt an der Grenze stationiert.
Verwässerungsschutz
Als Verwässerungsschutz (oder Verwässerungsschutzklausel; englisch anti dilution clause) werden im Finanzwesen Klauseln bezeichnet, die bei Kapitalerhöhungen der Verhinderung von bestimmten Wertminderungen aus Aktien oder Anleihen und damit dem Anlegerschutz dienen.

Anleihe
Eine Anleihe (auch festverzinsliches Wertpapier, Rentenpapier, Schuldverschreibung oder Obligation, englisch Bond oder debenture bond) ist ein zins­tragendes Wertpapier, das dem Gläubiger das Recht auf Rückzahlung sowie auf Zahlung vereinbarter Zinsen einräumt. Eine Anleihe ist im Sinne des Wertpapierhandelsgesetzes und des Kreditwesengesetzes ein Finanzinstrument.

Typischerweise dienen Anleihen dem Schuldner zur – meist langfristigen – Fremdfinanzierung und dem Gläubiger (Anleger) zur Kapitalanlage. Zur Wertpapiergattung der Anleihen zählen Staatsanleihen (einschließlich Kommunalanleihen, Kommunalobligationen, Landesanleihen oder sonstige öffentliche Anleihen), Unternehmensanleihen und Pfandbriefe; nicht dazu gehören Kredite wie Privatkredite und Schuldscheindarlehen.

Zinsen, gleichgültig ob Festzinsen oder variable Zinsen, sind mit einer Anleihe untrennbar verbunden.
James Holmes-Siedle
James Holmes-Siedle MAfr (* 1. November 1910 in Penarth, Vereinigtes Königreich Großbritannien und Irland; † 22. Mai 1995 in Hammersmith, London) war ein britischer römisch-katholischer Ordensgeistlicher und Bischof von Kigoma.

Weiße Väter
Die Weißen Väter (lateinisch Patres Albi, kurz PA, französisch Pères Blancs), eigentlich Gesellschaft der Missionare von Afrika (lateinisch Societas Missionariorum Africae, französisch Société des missionnaires d’Afrique), sind eine römisch-katholische Ordensgemeinschaft. Das Ordenskürzel lautet MAfr, das mitunter benutzte Kürzel SMA steht dagegen für die Societas Missionum ad Afros, die Gesellschaft der Afrikamissionen, eine im Jahr 1856 in Lyon gegründete Ordensgemeinschaft.
Laure Cinti-Damoreau
Laure Cinti-Damoreau, auch Laure Damoreau-Cinti, geborene Laure Cinthie Montalant (6. Februar 1801 in Paris – 25. Februar 1863 in Chantilly (Oise)) war eine französische Opernsängerin und Gesangspädagogin. Sie wurde besonders als Primadonna Rossinis und Aubers in Paris berühmt und verkörperte als eine der ersten in der romantischen französischen Oper den aus Italien importierten Typus eines Koloratursoprans.

Daniel-François-Esprit Auber
Daniel-François-Esprit Auber (* 29. Januar 1782 in Caen; † 12. Mai 1871 in Paris) war ein französischer Komponist.

Auber machte zunächst nach dem Willen seiner Eltern eine kaufmännische Ausbildung in London. Als er 1803 nach Paris zurückkehrte, wurde er von Luigi Cherubini dazu ermutigt, Musik für die Bühne zu komponieren. Den Durchbruch erreichte er 1820 mit seiner Oper La bergère châtelaine (Die Schäferin als Edeldame). Im Jahr 1842 wurde Auber Leiter des Pariser Konservatoriums und 1857 „Kaiserlicher Kapellmeister“. Auber starb im Alter von 89 Jahren in Paris. Er ruht dort auf dem Friedhof Père-Lachaise.
Höchster Porzellanmanufaktur
Die Höchster Porzellanmanufaktur ist ein Unternehmen für Porzellankunst in Frankfurt-Höchst.

Das erste Mal wurde sie 1746 als Kurfürstlich mainzische Porzellanmanufaktur durch Johann Christoph Göltz und Adam Friedrich von Löwenfinck (1714–1754), einem aus Meißen stammenden Porzellanmaler, gegründet. Sie ist somit die zweitälteste Gründung einer Porzellanmanufaktur in Deutschland und die einzige in Hessen. Das Firmenzeichen der Höchster Porzellanmanufaktur ist das Mainzer Rad. Das Gründungsprivileg sowie die Monopolstellung für kurmainzisches Gebiet bekam die Manufaktur vom Mainzer Erzbischof Johann Friedrich Karl von Ostein zugestanden. Einer der wichtigsten Künstler der Manufaktur war der kurmainzische Hofbildhauer Johann Peter Melchior, der ab 1768 einige Jahre als Modellmeister in Höchst arbeitete.

Porzellan
Porzellan (italienisch porcellana, englisch porcelain oder china) ist ein durch Brennen hergestelltes feinkeramisches Erzeugnis mit weißen, dichten, porenfreien, in dünnen Schichten transluzenten Scherben. Es wird aus einem Gemisch von Kaolin (Porzellanerde, Porzellanton), Feldspat und Quarz hergestellt, die im Verlauf des keramischen Brandes in Glasphase und Mullit umgewandelt werden. Glasiert oder unglasiert findet es Verwendung zur Herstellung von Gebrauchsgegenständen, technischen Erzeugnissen und für künstlerische Zwecke.
Cohors I Flavia Ulpia Hispanorum
Die Cohors I Flavia Ulpia Hispanorum [milliaria] [equitata] [civium Romanorum] (deutsch 1. Kohorte die Flavische die Ulpische der Hispanier [1000 Mann] [teilberitten] [der römischen Bürger]) war eine römische Auxiliareinheit. Sie ist durch Militärdiplome, Inschriften, Tesserae und Ziegelstempel belegt. In einigen Militärdiplomen und Inschriften wird sie als Cohors I Flavia Hispanorum bezeichnet, in anderen Diplomen und Inschriften als Cohors I Hispanorum.

Ziegelstempel
Ein Ziegelstempel ist eine Buchstabenfolge, ein Logo oder ein einfaches Motiv, das mit Hilfe eines Stempels von Hand in den frischen ungebrannten Mauer- oder Dachziegel gedrückt wird.

Ziegelstempel werden zuweilen mit den Ziegelzeichen verwechselt. Ziegelzeichen sind jedoch Motive, die bereits in der Ziegelform vorhanden sind. Sie sind daher bei allen Ziegeln aus der gleichen Form identisch, wogegen jeder Ziegelstempel einzeln angebracht wurde. Steinmetze kennzeichneten ihre Steine mit Steinmetzzeichen.
Ford E-Serie
Die Ford-E-Serie ist eine Modellreihe von Kleintransportern (engl. full-size vans) der Marke Ford, die nur in Nordamerika angeboten wurde. Ältere Versionen wurden auch als Econoline oder Club Wagon bezeichnet. Die E-Serie war ab 1980 der meistverkaufte Van in den USA (168.722 Verkäufe 2007). Die Motorisierungen waren deutlich stärker als bei europäischen Transportern, so gab es die letzte Generation ausschließlich mit V6-, V8- und V10-Motoren mit bis zu 227 kW.
Ab 2013 wird die Modellreihe nach und nach von der Ford-T-Serie ersetzt, parallel aber noch bis Ende 2013 produziert. Seit 2014 wird die E-Serie nur noch als Cutaway-Chassis (Chassis mit Fahrerkabine) angeboten und dient vor allem den Herstellern von Sonderaufbauten wie Wohnmobilen, Schulbussen, Feuerwehrwagen, Krankentransportern etc. als Basis.

Ford F-Serie
Die F-Serie von Ford ist eine seit 1948 in der inzwischen vierzehnten Generation angebotene Baureihe von Pick-ups, Omnibus- und Lastkraftwagen-Fahrgestellen der Ford Motor Company. Das Fahrzeug ist in den USA seit 32 Jahren das meistverkaufte Auto (Stand: 2014) und liegt mit insgesamt 40 Millionen produzierten Exemplaren weltweit auf Rang zwei hinter dem Toyota Corolla (Stand: Mai 2022).
Zeitin-Transformation
Die Zeitin-Transformation (auch Zeitin-Verfahren, Tseitin-Transformation, Tseitin-Verfahren) bezeichnet eine Methode, mit der Formeln aus der Aussagenlogik auf eine konjunktive Normalform (KNF) gebracht werden können. Die resultierende konjunktive Normalform ist dabei im Allgemeinen nicht äquivalent, sondern nur erfüllbarkeitsäquivalent. Das Verfahren wurde von Grigori Zeitin entwickelt.

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.
Philip Holm
Philip Holm (* 8. Dezember 1991 in Stockholm) ist ein schwedischer Eishockeyspieler, der seit September 2025 erneut bei Djurgårdens IF aus der Svenska Hockeyligan (SHL) unter Vertrag steht und dort auf der Position des Verteidigers spielt. Mit der schwedischen Nationalmannschaft gewann er die Goldmedaille bei der Weltmeisterschaft 2017.

Djurgården Hockey
Djurgården Hockey ist die Eishockeyabteilung des schwedischen Sportvereins Djurgårdens Idrottsförening. Sie wurde 1922 gegründet und gewann bisher 16 schwedische Meistertitel. Seit 2022 gehört der Klub der zweitklassigen HockeyAllsvenskan an, stieg am Ende der Saison 2024/25 wieder in die erste Liga Svenska Hockeyligan auf.
Landkreis Blankenburg
Der Landkreis Blankenburg war ein Landkreis im Osten des Herzogtums und späteren Freistaates Braunschweig und bestand aus den Ämtern Blankenburg, Hasselfelde und Walkenried. Der Landkreis wurde 1945 zwischen der britischen und der sowjetischen Besatzungszone aufgeteilt und lag dadurch später zu Teilen in der Bundesrepublik Deutschland und der DDR. Im Jahr 1950 wurde der Ostteil in die DDR-Kreise Quedlinburg und Wernigerode eingegliedert. Der westliche Teil gehörte als Landkreis Blankenburg mit der Kreisstadt Braunlage zu Niedersachsen, bis er am 1. Juli 1972 auf die Landkreise Goslar und Osterode am Harz aufgeteilt wurde.

Britische Besatzungszone
Die britische Besatzungszone (oder Nordwestzone) war eine der vier Besatzungszonen, in die Deutschland westlich der Oder-Neiße-Linie nach der Kapitulation im Mai 1945 von den alliierten Siegermächten auf der Grundlage des Besatzungsrechts aufgeteilt wurde. Sie unterstand der britischen Militärregierung und endete mit Erlass des Besatzungsstatuts im September 1949. Die mit dem Besatzungsstatut verbundenen alliierten Vorbehaltsrechte verloren jedoch erst 1990 mit der deutschen Wiedervereinigung und dem Inkrafttreten des Zwei-plus-Vier-Vertrages am 15. März 1991 auch völkerrechtlich ihre Wirkung, als Deutschland die volle Souveränität wiedererlangte.
Projektunterricht
Projektunterricht, auch Projektarbeit, bezeichnet allgemein eine Lehr- und Lernform, bei welcher der Projektgedanke die maßgebliche Rolle spielt. Es handelt sich um eine Erneuerungsidee, die mehr Lebensnähe, Problembewusstsein und interdisziplinäres Denken sowie Selbstständigkeit und Kooperationsbereitschaft der Lernenden anstrebt. Sie ist als Alternative zur theoretisch-intellektuellen Verengung der schulischen Bildung und als Reaktion auf den Frontalunterricht zu sehen und löste in der Schul- und Hochschuldidaktik wie in der Berufs- und Erwachsenenbildung seit den 1970er Jahren einen Reformschub aus.

Schülerzentrierter Unterricht
Unter einem Schülerzentrierten Unterricht versteht die Unterrichtslehre eine Form des Lehrens und Lernens, bei der das Lerngeschehen wesentlich durch die Lernenden und ihre Interessen, Fragen, Impulse und Aktionen bestimmt wird.  Diese Art zu unterrichten konkurriert mit den von ihrer Zielsetzung her andersartig ausgerichteten Arbeitsweisen des lehrerzentrierten und des sozialintegrativen Unterrichts.