hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
F*
F * (произносится как F star) — функциональный язык программирования, основанный на ML и ориентированный на формальную верификацию разрабатываемых на нём программ.

Его система типов включает в себя зависимые типы, монадические эффекты и типы-уточнения. Этих выразительных средств достаточно, чтобы задавать точные спецификации для программ, включая описания функциональной корректности и свойств безопасности. Механизм проверки типов в F* позволяет доказывать, что программы соответствуют их спецификациям. Это делается с использованием комбинации SMT-решателя и ручных доказательств. Программы, написанные на F*, могут быть странслированы в OCaml, F# и C для дальнейшей компиляции и выполнения. Предыдущие версии F* также можно было транслировать в JavaScript.

Последняя версия F* написана полностью на общем подмножестве F* и F# и может быть запущена как с использованием OCaml, так и с использованием F#. Исходный код языка открыт под лицензией Apache 2.0 и активно разрабатывается на GitHub.

Формальная верификация
Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства.

Из-за рутинности даже простой формальной верификации и теоретической возможности их полной автоматизации под формальной верификацией обычно подразумевают автоматическую верификацию с помощью программы.
Засина, Роксана
Роксана Засина (пол. Roksana Zasina; 21 августа 1988, Лодзь, Польша) — польская спортсменка, борец вольного стиля, чемпионка Европы, призёр Европейских игр, чемпионатов мира и Европы, участница Олимпийских игр в Токио.

Борьба на летних Олимпийских играх 2020
Соревнования по борьбе на летних Олимпийских играх 2020 года прошли с 1 по 7 августа 2021 года. 288 спортсменов разыграли восемнадцать комплектов медалей: по 6 у мужчин и женщин в вольной борьбе и ещё 6 в мужской греко-римской борьбе.
Насакино
Насакино — название населённых пунктов в России:

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

Насакино — деревня в Сусанинском районе Костромской области, упразднена в 1998 году.

Насакино — деревня в Гаврилов-Ямском районе Ярославской области.

Насакино — деревня в Переславском районе Ярославской области.

Сусанинский район
Суса́нинский райо́н — административно-территориальная единица (район) и муниципальное образование (муниципальный район) на западе Костромской области России.

Административный центр — посёлок городского типа Сусанино.
Историко-архитектурный музей под открытым небом
Историко-архитектурный музей под открытым небом — комплекс памятников истории и культуры Сибири в Новосибирском районе Новосибирской области (посёлок Ложок), расположенный в живописной местности в 4,5 км от Новосибирского академгородка и в 25 км от центральной части Новосибирска. Находится в подчинении Института археологии и этнографии Сибирского отделения Российской академии наук.

Индигирка
Индиги́рка (якут. Индигиир) — река на северо-востоке России, в Якутии. В старину считалась главной транспортной артерией «Юкагирской землицы». Длина реки 1726 км, площадь бассейна 360 тыс. км². По площади бассейна Индигирка занимает третье место среди рек региона — после Лены и Колымы и 10-е — в России.
Веласко, Конча
Ко́нча Вела́ско (исп. Concha Velasco, также Кончита Веласко, полное имя Консепсьо́н Вела́ско Варо́на, исп. Concepción Velasco Varona; 29 ноября 1939, Вальядолид, Кастилия и Леон — 2 декабря 2023, Махадаонда, Мадрид) — испанская актриса, певица, танцовщица и телеведущая. Лауреат многочисленных теле- и кинопремий, в том числе Fotogramas de Plata и Малагского кинофестиваля.

Вальядолид
Вальядоли́д (исп. Valladolid [baʎaðoˈlið]) — город на северо-западе Испании, один из основных историко-культурных центров страны. С начала XIII по начало XVII века Вальядолид служил местопребыванием двора кастильских и испанских монархов. Ныне административный центр одноимённой провинции в составе автономного сообщества Кастилия и Леон.
Мина Флорентийский
О других святых с этим именем см. Мина (имя)

Мина Флорентийский (погиб около 250 года) — святой мученик флорентийский. День памяти — 25 октября.

Святой Мина, или Миниас, или Миниато (арм. Մինաս), или Минас почитается как первый мученик во Флоренции. По преданию он был армянским принцем, поначалу богатым, черствым и расточительным. Одумавшись и совершив покаянное паломничество в Рим, он удалился в пещеру около Флоренции, где стал вести отшельническую жизнь. Святой Мина оставался там до того времени, когда император Деций Траян решил предать его мученической смерти. Дикие звери отказались разрывать Миниато на куски, а огонь гас, и тогда святому отрубили голову. Согласно житию, после казни мученик поднял голову и отправился умирать в родную пещеру. Впоследствии, приблизительно в IV веке, там воздвигли капеллу, а в 1018 году епископ Гильдебранд решил воздвигнуть здесь церковь, которая долгое время считалась самой красивой в городе.

Капелла (архитектура)
Капе́лла (итал. cappella, от лат. capella, позднелат. capere — помещать, накрывать; cappello, уменьш. от cappa — головной убор, накидка, колпак, капюшон одеяния монаха или католического священника) в средневековой архитектуре стран Западной Европы — небольшое сооружение или отдельное помещение в храме, церковный придел, пареклесия, предназначенные для частного алтаря, молитв и хранения реликвий. Близко понятию ораториум (oratorium — молитвенный дом, место для молитвы). В католических странах Восточной Европы капли́ца, капли́чка, божни́ца.

В средневековых замках и, позднее, во дворцах и частных домах — отдельное помещение, «молельная комната» или домовая церковь.
Впервые слово «капелла» употреблено в 679 году по отношению к парижской молельне меровингских королей, в которой хранилась священная реликвия католиков — плащ (cappa) св. Мартина Турского.
Отдел информации и безопасности Генерального штаба (Италия)
2-й отдел (Информация и безопасность) Генерального штаба Вооружённых сил Италии (итал. II Reparto Informazioni e Sicurezza dello Stato maggiore della Difesa, RIS) — орган военной разведки Италии, аналог российского ГРУ или Defense Intelligence Agency США. Не входит в Систему информации для безопасности республики и действует в интересах вооружённых сил.

Главное управление Генерального штаба ВС РФ
Гла́вное управле́ние Генера́льного шта́ба Вооружённых сил Росси́йской Федера́ции (ГУ ГШ ВС РФ) — орган внешней разведки Министерства обороны Российской Федерации и центральный орган военной разведки Вооружённых сил Российской Федерации, более известный под своим прежним наименованием — Гла́вное разве́дывательное управле́ние (ГРУ).
Аскендеров, Заур Асевович
Зау́р Асе́вович Аскенде́ров (род. 12 июля 1970, Хасавюрт, Дагестанская АССР, СССР) — российский государственный и общественно-политический деятель, бизнесмен и предприниматель.                                                                        Председатель Народного Собрания Республики Дагестан с 30 сентября 2021 года. Депутат Государственной Думы Российской Федерации VI и VII созывов.

Хасавюрт
Хасавю́рт (с 1831 до 1846 — Ярыксув, кум. Хасав-юрт, в переводе с кумыкского — «поселение Хасава», авар. Хаса́вюрт, чечен. Хаси-Эвла) — город на юге России, в Республике Дагестан.

Административный центр Хасавюртовского района (в состав которого не входит).

Город республиканского значения. Образует муниципальное образование «город Хасавюрт» со статусом городского округа, как единственный населённый пункт в его составе.
Ла-Форталеза
Ла-Форталеза (исп. La Fortaleza) — официальная резиденция губернатора Пуэрто-Рико. Она была построена между 1533 и 1540 годами для защиты гавани Сан-Хуан.

Сооружение также известно под названием Паласио-де-Санта-Катарина (в переводе ― Дворец Святой Екатерины). Это старейшее постоянно используемое административное учреждение в Новом Свете.

Новый Свет
Но́вый Свет — географический термин, обозначающий сравнительно недавно открытые европейцами части света — Америку, Австралию и Океанию. Противопоставляется Старому Свету — Европе, Азии и Африке, изведанному ещё с «древних времён».
Козлов, Николай Николаевич
Никола́й Никола́евич Козло́в:

Козлов, Николай Николаевич — комбайнёр, Герой Социалистического Труда.

Козлов, Николай Николаевич (род. 1938) — советский и российский учёный, инженер.

Козлов, Николай Николаевич (род. 1972) — российский ватерполист.

Козлов, Николай Николаевич (род. 1983) — российский биатлонист.

Козлов, Николай Николаевич (учёный)
Николай Николаевич Козлов — советский и российский учёный в области разработки и обеспечения испытаний сложных систем вооружения и военной техники, доктор технических наук, профессор, заслуженный деятель науки Российской Федерации.
Состав русской армии, действовавшей на Балканах во время Русско-турецкой войны (1877—1878)
Боевое расписание русской армии на Балканах в русско-турецкую войну 1877—1878 годов.

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

Главнокомандующий действующей армией великий князь Николай Николаевич Старший.

Начальник штаба действующей армии — А. Непокойчицкий, генерал от инфантерии.

Бригада
Брига́да (фр. brigade «отряд, команда») — формирование, наименьшее тактическое соединение в вооружённых силах многих государств мира.

По боевому составу занимает промежуточное положение между полком и дивизией. Встречается практически во всех родах войск видов вооружённых сил, отдельных родах войск и специальных войск. Может включаться в состав более крупного соединения или объединения. В случаях, когда бригада не входит в состав объединения, как и в аналогии с отдельными частями, ей может быть присвоен статус отдельная.
Си Мохамед, Седрик
Се́дрик Си Моха́мед (араб. سدريك سي محمد‎, фр. Cédric Si Mohamed, 9 января 1985, Роан, Рона — Альпы, Франция) — алжирский футболист, вратарь клуба «Сен-Сир». Выступал в сборной Алжира. Участник чемпионата мира 2014.

Роан
Роа́н, Роанн (фр. Roanne, франкопров. Rouana) — город во французском департаменте Луара, на одноимённой реке, в 80 км к северо-западу от Лиона. Является супрефектурой округа Роанн. Население — 36,1 тыс. жителей (2009).

В галло-римские времена именовался Родумной (Rodumna). В Средние века — владение графов Форе. В XVI веке перешёл к роду Гуфье, для которого король сделал его герцогством. Последним титул герцога Роаннэ носил Франсуа де Лафейад, один из маршалов Людовика XIV. О почтенном возрасте коммуны напоминают немногочисленные памятники старины — замковый донжон XII века и дворец Матель XVI века.

Роанн стал расти после объединения Франции как перевалочный пункт на пути из Парижа к средиземноморскому побережью. В настоящее время здесь пересекаются Роаннский канал и несколько железных дорог.
Stanford Social Innovation Review
Stanford Social Innovation Review — ежеквартальный журнал и сайт о социальных инновациях, который публикуется Стэнфордским Центром Филантропии и гражданского общества в Стэнфордском университете. Журнал охватывает широкий круг вопросов, в том числе некоммерческое управление, филантропию, корпоративное гражданство, социальные изменения. Он публикует широкий спектр связанных видео, вебинары и подкасты.

Издание было основано в 2003 году Центром социальных инноваций (CSI, грантополучателем Hewlett Foundation) в Стэнфордской высшей школе бизнеса. Сегодня SSIR распространяет печатную версию в более чем 400 торговых точках на территории Канады и США.

SSIR публикует In-Depth Series в партнёрстве с такими организациями, как Bridgespan Group, Mission Investors Exchange, BBB's Give.org, Third Sector Capital Partners и Communications Network.

Социальные инновации
Социальные инновации (англ. social innovation) — это новые идеи, стратегии, технологии, которые способствуют решению социально-значимых задач, вызывающие социальные изменения общества. К социальным инновациям, можно отнести новые социальные системы, системы образования, здравоохранения, системы общественных коммуникаций, использующие инновационные подходы и/или технологии.
Университет Уэйна
Университет Уэйна (англ. Wayne State University) — государственный университет штата Мичиган, расположенный в городе Детройт, США. Основан в 1868 году.

Университет является третьим по величине университетом штата Мичиган и одним из тридцати крупнейших вузов США. Главный кампус университета расположен в Детройте и занимает площадь 822 000 м², на которых расположено более ста учебных и исследовательских зданий. Университет является одним из главных двигателей образовательного, культурного и экономического развития Детройта. Главный кампус Университета ежегодно выступает местом проведения таких культурных мероприятий, как Детройтский Фестиваль Искусств и Детройтско-Виндзорский Международный Кинофестиваль.

Ужасы (жанр)
У́жасы, или хо́ррор (англ. horror), — жанр художественного произведения, который предназначен устрашить, напугать, шокировать или вызвать отвращение у своих читателей или зрителей, вызвав у них чувства ужаса и шока.

Литературный историк Дж. А. Куддон определил ужасы как «фрагмент художественной литературы в прозе переменной длины <…> которая шокирует или даже пугает читателя, или, возможно, вызывает чувство отвращения или антипатии».

Авторы произведений в жанре «ужасы» создают жуткую и пугающую атмосферу. Ужас часто сверхъестественный, хотя может быть и не сверхъестественным. Часто главная угроза произведения в жанре «ужасы» может быть истолкована как метафора больших опасений общества: фильмы о зомби — страх перед каннибализмом, об оборотнях — самого себя, о вампирах — некрофилии, слэшеры — серийных убийц и т. д.
Аркоссо
Аркоссо (порт. Arcossó) — район (фрегезия) в Португалии, входит в округ Вила-Реал. Является составной частью муниципалитета Шавеш. По старому административному делению входил в провинцию Траз-уж-Монтиш и Алту-Дору. Входит в экономико-статистический субрегион Алту-Траз-уш-Монтеш, который входит в Северный регион. Население составляет 365 человек на 2001 год. Занимает площадь 8,04 км².

Вила-Реал (округ)
Округ Вила-Реал (порт. Distrito de Vila Real) — округ в северной Португалии.
Округ состоит из 14 муниципалитетов. Входит в Северный регион. Распределён между тремя статистическими субрегионами: Алту-Траз-уш-Монтеш, Дору, Тамега. Ранее входил в состав провинции Траз-уж-Монтиш-и-Алту-Дору. Территория — 4309 км². Население — 206 661 человек (2011). Плотность населения — 47,96 чел./км². Административный центр — город Вила-Реал.
Столбищенское сельское поселение
Столбищенское сельское поселение — название нескольких муниципальных образований и административно-территориальных единиц в России:

Столбищенское сельское поселение — в Дмитровском районе Орловской области.

Столбищенское сельское поселение — в Лаишевском районе Республики Татарстан.

Лаишевский район
Лаи́шевский райо́н (тат. Лае́ш районы́) — административно-территориальная единица и муниципальное образование (муниципальный район) в составе Республики Татарстан Российской Федерации. Находится в западной части республики на месте слияния рек Волги и Камы. Административный центр — город Лаишево.

Лаишевский район был образован 14 февраля 1927 года. В 1963-м его присоединили к Пестречинскому району, а через два года воссоздали как административную единицу с центром в городе Лаишево.

Район часто неофициально именуется «Державинским краем» — по имени самого известного уроженца, российского поэта Гавриила Державина.
Садовский, Пров Михайлович (младший)
Пров Михайлович Садовский (младший) (9 (21) августа 1874 год, Москва, Российская империя — 4 мая 1947, Москва, РСФСР, СССР) — российский, советский актёр, театральный режиссёр. Народный артист СССР (1937). Лауреат Сталинской премии (1943). Кавалер двух орденов Ленина (1937, 1945).

На бойком месте
«На бойком месте» — комедия в трёх действиях Александра Николаевича Островского.

Пьеса впервые опубликована в «Современнике», 1865, № 9.

Впервые поставлена на сцене театра 29 сентября (11 октября) 1865 года в Москве, в Малом театре в бенефис Александра Рассказова. 25 октября того же года пьеса была поставлена Александринским театром.
Artois Championships 2008
Artois Championships 2008 — 106-й розыгрыш ежегодного профессионального теннисного турнира среди мужчин, проводящегося в Лондоне (Великобритания) и являющегося частью тура ATP в рамках международной серии.

В 2008 году турнир прошёл с 9 по 15 июня. Соревнование продолжало европейскую серию травяных турниров, подготовительную к Уимблдону.

Прошлогодние победители:

в одиночном разряде —  Энди Роддик

в парном разряде —  Даниэль Нестор и  Марк Ноулз

Уимблдонский турнир 2008
Уимблдонский турнир 2008 — 122-й розыгрыш ежегодного профессионального теннисного турнира серии Большого шлема, проводящегося в Уимблдоне (Лондон, Великобритания) на кортах местного «Всеанглийского клуба лаун-тенниса и крокета». Традиционно выявляются победители соревнования в девяти разрядах: в пяти — у взрослых и четырёх — у старших юниоров.

В 2008 году матчи основных сеток прошли с 23 июня по 6 июля. Соревнование традиционно завершало основной сезон турниров серии на данном покрытии.

Прошлогодние победители среди взрослых:

мужчины, одиночный разряд —  Роджер Федерер

женщины, одиночный разряд —  Винус Уильямс

мужчины, парный разряд —  Арно Клеман и  Микаэль Льодра

женщины, парный разряд —  Кара Блэк и  Лизель Хубер

смешанный парный разряд —  Елена Янкович и  Джейми Маррей
Дядьков
Дядьков — летописный город Болоховской земли. Поскольку галицко-волынский князь Даниил Романович Галицкий не взял его в 1241 году во время своего похода против болоховских князей, когда были взяты Деревич, Губин, Кобуд, Кудин и Божский, а вынужден был спустя годы снарядить отдельное войско в 3000 пеших и 300 конных воинов для взятия его и Болохова, историки исходят из того, что Дядьков имел хорошие укрепления. Точное местоположение Дядькова не установлено. Согласно одной из гипотез, Дядьков связан с селом Дьяковцы на северо-западе Винницкой области.

Дьяковцы (Винницкая область)
Дьяковцы́ (укр. Дяківці, пол. Diakowie) — село на Украине, находится в Литинском районе Винницкой области.

Код КОАТУУ — 0522482601. Население по переписи 2001 года составляет 1343 человека. Почтовый индекс — 22341. Телефонный код — 4347.
Занимает площадь 0,461 км².

Днём села принято считать 14 октября, в день Покрова Пресвятой Богородицы.
Мелоди в любви
«Мелоди в любви» (англ. Melody in Love) или «Грязная любовь Мелоди» (итал. Gli Amori Impuri Di Melody) — художественный фильм 1978 года совместного производства Италии и ФРГ, эротическая драма, снятая режиссёром Хубертом Франком.

В центре фильма находятся любовные переживания молодой девушки. Сам фильм снят в стиле классических эротических фильмов 70-х годов XX века: в нём множество эротических сцен — их можно отнести к лёгкой эротике, но никак не к порнографии. Съёмки фильма проходили на островах с тропическим климатом, это позволило включить в картину различные виды красивой природы, а также кадры подводных съёмок — всё это увеличивает эстетические впечатления от просмотра фильма, но несколько снижает остроту и кульминационность сюжета.

Главные роли в этом фильме исполнили Бритта Глатцедер, Саша Хен, Клодин Бирд, Вольф Голдан и Скарлетт Гунден. Премьера фильма состоялась 27 октября 1978 года в ФРГ. Фильм находится в коллекции кабельного телевидения Cinemax.

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

Возможна передача как и аналогового, так и цифрового формата.
Махаман, Рашида
Рашида Махаман (англ. Rachida Mahamane; род. 25 сентября 1976) — нигерская легкоатлетка, выступавшая в беге на средние и длинные дистанции. Участница летних Олимпийских игр 1996 года. Первая женщина, представлявшая Нигер на Олимпийских играх.

Бег на длинные дистанции
Бег на длинные дистанции — совокупность легкоатлетических беговых дисциплин на стадионе или шоссе, объединяющая дистанции, к которым относят 5000 м (5 километров по шоссе), 10 000 м (10 км на шоссе ). Классическими, олимпийскими, являются дистанции на 5000 и 10 000 метров.

Соревнования на дистанциях свыше 10 000 метров очень редко проводятся на стадионе, а чаще на шоссе. По классификации ИААФ подобные соревнования относятся к категории «пробегов» (бег по шоссе). Длина дистанций при беге по шоссе измеряется в километрах, на стадионе — в метрах.
Вася и динозавр
«Вася и динозавр» — советский кукольный мультфильм 1971 года, снятый на киностудии «Киевнаучфильм» о приключениях мальчика-пионера и его собаки, попавших в доисторические времена.

Режиссёрский дебют известного украинского режиссёра-мультипликатора Валентины Костылёвой.

Пионерское движение
Пионе́рское движе́ние — собирательное название детских коммунистических организаций, существующих в разных странах. Первая пионерская организация была создана в СССР в 1922 году. За основу было взято российское скаутское движение.
Инвертор для солнечных панелей
Инвертор для солнечных панелей — это тип электрического преобразователя, который преобразует исходный постоянный ток (DC) фотоэлектрической солнечной панели в переменный ток (AC) определённой частоты и напряжения, который может подаваться в общую электрическую сеть или использоваться домашней электросетью. Это критически важный элемент в солнечной электростанции, который позволяет обычному оборудованию, потребляющему переменный ток, работать в сочетании с солнечными панелями и/или аккумуляторами на постоянном токе. Инверторы солнечной электростанции имеют специальные функции, необходимые для использования с солнечными панелями, включая отслеживание точки максимальной мощности и автоматическое выключение при исчезновении сети.

Фотовольтаика
Фотовольта́ика (от др.-греч. φῶς - свет + вольт) — раздел науки на стыке физики, фотохимии и электрохимии, изучающий процесс возникновения электрического тока в различных материалах под действием падающего на них света. Этот процесс известен как фотоэлектрический или фотовольтаический эффект. Особое практическое значение фотовольтаики состоит в преобразовании в электрическую энергию энергии солнечного света для целей солнечной энергетики.
Smuggler’s Run (серия игр)
Smuggler’s Run (с англ. — «Бег контрабандиста») — серия видеоигр в жанре аркадных автосимуляторов, разработанная Angel Studios и изданная компанией Rockstar Games. Игры серии сосредотачиваются на перевозке грузов в пограничных локациях, в центре сюжета — группа контрабандистов, которая перевозит нелегальный груз.

Первая часть серии — Smuggler’s Run — вышла в 2000 году на приставку PlayStation 2, а через два года также была разработана версия для Game Boy Advance студией Rebellion Developments и изданная Destination Software. Впоследствии в 2001 году был выпущен сиквел — Smuggler’s Run 2: Hostile Territory, а в 2002 году — Smuggler’s Run: Warzones для GameCube.

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

Контрабанда
Контраба́нда (итал. contrabando от contra «против» + bando «правительственный указ») или Тайный провоз товара — незаконное перемещение (провоз, пронос, доставка) через государственную границу товаров, ценностей и иных предметов, и контрабанда — товар, ценности и иные предметы, перевезённые (перенесённые, доставленные) таким образом (тайно).

Объектом контрабанды являются интересы либо общественные отношения, связанные с защитой внешнеэкономической деятельности.