hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Nowiny Wileńskie
Nowiny Wileńskie (с пол. — «Виленские новости») — ежедневная газета. Издавалась с 4 (17) января до 20 февраля (5 марта) 1906 года в Вильно на польском языке. Редактор — З. Багданович, владелец — виленский епископ Э. Ю. Ропп. События политического, социально-экономического и культурно-религиозной жизни белорусско-литовских губерний освещала с позиции христианской демократии. Значительное место отводила новостям из жизни католиков Виленской епархии. Сыграла заметную роль в создании Конституционно-католической партии Беларуси и Литвы. Глава партии Ропп в ряде статей выступил с разъяснением основных положений партийной программы. В национальном вопросе отстаивала право поляков, литовцев и белорусов на самостоятельное культурное развитие и свободу в пределах Российской империи. Свобода понималась как достижение автономии этнографической Литвы и Беларуси. Вышли 32 номера. В феврале 1906 Ропп стал владельцем газеты «Курьер Литэвски» и присоединил газету к своей новой газете.

Ропп, Эдвард фон
Э́дуард Михаэль Иоганн Мария фон Ропп (нем. Eduard Michael Johann Maria Baron von der Ropp, пол. Edward Ropp, в русских документах Эдуард Юльевич Ропп; 2 декабря 1851, Ликсна — 25 июля 1939, Познань) — церковный и политический деятель Литвы, Польши и России. Католический епископ Тирасполя (1902—1903), затем епископ Виленский (1903—1905) и митрополит Могилёвский (1917—1919).
Санту-Антониу-де-Нордештинью
Санту-Антониу-де-Нордештинью (порт. Santo António de Nordestinho) — район (фрегезия) в Португалии, входит в округ Азорские острова. Расположен на острове Сан-Мигел. Является составной частью муниципалитета Нордеште.

Нордешти
Нордешти (порт. Nordeste; [ nɔɾ'dɛʃt(ɨ)]) — посёлок городского типа в Португалии, центр одноимённого муниципалитета в составе автономного региона Азорские острова. Расположен на острове Сан-Мигел. Численность населения — 5,5 тыс. жителей (муниципалитет) на 2004 год. Занимает площадь 101,51 км².

Праздник города — 18 июля.
Барнаул (аэропорт)
Междунаро́дный аэропо́рт Барнау́л имени Германа Степановича Титова (иногда аэропорт Михайловка) — аэропорт класса В, расположенный в 17 км к западу от центра города Барнаула, в Алтайском крае, вдоль Павловского тракта. Административно аэропорт является частью Барнаула. Является аэропортом федерального значения.

Павловский тракт
Па́вловский тракт — одна из крупнейших транспортных магистралей Барнаула. Соединяет город с районами края, а также «спальные» районы, аэропорт и промзоны с центром города. В месте пересечения с улицей Малахова тракт образует крупную автомобильную развязку, а около проспекта Строителей пересекает реку Пивоварку. Одна из наиболее загруженных транспортом улиц Барнаула.

Улица проходит через Индустриальный и Железнодорожный районы города от железнодорожного полотна у проспекта Строителей в западном направлении, за пределами городской черты улица переходит в автодорогу Р380, которая исторически соединяла Барнаул и Павловск Павловского района Алтайского края (отсюда и происходит название улицы). Протяженность в черте города — 14 км. Ширина — 20 метров.
Блаубах
Блаубах (нем. Blaubach) — община в Германии, в земле Рейнланд-Пфальц.

Входит в состав района Кузель. Подчиняется управлению Кузель.  Население составляет 398 человек (на 31 декабря 2010 года). Занимает площадь 3,14 км².

Кузель (район)
Кузель (нем. Kusel) — район в Германии. Центр района — город Кузель. Район входит в землю Рейнланд-Пфальц. Занимает площадь 573,42 км². Население — 76 608 чел. Плотность населения — 134 человека/км².
Официальный код района — 07 3 36.

Район подразделяется на 98 общин.
Бек-де-Рос
Бек-де-Рос (фр. Beс des Rosses) — гора высотой 3223 м, расположена в Пеннинских Альпах на территории Швейцарии, в районе горнолыжного курорта Вербье.

Получила известность как место проведения ежегодных самых престижных в мире соревнований по фрирайду Xtreme Verbier  (неопр.). Архивировано из оригинала 14 июля 2014 года..

Данные соревнования являются заключительным туром многоэтапных соревнований Freeride World Tour, в которых принимают участие ведущие спортсмены со всего мира в дисциплинах внетрассового спуска на горных лыжах и сноуборде. По итогам многотуровых соревнований среди мужчин и женщин победителю присваивается звание Чемпиона мира.

Склон, по которому спускаются фрирайдеры имеет перепад высот 600 м и крутые снежные участки крутизной до 55-60 градусов, перемежающиеся отвесными скальными поясами. Спортсмены сами выбирают линию спуска, проезд по которой оценивается судьями соревнований.

Freeride World Tour
Freeride World Tour, Мировой фрирайд-тур – многоэтапные международные соревнования по фрирайду, в которых принимают участие сильнейшие спортсмены планеты. Соревнования проводятся среди мужчин и женщин в двух категориях: горные лыжи и сноуборд на наиболее престижных и приспособленных для этих соревнований горнолыжных курортах мира.
Драфт ВНБА 2017 года
Драфт ВНБА 2017 года прошёл 13 апреля, в четверг, в Нью-Йорке, крупнейшем городе США, по адресу Samsung 837. К участию в драфте были допущены игроки после окончания колледжа и игроки-иностранцы. Лотерея драфта состоялась 28 сентября 2016 года, по результатам которой право выбора под первым номером получила команда «Сан-Антонио Старз», который она использовала на 22-летнюю Келси Плам, защитника из университета Вашингтона. Первый раунд драфта транслировался на спортивном канале ESPN2 (в формате HD) в семь часов вечера по Североамериканскому восточному времени (EDT), в то же время второй и третий раунды были показаны на кабельном канале ESPNU на час позднее.

Всего же на этом драфте было выбрано 36 баскетболисток, из них 31 из США, и по одной из Нигерии (Эвелин Акатор), Испании (Летисия Ромеро), Франции (Лиза Беркани), Канады (Сайша Грант-Аллен) и Австралии (Талия Тупая).

Ромеро, Летисия
Летисия Ромеро Гонсалес (исп. Leticia Romero González; род. 28 мая 1995 года в Агуимесе, провинция Лас-Пальмас, Канарские острова, Испания) — испанская профессиональная баскетболистка, выступавшая в женской национальной баскетбольной ассоциации. Была выбрана на драфте ВНБА 2017 года во втором раунде под шестнадцатым номером клубом «Коннектикут Сан». Играет в амплуа разыгрывающего защитника. В настоящее время выступает за испанскую команду «Валенсия Баскет».

В составе национальной сборной Испании она завоевала серебряные медали Олимпийских игр 2016 года в Рио-де-Жанейро. Также она стала серебряным призёром чемпионата мира 2014 года в Турции, выиграла чемпионат Европы 2017 года в Чехии и стала бронзовым призёром чемпионата Европы 2015 года в Венгрии и Румынии.
Цедербаум, Иосиф Александрович
Иосиф (Осия, Осип) Александрович Цедербаум (20 августа 1839, Люблин, царство Польское, Российская империя — 1907, Российская империя) — учёный-садовод, купец 2-й гильдии. Отец Ю. О. Цедербаума, Н. О. Цедербаум, С. О. Цедербаума, Л. О. Цедербаум, В. О. Цедербаума, Е. О. Цедербаум, М. О. Цедербаум.

Цедербаум, Маргарита Осиповна
Маргарита Осиповна Цедербаум (1889, Санкт-Петербург, Российская империя — ?, Советский Союз) — деятель меньшевистской оппозиции в Советском Союзе. Сестра Ю. О. Цедербаума, Н. О. Цедербаум, С. О. Цедербаума, Л. О. Цедербаум, В. О. Цедербаума, Е. О. Цедербаум.
Киршау
Киршау (нем. Kirschau; в.-луж. Korzym) — бывшая община в немецкой федеральной земле Саксония, в 8 км к югу от Баутцена. С 1 января 2011 года является составной частью города Ширгисвальде-Киршау.

Подчиняется административному округу Дрезден и входит в состав района Баутцен. Население составляет 2397 человека (на 31 декабря 2010 года). Занимает площадь 6,52 км².

Община подразделялась на 4 сельских округа.

Баутцен (район)
Ба́утцен (нем. Bautzen) — район в Германии. Центр района — город Баутцен. Район входит в состав земли Саксония. Подчинён дирекционному округу Дрезден.

Занимает площадь 2390,65 км². Численность населения района по оценке на 31 декабря 2013 года составляет 308 350 человек. Плотность населения — 129 человек/км².
Официальный код района — 14 6 25.

Район подразделяется на 30 общин.
Наджаф Кули-хан Черкес
Наджаф Кули-хан Черкес (перс. کیخسرو خان چرکس‎) — иранский голлар черкесского происхождения, бейлербей велаята Ширван (1-й срок: 1653 год, 2-й срок: 1663—1667 годы) и Эриванского велаята (Чухур-Саад, 1656—1663 годы).

Он был сыном сефевидско-черкесского военачальника и наместника Казак-хана Черкеса. Всего он занимал пост губернатора Ширвана 7 лет.

Чухур-Саад
Чухур-Саад, Чохур-Саад, Чухурсаад, Араратская область, Ереванская провинция — в XV—XVIII вв. историческая область и административная единица — беглербегство в составе государства Кара-Коюнлу и Сефевидов. Включала в себя большую часть территории исторической Восточной Армении. В XVI веке беглербегами Чухур-Саада назначались эмиры из кызылбашского племени устаджлу, которые переселились в Ереванскую область в том же столетии.

В настоящее время этой области приблизительно соответствуют территории Республики Армения и Нахичеванской АР Азербайджана.
Рёдермарк
Рёдермарк (нем. Rödermark) — город в Германии, в земле Гессен. Подчиняется административному округу Дармштадт. Входит в состав района Оффенбах. Население составляет 25 926 человек (на 2010 год). Занимает площадь 29,99 км². Официальный код — 06 4 38 012.

Город подразделяется на 5 городских районов.

Оффенбах (район)
Оффенбах (нем. Offenbach) — район в Германии. Центр района — город Дитценбах. Район входит в землю Гессен. Подчинён административному округу Дармштадт. Занимает площадь 356 км². Население — 337,7 тыс. чел. (2010). Плотность населения — 948 человек/км².
Официальный код района — 06 4 38.

Район подразделяется на 13 общин.
Гильом XII (граф Оверни)
Гильом XII (фр. Guillaume XII; 1300 — 1332) — граф Оверни и Булони с 1325 года. Единственный сын Роберта VII д’Овернь от его первой жены Бланш де Бурбон, дочери графа Роберта Клермонского.

Был женат с 1325 года на Маргарите д’Эврё (1307—1350), дочери графа Людовика д’Эврё и Маргариты д’Артуа.

Гильом XII умер молодым, оставив своей наследницей дочь Жанну — будущую королеву Франции (жену короля Иоанна II).

Людовик д’Эврё
Людовик д’Эврё (фр. Louis d'Évreux; 3 мая 1276 — 19 мая 1319, Лонпон) — граф д’Эврё, д’Этамп и де Бомон-ле-Роже, сын короля Филиппа III Смелого и Марии Брабантской. Французский принц из династии Капетингов. Основатель дома Эврё.
Лоренц, Вернер
Ве́рнер Ло́ренц (нем. Werner Lorenz; 2 октября 1891 года, Грюнхоф, Померания — 13 марта 1974 года, Дюссельдорф) — один из высших офицеров СС, начальник Главного управления СС по репатриации этнических немцев «Фольксдойче миттельштелле», обергруппенфюрер СС (9 ноября 1936 года), генерал войск СС (9 ноября 1944 года), генерал полиции (15 августа 1942 года), гамбургский государственный советник.

Фольксдойче Миттельштелле
«Фольксдойче Миттельштелле» (нем. Volksdeutsche Mittelstelle, сокр. VoMi) — одно из центральных ведомств нацистской Германии, занимавшееся организацией нацистской пропаганды среди этнических немцев, живущих за пределами Германии (фольксдойче) и переселением их в Третий рейх. Создано 27 января 1937 года. 15 июня 1941 года получило в системе СС статус главного управления.
Деружинский, Аверьян Сафонович
Аверья́н Сафо́нович Деружи́нский (бел. Авяр'я́н Сафо́навіч Дзеружы́нскі; 10 июня 1919 — 4 января 2002) — белорусский советский поэт, журналист. Член Союза писателей СССР (1964). Лауреат Литературной премии им. Я. Мавра (2002).

Премия имени Янки Мавра
Премия имени Янки Мавра (бел. Прэмія імя Янкі Маўра) (Литературная премия имени Янки Мавра) — литературная премия, присуждаемая раз в год, с 1993 года в Беларуси за лучшие произведения на белорусском языке для детей и юношества. Премия в честь белорусского писателя Янки Мавра. Основана Союзом писателей БССР.

К рассмотрению на конкурс принимаются произведения для детей и юношества в следующих жанрах: проза (повествования, сказки и т. д.), поэзия (стихотворения, басни и т. д.), пьесы, тексты песен, комиксы, а также переводы зарубежных детских произведений на белорусский язык.
Смычные согласные
Смы́чные согласные, также окклюзивы (от лат. occlusio «сокрытие») — согласные звуки, при артикуляции которых органы речи находятся в таком положении, что поток воздуха из лёгких полностью перекрывается с помощью смычки, создаваемой в полости рта или в гортани.

Смычные согласные делятся на три больших класса:

взрывные, при артикуляции которых нёбная занавеска поднята, и воздух проходит в ротовую полость, а размыкание смычки происходит резко и напоминает взрыв; в русском — [б, п, д, т, г, к];

аффрикаты — размыкание смычки происходит не резко и похоже на артикуляцию фрикативных согласных; в русском — [ч, ц];

носовые (назальные, смычно-проходные), при артикуляции которых нёбная занавеска опущена, и воздух выходит через нос; в русском — [м, н].

Согласные
Согла́сные — звуки речи, сочетающиеся в слоге с гласными и/или слоговыми согласными и в противоположность им не образующие вершины слога. Акустически согласные обладают относительно меньшей, чем гласные, общей энергией и могут не иметь чёткой формантной структуры.

Согласные являются также звуками, при произнесении которых происходит сужение голосового тракта, так что воздушный поток оказывается полностью или частично блокированным и, преодолевая препятствие (см. место и способ образования согласных), изменяет своё направление. В русском языке это шумные согласные (взрывные, щелевые и аффрикаты), группа сонорантов (плавные и латеральные), группа сонорных согласных (дрожащих и носовых), а также полугласный (или полусогласный) й.

Под согласными зачастую понимают также буквы, передающие такие звуки. Иногда во избежание путаницы употребляют термин «согласные звуки».

Система согласных определённого языка называется «консонантизм».
Анюков, Александр Геннадьевич
Алекса́ндр Генна́дьевич Анюко́в (род. 28 сентября 1982[…], Куйбышев) — российский футболист и тренер.  В настоящее время — ассистент главного тренера «Зенита».

Пятикратный чемпион России в составе «Зенита», четырёхкратный обладатель Суперкубка России, двукратный обладатель Кубка России, обладатель Кубка УЕФА и Суперкубка УЕФА (2008). Бронзовый призёр чемпионата Европы 2008 года.  Заслуженный мастер спорта России (2008).

Чемпионат России по футболу 2009
Чемпионат России по футболу 2009 года — 18-й по счёту сезон высшего дивизиона системы футбольных лиг России.

Чемпионский титул в турнире защищал казанский «Рубин», чемпионский титул был защищён; за 1 тур до окончания турнира «Рубин» стал чемпионом (во 2-й раз). Второе место занял московский «Спартак», третье место занял петербургский «Зенит». Таким образом, медали чемпионата получил только один московский клуб — это был 3-й подобный случай, и 2-й для «Спартака» (кроме «Спартака» до этого единственным призёром сезона в Москве становился только ЦСКА (1 раз)).
Герасимова, Ксения Максимовна
Ксе́ния Макси́мовна Гера́симова (1919―2011) ― советский и российский учёный-востоковед, тибетолог, буддолог, доктор исторических наук (1990), профессор, заслуженный деятель науки РФ (1995), сотрудник Института монголоведения, буддологии и тибетологии СО РАН.

Институт монголоведения, буддологии и тибетологии СО РАН
Институ́т монголове́дения, буддоло́гии и тибетоло́гии Сиби́рского отделе́ния Росси́йской Акаде́мии нау́к (ИМБТ СО РАН) — первый академический институт в Бурятии, один из центров востоковедения в системе научно-исследовательских институтов Российской академии наук (Бурятский научный центр СО РАН).
Chevrolet Corvette
Chevrolet Corvette (kɔːrˈvɛt) — двухместный заднеприводный спортивный автомобиль, выпускаемый под маркой Chevrolet компанией General Motors в США с 1953 года. Автомобиль является первым массовым американским спортивным автомобилем, созданным американским производителем. В городе Боулинг-Грин существует Национальный музей Корвет (National Corvette Museum). В наши дни автомобили Chevrolet Corvette собираются на заводах General Motors в городах Боулинг-Грин, штат Кентукки (основной завод), Флинт, штат Мичиган и Сент-Луис, штат Миссури.

Модель Corvette имеет свою собственную эмблему, отличающуюся от эмблемы Chevrolet.

Фастбэк
Фастбэк (англ. fastback, нем. schrägheck — наклонная задняя часть) — собирательное название различных типов автомобильных кузовов, имеющих покатую форму крыши, плавно, без ступеньки, переходящей в крышку багажника. Кроме того, в прошлом в некоторых странах термином «фастбэк» обозначали отдельный тип кузова; в настоящее время подобное обозначение нередко используется коллекционерами, причем зачастую более широко, чем в годы существования таких автомобилей. Фастбэк — как и лифтбек являются вариацией хэтчбека.
Cliffhanger (игра)
Cliffhanger (с англ. — «Скалолаз») — видеоигра в жанрах beat 'em up и платформер, разработанная Malibu Interactive для игровых платформ Sega Mega Drive/Genesis, Sega CD и SNES и Spidersoft Limited для Amiga, NES, Game Boy и Sega Game Gear. Обе версии были изданы компанией Sony Imagesoft и Psygnosis Limited. Игра выпускалась с 1993 по 1994 годы. В основе её сюжета лежит фильм Скалолаз.

Скалолаз (фильм)
«Скалолаз» (англ. Cliffhanger) — американский приключенческий боевик, поставленный режиссёром Ренни Харлином по сценарию Майкла Франса и Сильвестра Сталлоне. В главных ролях снялись Сильвестр Сталлоне, Джон Литгоу, Майкл Рукер и Джанин Тёрнер. Фильм рассказывает об альпинисте-спасателе Гейбе Уокере и его коллеге Джесси Дейхен, которые оказываются втянуты в поиски денег, похищенных при ограблении летевшего через Скалистые горы самолёта Министерства финансов США.

В мае 2023 года началась работа над перезапуском.
Брус (полуостров)
Брус (англ. Bruce Peninsula) — полуостров в провинции Онтарио (Канада), который расположен между Джорджиан-Бей и основным бассейном озера Гурон. Полуостров Брус является частью графства Брус, названного в честь Джеймса Брюса, шестого генерал-губернатора провинции Канада. На полуострове расположены два национальных парка: Брус и Фатом-Файв, более полдюжины заповедников и птичья обсерватория полуострова Брус. Полуостров Брус является естественной средой обитания для многих животных, включая таких, как чёрный медведь, цепочный карликовый гремучник и полосатая сова.

Гурон
Гуро́н (англ. Lake Huron) — озеро в США и Канаде, одно из североамериканских Великих озёр (второе по площади после Верхнего). Расположено восточнее озера Мичиган, соединено с ним проливом Маккинак. Объём воды 3540 км³. С точки зрения гидрографии Мичиган и Гурон образуют единую систему, но географически их принято считать отдельными озёрами.
Планалту-да-Серра
Планалту-да-Серра (порт. Planalto da Serra) — муниципалитет в Бразилии, входит в штат Мату-Гросу. Составная часть мезорегиона Север штата Мату-Гроссу. Входит в экономико-статистический микрорегион Паранатинга. Население составляет 2965 человек на 2006 год. Занимает площадь 2454,108 км². Плотность населения — 1,2 чел./км².

Паранатинга (микрорегион)
Паранатинга (порт. Microrregião de Paranatinga) — микрорегион в Бразилии, входит в штат Мату-Гросу. Составная часть мезорегиона Север штата Мату-Гроссу. Население составляет 32 896	человек (на 2010 год). Площадь — 46 815,989	км². Плотность населения — 0,70	чел./км².
Тонон-ле-Бен (округ)
Тонон-ле-Бен (фр. Thonon-les-Bains) — округ (фр. Arrondissement) во Франции, один из округов в регионе Рона-Альпы. Департамент округа — Верхняя Савойя. Супрефектура — Тонон-ле-Бен.
Население округа на 2006 год составляло 124 595 человек. Плотность населения составляет 137 чел./км². Площадь округа составляет всего 908 км².

Верхняя Савойя
Ве́рхняя Савойя (фр. Haute-Savoie, окс. Nauta Savòia, франкопров. Hôta-Savouè) — департамент на востоке Франции, один из департаментов региона Овернь — Рона — Альпы. Порядковый номер — 74. Административный центр — Анси (Аннеси). Население — 807 360 человек (28-е место среди департаментов, данные 2017 г.).
Муми-дол
Долина муми-троллей (швед. Mumindalen, Муми-Дол) — волшебная страна, где живут муми-тролли из серии сказок Туве Янссон. Зимой в Долине муми-троллей много снега, однако образующая долину река не замерзает. Долина с одной стороны ограничена морем, с другой — Одинокими горами. Как следует из книги «Волшебная зима», в долине наблюдается полярная ночь (и, соответственно, полярный день).

О мире за пределами Долины говорится очень мало. Вскользь упоминаются соседние долины, населённые народами, аналогичными жителям Муми-дола. Также (очень редко) упоминаются реальные географические названия (Калифорния, Мексика).

Волшебная зима
Волшебная зима (швед. Trollvinter) — пятая в серии книг Туве Янссон о муми-троллях, издана в 1957 году. В этой книге Янссон использует более тёмный, интроспективный тон повествования по сравнению с предыдущими и последующими книгами серии. Муми-тролль в ней часто одинок, несчастен, зол или напуган — результат вынужденного выживания в мире, к которому он чувствует, что не принадлежит. Сохраняя очарование предыдущих романов, история включает в себя более глубокое исследование характера Муми-тролля, чем раньше.

Сюжет «Волшебной зимы» формирует адаптированные эпизоды 22, 23 и 37 в телесериале 1990 года.
Decisive Battles of World War II: Battles in Italy
Decisive Battles of World War II: Battles in Italy — военная пошаговая стратегическая компьютерная игра, последняя часть серии игр «Decisive Battles of World War II». Была разработана компанией Strategic Studies Group и выпущена Matrix Games в 2005 году. Сюжет игры повествует об Итальянской кампании.

Battles in Normandy основана на игровой системе «Decisive Battles of World War II». В игре было сделано много улучшений, переписан искусственный интеллект и переработан пользовательский интерфейс.

Strategic Studies Group
Strategic Studies Group — австралийская компания-разработчик компьютерных игр, специализирующаяся преимущественно на стратегических варгеймах. Компания наиболее известна, как разработчик игры-прародителя глобальных стратегий Reach for the Stars, морской стратегической игры Carriers at War, серии пошаговых стратегий в стиле фэнтези Warlords, а также серий военных стратегий Battlefront и Decisive Battles of World War II.
Грюнберг, Ганс Бернгард фон
Ганс Бернгард фон Грюнберг (нем. Hans-Bernhard von Grünberg; 30 марта 1903, Притциг (ныне Przytocko, Польша) — 15 июня 1975, Мюнхен) — профессор политологии, с 1937 по 1944 год ректор университета Альберта — Кёнигсбергского университета (последний ректор университета).

Кёнигсбергский университет
Кёнигсбергский университет (Альбертина) (нем. Albertus-Universität Königsberg) — старейший университет Пруссии. «Кёнигсбергский университет был открыт 17 августа 1544 года герцогом Альбрехтом Гогенцоллерном и стал вторым после университета во Франкфурте-на-Одере (1506) высшим академическим заведением будущего Прусско-Бранденбургского государства».
Квантор всеобщности
Ква́нтор всео́бщности (обозначения: , ∀) — условие, которое верно для всех обозначенных элементов, в отличие от квантора существования, где условие верно только для каких-то отдельных элементов из указанного множества. Формально это квантор, используемый для обозначения того, что множество целиком лежит в области истинности указанного предиката. Читается как «для всех…», «для каждого…», «для любого…» или «все…», «каждый…», «любой…».

Квантор всеобщности — это объект, с помощью которого формализуется высказывание о том, что какое-то логическое выражение истинно для всего или по крайней мере для той области определения, в которой это выражение имеет смысл. Применяется в предикатной и символической логике.

Символическая логика
Символическая логика — область логики, которая отодвигает на второй план математику, и изучает чисто формальные свойства символов, представленных в виде строк. С точки зрения философской логики, символы рассматриваются как обозначения слов. А с точки зрения информатики, символы, рассматриваемые по правилам символической логики, являются элементами вычислительного процесса обработки данных.

Состоит из двух разделов, логики высказываний и логики первого порядка. К другим формам относятся темпоральная, модальная и нечёткая логика.

Символическая логика исследует закономерности, в которых логическая форма высказываний рассматривается с использованием символов в качестве инструментов. Вместо явных высказываний изучаются логические формулы, которые являются символическим представлением высказываний, в частности, составных. Правила рассуждений и логики изучаются с помощью формальных систем, которые образуют хорошую основу для символьных преобразований, выполняемых в этой области.