hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Paretoprinzip
Das Paretoprinzip, benannt nach Vilfredo Pareto (1848–1923), auch Pareto-Effekt oder 80-zu-20-Regel genannt, besagt, dass 80 % der Ergebnisse mit 20 % des Gesamtaufwandes erreicht werden. Die verbleibenden 20 % der Ergebnisse erfordern mit 80 % des Gesamtaufwandes die meiste Arbeit.

Aufwand
Aufwand ist in der Wirtschaft allgemein der materielle oder ideelle Einsatz, den ein Wirtschaftssubjekt erbringen muss, um eine Leistung zu erstellen oder eine Gegenleistung zu erhalten. Pendant ist der Ertrag.
Couy
Couy ist eine französische Gemeinde mit 376 Einwohnern (Stand: 1. Januar 2022) im Département Cher in der Region Centre-Val de Loire. Sie gehört zum Kanton Avord und zum Gemeindeverband Berry-Loire-Vauvise. Die Einwohner werden Coiatiens genannt.

Kanton Avord
Der Kanton Avord ist ein französischer Wahlkreis im Département Cher und in der Region Centre-Val de Loire. Er umfasst 33 Gemeinden im Arrondissement Bourges. Bei der landesweiten Neuordnung der französischen Kantone wurde er 2015 neu geschaffen.
Peter Mojuntin
Datuk Peter Joinod Mojuntin ADK, PDGK (* 10. Oktober 1939 in Kg. Hungab, Penampang; † 6. Juni 1976 in Sembulan, Kota Kinabalu) war ein Politiker im malaysischen Bundesstaat Sabah und Minister für Kommunale Verwaltung in der Regierung von Tun Fuad Stephens. Er starb zusammen mit anderen Politikern bei einem Flugzeugabsturz in Kinabalu.

Sabah
Sabah (Jawi سابه, Aussprache: [saˈbah]; von arabisch صباح sabah, DMG ṣabāḥ ‚Morgen‘) ist ein Bundesstaat von Malaysia. Es bildet zusammen mit Sarawak den malaysischen Teil der Insel Borneo. Sabah wird aufgrund seiner Lage südlich (unterhalb) des pazifischen Taifungürtels auch „Land unter dem Wind“ (malaiisch negeri di bawah bayu) genannt.
Silicon Forest
Silicon Forest (engl. „Silizium-Wald“; analog gewählt zu Silicon Valley) ist der Spitzname für eine Region im Nordwesten Oregons im Großraum Portland, in der sich besonders in den 1980er und 1990er Jahren zahlreiche Technologieunternehmen niederließen. Dazu zählt der Halbleiterhersteller Intel, der in Hillsboro vier Fabriken mit insgesamt 16.000 Beschäftigten betreibt. Weitere Unternehmen mit Niederlassungen bzw. Fabriken im Silicon Forest sind beispielsweise Sun Microsystems, IBM, Hewlett-Packard, Xerox, Yahoo!, Mentor Graphics, Lattice Semiconductor Corporation und Lam Research.

Mentor Graphics
Mentor Graphics (abgekürzt: Mentor) war ein eigenständiger US-amerikanischer Hersteller von Softwareprodukten aus den Bereichen Electronic Design Automation (EDA) und Embedded Software mit Sitz in Wilsonville im US-Bundesstaat Oregon. Im Bereich EDA zählte das Unternehmen weltweit zu den größten Softwareherstellern und beschäftigte über 5.000 Personen.

Seit 2016 gehört Mentor zu Siemens, heute zur Sparte Siemens Digital Industries Software.
Die größten Konkurrenten sind Cadence und Synopsys.
Manoel Bomfim
Manoel Bomfim (* 8. August 1868 in Aracaju; † 21. April 1932 in Rio de Janeiro) war ein brasilianischer Arzt, Psychologe, Pädagoge und Historiker.

Bomfim gilt als seiner Zeit voraus in dem Sinne, dass er Begriffe von Wygotski, Jean Piaget, Ernst Bloch und Antonio Gramsci in seiner Interpretation der Gesellschaft vorwegnimmt.

Aracaju
Aracaju (Aussprache [aɾakaˈʒu]), amtlich portugiesisch Município de Aracaju, ist die Hauptstadt des brasilianischen Bundesstaates Sergipe. Sie liegt an der Mündung des Rio Sergipe in den Atlantischen Ozean, etwa 350 Kilometer nördlich von Salvador da Bahia. Sie hatte 2010 rund 571.000 Einwohner, die Bevölkerung wurde 2021 auf 672.614 Personen geschätzt, die Aracajuanos genannt werden und auf einer Gemeindefläche von rund 182,2 km² leben. Sie stellt damit etwa ein Viertel der Bevölkerung des Bundesstaates.

Der Name der Stadt ist aus „Ara“ (eine Papageienart) und „Cajú“ (eine Frucht) zusammengesetzt.
Wladimir Dubow
Wladimir Dubow (bulgarisch Владимир Дубов; ukrainisch Владімір Дубов; englisch Vladimir Dubov; * 20. Februar 1988 in der Ukrainischen SSR, UdSSR) ist ein ursprünglich ukrainischer, jetzt bulgarischer Ringer. Er wurde 2013 Vize-Europameister und Vize-Weltmeister im freien Stil im Federgewicht.

Gewichtsklassen (Ringen)
Im Ringen gibt es seit 2018 zehn Gewichtsklassen. Die Gewichtsklassen im Freistilringen der Männer, im Freistilringen der Frauen und im griechisch-römischen Stil der Männer sind unterschiedlich aufgebaut.

Anders als bei anderen Sportarten mit Gewichtsklassen gibt es für Ringer und Ringerinnen auch in der schwersten Gewichtsklasse ein Höchstgewicht, das eingehalten werden muss. Bei den Männern liegt es bei 125 kg (Freistil) bzw. bei 130 kg (gr.-röm. Stil), bei Frauen bei 76 kg. Das obligatorische Wiegen erfolgt meist eine halbe Stunde vor dem Wettkampf.
Bienvillers-au-Bois
Bienvillers-au-Bois ist eine französische Gemeinde mit 665 Einwohnern (Stand: 1. Januar 2022) im Département Pas-de-Calais in der Region Hauts-de-France. Sie gehört zum Arrondissement Arras und zum Kanton Avesnes-le-Comte. Die Einwohner werden Bienvillois genannt.

Arrondissement Arras
Das Arrondissement Arras ist eine Verwaltungseinheit des französischen Départements Pas-de-Calais innerhalb der Region Hauts-de-France. Verwaltungssitz (Präfektur) ist Arras.

Mit Wirkung auf den 1. Januar 2007 wechselten die Kantone Avion und Rouvroy im Zuge einer Verwaltungsreform vom Arrondissement Arras zum Arrondissement Lens sowie der Kanton Le Parcq zum Arrondissement Montreuil.
Municipal Building (New York)
Das David N. Dinkins Municipal Building, auch Manhattan Municipal Building, früher Municipal Building, ist ein städtisches (englisch municipal) Verwaltungsgebäude im Stadtbezirk Manhattan in New York City. Es wurde vom Architekten William M. Kendall entworfen und von 1909 bis 1914 errichtet.

Munizipalität
Als Munizipalität (lateinisch municipium; „Stadt, Stadtgemeinde“; französisch municipalité) ist ein historischer Begriff für eine administrative Gemeindestruktur, die seit Anfang des 19. Jahrhunderts auch außerhalb von Frankreich vor allem in der Schweiz und in den unter Napoleon Bonaparte französisch regierten Gebieten Deutschlands eingeführt wurde.
Efate
Efate (französisch Éfaté, auch: Île Vate, früher auch: Sandwich Island) ist eine zu den Neuen Hebriden zählende Insel der Provinz Shefa des pazifischen Inselstaats Vanuatu. Den früheren Namen „Sandwich Island“ erhielt Efate von dem britischen Entdecker James Cook.

Éfaté ist mit ungefähr 50.000 Einwohnern die bevölkerungsreichste und mit knapp 900 km² die drittgrößte Insel in Vanuatu. Die höchste Erhebung, Mount McDonald, beträgt 647 m. Die meisten Bewohner Éfatés leben heute in Port Vila, der Hauptstadt von Vanuatu.

Vorgeschichtliche Spuren finden sich im Lapita-Friedhof Teouma.

Während des Zweiten Weltkrieges diente die Insel als Militärbasis der Vereinigten Staaten.

Im Nordwesten der Insel liegt Chief Roi Mata’s Domain, die von der UNESCO 2008 als Weltkulturerbe ausgezeichnet wurde. Zu den Flüssen zählt der Lololima.

James Cook
James Cook (* 27. Oktoberjul. / 7. November 1728greg. in Marton bei Middlesbrough, Königreich Großbritannien; † 14. Februar 1779 in der Kealakekua Bay, Hawaiʻi) war ein britischer Seefahrer, Kartograf und Entdecker. Berühmt wurde er durch drei Fahrten in den Pazifischen Ozean, den er genauer kartografierte als jeder andere vor ihm. Er entdeckte zahlreiche Inseln und wies nach, dass die Terra Australis nicht existierte und die Nordwestpassage mit Schiffen seiner Zeit nicht zu durchfahren war. Von großer Bedeutung für die Seefahrt waren auch seine wirkungsvollen Maßnahmen gegen Skorbut.
Winzenberg (Naturschutzgebiet)
Das Naturschutzgebiet Winzenberg ist ein Naturschutzgebiet im Kreis Lippe mit einer Größe von rund 19,4 ha. Namensgebend für das mit der Nummer LIP-046 geführte Gebiet ist der Winzenberg nordwestlich von Lügde, an dem das Naturschutzgebiet liegt.

Das Gebiet wurde eingerichtet zur

Erhaltung und Entwicklung eines Biotops mit thermophilen Pflanzengesellschaften, besonders Halbtrockenrasen, Trockengebüschen und -säumen

Erhaltung, Wiederherstellung und Entwicklung von extensiv genutzten Grünlandgesellschaften

Erhaltung, Wiederherstellung und Entwicklung von Lebensräumen landschaftstypischer, seltener und gefährdeter Pflanzen- und Tierarten und

Erhaltung, Wiederherstellung und Entwicklung naturnaher Wald- und extensiver Grünlandbereiche

Thermophilie
Thermophilie (von altgriechisch θερμός thermós „warm“ sowie φίλος phílos „liebend“) ist die Eigenschaft von Lebewesen, insbesondere Mikroorganismen, hohe Temperaturen (45–80 °C) zu bevorzugen. Lebewesen mit dieser Eigenschaft werden als thermophil bezeichnet. Wenn  der bevorzugte Temperaturbereich oberhalb von 80 °C liegt, dann spricht man von hyperthermophilen Lebewesen. Wenn sie in der Lage sind höhere Temperaturen vorübergehend zu ertragen, nennt man sie thermotolerant, wenn sie bei höheren Temperaturen auch vermehrungsfähig sind, nennt man sie thermotroph.
Organismen, die trockene warme Lebensräume bevorzugen, nennt man xerothermophil (altgriechisch ξηρός xērós, deutsch ‚dürr, trocken‘).
Hirooki Arai
Hirooki Arai (jap. 荒井 広宙, Arai Hirooki; * 18. Mai 1988 in der Präfektur Nagano) ist ein japanischer Geher.

Im 50-km-Gehen wurde er bei den Weltmeisterschaften 2011 in Daegu Zehnter, 2013 in Moskau Elfter und 2015 in Peking Vierter. Bei den Weltmeisterschaften 2017 in London gewann Arai die Silbermedaille im 50-km-Gehen. Den bis dahin größten Erfolg seiner Karriere feierte er mit dem Gewinn der Bronzemedaille im 50-km-Gehen bei den Olympischen Spielen 2016 in Rio de Janeiro.

Leichtathletik-Weltmeisterschaften 2011
Die 13. Leichtathletik-Weltmeisterschaften fanden vom 27. August bis zum 4. September 2011 im Daegu-Stadion von Daegu in Südkorea statt. Mit dem südafrikanischen Sprinter Oscar Pistorius konnte sich erstmals ein Behindertensportler für die Leichtathletik-Weltmeisterschaften qualifizieren.
Mamasa (Sprache)
Mamasa ist eine entlang dem Mamasa-Fluss und im Regierungsbezirk Polewali Mandar auf Sulawesi gesprochene Toraja-Sprache. Sie gehört zur austronesischen Sprachfamilie.

Es lassen sich folgende Dialekte unterscheiden:

Mamasa Utara (Nordmamasa)

Mamasa Tengah (Zentralmamasa)

Pattae’ (Mamasa Selatan (Südmamasa), Patta’ Binuang, Binuang, Tae’, Binuang-Paki-Batetanga-Anteapi)

Austronesische Sprachen
Die austronesischen Sprachen bilden eine weit verbreitete Sprachfamilie mit insgesamt etwa 1150 Sprachen, die von rund 300 Millionen Menschen gesprochen werden. Nach der Anzahl der Sprachen wird  Austronesisch nur noch vom afrikanischen Niger-Kongo übertroffen, nach der Zahl seiner Sprecher ist es die fünftgrößte Sprachfamilie der Erde. Unter den Sprachfamilien wird das Austronesische in seiner flächenmäßigen Ausdehnung von Madagaskar bis zur Osterinsel, von Taiwan bis nach Neuseeland nur von den indogermanischen Sprachen übertroffen. Die Wissenschaft, die sich mit den austronesischen Sprachen und den Kulturen ihrer Sprecher befasst, heißt Austronesistik.

Der Begriff austronesisch wurde von dem österreichischen Ethnologen Wilhelm Schmidt geprägt und leitet sich ab von lateinisch auster „Südwind“ sowie griechisch nêsos „Insel“.
Morton Livingston Schamberg
Morton Livingston Schamberg (* 15. Oktober 1881 in Philadelphia, Vereinigte Staaten; † 13. Oktober 1918 ebenda) war ein US-amerikanischer Maler. Als einer der ersten in den Vereinigten Staaten griff er den Kubismus auf und fand so einen Zugang zur abstrakten Malerei. Möglicherweise war er der erste in der Kunstgeschichte, der Maschinenteile malte.

Abstrakte Malerei
Abstrakte Malerei (von lat. abstrahere: abziehen, trennen) oder auch Absolute Malerei (siehe hierzu → Abstrakte Kunst) ist ein Sammelbegriff für verschiedene Strömungen nicht gegenstandsbezogener Malweisen der Klassischen Moderne.

Als Abstrakte Malerei wird ein Ordnen oder Komponieren mit Farben, Kontrasten, Linien und geometrischen Formen ohne absichtliche Abbildung von Gegenständen oder das – ohne Kompositionsabsicht – gestische Auftragen von Farben auf Leinwand (Action Painting, Informel) bezeichnet.

In der Abstrakten Malerei vollzog sich ein Bruch mit einem der Grundprinzipien der historisch gewachsenen abendländischen Malerei. Bis zu Beginn des 20. Jahrhunderts war der Bezug zu real existierenden Objekten universaler und stilunabhängiger Bezugspunkt künstlerischen Schaffens.
Bosnisch-herzegowinischer Fußball-Cup 2002/03
Der bosnisch-herzegowinische Fußballpokal 2002/03 (in der Landessprache Kup Bosne i Hercegovine) wurde zum neunten Mal ausgespielt. Sieger wurde der FK Željezničar Sarajevo, der sich in den Finalspielen gegen den frisch gekürten Meister FK Leotar Trebinje durchsetzte.

Alle Runden wurden in Hin- und Rückspiel ausgetragen. War ein Elfmeterschießen nötig, geschah dies ohne vorherige Verlängerung. Der Sieger nahm an der Qualifikationsrunde im UEFA-Pokal 2003/04 teil.

FK Leotar Trebinje
Der Fudbalski Klub Leotar Trebinje ist ein bosnisch-herzegowinischer Fußballverein aus Trebinje. Der Verein spielt in der Saison 2023/24 in der zweithöchsten Spielklasse Bosnien und Herzegowinas, der Prva Liga. Die Vereinsfarben sind blau-weiß.
Schmidt von Schwind
Schmidt von Schwind war der Familienname von

Alexander Schmidt von Schwind (1835–1927), deutscher Gutsbesitzer und Offizier

Herwarth Schmidt von Schwind (1866–1941), deutscher Seeoffizier, zuletzt Vizeadmiral der Kaiserlichen Marine

Herwarth Schmidt von Schwind
Herwarth Ferdinand Schmidt von Schwind, später Herr auf Ettental (* 2. September 1866 in Eschberg; † 24. Juni 1941 in Ettental) war ein deutscher Seeoffizier, zuletzt Vizeadmiral der Kaiserlichen Marine.
James Peddie, Baron Peddie
James „Jim“ Mortimer Peddie, Baron Peddie (* 4. April 1905; † 13. April 1978) war ein britischer Politiker der Co-operative Party, der 1961 als Life Peer aufgrund des Life Peerages Act 1958 Mitglied des House of Lords wurde.

Co-operative Party
Die Co-operative Party ist eine Mitte-Links-Partei im Vereinigten Königreich, die genossenschaftliche Grundsätze vertritt und unterstützt. Sie agiert als Schwesterpartei von Labour. Bei Wahlen tritt die Partei unter der Bezeichnung „Labour and Co-operative Party“ an.
Trades Hall (Dumfries)
Die Trades Hall von Dumfries ist eine Trades Hall in der schottischen Stadt Dumfries in der Council Area Dumfries and Galloway. 1961 wurde das Bauwerk in die schottischen Denkmallisten in der höchsten Denkmalkategorie A aufgenommen.

Dumfries
Dumfries [dʌm'fɹiːs], schottisch-gälisch: Dùn Phris, ist die größte Stadt und Verwaltungssitz des im Süden Schottlands gelegenen Council Area von Dumfries and Galloway. Bis 1889 war sie Verwaltungssitz der traditionellen Grafschaft Dumfriesshire. Die Stadt hatte 2011 32.914 Einwohner.
Morton White
Morton Gabriel White (* 29. April 1917 in New York City; † 27. Mai 2016 in Montgomery, New Jersey) war ein US-amerikanischer Philosoph und Ideengeschichtler. Er war eine der zentralen Figuren des holistischen Pragmatismus und ein bekannter Experte für die Geschichte der amerikanischen Philosophie. Von 1953 bis 1970 war er Professor am Department of Philosophy der Harvard University und danach am Institute for Advanced Study in Princeton, dort war er zuletzt professor emeritus.

Ideengeschichte
Die Ideengeschichte befasst sich mit der Entstehung und Fortentwicklung sowie Wirkung epochentypischer Mentalitäten auf der einen Seite und wissenschaftlicher Ideen und Ansätze andererseits. In letzterem Fall handelt es sich um eine Metawissenschaft, die Teil der Wissenschaftsgeschichte ist.
Asamblea Regional de Murcia
Die Regionalversammlung von Murcia (spanisch Asamblea Regional de Murcia) ist das autonome Parlament der Region Murcia. 
Die Einkammer-Versammlung, die 45 gewählte Parlamentssitze umfasste, befindet sich in der Stadt Cartagena.

Die Volkspartei (PP) behielt ihre Mehrheit bei den Regionalwahlen 2011 in Murcia mit 33 von 45 Sitzen. Im Jahr 2015 verlor sie ihre Mehrheit und lag mit 22 Sitzen einen Sitz unter der Mehrheit.  
Seit August 2019 bilden die PP und die C's eine gemeinsame Koalitionsregierung. Diese wird durch VOX unterstützt.

Vox (Partei)
Vox (Latein für „Stimme“) ist eine nationalkonservative, rechtspopulistische und europaskeptische Partei in Spanien, die im Dezember 2013 von früheren Mitgliedern der Partido Popular (PP) gegründet wurde. Sie lehnt die Autonomierechte der spanischen Regionen ab und strebt stattdessen eine zentralistische Verfassung an; sie lehnt Immigration und Feminismus ab. In spanischen Medien wird sie teilweise als rechtsextrem eingestuft.
Acorn (Arkansas)
Acorn, Arkansas ist ein Gemeindefreies Gebiet und ein Census-Designated Place (CDP) im Polk County, Arkansas, USA, etwa 6 Meilen nördlich von Mena.

Der Ort liegt an der Kreuzung der US Route 59, der US Route 71 und der US Route 270 im nördlichen Teil des Countys. Obwohl Acorn nur eine Kreuzung in drei Richtungen ist, liegt dort das Ende von drei separaten US-Highway-Kombinationen: US 59 und 71 von Texarkana, US 59 und 270 von Heavener, Oklahoma und US 71 und 270 von „Y“ City.
Es wurde erstmals bei der Volkszählung 2020 mit einer Bevölkerung von 376 als CDP aufgeführt.

Am westlichen Rand des Orts liegt die in Nord-Süd-Richtung verlaufende Kansas-City-Southern-Railway-Bahnstrecke von Kansas City nach Shreveport.

Kansas City Southern Railway
Die The Kansas City Southern Railway (KCSR) ist eine US-amerikanische Class-1-Eisenbahngesellschaft.

Das Unternehmen gehört zum Kansas-City-Southern-Konzern. Weitere Bahngesellschaften dieser Gruppe sind die Kansas City Southern de México, früher Grupo Transportacio Ferrovia Mexicana (TFM), die Texas Mexican Railway (TexMex), indirekt über Mexrail, der Meridian Speedway und die Panama Canal Railway Co. (PCRC) zu 50 %. Das gesamte System wird auch unter dem Namen NAFTA Railway vermarktet. Sitz des Unternehmens ist Kansas City.
Ugo Frigerio
Ugo Frigerio (* 16. September 1901 in Mailand; † 7. Juli 1968 in Garda) war ein italienischer Leichtathlet.

Ugo Frigerio war 1920 der erste italienische Olympiasieger in der Leichtathletik – zumindest bei den Olympischen Spielen der Neuzeit. Er ist mit drei olympischen Goldmedaillen neben Robert Korzeniowski einer der erfolgreichsten Geher überhaupt. Zwischen 1920 und 1932 gewann er drei goldene und eine bronzene Medaille bei Olympischen Spielen. Frigerio entschied 1920 und 1924 auch seine Vorkämpfe für sich (1928 stand Gehen nicht auf dem olympischen Programm). Somit sind der britische Olympiasieger von 1932 Tommy Green und der lettische Olympiazweite Jānis Daliņš die einzigen Geher, die Ugo Frigerio bei Olympischen Spielen hinter sich lassen konnten.

Garda
Garda ist eine norditalienische Gemeinde mit 4087 Einwohnern (Stand 31. Dezember 2024) in der Provinz Verona am Westrand der Region Venetien. Garda liegt am Ostufer und ist Namensgeber des Gardasees. Im und um den Ort gibt es eine üppige, schon fast mediterrane Vegetation. Daher ist er ein beliebtes Touristenziel am See. Garda wird geprägt von der Seepromenade und dem kleinen Hafen mit dem „Palazzo dei Capitani“ aus venezianischer Zeit.

In der Nähe von Garda ragt die Landzunge Punta San Vigilio in den See. Für den Philosophen Agostino di Brenzone war es der „schönste Ort der Welt“. Heute ist dieser Ort in Privatbesitz, die Benutzung des Strandes „Baia delle Sirene“ ist kostenpflichtig.
Praia (São Mateus)
Praia (São Mateus) ist eine portugiesische Gemeinde (Freguesia) im Kreis (Município) Santa Cruz da Graciosa auf der Azoren-Insel Graciosa.
In ihr leben 733 Einwohner (Stand 19. April 2021).
Der Hafen Praias ist der bedeutendste der gesamten Insel, da hier die Fähren zu den anderen Inseln der Azoren anlegen.

Município (Portugal)
Das Município ist eine Verwaltungseinheit Portugals und die zweite Stufe der Körperschaften (autarquias) in der kommunalen Selbstverwaltung in Portugal. Ein Município besteht aus Freguesias. Während Freguesias als kleinste Verwaltungseinheit in Portugal in etwa einer Gemeinde entspricht, ist das Município ein Gemeindeverband respektive eine Verbandsgemeinde.

Der Begriff Concelho wird häufig synonym verwendet. Ursprünglich beschreibt Município die Verwaltung und den Verwaltungsort, während Concelho das verwaltete Gebiet bezeichnet.

Nicht verwechselt werden sollte Município mit dem ähnlichen Wort Munícipe, welches „Bürger“ bzw. „Bürgerin“ bedeutet.
Quantorenelimination
Quantorenelimination bezeichnet in der Modelltheorie eine bestimmte Eigenschaft von Theorien: Man sagt, eine Theorie habe Quantorenelimination, wenn jede Formel innerhalb der Theorie zu einer Formel ohne Quantoren äquivalent ist. So ist beispielsweise in einem Körper (also etwa in den reellen Zahlen) die Formel , die besagt, dass  ein multiplikatives inverses Element besitzt, äquivalent zu , also dazu, dass . In  kommen keine Quantoren mehr vor. Lässt sich jede Formel in eine solche quantorenfreie Formel umformen, so besitzt die Theorie Quantorenelimination. In Theorien mit Quantorenelimination können also beliebige Formeln in quantorenfreie und damit einfachere Formeln umgeformt werden.

Quantor
Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“, ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden.

Die beiden gebräuchlichsten Quantoren sind der Existenzquantor (in natürlicher Sprache zum Beispiel als „mindestens ein“ ausgedrückt) und der Allquantor (in natürlicher Sprache zum Beispiel als „alle“ oder „jede/r/s“ ausgedrückt). Andere Arten von Quantoren sind Anzahlquantoren wie „ein“ oder „zwei“, die sich auf Existenz- beziehungsweise Allquantor zurückführen lassen, und Quantoren wie „manche“, „einige“ oder „viele“, die auf Grund ihrer Unbestimmtheit, im Gegensatz etwa zu „alle“ oder „kein(e)“, in der klassischen Logik nicht verwendet werden.
Gregor von Utrecht
Gregor von Utrecht, auch Gregor von Pfalzel, (* um 707/708 in Trier; † 25. August 775 oder 776 in Utrecht) war Missionar und Abt. Das ihm teilweise zugeschriebene Amt eines Bischofs von Utrecht hat er offiziell nicht innegehabt, obwohl er das Bistum verwaltet hat. Er wird als Heiliger verehrt.

Erzbistum Utrecht (römisch-katholisch)
Das Erzbistum Utrecht (lateinisch: Archidioecesis Ultraiectensis, niederländisch: Aartsbisdom Utrecht) ist das römisch-katholische Erzbistum in den Niederlanden. Bis 1559 war das Bistum Utrecht dem Erzbistum Köln als Suffraganbistum unterstellt. Der weltliche Herrschaftsbereich der Bischöfe war das Hochstift Utrecht.
Flughafen Swansea
Der Swansea Airport (walisisch Maes Awyr Abertawe; auch: Fairwood Common Airfield, IATA-Code: SWS, ICAO-Code: EGFH) ist ein Flughafen westlich 10 km von Swansea in Wales liegt auf 91 m Seehöhe in der Mitte von Fairwood Common auf der Gower-Halbinsel.

Gower-Halbinsel
Die Gower-Halbinsel [ˈgaʊə] (walisisch Penrhyn Gŵyr) ist eine Halbinsel an der Südküste von Wales in Großbritannien. Die Halbinsel ist neben Snowdonia eine der bekanntesten touristischen Regionen von Wales.