hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Der Stolze
der Stolze ist der Beiname bzw. Epitheton folgender Personen:

Heinrich der Stolze (1102/1108–1139), Herzog von Bayern, Herzog von Sachsen und Markgraf von Tuszien

Albrecht der Stolze (1158–1195), Markgraf von Meißen, siehe Albrecht I. (Meißen)

Siehe auch:

Stolze

Der stolze Rebell

Der stolze Orinoco

Die Stolze

Der stolze Rebell
Der stolze Rebell (Originaltitel: The Proud Rebel) ist ein US-amerikanischer Western von Michael Curtiz aus dem Jahre 1958 mit Alan Ladd und Olivia de Havilland in den Hauptrollen. Die Handlung basiert auf einer Kurzgeschichte von James Edward Grant.
Heiner Hüfner
Heiner Hüfner (eigentlich Ernst Heinrich Hüfner; geboren im Juli 1940 in Wintersdorf, Thüringen, Deutsches Reich) ist ein deutscher Schriftsteller. In den 1980er Jahren veröffentlichte er einen Band mit Science-Fiction-Erzählungen und drei utopische Romane.

Wintersdorf (Meuselwitz)
Wintersdorf ist seit dem 1. Dezember 2007 mit ungefähr 2200 Einwohnern der größte Ortsteil der Stadt Meuselwitz im thüringischen Landkreis Altenburger Land.

Historisch wuchs der Ort besonders im 19. Jahrhundert durch den Braunkohleabbau. Ein weiterer wichtiger Wirtschaftszweig war die Tabakherstellung.
Morgan Freeman: Mysterien des Weltalls
Morgan Freeman: Mysterien des Weltalls (englisch Through the Wormhole with Morgan Freeman) ist eine von 2010 bis 2017 ausgestrahlte Dokumentar-Reihe, in der sich Morgan Freeman als Produzent und Erzähler mit grundsätzlichen Fragen des Universums (etwa nach den im Original titelgebenden Wurmlöchern) sowie menschlicher Existenz (z. B. nach einem Gott) beschäftigt. Sprecher der deutschen Fassung ist Jürgen Kluckert. Freeman arbeitete mehrfach mit Experten zusammen, darunter beispielsweise Michio Kaku oder Sean M. Carroll.

Experte
Ein Experte (auch Fachexperte oder Sachkundiger oder Spezialist) ist eine Person, die über überdurchschnittlich umfangreiches Wissen auf einem Fachgebiet oder mehreren bestimmten Sacherschließungen oder über spezielle Fähigkeiten verfügt. Neben dem theoretischen Wissen kann dessen kompetente Anwendung, also praktisches Handlungswissen, für einen Experten kennzeichnend sein. Experten sind auf der Grundlage fachlichen Wissens und Könnens imstande, „Aufgaben und Probleme zielorientiert, sachgerecht, methodengeleitet und selbständig zu lösen und das Ergebnis zu beurteilen“. Schlüsselbegriffe der Fachkompetenz sind danach Zielorientierung, Sachgerechtheit (Gegenstandsbezogenheit), Methodenkompetenz, Selbständigkeit und die Fähigkeit zu situationsgerechter Anwendung und Ergebnisbeurteilung.
Mario Javier Sabán
Mario Javier Sabán Cuño, auch Meir J. Sabán (geboren 12. Februar 1966 in Buenos Aires, Argentinien) ist ein argentinischer Judaist, Forscher und Hochschullehrer der Kabbala, Psychologe, Theologe, Autor und Philosoph, der aus einer sephardisch-jüdischen Familie stammt. Seine 1492 aus Spanien vertriebenen Vorfahren ließen sich im Osmanischen Reich nieder.

Jüdische Studien
Jüdische Studien und Judaistik sind die offiziellen Bezeichnungen einer wissenschaftlichen Disziplin, die an mehreren deutschsprachigen Universitäten studiert werden kann und nach ihrem Selbstverständnis an die Tradition der Wissenschaft des Judentums anknüpft, die sich im 19. Jahrhundert als eigenständige akademische Disziplin entwickelte.
California State Route 67
Die California State Route 67 (kurz CA 67) ist eine State Route im US-Bundesstaat Kalifornien, die in Nord-Süd-Richtung verläuft.

Die State Route beginnt an der Interstate 8 in El Cajon und endet in Ramona an der California State Route 78. Zwischen El Cajon und Lakeside ist die Straße als Freeway ausgebaut und trägt den Namen San Vincente Freeway. Im Jahr 2004 gab es Pläne, die State Route auf weiteren Abschnitten nördlich von Lakeside als Freeway auszubauen. Diese Pläne wurden aber wieder aufgegeben. Des Weiteren wurde 1964 geplant, die Straße bis zum östlichen Ende der California State Route 56 zu bauen. Auch diese Überlegungen wurde verworfen.

Staatsstraße
Als Staatsstraße (englisch State Route) werden Straßen bezeichnet, die in der Hierarchie unterhalb der Nationalstraßen stehen oder als Nationalstraßen fungieren. Staatsstraßen gibt es in verschiedenen Staaten, neben den deutschsprachigen Ländern unter anderem in den Vereinigten Staaten, Australien oder Mexiko.
Edmund Paulus
Ernst Edmund Paulus (* 20. November 1837 in Markneukirchen; † 10. September 1910 ebenda) war ein deutscher Politiker (Nationalliberale Partei) und Musikinstrumentenbauer und -fabrikant. Er war Mitglied des sächsischen Landtages.

Markneukirchen
Markneukirchen (vogtländisch Neikirng) ist eine Stadt im sächsischen Vogtlandkreis. Sie  liegt im Elstergebirge zwischen dem Erzgebirge und dem Fichtelgebirge und ist einer der Hauptorte des Musikwinkels.
Viktor Prodell
Viktor Juhani Prodell (* 29. Februar 1988 in Eskilstuna) ist ein schwedischer Fußballspieler. Der Stürmer, der mit Åtvidabergs FF zweimal in die Allsvenskan aufstieg, debütierte 2013 in der schwedischen Nationalmannschaft.

Eskilstuna
Eskilstuna [ˈɛskilstʉːna] ⓘ ist die größte Stadt der schwedischen Provinz Södermanlands län, im Nordwesten der historischen Provinz Södermanland. Eskilstuna ist der Hauptort der gleichnamigen Gemeinde.
Mycothiol
Mycothiol (MSH oder AcCys-GlcN-Ins) ist ein bakterielles Thiol, das in Actinobakterien vorkommt und analog zu Glutathion in Eukaryoten wirkt. Mycothiol dient den Bakterien zum Abbau reaktiver Sauerstoffspezies und zur Entgiftung, unter anderem von manchen Antibiotika.

Es besteht aus einem Cystein-Anteil mit einer acetylierten Aminogruppe, die an Glucosamin gebunden ist. Dies ist wiederum verbunden mit Inositol. Die oxidierte Disulfid-Form des Mycothiol (MSSM) nennt man Mycothion, welches zu Mycothiol durch das Flavoprotein Mycothion-Reductase reduziert wird.

Enzyme der Mycothiol-Biosynthese und Mycothiol-abhängige Enzyme wie die Mycothiol-abhängige-Formaldehyd-Dehydrogenase und Mycothion-Reductase werden als Zielsubstanzen für die Entwicklung von Behandlungen der Tuberkulose genommen.

Flavoproteine
Flavoproteine (Flavinenzyme, Flavoenzyme) sind eine in Tieren, Pflanzen und Mikroorganismen weit verbreitete Gruppe von  Proteinen bzw. Oxidoreduktasen, die als Kofaktor Flavinnukleotide (Flavinadenindinukleotid (FAD), Flavinmononukleotid (FMN)) enthalten.

Es handelt sich um Enzyme, die Redox-Reaktionen katalysieren, wobei Flavin als Elektronenüberträger dient, der umkehrbar oxidiert und reduziert werden kann.

Flavoproteine sind grundlegend für alle Vorgänge der Zellatmung, da sie an den entsprechenden Elektronentransportketten beteiligt sind, zum Beispiel das elektronentransferierende Flavoprotein.

Beispiele sind unter anderem die Succinat-Dehydrogenase und die Glucose-Oxidase.
Val d’Issoire
Val d’Issoire ist eine Gemeinde im französischen Département Haute-Vienne in der Region Nouvelle-Aquitaine. Sie liegt im Kanton Bellac im Arrondissement Bellac.

Sie entstand als Commune nouvelle mit Wirkung vom 1. Januar 2016 durch den Zusammenschluss der bisherigen Gemeinden Bussière-Boffy und Mézières-sur-Issoire.

Arrondissement Bellac
Das Arrondissement Bellac ist eine Verwaltungseinheit im französischen Département Haute-Vienne innerhalb der Region Nouvelle-Aquitaine. Verwaltungssitz (Unterpräfektur) ist Bellac.

Es besteht aus drei Kantonen und 57 Gemeinden.
Cill Charthaigh
Cill Charthaigh (dt.: „Die Kirche von St. Cartha“) ist ein kleiner Ort und Parish im County Donegal im Nordwesten der Republik Irland, der auf eine Klostergründung im 6. Jahrhundert zurückgeht. Da Cill Charthaigh in einer Gaeltacht-Region liegt, ist der irische Name der einzig offizielle. Die englische Version Kilcar ist aber ebenso gebräuchlich.

Kilcar liegt ganz im Südwesten der Grafschaft Donegal an der Regionalstraße R263. Von der Nationalstraße N56 nahe Killybegs ist Kilcar etwa 13 km, vom Meer nur einen Fußweg weit entfernt. Die Einwohnerzahl Kilcars wurde bei der Volkszählung 2022 mit 403 Personen ermittelt.

Gaeltacht
Die Gaeltacht [ˈɡeːl̪ˠt̪ˠəxt̪ˠ] (Plural Gaeltachtaí [ˈɡeːl̪ˠt̪ˠəxt̪ˠiː]) sind Regionen in Irland, in denen Irisch offiziell die vorherrschende Sprache ist. Die Gesamtheit dieser Regionen sowie einzelne Regionen werden mit dem Singular bezeichnet, mehrere einzelne Regionen mit dem Plural.
Mount Mohl
Mount Mohl ist ein 3710 m hoher Berg im westantarktischen Ellsworthland. Er ragt im Craddock-Massiv der Sentinel Range des Ellsworthgebirges aus einem Bergkamm zwischen den Kopfenden des Dater-Gletschers und des Thomas-Gletschers auf.

Der United States Geological Survey kartierte ihn anhand eigener Vermessungen und mithilfe von Luftaufnahmen der United States Navy zwischen 1957 und 1959. Das Advisory Committee on Antarctic Names benannte ihn 1961 nach Commander Edgar Vincent Mohl (1915–1980) von der US-Navy, Ingenieur und Hydrograph bei den ersten beiden Operations Deep Freeze (1955–1956 und 1956–1957).

Ellsworthgebirge
Das Ellsworthgebirge (Ellsworth Mountains) liegt im westantarktischen Ellsworthland und bildet das höchste Gebirge ganz Antarktikas. Eine Vielzahl hoher Berge ragen aus dem Antarktischen Eisschild. Das Gebirge erstreckt sich aufgeschlossen leicht bogenförmig in NNW-SSO-Richtung über eine Länge von ca. 350 km und einer Breite von ca. 50 km am südlichen Rand des Filchner-Ronne-Schelfeises. Zusammen mit dem anschließenden Whitmoregebirge bildet es eine geologische Einheit, die als Ellsworth-Whitmore Mountain-Terran bezeichnet wird.

Auf oder an einem 1600 bis 1370 mya alten Grundgebirge entwickelte sich ab dem Kambrium ein Becken. In diesem entstand eine bis zu 13.000 m mächtige Sequenz aus unterkambrischen bis permischen Sedimenten. Während der Gondwanide-Orogenese wurden die Sedimentablagerungen am Rand einer Subduktionszone tektonisch überprägt und gefaltet.
Villa Trost
Die Villa Trost befindet sich in Bremen, Stadtteil Burglesum, Ortsteil Lesum, Lesmonastraße 3. Das Haus entstand bis 1912 nach Plänen von Alfred Runge und Eduard Scotland.

Es steht seit 1982 unter Bremer Denkmalschutz.

Bremer Denkmale
Die Bremer Denkmale der Freien Hansestadt Bremen (Land) werden vom Landesamt für Denkmalpflege Bremen erfasst, in der Landesdenkmalliste registriert und seit 2004 in der Denkmaldatenbank in Wort und Bild vorgestellt. Die Denkmalliste enthält von zurzeit (2020) rund 1850 Kulturdenkmale als Grunddaten für jedes Denkmal die amtlichen Adressen, Informationen zur ursprünglichen Bezeichnung des Objektes, Angaben über den Zeitpunkt seiner Entstehung sowie die wichtigsten denkmalswerten Umbauphasen. Die Denkmalliste ist eine offene Liste; immer wieder kommen neue Denkmale hinzu.
BITBUS
BITBUS (IEEE 1118) ist ein offener und nicht proprietärer Feldbus. Ursprünglich wurde BITBUS 1984 von Intel spezifiziert und 1991 unter der Bezeichnung IEEE 1118 als internationaler Standard angenommen. Er baut auf zwei verbreiteten Standards als Grundlage auf. Die RS-485 Schnittstelle wird als physikalische Verbindung zwischen den einzelnen Geräten verwendet. Auf der Softwareseite wird Synchronous Data Link Control (SDLC) verwendet.

Die folgenden Eigenschaften werden BITBUS zugesprochen:

Eine geringe Total Cost of Ownership (TCO)

Zuverlässigkeit

Deterministisches Verhalten

Die Echtzeitkontrolle wird ins Feld delegiert

Sehr gutes Verhältnis von Entfernung zu Übertragungsgeschwindigkeit

Unterstützung auf vielen Betriebssystemen

Institute of Electrical and Electronics Engineers
IEEE (meist als „i triple e“ [ai trɪpl i:] gesprochen; Abkürzung für Institute of Electrical and Electronics Engineers) ist ein weltweiter Berufsverband von Ingenieuren, Technikern, (Natur-)Wissenschaftlern und angrenzender Berufe hauptsächlich aus den Bereichen Elektrotechnik und Informationstechnik. Es hat seinen juristischen Sitz in New York City und seine Betriebszentrale in Piscataway, New Jersey. Es ist Veranstalter von wissenschaftlichen Fachtagungen, Herausgeber diverser akademischer Fachzeitschriften und bildet Gremien für die Standardisierung von Techniken, Hardware und Software. Wissenschaftlichen Beiträgen in Fachzeitschriften oder zu Konferenzen des IEEE wird im Allgemeinen eine besonders hohe fachliche Güte unterstellt. Mit Veröffentlichungen wie der Mitgliederzeitschrift IEEE Spectrum setzt sich die Organisation auch für eine fachübergreifende Information und die Diskussion der gesellschaftlichen Auswirkungen neuer Technologien ein.
New Age Steppers
Die New Age Steppers waren ein Dub-Kollektiv aus dem Vereinigten Königreich, das vom Produzenten Adrian Sherwood gegründet wurde und Mitglieder verschiedener prominenter britischer Post-Punk-Gruppen der 1970er Jahre einschließlich Ari Up und Viv Albertine von den Slits, Mark Stewart und Bruce Smith von The Pop Group, Keith Levene von Public Image Ltd, John Waddington von Rip Rig + Panic und Vicky Aspinall von den Raincoats umfasste. Andere Musiker waren Mitarbeiter von Sherwoods  On-U Sound-Label, darunter George Oban, Style Scott und Eskimo Fox.

Viv Albertine
Viviane Katrina Louise Albertine (* 1. Dezember 1954 in Sydney, New South Wales) ist eine englische Musikerin, Singer-Songwriterin, Autorin und Regisseurin. In den Jahren 1977 bis 1981 spielte sie Gitarre in der britischen Punkband The Slits.
Mao Gong Ding
Das Mao Gong Ding oder Mao Kung Ting ist ein Bronze-Ding aus der Zeit der westlichen Zhou-Dynastie (1045 bis 771 vor Christus).

Das Ding trägt auf der Innenseite 497 Schriftzeichen, die längste bekannte Bronzeinschrift.
Das Objekt ging in der Antike zunächst verloren und wurde 1843 in Shaanxi bei einer Grabung entdeckt. Vor bzw. während des chinesischen Bürgerkrieges war das Mao Gong Ding in Besitz des Shanghaier Millionärs Chen Yon Ren. Nach dessen Tod ging es in den Besitz der Kuomintang-Regierung über. Im Jahr 1948 wurde es zusammen mit zahlreichen anderen Kunstgegenständen nach Taiwan gebracht. Es ist im Nationalen Palastmuseum ausgestellt.

Neben dem Fleischstein und dem Jadekohl ist es eines der bedeutendsten Kulturgüter Chinas.

Kuomintang
Die Kuomintang Chinas (KMT; chinesisch 中國國民黨, Pinyin Zhōngguó Guómíndǎng, W.-G. Chungkuo Kuomintang – „Nationale Volkspartei Chinas“), nach den Mitgliedern oft als Nationalchinesen bezeichnet, ist heute eine Partei der Republik China auf Taiwan. Sie begründete 1912 die erste chinesische Republik, errang 1927 die Herrschaft über das chinesische Festland, musste sich aber nach dem verlorenen Bürgerkrieg 1949 gegen die Kommunistische Partei nach Taiwan zurückziehen, wo sie die Republik China formell fortführte und bis 1990 diktatorisch beherrschte. Heute ist sie Teil des demokratischen Mehrparteiensystems auf Taiwan und gilt als eine Partei, die der Annäherung an die Volksrepublik China offen gegenübersteht. Sie setzt sich für die Ein-China-Politik ein.

Bekannte Führer der KMT waren Sun Yat-sen, Chiang Kai-shek, Chiang Ching-kuo, Lee Teng-hui, Lien Chan und Ma Ying-Jeou.
Rookery Lake
Der Rookery Lake (englisch für Brutkolonie-See) ist ein nahezu kreisrunder See an der Ingrid-Christensen-Küste des ostantarktischen Prinzessin-Elisabeth-Lands. Er liegt am westlichen Ende der Langnes-Halbinsel in den Vestfoldbergen.

Der See gehört zu einer Reihe von Seen in den Vestfoldbergen, die auf der Davis-Station untergebrachte Biologen im Rahmen der Australian National Antarctic Research Expeditions untersuchten. Das Antarctic Names Committee of Australia benannte ihn 1975 nach einer benachbarten Brutkolonie von Adeliepinguinen.

Adeliepinguin
Der Adeliepinguin (Pygoscelis adeliae) ist eine antarktisch-subantarktische Art der Pinguine aus der Gattung der Langschwanzpinguine. Charakteristisch für den Adeliepinguin ist der schwarze Kopf, der weiße Ring rund um das Auge und der verhältnismäßig klein wirkende Schnabel. Neben dem Kaiserpinguin ist er die einzige Pinguinart, die auf dem Hauptteil des antarktischen Kontinents vorkommt. Eine im Rossmeer befindliche Brutkolonie dieser Art gilt sogar als die südlichste Pinguinkolonie weltweit. Benannt ist die Art nach der Frau des französischen Polarforschers Jules Dumont d’Urville.

Es werden keine Unterarten für diese Art unterschieden. Die IUCN stuft den Adeliepinguin derzeit als ungefährdet (least concern) ein.
Burg Eilenburg
Die Eilenburg (auch Eulenburg) ist eine Burganlage in der gleichnamigen sächsischen Stadt Eilenburg im Landkreis Nordsachsen und lag ehemals im Bereich des Limes Sorabicus. Die vermutlich im 9. Jahrhundert angelegte slawische Befestigung wurde in der zweiten Hälfte des 10. Jahrhunderts Zentrum des Burgwards Ilburg. Um die Jahrtausendwende kam sie in den Besitz der Wettiner und gab danach dem Geschlecht derer zu Eulenburg (Adelsgeschlecht) seinen Herkunftsnamen. Die für die Landesgeschichte Sachsens bedeutende Burg besteht heute aus zwei mit Backstein errichteten Wohntürmen aus den Jahrzehnten um 1200, einer etwa gleichaltrigen Ringmauer, mehreren Gräben und dem barocken Amtshaus. Der dritte Turm, ein Bergfried unbekannten Alters, stürzte 1972 teilweise ein. Die Ruine wurde kurz darauf gesprengt.

Landkreis Nordsachsen
Der Landkreis Nordsachsen ist ein Landkreis im Freistaat Sachsen. Er entstand am 1. August 2008 im Zuge der sächsischen Kreisreform durch den Zusammenschluss der ehemaligen Landkreise Torgau-Oschatz und Delitzsch.

Hier leben 199.422 Einwohner in 30 Gemeinden auf einer Gesamtfläche von etwa 2.020 km² (Stand: 2022). Flächenmäßig ist Nordsachsen der viertgrößte Landkreis Sachsens, hat jedoch die niedrigste Bevölkerungszahl. Größte Stadt des Landkreises ist Delitzsch, Verwaltungssitz ist die ehemalige Residenzstadt Torgau. Weitere Große Kreisstädte sind die Städte Eilenburg, Schkeuditz und Oschatz.
Liebe Angst
Liebe Angst ist ein deutscher Dokumentarfilm aus dem Jahr 2022. Die Sängerin Kim Seligsohn und die Regisseurin Sandra Prechtel schildern die Familiengeschichte von Seligsohns Großmutter, die als Jüdin in Auschwitz ermordet wurde, ihrer Mutter, die als kleines Kind mit ihren Brüdern überlebte, und ihre eigene als Angehörige der zweiten Generation.

Holocaust-Nachfolgegeneration
Als Holocaust-Nachfolgegeneration, manchmal auch Zweite Holocaust-Generation, bezeichnet man nach dem nationalsozialistischen Völkermord geborene Kinder von Überlebenden des Holocaust. In den ersten Jahrzehnten nach Kriegsende wurde die Auseinandersetzung mit dem Holocaust allgemein verdrängt. Seit den 1960er Jahren ist diese Bevölkerungsgruppe Gegenstand wissenschaftlicher Untersuchungen und seit Mitte der 1970er Jahre wird sie zunehmend künstlerisch thematisiert.
St. Gallus und Otmar (Ebringen)
St. Gallus und Otmar ist die römisch-katholische Pfarrkirche von Ebringen, einem Breisgau-Ort südwestlich von Freiburg im Breisgau am Westabhang des Schönbergs.

Die Pfarrgemeinde gehört zur Seelsorgeeinheit Batzenberg-Schönberg des Erzbistums Freiburg. Die beiden Kirchenpatrone sind der heilige Gallus, der um 612 am Ufer des Flüsschens Steinach eine Einsiedelei errichtete, und der heilige Otmar, der etwa hundert Jahre später die Einsiedelei zu einem Benediktinerkloster ausbaute, das er nach Gallus benannte. Besonders der Ebringer Pfarrer und Kunsthistoriker Manfred Hermann hat Geschichte und Gestalt der Kirche erforscht.

Einsiedelei
Eine Einsiedelei, Eremitage oder Ermitage (französisch ermitage [ɛʁmiˈtaʒ]), mitunter auch als Eremo bezeichnet, ist ein religiöser Bau. Einsiedeleien sind Orte der Kontemplation, in denen Geistliche oder religiöse Laien in oft einsam gelegenen Klausen oder Kapellen ein zurückgezogenes Leben des Gebets führen. Benannt sind sie nach der Bezeichnung für zurückgezogen und allein lebende Personen, Einsiedler oder Eremiten, die aber weder zwingend religiös sein noch in solchen oder überhaupt in Gebäuden leben müssen.

Einsiedeleien oder Eremitagen können alternativ auch Hütten oder kleine Landhäuser in Barockgärten oder englischen Landschaftsgärten sein (→ Folly), in denen zum Teil Schmuckeremiten wohnten, oder kleine Lustschlösser, in denen sich der Adel selbst einer vorübergehenden Abgeschiedenheit und Naturverbundenheit hingab.
Parallele Algorithmen für das Erfüllbarkeitsproblem
Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von englisch satisfiability) ist eines der grundlegendsten, schweren Probleme der Informatik. Obwohl die Problemdefinition denkbar einfach und abstrakt ist, finden sich unzählige Anwendungsgebiete in Industrie und Forschung, weshalb effiziente Lösungsansätze schon lange Gegenstand der Forschung sind. Die Anwendungsbereiche des Erfüllbarkeitsproblems erstrecken sich von simplen Konfigurationsaufgaben bis hin zu Lösungsansätzen von schwierigen Problemen der Naturwissenschaften.

Weil viele der Anwendungen für das Erfüllbarkeitsproblem riesige Problemstellungen lösen müssen, und Prozessoren inzwischen an physikalische Grenzen stoßen, was Geschwindigkeit und Größe betrifft, schwenken Prozessorhersteller und in Folge auch die Algorithmentechnik seit Jahren auf Mehrprozessorsysteme um. Dies erfordert allerdings spezielle Algorithmen für das Erfüllbarkeitsproblem, welche die zusätzliche Hardware auch effizient nutzen können.

Hardware
Hardware (​/⁠ˈhɑːdˌwɛə⁠/​ im britischen bzw. ​/⁠ˈhɑɹdˌwɛɚ⁠/​ im amerikanischen Englisch, gelegentlich mit „HW“ abgekürzt) ist der Oberbegriff für die physischen Komponenten (die elektronischen und mechanischen Bestandteile) eines datenverarbeitenden Systems, als Ergänzung zur Software (den Programmen und Daten).
Michael Fahres
Michael Fahres (* 15. April 1951 in Bamberg) ist ein deutscher Komponist und lebt seit 1973 in den Niederlanden.

Nach seinen Studien der Germanistik, Theaterwissenschaft, Musik und Philosophie studierte er am Institut für Sonologie bei G.M.König, W.Kaegi und O.E.Laske, Komposition unter Peter Schat, Konrad Boehmer, Louis Andriessen und Ton de Leeuw.

Er war von 1976 bis 1998 Direktor des Zentrums für elektronische Musik (CEM-Studio) und lebt heute als Komponist und Mitarbeiter des holländischen Rundfunks NPS in Utrecht.
1979 initiierte Fahres das „European Minimal Music“-Projekt, das in verschiedenen Ländern der Erde ausgestellt wurde.
1983 erhielt er den Kompositionspreis des Sweelinck-Konservatoriums.

Sein 1990 iniiertes Projekt „Sunwheel“, ein 16-stündiges Konzert zum Thema Sonne, in Zusammenarbeit mit Kurt Dahlke und Michael Jüllich, wurde zum europäischen Rundfunkpreis Prix Italia vorgeschlagen und in Lelystad und am Massada-Felsen in Israel aufgeführt.

Lelystad
Lelystad (anhörenⓘ) ist die Hauptstadt der niederländischen Provinz Flevoland. Lelystad hat 84.722 Einwohner (Stand: 1. Januar 2025).

Das Gemeindegebiet schließt sowohl einen Teil des IJsselmeers als auch den Großteil des Markermeers ein. Vom Festland (Polder Flevoland) aus führt der Houtribdijk (auch Markerwaarddijk), der das IJsselmeer vom Markermeer trennt, nach Enkhuizen. Auch der Deich fällt in das Gemeindegebiet von Lelystad.
Bananengewächse
Die Bananengewächse (Musaceae) sind eine Familie in der Ordnung der Ingwerartigen (Zingiberales) innerhalb der Einkeimblättrigen Pflanzen.

Diese kleine Familie umfasst nur die drei Gattungen Musa (Bananen), Ensete und die monotypische Gattung Musella mit insgesamt etwa 35 bis 42 Arten. Die ursprüngliche Heimat ist die Alte Welt. Doch heute findet man Bananen-Sorten in den frostfreien Gebieten der ganzen Welt. Es gibt eine Reihe von Arten und Hybriden, deren Sorten genutzt werden. Bekannt ist besonders die Banane als tropische Frucht. In tropischen Ländern spielen die Bananenfrüchte eine wichtige Rolle auch als Gemüse beziehungsweise Stärkebeilage. Außerdem dienen Musa- und Ensete-Arten der Faserproduktion und viele weitere Nutzungen sind bekannt. Von Ensete ventricosum werden vegetative Pflanzenteile gegart gegessen. Einige Arten und ihre Sorten aller drei Gattungen werden als Zierpflanzen verwendet.

Alte Welt
Die Alte Welt ist eine historische Bezeichnung für die Kontinente der Erde, die den Europäern vor der Entdeckung Amerikas 1492 bekannt waren: Europa, Afrika und Asien. Teilweise wird auch nur Europa darunter verstanden.