hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Теорема Зайденберга — Тарского
Теорема Зайденберга — Тарского — общее утверждение, которое в частности даёт алгоритм для решения любой задачи элементарной геометрии (точнее, в элементарной теории Евклидовой геометрии). 
Формально говоря, это утверждение о возможности элиминации кванторов в элементарной теории вещественных чисел, и как следствие, разрешимости этой теории.

Теорема доказана Альфредом Тарским в 1948 году в статье по разрешимости теорий элементарной алгебры и элементарной геометрии.
В 1954 году Абрахамом Зайденбергом найден более простой и естественный метод доказательства.

Логика первого порядка
Логика первого порядка — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний.

Помимо логики первого порядка существуют также логики высших порядков, в которых кванторы могут применяться не только к переменным, но и к предикатам. Термины логика предикатов и исчисление предикатов могут означать как логику первого порядка, так и логики первого и высшего порядка вместе; в первом случае иногда говорится о чистой логике предикатов или чистом исчислении предикатов.
Иона (Капустин)
Епископ Иона (в миру Ипполит Леонтьевич Капустин; 11 [22] января 1790, Тобольск — 13 [25] ноября 1867, Далматовский Успенский монастырь, Пермская губерния) — епископ Русской православной церкви, епископ Екатеринбургский, викарий Пермской епархии.

Далматово
Далма́тово — город в Курганской области России, административный центр Далматовского района.

В рамках административно-территориального устройства является городом районного подчинения. В рамках муниципального устройства вместе с 5 прилегающими деревнями образует муниципальное образование город Далматово со статусом городского поселения.
Чойю
Чойю (устар. Чой) — река в России, течёт по территории Удорского района Республики Коми. Правый приток реки Вашка.

Длина реки составляет 22 км.

Генеральным направлением течения является север — северо-восток.

Притоки (км от устья):

5 км: река без названия (пр);

6 км: река без названия (лв).

Вашка
Ва́шка (Ва́жка, коми By) — река в Республике Коми и Архангельской области России, левый (крупнейший) приток Мезени (бассейн Белого моря).

Длина реки — 605 км, площадь водосборного бассейна — 21 000 км². Истоки в болотах Мезенско-Северо-Двинского водораздела. Питание реки снеговое и дождевое. Средний расход — 184 м³/с. Ледостав с конца октября по начало мая. Течёт по хвойным лесам. Судоходна в среднем и нижнем течении до посёлка городского типа Благоево.

В грамоте 1471 года дано в форме Важка, в словарях Максимовича-Щекатова и П. Семёнова, а также на карте, приложенной к работе Г. С. Лыткина, приводится форма «Важка».

Вашка является главным притоком Мезени, она незначительно уступает Мезени (966 км). Нижнее течение Вашки (от д. Кеба) полностью заселено русскими. На реке также находится одноимённое село Вашка. В устье реки находится село Лешуконское (Усть-Вашка).
Commodore 16
Commodore 16 — 8-разрядный домашний компьютер на базе процессора 8501 (6502-совместимый), который производился компанией Commodore с 1984 года. Это компьютер начального уровня, созданный для замены VIC-20, но несовместимый с ним. Продавался по цене 99 долларов в США. Более дешёвая версия Commodore 116 продавалась только в Европе.

MOS Technology 6502
MOS Technology 6502, или просто 6502, — восьмиразрядный микропроцессор, разработанный компанией MOS Technology в 1975 году. В момент появления на рынке был дешевле аналогичных изделий компаний-конкурентов (Motorola и Intel). Несмотря на это (и более низкую тактовую частоту) в среднем показывал сходную с ними производительность за счёт продуманных способов адресации памяти, коротких циклов исполнения команд и некоторой конвейеризации. Появление таких процессоров, как 6502 и Zilog Z80, в конечном счёте предопределило появление домашних компьютеров в конце 1970-х годов. Лицензии на архитектуру 6502 были приобретены компаниями Rockwell, Synertek и многими другими, и она была использована во многих разработках.

По состоянию на 2006 год процессор 6502 и его модификации всё ещё применялись во встраиваемых системах.
Керестецкая битва
Керестецкая битва или Битва при Мезёкерестеше (нем. Schlacht bei Mezőkeresztes) — сражение у венгерского города Керестеша (Мезёкерестеша), произошедшее 24—26 октября 1596 года в ходе войны, известной как Тринадцатилетняя или Пятнадцатилетняя, между войсками ряда католических стран Европы — австрийских Габсбургов во главе с эрцгерцогом Максимилианом III Австрийский и князем Жигмондом Батори — и войсками Османской империи под командованием Мехмеда III. Закончилось решительной победой османской армии.

Трансильвания
Трансильва́ния, или Седмигра́дье, Эрде́й, Ардя́л (лат. Transsilvania «Залесье», рум. Transilvania, рум. Ardeal, нем. Siebenbürgen («Семиградье»), венг. Erdély, укр. Семигород) — историческая область на северо-западе Румынии.

Регион Парциум, разделяющийся на исторические области Банат (юг), Кришана (центр) и Марамуреш (север), также относят к Трансильвании, хотя исторически он не является её частью. Территория Трансильвании относится к Западному, Северо-Западному и Центральному регионам развития Румынии, на которых располагаются 16 жудецов: Алба, Арад, Бистрица-Нэсэуд, Бихор, Брашов, Караш-Северин, Клуж, Ковасна, Марамуреш.
Canon d'assaut de 120mm AMX
Canon d'assaut de 120mm AMX (CA 120 AMX), широко известная под некорректным обозначением Foch — французская опытная самоходная артиллерийская установка (САУ), относящаяся к классу истребитель танков, созданная на базе опытного среднего танка AMX-50. В 1951 году несколько образцов были подвергнуты войсковым испытаниям, но как и базовый танк, на вооружение САУ принята не была из-за начала разработки нового варианта AMX 50 с идентичным вооружением во вращающейся башне.

AMX 50
Char moyen AMX M4 de 50 tonnes, или AMX 50 – серия французских опытных танков, разрабатывавшихся с 1945 по 1958 годы компанией AMX по программе 50-тонного танка, с 1945 по 1950 годы носившего заводской индекс M4. В серию также входили танки под индексами AMX 45 и AMX 70 (char 68t). Проект был впоследствии закрыт министром обороны Франции Шарлем де Голлем ввиду отсутствия перспектив этих машин из-за их запредельных габаритов, высокой массы и неспособности защитить экипаж от средств РХБ-поражения (в свою очередь, из-за особенностей конструкции качающейся башни). Французской армии был предпочтён основной боевой танк AMX 30, разработка которого началась в 1958 году. Всего было изготовлено шесть прототипов, на сегодняшний момент сохранился лишь один из них.
Cotton (серия игр)
Cotton — серия видеоигр в жанре shoot 'em up, разработанная компанией Success. Первая игра серии вышла в 1991 году в виде аркадного игрового автомата. Впоследствии было выпущено несколько ремейков и продолжений игры для игровых автоматов и разных игровых консолей. Первая игра серии стала одной из игр (вместе с Fantasy Zone, Parodius и Twin Bee), определивших стиль cute 'em up в скролл-шутерах, использующий забавные сюжеты, "милых" персонажей и яркие краски вместо тематики космических войн и боевой техники.

Parodius: The Octopus Saves the Earth
Parodius: The Octopus Saves the Earth (яп. パロディウス ～タコは地球を救う～ Parodiusu: tako wa chikyū o sukuu) или просто Parodius — видеоигра в жанре горизонтальный скролл-шутер, разработанная Konami для компьютеров MSX и выпущенная в Японии в 1988 году. Игра примечательна тем, что является первой в серии Parodius, хотя её часто путают с продолжением Parodius! From Myth to Laughter. Само название — это слияние слов "Gradius" и "Parody", поскольку игра является пародией на серию космических горизонтальных скролл-шутеров Gradius. Многие персонажи и враги взяты из этой знаменитой серии, в то время как другие элементы были взяты из других игр Konami, таких как Antarctic Adventure и TwinBee. Эта игра имеет особое значение в серии, поскольку она сильно пропитана японской культурой и фольклором.
Взрыв в Галифаксе
Взрыв в Га́лифаксе (англ. Halifax Explosion) произошёл 6 декабря 1917 года. Французский военный транспорт «Монблан», загруженный практически одной взрывчаткой (тротилом, пироксилином и пикриновой кислотой), столкнулся с норвежским кораблём «Имо» в узком проливе, соединяющем внешний рейд порта с заливом Бедфорд-Бэйсин. На судне начался пожар, приведший к взрыву, в результате чего порт и городской район Ричмонд были полностью разрушены. Около 2 тыс. человек погибли непосредственно в результате взрыва, под обломками зданий, из-за возникших пожаров и заплеска воды высотой 18 м. Приблизительно 9 тыс. человек получили ранения, несколько сотен человек лишились зрения. Взрыв в Галифаксе входит в число сильнейших взрывов, устроенных человеком, его считают мощнейшим взрывом доядерной эпохи, оценивая его эквивалент в 2,9 килотонн тротила (12 000 ГДж).

Сент-Джон (Нью-Брансуик)
Сент-Джон (англ. Saint John, фр. Saint-Jean) — второй по населению город канадской провинции Нью-Брансуик.

Население города в 2006 году составляло ок. 68 тыс. человек, метрополии — ок. 122,4 тыс. человек. В 2010 году был создан геопарк ЮНЕСКО Стоунхаммер, первый геопарк в Северной Америке, сосредоточенный вокруг Сент-Джона.

Город был основан в 1604 году в устье одноимённой реки на берегу залива Фанди, известного своими рекордными приливами. Сент-Джон получил своё наименование в честь Иоанна Крестителя.
Война громкостей
Война громкостей (англ. loudness war; возможны и иные варианты перевода: го́нка громкосте́й, война́ за гро́мкость, пого́ня за гро́мкостью) — склонность музыкальной индустрии (лейблов звукозаписи) к постепенному увеличению громкости записываемой и распространяемой музыки из-за стремления выделить свои записи на фоне остальных.

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

Звукозапись
Звукоза́пись — процесс записи звуковых сигналов. Результатом звукозаписи является фонограмма.

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

Самая старая из известных звукозаписей была сделана 9 апреля 1860 года парижским изобретателем Эдуардом-Леоном Скоттом де Мартенвилем с помощью устройства, называемого «фоноавтограф».

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

старовозрастные широколиственные и сосново-широколиственные леса,

заболоченные ложбины стока и прибрежно-водные местообитания,

места произрастания и обитания редких видов растений и животных, занесённых в Красную книгу Московской области.

Местонахождение: Московская область, Раменский городской округ, примыкает к северо-восточной части д. Островцы; городской округ Люберцы. Общая площадь памятника составляет 47,20 га. Памятник природы включает в себя квартал 48 Томилинского участкового лесничества Подольского лесничества. Виды разрешённого использования: осуществление научно-исследовательской деятельности, образовательной деятельности.

Крапива двудомная
Крапи́ва двудо́мная (лат. Urtíca dióica) — многолетнее травянистое растение, вид рода Крапива (Urtica).

Латинское видовое название dioicus произошло от др.-греч. δι- — приставка со значением «дважды» и οἶκος — «дом, жилище».

Другие русские названия: жегала, жигалка, стракива, стрекава, стрекучка, жигачка, жгучка, стрекалка.
Мансур I ибн Нух
Абу́ Са́лих Мансу́р (перс. ابو صالح منصور‎; ум. 13 июня 976), более известный как Мансу́р I (منصور) — эмир Саманидского государства. Его правление характеризовалось слабым управлением и постоянными финансовыми проблемами. Мансур был первым саманидским правителем, который использовал титул царь царей (шахиншах), скорее всего, в ответ своему сопернику, буидскому правителю Рукн ад-Дауле, который также использовал этот титул.

Босуорт, Клиффорд Эдмунд
Клиффорд Эдмунд Босуорт (англ. Clifford Edmund Bosworth; 29 декабря 1928, Шеффилд, Великобритания — 28 февраля 2015, Йовил, графство Сомерсет, Великобритания) — британский востоковед (арабист и иранист). Член Британской академии. Главный редактор и один из авторов «Энциклопедии ислама», редактор-консультант и один из авторов энциклопедии «Ираника», один из авторов «Британники» и «Американы».

Учился в Оксфордском и Эдинбургском университетах. Преподавал в Сент-Эндрюсском университете, Манчестере и Принстоне.

Автор более ста публикаций в журналах и сборниках, монографий. Сотрудничал с энциклопедиями «Американа», «Британника», «Ираника» (редактор-консультант) и «Энциклопедией ислама» (главный редактор).
История нижегородского трамвая
История нижегородского трамвая начинается с 1896 года, когда на Нижегородской ярмарке проходила Всероссийская выставка. Трамвайное сообщение в Нижнем Новгороде было открыто одним из первых в Российской империи: первые электрические трамваи в Российской империи были запущены в Киеве в 1892 году, а на территории современной России в 1895 году в Кёнигсберге, ныне Калининграде.

Соцгород (Нижний Новгород)
Соцго́род (в 1930-е годы также Соцгород Автострой) — исторический микрорайон в центре Автозаводского района Нижнего Новгорода. Один из самых известных советских соцгородов. Расположен возле Горьковского автозавода и делится на 2 части: Соцгород I и Соцгород II. Первая часть была построена в 1930-х годах в сталинском архитектурном стиле, вторая — несколько позже и в ней преобладают более типовые здания, но не лишённые некоторых архитектурных форм.
Щеньовский, Штепан
Штепан Евгениуш Щеньовский (пол. Szczepan Eugeniusz Szczeniowski; 26 декабря 1898, Варшава — 18 февраля 1979, там же) — польский физик, педагог, профессор, академик Польской академии наук (с 1964), общественный деятель.

Университет имени Адама Мицкевича в Познани
Университет имени Адама Мицкевича в Познани (пол. Uniwersytet im. Adama Mickiewicza w Poznaniu) — главный государственный университет города Познань, Польша.

Основан 4 апреля 1919 года под временным названием Польский университет в Познани, затем Пястовский университет, а с 10 апреля 1920 года под утверждённым правительством официальным названием Познанский университет. Современное название принято 24 декабря 1955 года. Имеет 15 факультетов. Университет является членом евросоюзного проекта Erasmus.

С 29 февраля 2014 года участвует в программе обмена студентов с Государственным Университетом Дагестана (ГУД)
Научная коммуникация
Научная коммуникация — процессы и механизмы продвижения научных идей внутри научного сообщества и за его пределами, то есть в обществе, иными словами, это распространение научных знаний об окружающей действительности посредством различных каналов, средств, форм и институтов коммуникации.

Выделяется два этапа научной коммуникации: внутренний и внешний. На первоначальном, или внутреннем, этапе научной коммуникации субъектами коммуникации выступают учёные в рамках научного сообщества. Второй этап, внешний, характеризуется взаимодействием научного сообщества с широкой аудиторией, это трансляция научного знания в массовое сознание, то есть популяризация науки.

Коммуникация (социальные науки)
Коммуникация (как связь и общение) — от лат. communicatio — сообщение, передача и от лат. communicare — делать общим, беседовать, связывать, сообщать, передавать — принятый в исследованиях термин, которым обозначают операционные системы, повседневно обеспечивающие единство и преемственность человеческой деятельности (см. в этой связи теорию коммуникации, науку о коммуникациях, коммуникационную науку, коммуникативистику, что представляет собой перевод английского термина communication studies), а также метадискурс (Роберт Т. Крэйг).

Процесс коммуникации (в том числе как формы взаимодействия) понимается в качестве одной из основ жизни человека и общества. При этом речь у исследователей идёт как о процессах коммуникации, так и о его результатах.
Зимние юношеские Олимпийские игры 2024
Зимние юношеские Олимпийские игры 2024 (англ. IV Winter Youth Olympic Games, кор. 제4회 동계 청소년 올림픽) проходили с 19 января по 1 февраля 2024 года в Канвондо, Республика Корея. Первые зимние юношеские игры, которые проходят в Азии.

Пхёнчхан
Пхёнчха́н (кор. 평창군?, 平昌郡?, Пхёнчхангун) — уезд в провинции Канвондо, Южная Корея. Административный центр — уездный город Пхёнчхан. Является третьим по площади территории уездом в стране. Расположен в горах Тхэбэксан примерно в 180 км к востоку от столицы страны, Сеула.
Абразивный порошок
Порошки́ абрази́вные — Шлифовальным или абразивныйм порошком называется,  абразивный материал, размеры зерен которого находятся в пределах 4750-50 мкм (ГОСТ 52381-2005).

Более мелкие зерна абразивного материала называются микропорошками, размеры зерен 63-14 мкм, самые мелкие с размером зерен 10-3 мкм – тонкими действует в части микропорошков).

К природным абразивным порошкам относятся корунд, наждак, кварцевый песок, гранат, кремень, мелкозернистый кварцит (байколит) и др. Искусственные абразивные материалы – карбид бора, карбид кремния, электрокорунд, техническое стекло и др.

Гранат (минерал)
Грана́ты (от лат. granatus — подобный зёрнам) — группа минералов, представляющих смеси двух изоморфных рядов: R2+3Al2(SiO4)3 и Ca3R3+2(SiO4)3. Общая формула: R2+3 R3+2 [SiO4]3, где R2+ — Mg, Fe, Mn, Ca; R3+ — Al, Fe, Cr. Обычно в узком смысле под гранатами понимают лишь прозрачные красные камни альмандины и пиропы (см. ниже). Их тёмно-красные кристаллы напоминают зёрна плода «финикийского яблока» — граната. Отсюда, вероятно, и пошло название камня. В ранние времена гранаты часто назывались «ла́лами» — именем, объединяющим несколько драгоценных камней кроваво-красного цвета: рубин, шпинель и гранат.:316
Фридерих (вождь ругов)
Фридери́х (лат. Friderichus; погиб в 492 или 493) — вождь придунайских ругов в 488—492/493 годах; после уничтожения Одоакром королевства ругов — один из военачальников короля остготов Теодориха Великого, участвовавший в завоевании тем Апеннинского полуострова.

Исторический источник
Истори́ческий исто́чник — продукт (материально реализованный результат) целенаправленной человеческой деятельности, используемый для получения данных о человеке и обществе, в котором тот жил и действовал.

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

Изучением исторических источников занимается источниковедение.
Кишкино (Семёнковский сельсовет)
Кишкино — деревня в Вологодском районе Вологодской области.

Входит в состав Семёнковского сельского поселения, с точки зрения административно-территориального деления — в Семёнковский сельсовет.

Расстояние по автодороге до районного центра Вологды — 16 км, до центра муниципального образования Семёнково — 8 км. Ближайшие населённые пункты — Мольбища, Петраково, Турбачево.

По переписи 2002 года население — 2 человека.

Турбачево
Турбачево — деревня в Вологодском районе Вологодской области.

Входит в состав Семёнковского сельского поселения, с точки зрения административно-территориального деления — в Семёнковский сельсовет.

Расстояние по автодороге до районного центра Вологды — 12 км, до центра муниципального образования Семёнково — 4 км. Ближайшие населённые пункты — Абаканово, Петраково, Вотолино.

По данным переписи в 2002 году постоянного населения не было.
Перния, Мариано
Мариа́но Андре́с Перни́я Моли́на (исп. Mariano Andrés Pernía Molina; родился 4 мая 1977 года, Буэнос-Айрес, Аргентина) — испано-аргентинский футболист, завершивший игровую карьеру. Играл на позиции левого защитника.

Кубок Интертото 2007
В Кубке Интертото в 2007 году приняли участие 50 команд из 49 стран — членов УЕФА (не участвовали клубы Шотландии, Норвегии, Лихтенштейна и Сан-Марино). В зависимости от рейтинга федерации команды стартовали с первого, второго или третьего раунда; одиннадцать победителей третьего раунда перешли во второй квалификационный раунд Кубка УЕФА. Жеребьёвка турнира состоялась 23 апреля 2007 года в штаб-квартире УЕФА в Ньоне. 17 июня после завершения чемпионата Испании стал известен окончательный состав участников. Турнир завершился 29 июля.
Сбалансированная булева функция
В булевой алгебре, сбалансированной булевой функцией называется такая булева функция, которая на всей области определения функции принимает значение 0 ровно столько же раз, как и значение 1. Другими словами, в таблице истинности сбалансированной булевой функции количество входных комбинаций, при которых функция принимает значение 0, совпадает с количеством комбинаций, при которых функция принимает значение 1. Сбалансированные функции также называются уравновешенными или равновероятными, поскольку при равновероятных случайных значениях на входе или при переборе всех комбинаций по таблице истинности вероятность получения на выходе значения 1 равна 1/2.

Простейшим примером сбалансированной булевой функции является функция, принимающая значение 1, если на входе четное число, и 0, если на входе нечетное число (или наоборот).

Булева алгебра
Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики.

Бу́левой а́лгеброй называется непустое множество A с двумя бинарными операциями  (аналог конъюнкции),  (аналог дизъюнкции), одной унарной операцией  (аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для любых a, b и c из множества A верны следующие аксиомы:

Первые три аксиомы означают, что (A, , ) является решёткой. Таким образом, булева алгебра может быть определена как дистрибутивная решётка, в которой выполнены две последние аксиомы. Структура, в которой выполняются все аксиомы, кроме предпоследней, называется псевдобулевой алгеброй.
Названа в честь Джорджа Буля.
Облизанная рука
«Облизанная рука» (англ. Licking Hand), также известная как «Люди тоже могут лизать» — городская легенда. Существует несколько версий, и впервые она была обнаружена в печати еще в феврале 1982 года.

В различных вариациях истории молодая девушка или близорукая женщина остаётся одна дома, боясь местного убийцы. Ее единственный компаньон — домашняя собака, и она чувствует себя спокойнее ночью, когда собака, как кажется, лижет ей руку. В какой-то момент она обнаруживает, что собаку либо убили, либо она никогда не была с ней в доме. Тот, кто облизывал её руку, был убийцей.

По мнению, высказанному Брунвандом в книге The Choking Doberman (1984), эта история хорошо известна людям всех возрастов, но Майкл Уилсон в этом сомневается, считая её более распространённой среди подростков; сам он впервые услышал её в 1991 году.

На истории основан эпизод Safe at Home сериала Freaky Stories(1998).

Городская легенда
Городска́я леге́нда (амер. англ. urban legend), или городско́й миф (брит. англ. urban myth) — современная разновидность легенды (мифа): короткая и на первый взгляд правдоподобная, хотя обычно не соответствующая действительности история, опирающаяся на современную техническую и общественную реальность.

Сам термин «городская легенда» в русском языке является калькой с английского словосочетания «urban legend», которое переводится как «байка, выдумка (выдаваемая за правду)».