hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Preußische Instruktionen
Die Preußischen Instruktionen (PI) sind ein bibliothekarisches Regelwerk, das früher in wissenschaftlichen Bibliotheken zur Katalogisierung verwendet wurde. Die Preußischen Instruktionen wurden ab den 1980er Jahren von anderen Regelwerken wie den Regeln für die alphabetische Katalogisierung (RAK) abgelöst, welche ihrerseits seit 2015 vom Regelwerk Resource Description and Access (RDA) ersetzt werden.

Bibliothekarisches Regelwerk
Bibliothekarische Regelwerke (auch Kataloginstruktionen) sind Regelwerke, die bestimmen, wie Bibliotheken ihre einzelnen Medien in ihren Bibliothekskatalog einzutragen haben. Zweck dieser Regelwerke ist es, durch ihre Anwendung einheitliche und vergleichbare Katalogisate zu den einzelnen Medien zu erhalten.

Zu unterscheiden sind dabei Regeln für die sogenannte Formalerschließung, welche die formalen Merkmale einer Titelaufnahme katalogisiert (z. B. Autor, Titel, Erscheinungsort und Verlag), und Regeln für die Sacherschließung, mit der die inhaltlichen Merkmale der Ressource beschrieben werden (z. B. durch Schlagwörter bzw. Deskriptoren).
Torcé
Torcé (auf Gallo Torczae, auf Bretonisch Tourc’heg) ist eine Gemeinde in der Bretagne in Frankreich. Sie gehört zum Département Ille-et-Vilaine, zum Arrondissement Fougères-Vitré, zum Arrondissement Fougères-Vitré und zum Kanton La Guerche-de-Bretagne. Sie grenzt im Nordwesten Cornillé, im Norden an Saint-Aubin-des-Landes, im Nordosten und im Osten an Étrelles, im Süden an Vergéal, im Südwesten an Bais und im Westen an Louvigné-de-Bais. Die Bewohner nennen sich Torcéens.

Étrelles
Étrelles (bretonisch: Stredell; Gallo: Estrèll) ist eine französische Gemeinde mit 2.670 Einwohnern (Stand: 1. Januar 2022) im Département Ille-et-Vilaine in der Region Bretagne. Sie gehört zum Arrondissement Fougères-Vitré und zum Kanton La Guerche-de-Bretagne. Die Einwohner werden Étrellais genannt.
Leistungsklasse A 2011/12
Die Saison 2011/2012 der Leistungsklasse A war die 23. Austragung der höchsten Spielklasse im Schweizer Fraueneishockey und zugleich die 26. Schweizer Meisterschaft. Den Titel gewann zum zweiten Mal in Folge die Frauenmannschaft der ZSC Lions Frauen.

Women’s League
Die Women’s League (bis 2019 Swiss Women’s Hockey League A, bis 2014 Leistungsklasse A, kurz LKA oder LK A) ist die höchste Fraueneishockeyspielklasse der Schweiz. Sie wurde 1989 durch den Schweizer Eishockeyverband gegründet. Amtierender Meister sind die SCB Frauen.
Maribo Amt
Maribo Amt (benannt nach der Stadt Maribo) war bis zur dänischen Kommunalreform zum 1. April 1970 eines der damaligen Ämter in Dänemark. Das Amt umfasste die Inseln Lolland und Falster und entstand 1803 durch Zusammenlegung von Maribo Amt, Halsted Amt, Ålholm Amt und Nykøbing Amt. 1970 wurden Maribo Amt und Præstø Amt zum Storstrøms Amt zusammengelegt, welches im Zuge der Kommunalreform 2007 in der Region Sjælland aufging.

Das Amt bestand aus sechs Harden (dänisch Herred):

Lollands Nørre Herred

Lollands Sønder Herred

Fuglse Herred

Musse Herred

Falsters Nørre Herred

Falsters Sønder Herred

Præstø Amt
Præstø Amt (benannt nach der Stadt Præstø) war bis zur dänischen Kommunalreform zum 1. April 1970 eines der damaligen Ämter in Dänemark. Das Amt entstand 1750 durch Zusammenlegung von Tryggevælde Amt und Vordingborg Amt. 1803 kam noch Møn Amt dazu. 1970 wurden Maribo Amt und Præstø Amt zum Storstrøms Amt zusammengelegt, das im Zuge der Kommunalreform 2007 in der Region Sjælland aufging.

Das Amt bestand aus sieben Harden (dän.: Herred):

Tybjerg Herred

Hammer Herred

Bjæverskov Herred

Stevns Herred

Fakse Herred

Bårse Herred

Monbo Herred
Karische Sprache
Das Karische war die Sprache der Karer, der indigenen Bevölkerung des südlichen Westkleinasiens (Karien) während der griechischen Antike. Es war eine anatolische Sprache, und damit auch eine indogermanische. Am nächsten steht es dem im Südosten angrenzenden Lykischen und insbesondere der lykischen Dichtersprache (Lykisch B oder auch Milyisch), während es sich von dem im Norden angrenzenden Lydischen stark unterscheidet.
Die karische Sprache ist in mehr als 200 Inschriften aus der Zeit zwischen 750 und 250 v. Chr. überliefert. Ältere Inschriften wurden in Ägypten und Nubien gefunden (Abu Simbel, Memphis u. a.), wo Karer Söldner im Dienste des Pharaos waren, sie stammen aus dem 7. und 6. Jahrhundert. Die jüngeren Inschriften stammen aus Karien selbst.

Ignacio Javier Adiego
Ignacio Javier Adiego Lajara (* 9. Mai 1963 in Barcelona) ist ein spanischer Linguist. Er ist Professor für indogermanische Linguistik und Direktor des Instituts für den Alten Orient an der Universität Barcelona. Seine Forschung trug maßgeblich zur Entzifferung der Karischen Sprache bei.
Elefantenfußtrommel
Die Elefantenfußtrommel (chinesisch 象脚鼓, Pinyin xiàngjiǎogǔ, aus xiang jiao gu, „Elefanten-Fuß-Trommel“) ist eine langgestreckte hölzerne Bechertrommel der Dai in der Volksrepublik China. Sie wird an der Taille getragen. Namensgeber ist ihr unteres Ende, das einem Elefantenfuß ähnelt. Sie ist mit der ozi in Myanmar und der klong yao in Thailand formverwandt.

Der Korpus ist aus dem Stamm des Mango-Baumes oder des Ceiba-Baumes geschnitzt und mit Rindshaut bespannt. Es gibt lange, mittelgroße und kurze Trommeln. Das Instrument ist auch bei den Jingpo, Wa, Lisu, Lahu, Blang, Achang und De’ang sowie den Khmu verbreitet.

Der Elefantenfußtrommeltanz der Dai in Mang in der chinesischen Provinz Yunnan steht auf der Liste des immateriellen Kulturerbes der Volksrepublik China (658 III-61).

Ozi (Myanmar)
Ozi, auch òzi, ò-zi (burmesisch), ist eine große Bechertrommel, die in der volkstümlichen und rituellen Musik Myanmars von den Bamar und Shan in den ländlichen Bereichen des zentralen Tieflands und von einigen Minderheitenvölkern in den Bergregionen gespielt wird. Nach Größe, die zwischen einem und drei Meter Länge beträgt, und Form unterscheiden sich die aus einem Holzstück gefertigten Trommeln der verschiedenen Ethnien beträchtlich. Die ozi wird bei Jahresfesten und in der religiösen Prozessionsmusik eingesetzt und stellt für die Ethnien in ihrer individuellen Gestalt ein kulturelles Identifikationsmerkmal dar.
Feder & Schwert
Feder & Schwert GmbH war ein Kölner Verlag (bis 2016 Sitz in Mannheim) für fantastische Literatur. Bekannt wurde der Verlag insbesondere durch die deutsche Übersetzung diverser Rollenspielprodukte aus der Welt der Dunkelheit, wie zum Beispiel Vampire: Die Maskerade und dessen Nachfolger Vampire: Requiem.

Hunter: The Reckoning
Hunter: The Reckoning ist eine Rollenspiel-Reihe aus der sogenannten World of Darkness des US-amerikanischen Verlags White Wolf. In Deutschland existiert das Spiel unter dem Titel Jäger. Die Vergeltung und wird vom Verlag Feder & Schwert herausgegeben.
GAUSSIAN
GAUSSIAN ist eine in der Programmiersprache Fortran geschriebene Computerchemie-Software, sie wurde initiiert von dem Nobelpreisträger John Anthony Pople.
Der Name des Programms stammt von der Nutzung von Linearkombinationen aus Gaußfunktionen, um eine Beschleunigung der Berechnung gegenüber den Slater-Orbitalen zu erreichen.

Chemoinformatik
Chemoinformatik, Cheminformatik oder Chemieinformatik (englisch: Chemoinformatics, Cheminformatics, Chemical Informatics oder Chemiinformatics) bezeichnet einen Wissenschaftszweig, der das Gebiet der Chemie mit Methoden der Informatik verbindet mit dem Ziel, Methoden zur Berechnung von Moleküleigenschaften zu entwickeln und anzuwenden.

Zu den Gründern des Fachgebiets zählen unter anderem die Wissenschaftler Paul deMain (1924–1999), Johann Gasteiger, Jure Zupan (* 1943) und Ivar Ugi.
Fåborg Sogn (Faaborg-Midtfyn Kommune)
Fåborg Sogn ist eine Kirchspielsgemeinde (dän.: Sogn) in der Kommune Faaborg-Midtfyn. Bis 1970 gehörte sie zur Harde Sallinge Herred im damaligen Svendborg Amt. Mit der Auflösung der Hardenstruktur wurde das Kirchspiel in die Kommune Faaborg im damals neu gegründeten Fyns Amt aufgenommen, dieses gehört seit der Kommunalreform zum 1. Januar 2007 zur Region Syddanmark.

Am 1. Januar 2025 lebten von den 6763 Einwohnern der Stadt Faaborg 5985 Einwohner im Kirchspiel. Im Kirchort Faaborg liegt die „Helligåndskirken“. Zum Gemeindegebiet gehört die Insel Bjørnø.

Nachbargemeinden sind im Norden Svanninge, im Osten Diernæs und im Westen Horne.

Svanninge Sogn
Svanninge Sogn ist eine Kirchspielsgemeinde (dän.: Sogn)
auf der Insel Fyn (dt.: Fünen) im südlichen Dänemark.
Bis 1970 gehörte sie zur Harde Sallinge Herred im damaligen Svendborg Amt, danach zur Faaborg Kommune im
Fyns Amt, die im Zuge der  Kommunalreform zum 1. Januar 2007 in der
Faaborg-Midtfyn Kommune in der Region Syddanmark aufgegangen ist.

Im Kirchspiel leben 1760 Einwohner, davon 204 im Kirchdorf (Stand: 1. Januar 2023).
Im Kirchspiel liegen die Kirchen „Svanninge Kirke“ und „Falsled Filial Kirke“.

Nachbargemeinden sind im Norden Håstrup Sogn, im Nordosten Øster Hæsinge Sogn, im Osten Brahetrolleborg Sogn, im Süden Fåborg Sogn und im Südwesten Horne Sogn, sowie in der nordwestlich benachbarten Assens Kommune Jordløse Sogn.
Kardemir Karabükspor
Kardemir Karabükspor (auch Kardemir Demir Çelik Karabükspor) ist ein türkischer Sportverein aus der gleichnamigen Provinz Karabük, deren einziger Proficlub er ist. Er wurde 1969 gegründet und trägt seine Spiele im 15.000 Zuschauer fassenden Necmettin-Şeyhoğlu-Stadion aus. Seit 2021 spielt der Klub in der TFF 3. Lig, der vierthöchsten türkischen Spielklasse. Der Verein spielte in den 1990er und 2010er Jahren insgesamt neun Spielzeiten in der Süper Lig und befindet sich in deren Ewigen Tabelle auf dem 37. Platz.

Dr. Necmettin Şeyhoğlu Stadı
Das Dr. Necmettin Şeyhoğlu Stadı (auch Dr. Necmettin Şeyhoğlu Stadyumu, deutsch Dr. Necmettin-Şeyhoğlu-Stadion) ist ein Fußballstadion im türkischen Karabük und ist Heimstadion des Klubs Kardemir Karabükspor.
Ultramarinbischof
Der Ultramarinbischof (Cyanoloxia brissonii; Syn.: Cyanocompsa brissonii, Fringilla brissonii, Loxia cyanea), auch Dunkelblauer Bischof, ist ein südamerikanischer Singvogel aus der Familie der Kardinäle.

Kardinäle
Die Kardinäle (Cardinalidae) sind eine Vogelfamilie aus der Ordnung der Sperlingsvögel (Passeriformes). Die Familie enthält nach heutigem Stand (2018) 14 Gattungen und 53 Arten.

Sie sind nahe mit den Tangaren (Thraupidae) und etwas entfernter auch mit den Finken (Fringillidae) und den Ammern (Emberizidae) verwandt. Die Kardinäle wurden früher auch als Unterfamilie oder Tribus der letzteren angesehen. Von manchen Autoren wurden alle eben genannten Familien zu den Finken gestellt. Umfangreiche phylogenetische Untersuchungen haben in letzter Zeit zu größeren Änderungen der Zusammensetzung der Familie Cardinalidae und verwandter Familien geführt, die Zusammensetzung damit aber auch auf eine wissenschaftlich gesichertere Basis gestellt.

Ihren Namen haben die Kardinäle von der Farbe Kardinalrot, einem Farbton, der insbesondere im Gefieder des Männchens der Typusart, des Rotkardinals, vorherrschend ist.
Wilhelm von Rubruk
Wilhelm von Rubruk (* zwischen 1215 und 1220 in Rubrouck, in der Nähe von Cassel, Französisch-Flandern; † um 1270) war ein Franziskaner und Forschungsreisender, der als einer der ersten Europäer die Kultur der Mongolen studierte.

Rubrouck
Rubrouck (niederländisch Rubroek, Aussprache [ʁybʁuk]) ist eine französische Gemeinde mit 915 Einwohnern (Stand: 1. Januar 2022) im Département Nord in der Region Hauts-de-France. Sie gehört zum Arrondissement Dunkerque und ist Mitglied im Gemeindeverband Cœur de Flandre Agglo. Die Bewohner werden Rubrouckois und Rubrouckoises genannt.
Oesterreichische Entwicklungsbank
Die Oesterreichische Entwicklungsbank AG (OeEB) wurde 2008 als Entwicklungsbank der Republik Österreich gegründet und handelt im Auftrag der Bundesregierung. Sie finanziert private Investitionsvorhaben in Entwicklungsländern und Schwellenländern, die wirtschaftlich tragfähig und entwicklungspolitisch sinnvoll sind, und trägt so zu nachhaltiger Entwicklung und besseren Lebensbedingungen bei. Dabei ist sie den Zielen der Österreichischen Entwicklungszusammenarbeit (OEZA) verpflichtet.

Die OeEB ist eine 100-%-Tochtergesellschaft der Oesterreichischen Kontrollbank AG (OeKB). Ihre gesetzlichen Grundlagen bilden das Ausfuhrförderungsgesetz und das Entwicklungszusammenarbeitsgesetz.

Entwicklungsbank
Entwicklungsbanken (englisch development banks) sind Spezialbanken, die durch Beratung, wirtschaftliche oder technische Hilfe die wirtschaftliche und soziale Entwicklung von Entwicklungsländern oder deren Regionen fördern sollen.
Nakło nad Notecią
Nakło nad Notecią [ˈnakwɔ nad nɔˈtɛtɕɔ̃] (deutsch Nakel an der Netze) ist eine Stadt im Powiat Nakielski in der Woiwodschaft Kujawien-Pommern in Polen. Sie ist Sitz des Powiats und der gleichnamigen Stadt-und-Land-Gemeinde mit etwas mehr als 32.000 Einwohnern.

Noteć
Die Noteć (Netze) ist der wichtigste Nebenfluss der Warthe. Sie ist 366 km lang und hat ein Einzugsgebiet von 17.240 km². Der Fluss entspringt in der Gmina Chodecz in der Woiwodschaft Kujawien-Pommern und mündet bei Santok in die Warthe. Der Lauf wird unterteilt:

Der Oberlauf, 204 km lang, von der Quelle bis Nakło nad Notecią. Er verläuft mit Hauptrichtung nordwest und durchfließt den Jezioro Gopło (Goplo-See).

Der Unterlauf, 187 km lang, folgt ab Naklo dem Thorn-Eberswalder Urstromtal in westsüdwestlicher Richtung bis zur Mündung.
Manic Pixie Dream Girl
Manic Pixie Dream Girl (MPDG) (aus dem Englischen, auf Deutsch in etwa manisches Fee-Traummädchen) bezeichnet einen Charaktertypus in Filmen. Der US-amerikanische Filmkritiker Nathan Rabin prägte den Begriff, nachdem er Kirsten Dunsts Figur in Elizabethtown (2005) gesehen hatte. Er schrieb, dass das MPDG „nur in der fiebrigen Vorstellung sensibler Autoren und Regisseure“ existiere, „um nachdenklichen, schmachtenden jungen Männern beizubringen, das Leben und seine unendlichen Geheimnisse und Abenteuer zu umarmen“.

Magical Negro
Der Magical Negro ist ein Typus in amerikanischen Büchern und Filmen. Dieser tritt als Helfer des Weißen Protagonisten auf. Diese Figuren verfügen oft über spezielle spirituelle Fähigkeiten, die dem Protagonisten fehlen und mit denen der Magical Negro ihm hilft. Mitglieder der afro-amerikanischen Gemeinschaft in den Vereinigten Staaten sehen diese Figur mitunter als kritisch an.
Vertragsbindung
Der Begriff Vertragsbindung beschreibt in der Spieltheorie die Fähigkeit von Parteien, sich an Aussagen und Versprechungen mittels eines gegenseitigen Vertrages zu binden. Der Abschluss von Verträgen verkörpert eine von acht spieltheoretischen Selbstbindungsstrategien.

Selbstbindungsstrategien
Selbstbindungsstrategien  bilden im spieltheoretischen Sinne das Fundament für erfolgreiche strategische Züge, da sie die Spieler an ihre eigenen Äußerungen und Handlungen binden und somit einen möglichen Sinneswandel oder Rückzug beschränken bzw. unmöglich machen. Zu den wichtigsten Strategien gehört die Selbstbindung an sich und deren Glaubwürdigkeit, die insbesondere durch Reputation und schriftliche Verträge verstärkt bzw. gefestigt werden kann.
Taufe
Die Taufe, genannt auch Taufritus, ist ein christlicher Ritus, der seit der Zeit des Neuen Testaments besteht. Die Auffassungen über Voraussetzung, Durchführung und Wirkung der Taufe sind in den jeweiligen Konfessionen verschieden; sie kann die Eingliederung in die Gemeinschaft der Christen oder ein öffentliches Glaubensbekenntnis bedeuten. Vollzogen wird die Taufe durch Übergießen des Täuflings mit Wasser (als Infusionstaufe) oder das Untertauchen im Wasser (als Immersionstaufe oder Ganzkörpertaufe). Dabei wird eine Taufformel gesprochen.

Rituelle Reinheit
Rituelle oder kultische Reinheit ist in vielen Religionen und spirtuellen Systemen der Zustand einer Person, der es ihr erlaubt, die heiligen Stätten zu betreten und am Kult teilzunehmen. Rituelle Reinheitshandlungen kannte die Antike bzw. Spätantike aber auch bei gesellschaftlichen Ereignissen wie bei einem Symposion.
Rotfußfalke
Der Rotfußfalke (Falco vespertinus) ist ein kleiner Vertreter der Echten Falken innerhalb der Familie der Falkenartigen (Falconidae). Bei den dunkel blaugrauen Männchen fällt die rostrote Befiederung der roten Beine besonders auf. Bei den Weibchen kontrastiert das dunkle Obergefieder mit dem orangebraunen Kopf und Untergefieder. Das geschlossene Verbreitungsgebiet der Art reicht von Ungarn ostwärts bis ins Baikalgebiet. Seit den 1960er Jahren gehen die Bestände des Rotfußfalken fast im gesamten Verbreitungsgebiet der Art zurück.

Rötelfalke
Der Rötelfalke (Falco naumanni) ist ein kleiner Falke, der vornehmlich in der Mittelmeerregion und in Zentralasien lebt. Er ähnelt einem Turmfalken und ist nicht mit dessen regionaler Bezeichnung Rüttelfalke zu verwechseln. Es werden keine Unterarten beschrieben.

Rötelfalken sind in erster Linie Bewohner offener, trockener, wärmebegünstigter Landschaften wie Steppen oder Halbwüsten, besiedeln aber auch extensiv genutztes Kulturland. Sie ernähren sich vor allem von Insekten und andern Gliederfüßern, aber auch von kleinen Wirbeltieren.
Die Tiere sind Langstreckenzieher und überwintern in Afrika südlich der Sahara.

Der Rötelfalke hat in Europa seit den 1960er Jahren starke Bestandseinbußen erlitten, nimmt in den letzten Jahren jedoch regional wieder zu. Die Art wird von der IUCN weltweit als Least Concern („nicht gefährdet“) klassifiziert.
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.

Eicosanoide
Als Eicosanoide (v. griech. είκοσι, ‚zwanzig‘), auch Eikosanoide, wird eine Gruppe von hydrophoben hormonähnlichen Substanzen bezeichnet, die aus mehrfach ungesättigten Fettsäuren gebildet wurden. Sie können als intra- und extrazelluläre Signalmoleküle wirken und sind in eine Vielzahl biologischer Wirkmechanismen eingebunden. Obwohl die Bezeichnung Eicosanoide auf eine Anzahl von 20 Kohlenstoff-Atomen im Molekül hinweist, werden zu den Eicosanoiden auch Derivate anderer Fettsäuren gezählt, die kürzer- oder längerkettig sind, beispielsweise die Derivate der Docosahexaensäure und der Linolsäure.
Perlaugen
Die Perlaugen (Scopelarchidae) sind eine Familie von Tiefseefischen aus der Ordnung der Eidechsenfischverwandten (Aulopiformes). Die Fische leben mit Ausnahme des Mittelmeers und des Arktischen Ozeans in allen Weltmeeren. Ausgewachsene Perlaugen halten sich vor allem in Tiefen von 500 bis 1000 Metern auf, die Larven zwischen 100 und 200 Metern. Sie ernähren sich räuberisch von anderen meso- und bathypelagischen Fischen, zum Beispiel von Borstenmäulern oder Laternenfischen.

Eidechsenfischartige
Die Eidechsenfischartigen (Aulopiformes) sind eine Ordnung meist kleiner, räuberisch lebender Echter Knochenfische (Teleostei). Sie leben bodennah im Meer und im Brackwasser, die meisten aber in der Tiefsee.
Mercedes-Benz W 06
Der Mercedes-Benz W 06 erschien 1927 als Ableitung des Modells K. Es ist ein äußerst leistungsfähiger Sportwagen mit großem Sechszylindermotor und Kompressor. In der Folge erschienen weiterentwickelte Fahrzeuge dieses Typs S mit den Bezeichnungen Typ SS, Typ SSK und Typ SSKL.

Roots-Gebläse
Roots-Gebläse sind Drehkolbengebläse ohne innere Verdichtung, die Zahnrad- und Drehschieberpumpen ähneln. Zwei meist dreiflügelige Läufer transportieren in den Lücken zwischen den Flügeln und der Außenwand ein Gas (meistens Luft) von der Saug- zur Druckseite, welches dann von der Rückströmung des verdichteten Gases verdichtet wird. Rootsgebläse werden bei kleinen bis mittleren Leistungen und meistens kleinen Druckunterschieden (ca. 1 bar) verwendet. Sie dienen als einfache Vakuumpumpen in industriellen Trocknungs- und Absauganlagen, beim Laden und Löschen von Massengütern wie Getreide bei Schiffen, als Saugpumpen in Fäkalientankwagen oder als Auflade- oder Spülgebläse für Verbrennungsmotoren. Dort werden sie entweder von der Kurbelwelle angetrieben oder bei Großdieselmotoren elektrisch.

Der Name stammt von den amerikanischen Gebrüdern Philander Higley und Francis Marion Roots, die sich das Gebläse 1860 patentieren ließen.
Schwabgut
Das Schwabgut ist ein Quartier der Stadt Bern. Es gehört zu den 2011 bernweit festgelegten 114 gebräuchlichen Quartieren und liegt im Stadtteil VI Bümpliz-Oberbottigen, dort im statistischen Bezirk Bümpliz.  Angrenzend sind die Bethlehemer Quartiere Tscharnergut, Blumenfeld, Untermatt, das Quartier Stöckacker sowie die Bümplizer Quartiere Bümpliz Dorf und Fellergut.

Fellergut
Das Fellergut ist ein Quartier der Stadt Bern. Es gehört zu den 2011 bernweit festgelegten 114 gebräuchlichen Quartieren und liegt im Stadtteil VI Bümpliz-Oberbottigen, dort im statistischen Bezirk Bümpliz. Angrenzend sind das Bethlehemer Quartier Tscharnergut (durch Eisenbahnlinie getrennt) sowie die Bümplizer Quartiere Stapfenacker, Bümpliz Dorf und Schwabgut.
Stadtpark Maribor
Der Stadtpark Maribor (slowenisch Mariborski park, auch Maribor mestni park) ist die größte Parkanlage in der Stadtgemeinde Maribor im Nordosten Sloweniens.

Er liegt nördlich der Altstadt im Marburger Stadtbezirk Center und besteht aus den Bereichen Historischer Stadtpark, den Hügeln Kalvarienberg und Pyramidenhügel sowie den Gebieten Stadtberg (Mestni Vrh) und Drei Teiche (Trije ribniki) zwischen den beiden Hügeln. Die verschiedenen Bereiche sind über einen Naturlehrpfad miteinander verbunden.

Center (Maribor)
Mestna četrt Center, Kurzform: MČ Center (deutsch Stadtbezirk Center) ist der Name eines Stadtbezirks  in der slowenischen Stadtgemeinde Maribor (Marburg an der Drau).

Der Stadtbezirk Zentrum umfasst die folgenden Stadtteile: Melje, Altstadt mit Lent, Za tremi ribniki, Za Kalvarija, Vinarje.
Logik höherer Stufe
Unter Logik höherer Stufe (englisch Higher-Order Logic, HOL), auch Stufenlogik, versteht man eine Erweiterung der Prädikatenlogik erster Stufe.
Sie basiert auf dem typisierten Lambda-Kalkül und geht auf Alonzo Churchs Theory of Simple Types zurück.

Entwickelt um 1940 als ein Versuch der Formalisierung der Logik in der Principia Mathematica von Whitehead und Russell, ist sie von Leon Henkin und Peter Andrews eingehend untersucht worden. Anfang der 1970er Jahre wurden nicht-klassische Versionen der Logik höherer Stufe entwickelt, die die Grundlage der modernen Typtheorie (Per Martin-Löf, Jean-Yves Girard) und Beweistheorie (Jean-Yves Girard, Gérard Huet, Robert Harper, Furio Honsell) bilden.
Da die Logik höherer Stufe sowohl mächtig als auch relativ einfach auf einem Computer zu implementieren ist, wurden in letzter Zeit einige Theorembeweiser hierfür entwickelt, die gleichermaßen für die Mathematik als auch für die Informatik von Interesse sind.

Maschinengestütztes Beweisen
Maschinengestütztes Beweisen (oder missverständlicher: automatisches Beweisen; ein Teilgebiet der automatischen Deduktion) basiert auf der Verwendung von Computerprogrammen zur Erzeugung und Überprüfung von mathematischen Beweisen logischer Theoreme. Im Unterschied zu einem Computerbeweis wird versucht, den gesamten formalen Beweis bestehend aus Schritten und Zwischenergebnissen zu konstruieren.