hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Независимость системы аксиом
Незави́симость систе́мы аксио́м ― свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, называется независимой.

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

Формальная система — это совокупность абстрактных объектов, не связанных с внешним миром, в которой представлены правила оперирования множеством символов в строго синтаксической трактовке без учёта смыслового содержания, то есть семантики.
Строго описанные формальные системы появились после того, как была поставлена задача Гильберта. Первые ФС появились после выхода книг Рассела и Уайтхеда «Формальные системы»[уточнить]. Этим ФС были предъявлены определённые требования.
Пронино (Шатурский район)
Про́нино — деревня в Шатурском муниципальном районе Московской области, в составе сельского поселения Пышлицкое. Расположена в юго-восточной части Московской области. Входит в культурно-историческую местность Ялмать. Деревня известна с 1637 года.

Население — 30 чел. (2013).

Сельское поселение Пышлицкое
Сельское поселение Пышлицкое — упразднённое муниципальное образование (сельское поселение) в Шатурском муниципальном районе Московской области. Было образовано в 2005 году. Включает 35 населённых пунктов.

Административный центр — село Пышлицы.
Корзина
Корзи́на — плетёное изделие, служащее вместилищем для хранения вещей, для упаковки или переноски.

Корзины плетут из различных материалов: берёсты, ивы (по состоянию на начало XX века это был самый распространённый в Европе материал для их плетения) лозы, луба, соломы, кореньев, драни, бамбука (на Дальнем Востоке). Сплошные корзины иногда делают из бумаги, ткани, отличая от коробок развалистым верхом и бывают без крышек или с плоскими крышками без обечайки. Обычно корзина является изделием народного промысла, методы изготовления которого отличны в зависимости от региона (края, страны). В Европе, в частности, широко распространены так называемые «рамочные» корзины, предполагающие изготовление рамки (чаще всего из ивы) и последующее её оплетение.

Береста
Береста́, или берёста — верхний слой (белая наружная часть) коры берёзы.

Внешняя сторона бересты обычно белого цвета с сероватым оттенком, реже — розовато-коричневого.

Внутренние слои, обращённые к лубу, бывают различных оттенков — от жёлтого до коричневого.
Ендогуров, Иван Иванович
Иван Иванович Ендогуров (23 октября [4 ноября] 1861, Кронштадт — 17 или 29 мая 1898, о. Капри) — русский живописец, график, акварелист, член Товарищества передвижных художественных выставок. Принадлежал к числу блестящих художников XIX века, главным творческим направлением которых был лирический пейзаж. Картины художника представлены в Государственном Русском музее (Санкт-Петербург), Государственной Третьяковской галерее (Москва), во многих региональных музеях и галереях России, странах ближнего и дальнего зарубежья, а также частных собраниях. Старший брат акварелиста С. И. Ендогурова (1864—1894).

Передвижники
Товарищество передвижных художественных выставок (сокр. ТПХВ), передви́жники — историческое объединение русских художников, крупнейшая творческая группа времён «великих реформ» и «контрреформ», существовавшая в 1871—1923 годах.

В эстетическом плане участники Товарищества (или передвижники) до 1890-х годов целенаправленно противопоставляли себя академистам и утверждали, что вдохновляются народничеством. Организуя передвижные выставки, передвижники вели активную просветительскую деятельность и обеспечивали сбыт своих произведений; экономическая жизнь товарищества строилась на кооперативных началах.
Лирика (альбом)
«Лирика» — магнитоальбом московской рок-группы «ДК», записанный в 1983 году и выпущенный самиздатом в 1985 году.

Сборник лучших ранних вещей, составленный из первых двух «номерных» альбомов — «Увезу тебя я в тундру» (1983) и «Их нравы» (1983) с наложением в том же году клавишей А. Белоносова на часть исходного материала. Название было предложено физиком Кириллом Боярчуком, работавшим тогда вместе с С. Жариковым и Г. Ляховым (автор нескольких текстов для «ДК») в ИОФАН. Был переиздан в 1995 году в США тиражом 900 экз.

Альбом «Лирика» упоминается в книге Александра Кушнира «100 магнитоальбомов советского рока», где он датирован 1983 годом.

Кушнир, Александр Исаакович
Алекса́ндр Исаа́кович Кушни́р (род. 31 октября 1964, Киев) — журналист, музыкальный продюсер, генеральный директор музыкально-информационного агентства «Кушнир Продакшн», автор ряда книг о советской и российской музыке, в том числе «100 магнитоальбомов советского рока», «Сергей Курёхин. Безумная механика русского рока» и др. Автор текстов для антологии компакт-дисков групп «Наутилус Помпилиус», «Аквариум», серии «Легенды русского рока».
Пространство MNI
Пространство MNI (координаты MNI) (от англ. Montreal Neurological Institute) — распространённая стандартизированная 3D-система координат человеческого мозга (известная как «атлас») Монреальского неврологического института (MNI), которая является шаблоном, используемым для статистически параметрического картирования (Statistical parametric mapping, SPM) и стандартизированным Международным консорциумом по картированию мозга (The International Consortium of Brain Mapping, ICBM). Стандартные карты мозга, такие как Талайрах-Турну или шаблоны из Монреальского неврологического института (MNI), часто используются для того, чтобы исследователи со всего мира могли сравнить свои результаты. Большинство пакетов программного обеспечения для нейровизуализации могут преобразовывать координаты Талайраха в координаты MNI.

Головной мозг
Головно́й мозг (лат. encephalon, др.-греч. ἐγκέφαλος) — главный орган центральной нервной системы подавляющего большинства хордовых, её головной конец; у позвоночных находится внутри черепа.

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

Несмотря на значительный прогресс в изучении головного мозга в последние годы, многое в его работе до сих пор остаётся загадкой. Функционирование отдельных клеток достаточно хорошо объяснено, однако понимание того, как в результате взаимодействия тысяч и миллионов нейронов мозг функционирует как целое, доступно лишь в очень упрощённом виде и требует дальнейших глубоких исследований.
Церковь Бориса и Глеба на Поварской
Це́рковь святы́х страстоте́рпцев Бори́са и Гле́ба на Поварско́й (Борисогле́бская церковь, храм Спа́са Нерукотво́рного О́браза) — утраченный православный храм, располагавшийся в Москве на пересечении Борисоглебского переулка и Поварской улицы. Первые упоминания о сооружении относятся к XVIII веку. В 1933 году церковь закрыли и через три года снесли. На месте сооружения к 1946-му возвели здание Музыкального института имени Гнесиных.

Музыкальное училище имени Гнесиных
Музыка́льное учи́лище и́мени Гне́синых (в 2003—2016 годах — колледж) — музыкальное учебное заведение в Москве, готовящее по программам среднего профессионального образования. Основано в 1895 году. Входит в состав РАМ им. Гнесиных (с 2011 года). В училище ведётся подготовка по инструментальному исполнительству, хоровому дирижированию, сольному и хоровому народному пению, вокальному искусству, по теории музыки.
Мюллеров проток
Мю́ллеров прото́к (кана́л, ход), или парамезонефри́ческий прото́к, или же́нский прото́к (лат. ductus Mülleri, ductus paramesonephricus) — парный канал со сросшейся дистальной частью, соединяющий у эмбрионов позвоночных головную почку с полостью клоаки. Назван в честь немецкого анатома и физиолога Иоганна Мюллера, который описал его в работе 1830 года «Развитие половых органов» (нем. Bildungsgeschichte der Genitalien).

Пронефрос
Пронефрос (головная почка, предпочка; от др.-греч. πρό — «впереди» и νεφρός — «почка») — парный орган выделения у зародышей низших позвоночных. У высших позвоночных (в том числе у человека) пронефрос закладывается, но не функционирует.

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

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

Впервые пронефрос был описан в 1829 году Иоганнесом Мюллером.
Троицкая суббота
Тро́ицкая суббо́та — день всеобщего поминовения усопших, родительская суббота перед Днём Святой Троицы (Троицыным днём).

В православной традиции день особого поминовения усопших православных христиан. В годовом богослужебном круге Православных церквей — вселенская родительская суббота, когда совершается «вселенское», то есть всеобщее общецерковное поминовение усопших верных. В греческих церквях суббота перед Днём Святой Троицы входит в число пяти «дней всех душ» (греч. Ψυχοσάββατο) — пяти суббот в церковном календаре, выделенных для общего поминовения верных.

День общерусского поминовения усопших. В России и на юго-востоке Белоруссии считался самым большим и почитаемым поминальным днём.

День Святой Троицы
Пятидеся́тница (греч. Πεντηκοστή), также Неде́ля Свято́й Пятидеся́тницы (Κυριακή της ἁγίας Πεντηκοστής, церк.-слав. Недѣ́лѧ ст҃ы́ѧ пентико́стїи), в русской традиции чаще — День Свято́й Тро́ицы (Тро́ица, Тро́ицын день), иногда Ду́хов день — один из главных христианских праздников.

Православная церковь празднует День Святой Троицы в воскресенье в день Пятидесятницы — 50-й день после Пасхи (Пасха — 1-й день). Праздник входит в число двунадесятых праздников.

В западнохристианской традиции в этот день празднуют Пятидесятницу, или сошествие Святого Духа на апостолов, а собственно День Святой Троицы празднуют в следующее воскресенье (57-й день после Пасхи).
Уэйк, Томас, 2-й барон Уэйк из Лидделла
Томас Уэйк (англ. Thomas Wake; 20 марта 1297/98 — 31 мая 1349) — английский аристократ, 2-й барон Уэйк из Лидделла (с 1300 года). Был одним из крупнейших землевладельцев северных графств, участвовал в ряде походов английских королей в Шотландию. Поддерживал своего родственника Томаса Ланкастерского в его распрях с короной, но в 1322 году перешёл на сторону Эдуарда II, благодаря чему сохранил жизнь и королевскую благосклонность. В 1326 году участвовал в свержении короля. В 1328 году вместе с тестем, Генри Ланкастерским, открыто выступил против королевы Изабеллы Французской и её фаворита Роджера Мортимера; был вынужден сдаться, после казни зятя, Эдмунда Кентского, бежал во Францию (1330 год). Эдуард III, взяв власть в свои руки, призвал Уэйка на родину. Тот занимал должность губернатора Нормандских островов, заседал в регентском совете. Умер во время эпидемии «Чёрной смерти».

Эдмунд Вудсток, 1-й граф Кент
Эдмунд Вудсток (англ. Edmund of Woodstock; 5 августа 1301 — 19 марта 1330) — английский принц, 1-й барон Вудсток с 1320 года, 1-й граф Кент с 1321 года, лорд-смотритель Пяти портов, констебль Дуврского замка и хранитель Кента в 1321—1323 годах, шериф Ратленда в 1323—1326 годах, сын Эдуарда I, короля Англии, и Маргариты Французской, дочери Филиппа III, короля Франции.
Солнечный (стадион)
«Солнечный» (укр. Сонячний) — футбольный стадион в Харькове, построенный в 2011 году. Вмещает 4924 зрителя. На «Солнечном» национальная сборная Украины по футболу проводит подготовительные сборы и тренировки перед матчами, которые проходят на стадионе «Металлист». В мае 2022 года стадион был обстрелян российской армией, вследствие чего были разрушены трибуны и повреждено игровое поле.

Стадион принимал домашние футбольные матчи «Гелиоса», «Металлиста 1925», «Металла», «Волчанска», а также женского футбольного клуба «Жилстрой-2». 30 сентября 2020 года на «Солнечном» состоялся финал Кубка Украины по футболу среди женщин 2019/20.

Металлист 1925
«Металли́ст 1925» (укр. «Металі́ст 1925») — украинский футбольный клуб из Харькова. Выступает в Украинской премьер-лиге. Домашний стадион — «Металлист». Цвета клуба — жёлто-синие.

«Металлист 1925» позиционирует себя как народный клуб, совладельцем которого может стать любой болельщик. Клуб болельщиков харьковчан на 24 февраля 2022 года насчитывал 676 членов. При КБ функционирует девять постоянных комиссий, решающих насущные вопросы жизнедеятельности клуба.

Юридически «Металлист 1925» не является правопреемником «Металлиста», который был расформирован в 2016 году из-за того, что его последний владелец Сергей Курченко перестал финансировать клуб и отказался продать его другим потенциальным инвесторам.
Am486
Am486 — семейство микропроцессоров архитектуры x86 компании AMD, представленное в апреле 1993 года в качестве конкурента процессорам семейства Intel 80486. Процессоры семейства Am486 являлись функциональными аналогами процессоров 80486 и изначально использовали микрокод процессора Intel 80386 и математического сопроцессора Intel 80287. В некоторых моделях использовался собственный микрокод AMD.

Intel 80386
Intel 80386 (также известный как i386 или просто 386) — 32-битный микропроцессор с архитектурой x86 третьего поколения фирмы Intel, выпущенный 17 октября 1985 года. Данный процессор был первым 32-разрядным процессором для PC. Применялся, преимущественно, в настольных и портативных ПК. В настоящее время в основном используется в контроллерах.
Алферьев, Николай Семёнович
Никола́й Семёнович Алфе́рьев (6 декабря 1919 года — 31 июля 1980 года) — советский военный лётчик, участник Великой Отечественной войны, заместитель командира — штурман эскадрильи 92-го гвардейского штурмового авиационного полка 4-й гвардейской штурмовой авиационной дивизии 5-го штурмового авиационного корпуса 5-й воздушной армии 2-го Украинского фронта, гвардии старший лейтенант.

Герой Советского Союза (15.05.1946), гвардии капитан.

5-я воздушная армия (СССР)
5-я воздушная армия (5-я ВА) — воздушная армия РККА в составе Вооружённых сил СССР во время Великой Отечественной войны. Сформирована 6 июня 1942 года приказом НКО от 3 июня 1942 года на базе ВВС Северо-Кавказского фронта.
Миитовская
Мии́товская — остановочный пункт Рижского направления Московской железной дороги в городе Дедовск городского округа Истра Московской области. Находится на западной окраине города.

Имеется прямое сообщение на Курское направление. На северо-запад беспересадочное сообщение осуществляется до станции Шаховская, на юго-восток — до станций Москва-Рижская и Тула-1-Курская.

Состоит из двух прямых боковых платформ, на 2 платформе (в Москву) находится кассовый павильон. Турникетами не оборудована. Относится к пятой тарифной зоне.

Время движения от Рижского вокзала — 1 час 5 минут.

Платформа построена в 1966 году при строительстве второго пути на участке Гучково — Новоиерусалимская. Открыта в мае 1966 года. По предложению строителей названа в честь МИИТа — института, который обучает инженеров транспорта, и студенты которого принимали участие в строительстве платформы во время практики.

Рижский вокзал
Ри́жский вокза́л (до 1930 — Винда́вский, до середины 1930−х — Балти́йский, до 1948 — Рже́вский) — пассажирский терминал станции Москва-Рижская. Один из десяти железнодорожных вокзалов Москвы, расположен на Рижской площади, на пересечении проспекта Мира и улицы Сущёвский Вал.

С 1 марта 2023 по 1 сентября 2024 года вокзал был временно закрыт для посадки и высадки пассажиров из-за строительства транспортно-пересадочного узла и модернизации здания вокзала.

Соседний остановочный пункт Дмитровская МЦД-2, так как на Марьиной Роще пригородные поезда от и до Рижского вокзала не останавливаются.
Электротранспорт (предприятие, Набережные Челны)
ООО «Электротранспорт» — дочернее общество МУП «Электротранспорт», в ведении которого находится единственный в Набережных Челнах вид городского электротранспорта — трамвай. В настоящее время (январь 2016 года) оператором системы является МУП «Электротранспорт», в лице дочернего общества ООО «Электротранспорт».

До декабря 2013 года ООО «Электротранспорт» являлось дочерним предприятием ОАО «КАМАЗ» и единственным на территории Российской Федерации полностью немуниципальным (негосударственным) оператором трамвайной системы.

По данным Федеральной службы государственной статистики в 2011 году предприятием было перевезено 31,4 млн пассажиров.

В 2011 году ООО «Электротранспорт» стало лауреатом международной общественной транспортной премии «Золотая колесница» в номинации «Лучшее российское региональное предприятие общего пользования».

КАМАЗ
ПАО «КАМАЗ» (акроним от Ка́мский автомоби́льный заво́д (тат. Кама автомобиль заводы), ранее «КамАЗ») — советская, затем российская компания, производитель дизельных грузовых автомобилей и дизельных двигателей, действующий с 1976 года. Также выпускает автобусы, электробусы, водоробусы (под маркой «НЕФАЗ»), тракторы, комбайны, электроагрегаты, тепловые мини-электростанции и комплектующие. Основное производство расположено в городе Набережные Челны.
Карельский бальзам
Каре́льский бальза́м — коричневая с красноватым оттенком спиртовая крепкая (45 % об.) биттер-настойка. Рецептура напитка разработана в 1976 году на Петрозаводском ликёро-водочном заводе и включает почти 30 ягод, трав и корений, произрастающих в Карелии. Бальзам стал вторым после «Рижского» фирменным бальзамом в СССР.

Рижский чёрный бальзам
Рижский чёрный бальзам (латыш. Rīgas Melnais balzams) — тёмный крепкий бальзам (45 % об.) с горько-сладковатым вкусом, производится в Латвии. Как алкогольный напиток Рижский бальзам относят к категории биттеров.

«Рижский Чёрный бальзам» является одним из наиболее известных в мире брендов, производимых в Латвии.

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

Бальзам можно употреблять как в чистом виде, так и с чаем, кофе, с мороженым, со льдом или в коктейлях. Используется бальзам и по своему первоначальному назначению — в качестве лекарства.
Total Bellas
Total Bellas — американское реалити-шоу, премьера которого состоялась 5 октября 2016 года на телеканале E!. Шоу является спин-оффом другого шоу о «дивах» WWE Total Divas, которое рассказывает зрителям о жизни сестер-близнецов Бри и Никки Белла, а также их ближайших родственников и их партнеров, Даниеле Брайане и Джоне Сине, соответственно.

Total Divas
Total Divas — американское реалити-шоу, премьера которого состоялась 28 июля 2013 года на телеканале E!. Каждая серия дает возможность увидеть некоторые моменты из жизни див WWE. Это уже достаточно известные дивы: Бри и Никки Белла, Наталья, Кэмерон, Наоми, и Роза Мендес; а также новенькие Ева Мари, Джо Джо и Саммер Рэй. С 26 июня 2014 на WWE Network показывают повтор всех серий, начиная с первого сезона.
Классический «Доктор Кто» (12-й сезон)
Премьера двенадцатого сезона классических серий британского научно-фантастического сериала «Доктор Кто» состоялась 28 декабря 1974 года, с выходом на экраны первого эпизода серии «Робот», в котором впервые появился Том Бейкер в роли Четвёртого Доктора. Сезон завершился 10 мая 1975 года показом последнего эпизода серии «Месть киберлюдей».

Этот сезон стал первым для Тома Бейкера, актёра, сыгравшего четвёртое воплощение Доктора, Повелителя времени, который путешествует в пространстве и времени при помощи ТАРДИС, машины времени, внешне неотличимой от синей полицейской будки 1960-х. В этом сезоне с ним путешествуют Сара Джейн Смит (Элизабет Слейден), спутница предыдущего воплощения персонажа, и Гарри Салливан (Йён Мартер), который присоединился к команде ТАРДИС в этом сезоне.

Робот (Доктор Кто)
Робот (англ. Robot) — первая серия двенадцатого сезона британского научно-фантастического телесериала «Доктор Кто», состоящая из четырех эпизодов, которые были показаны в период с 28 декабря 1974 по 18 января 1975 года.
Криволинейная система координат
Криволине́йная систе́ма координа́т, или криволине́йные координа́ты, — система координат в евклидовом (аффинном) пространстве, или в области, содержащейся в нём. Криволинейные координаты не противопоставляются прямолинейным, последние являются частным случаем первых. Применяются обычно на плоскости (n=2) и в пространстве (n=3); число координат равно размерности пространства n.
Наиболее известным примером криволинейной системы координат являются полярные координаты на плоскости.

Прямоугольная система координат
Прямоуго́льная (дека́ртова) систе́ма координа́т — прямолинейная система координат с взаимно перпендикулярными координатными осями на плоскости или в пространстве. Часто используемая система координат. Просто обобщается для пространств любой размерности.

Связанные термины: декартовой обычно называют прямоугольную систему координат с одинаковыми масштабами по осям (названную так по имени Рене Декарта), а общей декартовой системой координат называют аффинную систему координат (не обязательно прямоугольную).
Сладкая N и другие
«Сладкая N и другие» — дебютный альбом Майка Науменко, выпущенный в 1980 году. Представляет собой акустический цикл песен, ставших позже известных в исполнении группы «Зоопарк». Состоит из 16 песен, в том числе из таких хитов, как «Если ты хочешь», «Пригородный блюз», «Сладкая N», «Дрянь», «Всё в порядке», «Прощай, детка!» и многих других.

Включён в книгу «100 магнитоальбомов советского рока» Александра Кушнира.

Кушнир, Александр Исаакович
Алекса́ндр Исаа́кович Кушни́р (род. 31 октября 1964, Киев) — журналист, музыкальный продюсер, генеральный директор музыкально-информационного агентства «Кушнир Продакшн», автор ряда книг о советской и российской музыке, в том числе «100 магнитоальбомов советского рока», «Сергей Курёхин. Безумная механика русского рока» и др. Автор текстов для антологии компакт-дисков групп «Наутилус Помпилиус», «Аквариум», серии «Легенды русского рока».
Схелдепрейс
Схелдепрейс или Приз Шельды (нид. Scheldeprijs) — ежегодная шоссейная однодневная велогонка, проводящаяся в бельгийской провинции Антверпен.

Впервые состоявшаяся в 1907 году, это самое старое из ныне существующих велосипедных событий во Фландрии, безумно велосипедной северной части Бельгии. Её проведение прерывалось только 7 раз во время обеих мировых войн и 2012 году она праздновала своё 100-е издание.

Антверпен (провинция)
Антве́рпен (нид. Antwerpen, фр. Anvers) — одна из десяти провинций Бельгии и одна из пяти фламандских провинций. Граничит с Восточной Фландрией, Фламандским Брабантом, Лимбургом и Нидерландами. Административный центр — город Антверпен.
Агнесса Чешская
Святая Агнесса Чешская (Агнесса Пражская, Анежка Чешская; чеш. Svatá Anežka Česká, лат. Agnes de Bohemia; 20 января 1211[…], Прага — 2 марта 1282, Прага) — католическая святая, монахиня-клариссинка, дочь короля Чехии Пржемысла Отакара I, сподвижница святой Клары Ассизской.

Клариссинки
Кларисси́нки, Клариссы, Орден святой Клары (лат. Ordo Sanctae Clarae, OSCl) — женский монашеский орден Римско-католической церкви, тесно связанный духовно и организационно с орденом францисканцев. Орден был основан святой Кларой Ассизской в качестве Второго (женского) ордена францисканцев в 1212 году.

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