hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Библиотека Хоутона
Библиотека Хоутона (англ. Houghton Library), расположенная на южной стороне Гарвардского двора, рядом с библиотекой Уайднера, является основным хранилищем редких книг и рукописей Гарвардского университета, а также частью библиотеки Гарвардского колледжа и библиотечной системы факультета искусств и наук Гарварда.

Апдайк, Джон
Джон Хо́йер А́пдайк (англ. John Hoyer Updike; 18 марта 1932 года, Рединг, Пенсильвания, США — 27 января 2009 года, Данверс, Массачусетс) — американский писатель, поэт и литературный критик, автор 23 романов и 45 других книг: сборников рассказов, стихотворений, эссе. На протяжении многих десятилетий публиковал рассказы и рецензии в журнале The New Yorker. Лауреат ряда американских литературных премий, включая две Пулитцеровские премии (за романы «Кролик разбогател» и «Кролик успокоился»). Чтец Джефферсонской лекции (2008).
Мужской баскетбольный турнир первого дивизиона NCAA 2016
Мужской баскетбольный турнир первого дивизиона NCAA 2016 года (англ. 2016 NCAA Men's Division I Basketball Tournament) — турнир по олимпийской системе, в котором 68 команд определяли национального чемпиона США по баскетболу среди студенческих мужских баскетбольных команд. Первые игры турнира прошли 15 марта 2016 года, а финальная игра — 4 апреля на «NRG-стэдиуме» в Хьюстоне (штат Техас). В финале турнира команда «Вилланова Уайлдкэтс» обыграла «Северную Каролину Тар Хилс» со счётом 77:74 и стала национальным чемпионом. Самым выдающимся игроком турнира был назван игрок «Уайлдкэтс» Райан Арчидиаконоу.

Вилланова Уайлдкэтс (баскетбол)
Вилланова Уайлдкэтс (англ. Villanova Wildcats) — студенческая баскетбольная команда, представляющая университет Вилланова в первом баскетбольном мужском дивизионе NCAA. Располагается в Вилланове (штат Пенсильвания). В настоящее время команда выступает в конференции Big East. Домашние игры проводит в «Павильоне». В настоящее время командой руководит Джей Райт.

За свою историю «Уайлдкэтс» 38 раз участвовали в турнире NCAA — 8-й показатель в истории NCAA. Команда шесть раза попадала в Финал четырёх в 1939, 1971 (официально не признаётся NCAA), 1985, 2009, 2016 и 2018 годах, а в 1985, 2016 и 2018 году становилась чемпионом. «Вилланова» также 17 раз участвовала в турнире NIT, став его победителем в 1994 году.
Голдырев
Голдырев (фамилия)

Голдырев, Василий Иванович (1923—2001) — российский живописец.

Голдырев, Глеб Олегович (род. 1993) — российский баскетболист.

Голдырев, Иван Дмитриевич (1923—2003) — полный кавалер ордена Славы.

Голдырева, Марина Андреевна (Рявкина; род.  1993) — российская баскетболистка.

Голдырев, Василий Иванович
Василий Иванович Голдырев (24 февраля 1923, Барнаул — 17 мая 2001) — советский художник-живописец. Член Союза художников России (1996).
Работал в жанре пейзажной картины. Стоял у истоков создания Алтайского отделения Художественного фонда РСФСР.
Parallelograms
Parallelograms (с англ. — «Параллелограммы») — дебютный студийный альбом американской певицы Линды Перхакс, спродюсированный кинокомпозитором Леонардом Розенманом. Оригинальное издание 1970 года на Kapp было практически проигнорировано критиками. Лейбл не продвигал пластинку, и вскоре винил исчез из музыкальных магазинов, а Перхакс вернулась к работе стоматологом-гигиенистом. Благодаря распространению пиратских копий, Parallelograms со временем приобрёл статус культового альбома. В 1998 году его впервые переиздали — именно тогда он получил широкое признание у критиков и слушателей. Песни пластинки выдержаны в таких стилях, как психоделический фолк, фолк-рок и -джаз, и блюз. Альбом способствовал рождению такого поджанра психоделического фолка, как фрик-фолк.

Окерфельдт, Микаэль
Ларс Микаэль Окерфельдт (швед. Lars Mikael Åkerfeldt, 17 апреля 1974, Стокгольм) — шведский музыкант, гитарист, автор песен и вокалист группы Opeth. Также являлся вокалистом дэт-метал группы Bloodbath. Микаэль известен своим вкладом в прогрессив-метал, а также пением как классическим, «чистым» вокалом, так и гроулом.
Караханов
Караха́нов — фамилия.

Известные носители:

Караханов, Александр Викторович (род. 1973) — российский самбист и дзюдоист.

Караханов, Есламбек Нурбекович — аким города Семей (1992—1994).

Караханов, Магомедали Ямудинович (1977—1999) — российский милиционер, погиб при исполнении служебных обязанностей.

Караханов, Меред (1917 — ?) — Герой Социалистического Труда.

Караханов, Тигран Александрович (1944—2015) — российский дипломат и государственный деятель.

Караханов, Эдуард Аветисович (род. 1937) — учёный-химик, заслуженный профессор МГУ, лауреат премии имени Н. Д. Зелинского.

Караханов, Александр Викторович
Александр Викторович Караханов (род. 1 февраля 1973) — российский дзюдоист и самбист, чемпион и призёр чемпионатов России по дзюдо, призёр чемпионатов России по самбо, обладатель Кубков России и мира по самбо, призёр чемпионата Европы по самбо. Чемпион мира по дзюдо среди ветеранов 2012 года. Выступал в весовых категориях до 66-68 кг.
Юдоль
Юдо́ль (реже удоль, от ст.‑слав. ѫдолъ, ѫдоль) — устаревший синоним долины; в настоящее время используется как поэтический и религиозный символ, обозначающий тяготы жизненного пути, с его заботами и сложностями.
Обычно используется с эпитетом: «земная юдоль», «сия юдоль», «юдоль плача», «печальная юдоль».

Эпитет
Эпи́тет (от др.-греч. ἐπίθετον, дословно — «приложенное», в др.-греч.  означает и «эпитет» и «прилагательное» (название части речи «Имя прилагательное» перешло в русский язык как калька этого же слова)) — определение при слове, влияющее на его выразительность, красоту произношения.

Не имея в теории литературы определённого положения, название «эпитет» прилагается приблизительно к тем явлениям, которые в синтаксисе называются определением, в этимологии — прилагательным; но совпадение это только частичное.
Fulvetta ludlowi
Fulvetta ludlowi (лат.) — это маленькая птица из семейства суторовых. В некоторых классификациях эта птица относится к роду альципп. Вид впервые был описан Норманом Бойдом Кинниром в 1935 г. Латинское название дано в честь Франка Лудлоу — английского ботаника, коллекционера и исследователя Туркестана, Бутана и Тибета.

Птица обитает в Индокитае на территории Бутана, Индии,  Китая и Мьянмы. Селится в лесах и зарослях кустарника. Её серо-коричневая окраска позволяет хорошо маскироваться среди ветвей. Данных по рациону птицы мало, но предположительно она питается как животной, так и растительной пищей. Период размножения приходится на май—сентябрь.

Индокитай
Индокита́й (фр. Indochine; устар. Индо-Китай) — полуостров в Юго-Восточной Азии, располагающийся между Бенгальским заливом и Андаманским морем с одной стороны и Южно-Китайским морем с другой, занимая обширную часть азиатского континента, включающая также полуостров Малакка и соседние близлежащие районы.

В литературе встречаются название Загангский полуостров (англ. Indo-China, Forther-India, франц. Indo-Chine, нем. Indo-China), Индокитайский полуостров.
Солеминис
Солеминис (итал. Soleminis) — коммуна в Италии, располагается в регионе Сардиния, подчиняется административному центру Кальяри.

Население составляет 1587 человек, плотность населения составляет 122,45 чел./км². Занимает площадь 12,96 км². Почтовый индекс — 9040. Телефонный код — 070.

Покровителями коммуны почитаются святой апостол Иаков Старший, празднование 25 июля, и святая Анна, празднование 26 июля.

Кальяри
Ка́льяри (Калья́ри; итал. Cagliari МФА: [ˈkaʎʎari]о файле, сард. Casteddu, лат. Caralis) — город в Италии, расположенный на острове Сардиния. Административный центр области Сардиния и одноимённой территориальной единицы, приравненной к провинции.

Покровителем города считается святой Сатурнино. Праздник города 30 октября.
Моита-Верде
Моита-Верде (фр. Moïta-Verde) — упразднённый в 2015 году кантон во Франции, находился в регионе Корсика, департамент Верхняя Корсика. Входил в состав округа Корте.

Всего в кантон Моита-Верде входило 14 коммун, из них главной коммуной являлась Моита. 22 марта 2015 года коммун перераспределили между новыми кантонами Кастаньичча и Гизоначча.

Корте (округ)
Корте (фр. Corte) — округ (фр. Arrondissement) во Франции, один из округов в регионе Корсика. Департамент округа — Верхняя Корсика. Супрефектура — Корте.
Население округа на 2007 год составляло 53 422 человек. Плотность населения составляет 14 чел./км². Площадь округа — всего 2853 км².
ФК БАТЭ в сезоне 2002
Сезон 2002 года стал 7-м в истории ФК БАТЭ и 4-м сезоном в Высшей лиге чемпионата Беларуси по футболу. Победив в «золотом матче» гродненский «Неман», команда во второй раз стала чемпионом Беларуси.

В розыгрыше Кубка Беларуси 2001/2002 команда впервые вышла в финал, где уступила ФК «Гомель».
В розыгрыше Кубка Беларуси 2002/2003 команда вышла в 1/4 финала, которая прошла весной 2003 года.

В сезоне 2002 года БАТЭ в 4-й раз в истории принял старт в еврокубковом турнире. Команда прошла два раунда в турнире Кубка Интертото, уверенно обыграв сначала датский «Академиск» БК (Копенгаген), а затем клуб германской Бундеслиги «Мюнхен 1860». В 3-м раунде БАТЭ, оказав упорное сопротивление, уступил представителю итальянской Серии А «Болонье».

АБ Гладсаксе
«Академиск Болдклуб Гладсаксе» (также «Академиск», «Академиск Болдклуб», «АБ Гладсаксе» или «АБ»; дат. «Akademisk Boldklub Gladsaxe», сокр. «AB Gladsaxe» или «AB») — датский спортивный клуб из города Копенгаген, наиболее известный своей футбольной командой. Домашний стадион — «Гладсаксе», коммуна Гладсаксе. Клуб был основан в 1889 году в результате слияния двух других спортивных объединений — «Фредерисия Студентернес Крикетклуб» (дат. «Fredericia Studenternes Kricketklub») и «Политекниск Болдклуб» (дат. «Polyteknisk Boldklub»). Новая команда стала именоваться «Академиск Болдклуб» (сокращённо «АБ»); это название не менялось чуть более 120 лет. С сентября 2012 г. клуб официально именуется «Академиск Болдклуб Гладсаксе».

В начале XX века за команду выступал Харальд Бор (в будущем — известный датский математик), а также его брат Нильс (впоследствии — физик с мировым именем и нобелевский лауреат).
Кубок мира по скелетону 2014/2015
Кубок мира по скелетону 2014/2015 — это международный турнир по скелетону из 8 этапов, который начнётся 8 декабря 2014 года на трассе в Лейк-Плэсиде и завершится чемпионатом мира 2015 года в немецком Винтерберге. Впервые в истории кубок мира будет так же проходить в зачёте параскелетона. Соревнования организованы Международной федерацией бобслея и тобоггана при поддержке компании Viessmann.

Международная федерация бобслея и скелетона
Международная федерация бобслея и скелетона (англ. International Bobsleigh & Skeleton Federation, IBSF) — международная спортивная организация, объединяющая национальные федерации по бобслею и скелетону. До июня 2015 года называлась Междунаро́дная федера́ция бобсле́я и тобогга́на, ФИБТ (фр. Fédération Internationale de Bobsleigh et de Tobogganing, FIBT)
Кальвелаге (графство)
Графство Кальвелаге (Grafschaft Calvelage) — феодальное владение в составе Священной Римской империи, существовавшее во второй половине XI века и первой половине XII века.

Впервые упоминается в документе, датированном 1070 годом. Первоначально включало районы Фехты и Берзенбрюка в Нижней Саксонии.

Около 1100 года графы Кальвелаге получили во владение участок Тевтобургского леса. Там они построили замок Равенсберг, в который в 1140 г. перенесли свою резиденцию. Вскоре после этого они стали называть себя графами Равенсберга. Территорию Фехты и Берзенбрюка они в 1252 году продали епископству Мюнстер.

Графы Кальвелаге:

Герман I, в 1070 г. женился на Этелинде фон Нортхайм, дочери баварского герцога Оттона фон Нортхайма. Считается потомком Германа фон Энама (ум. 1029) из рода графов Вердена.

Герман II (I) (ум. 1144), сын Германа I

Оттон I (1120—1170/80), граф Кальвелаге и Равенсберга, сын предыдущего.

Берзенбрюк
Берзенбрюк (нем. Bersenbrück) — город в Германии, в земле Нижняя Саксония.

Входит в состав района Оснабрюк. Подчиняется управлению Берзенбрюк. Население составляет 7946 человек (на 31 декабря 2010 года). Занимает площадь 42,54 км². Официальный код — 03 4 59 010.

Город подразделяется на 7 городских районов.
Тельпис, Георгий Христофорович
Тельпис, Георгий Христофорович (1 сентября 1938, с. Делень, Одесской области — 24 сентября 2012, Санкт-Петербург) — священник Русской православной церкви, протоиерей, кандидат богословия.

Библеист, заслуженный профессор, преподаватель Священного Писания Нового Завета и Экзегетики Соборных посланий в Санкт-Петербургской духовной академии.

Патриархия.ru
Патриархия.ru (patriarchia.ru) — официальный сайт Московского патриархата (с 2009 года), ранее — сайт пресс-службы Московской патриархии.

Ресурс отличается официальной позицией, наполняется преимущественно документальной и новостной информацией о жизни Русской православной церкви и, прежде всего, её предстоятеля, однако при этом размещаются и материалы, касающиеся старообрядчества и инославных конфессий. Отмечается, что официальный характер контента делает ресурс несколько сложным для восприятия неподготовленным пользователем. По мнению Сергея Чапнина, «этот типичный корпоративный сайт мало чем отличается от интернет-визиток других крупных российских корпораций».
Популяры
Популя́ры (лат. populares от populus — народ), популяры-демократы, партия популяров — идейно-политическое течение (партия) в поздней Римской республике конца II—I веков до нашей эры, противостоявшее оптиматам и отражавшее интересы плебса, прежде всего сельского.

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

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

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

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

Жители нагорья занимаются овцеводством (с круглогодичным содержанием овец на пастбищах).

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

Луговые почвы — тип почв, формирующихся под луговой растительностью в условиях повышенного поверхностного увлажнения и/или постоянной связи с грунтовыми водами. Луговые почвы характеризуются наличием глеевого горизонта в нижней части профиля, хорошо развитым гумусовым горизонтом, часто засолены и карбонатны.
Якубов, Касым Бешимович
Касы́м Беши́мович (Биши́мович) Яку́бов (узб. Qosim Beshimovich Yoqubov; 2 [15] октября 1911 — 9 ноября 1954) — советский офицер, Герой Советского Союза (1944), участник Великой Отечественной войны в должности помощника командира взвода 1323-го стрелкового полка 415-й стрелковой дивизии 61-й армии Центрального фронта

Центральный фронт
Центральный фронт — оперативное формирование (объединение, фронт) Красной армии в годы Великой Отечественной войны. Создан 24 июля 1941 года, расформирован 26 августа того же года, его армии и полоса обороны были переданы Брянскому фронту. Второе формирование — 15 февраля 1943 года на основе расформированного Донского фронта. 20 октября 1943 года Центральный фронт был переименован в Белорусский (позже — Первый Белорусский фронт).
Бонет, Карлос
Ка́рлос Боне́т Ка́серес (исп. Carlos Bonet Cáceres; 2 октября 1977, Асунсьон) — парагвайский футболист, игравший на позиции защитника. Выступал за сборную Парагвая. Участник чемпионатов мира 2002 и 2006 годов. Участник Кубка Америки 2007.

Кубок Америки по футболу 2007
Кубок Америки по футболу 2007 — 42-й розыгрыш главного соревнования по футболу среди национальных сборных, проводимых КОНМЕБОЛ. Турнир проходил с 26 июня по 15 июля 2007 года в Венесуэле. Государство принимало Кубок Америки впервые.

Победителем соревнования стала в восьмой раз сборная Бразилии, как и на предыдущем Кубке Америки 2004 года, обыгравшая в финале сборную Аргентины. Бразилия становится обладателем Кубка Америки в четвёртый раз за последние 5 розыгрышей.

Турнир отличался высокой результативностью: в 26 матчах было забито 86 мячей, что в среднем составляет 3,3 гола за игру.
Тиба, Синъити
Синъити Тиба (яп. 千葉 真一 Тиба Синъити) 23 января 1939, Фукуока — 19 августа 2021) — японский актёр, певец, продюсер, режиссёр и мастер боевых искусств. Известен также под псевдонимом Сонни Тиба (англ. Sonny Chiba), настоящее имя Садахо Маэда (яп. 前田 禎穂 маэда садахо). Получил известность, снимаясь в фильмах о боевых искусствах — сначала в родной Японии, а затем и на международной сцене.

Фукуока
Фукуо́ка (яп. 福岡市 Фукуока-си) — город, определённый указом правительства Японии и крупный порт на юго-западе Японии; административный центр префектуры Фукуока. Значимый индустриальный центр. Площадь города составляет 341,70 км², население — 1 517 650 человек (1 августа 2014), плотность населения — 4441,47 чел./км².

Город Фукуока разделён рекой Накагава на 2 части — Хаката (торговая) и Фукуока (административная и деловая). Имеется метрополитен.
Эндер, Ина
Ина Эднер (нем. Ina Ender, урожд. Ина Шрайер, нем. Ina Schreier; (9 июля 1917 года, Берлин-Кройцберг, Германия — 27 марта 2008 года, Лениц, Германия) — одна из первых женщин-полицейских в Германии, антифашист, член движения Сопротивления во время Второй мировой войны, член организации «Красная капелла».

Красная капелла
«Кра́сная капе́лла» (нем. Rote Kapelle, или также — «Красный оркестр») — общее наименование, присвоенное гестапо самостоятельным группам антинацистского движения Сопротивления и разведывательных сетей, контактировавшим с СССР и действовавшим в европейских странах (Германия, Бельгия, Франция, Швейцария и других) во время Второй мировой войны. Лидерами наиболее известных групп были Арвид Харнак и Харро Шульце-Бойзен в Берлине, Леопольд Треппер в Париже и Брюсселе.
Полонская-Василенко, Наталия Дмитриевна
Ната́лия Дми́триевна Поло́нская-Василе́нко (укр. Ната́лія Дми́трівна Поло́нська-Василе́нко; 31 января [12 февраля] 1884, Харьков — 8 июня 1973, Дорнштадт, Баден-Вюртемберг) — украинский историк, действительный член Научного общества им. Тараса Шевченко (с 1947) и Украинской свободной академии наук в Аугсбурге (с 1948).

Научное общество имени Тараса Шевченко
«Научное общество им. Шевченко» (укр. Наукове товариство ім. Шевченка, НТШ) — международная научная организация, объединяющая украинских ученых и интеллектуалов со всего мира. Основано в 1873 году во Львове. Преследовалась польскими и советскими властями в 1920-х и 30-х гг., восстановлена в 1947 году в Западной Европе и Соединенных Штатах Америки, где уже известна как Shevchenko Scientific Society. С 1989 организация вновь действует на территории Украины.

В украинской истории это прежде общественное заведение, которое, следуя идее Тараса Шевченко служения Украине, присвоила себе его имя (первоначальное название института — «Общество имени Шевченко»). После первого этапа развития, связанного с издательской литературной деятельностью, Общество начало работать по обновленному уставу, принятому в 1892 г., и тем самым превращается в многопрофильную академию наук — с неизменным приоритетом к проблемам украиноведения.
Дхакар
Дхакар (धकार), кандхалаури дха (काँधलौरी ध) — дха, буква деванагари, обозначает  придыхательный звонкий альвеолярный взрывной согласный /dh/. Используется в алфавитах языков хинди, санскрит, бодо, конкани, маратхи, в непальском языке.

Акшара-санкхья — 9 (девять).

Дхакар ранджана

Конкани (язык)
Конкани (деванагари: कोंकणी; латиница: Koṅkani; каннада: ಕೊಂಕಣಿ; малаялам: കൊങ്കണി; IAST: koṃkaṇī) — индоарийский язык, принадлежащий к индоевропейской семье языков и распространённый на западном побережье Индии (регион Конкан). Имеет приблизительно 7,6 миллиона носителей, говорящих на двух языках-диалектах — конкани и гомантаки.

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

В отличие от многих языков Индии конкани не имеет собственной письменности. Для его записи используются письменности других региональных языков, в зависимости от местожительства носителей. В качестве официальной признана письменность деванагари.
Конкани является официальным языком штата Гоа и внесён в список официальных языков Индии.
Вила-Кова
Вила-Кова (порт. Vila Cova) — топоним.

Вила-Кова — населённый пункт и район в Португалии, входит в округ Брага.

Вила-Кова — населённый пункт и район в Португалии, входит в округ Вила-Реал.

Вила-Кова — населённый пункт и район в Португалии, входит в округ Порту.

Вила-Кова — населённый пункт и район в Португалии, входит в округ Брага.

Вила-Кова (Пенафиел)
Вила-Кова (порт. Vila Cova) — населённый пункт и район в Португалии, входит в округ Порту. Является составной частью муниципалитета Пенафиел. По старому административному делению входил в провинцию Дору-Литорал. Входит в экономико-статистический субрегион Тамега, который входит в Северный регион. Население составляет 763 человека на 2001 год. Занимает площадь 6,40 км².
Бергсма, Питер
Питер Бергсма (нидерл. Pieter Bergsma; 21 июня 1927, Вартена — 9 января 2012, Тервиспел) — нидерландский шашист и корфболист. Чемпион Нидерландов (1968) года, cеребряный призёр 1963, 1971 годов, бронзовый призёр 1951, 1974 годов чемпионатов Нидерландов. Международный мастер, национальный гроссмейстер. На чемпионате Европы в 1971 и 1974 годах стал четвёртым. 14-кратный чемпион Фрисландии (впервые в 1948 году и последний раз в 1984 году), что является рекордным показателем.

Член (с 10 апреля 1954 года) символического клуба победителей чемпионов мира Роба Клерка.

В молодости играл в футбол. Активно принимал участие в корфболе, в 70-х годах 20-го века тренер корфбольного клуба LDO Terwispel, команды высшего дивизиона Нидерландов.

Чемпионат Европы по международным шашкам среди мужчин 1974
Чемпионат Европы по международным шашкам среди мужчин 1974 года  прошёл с 18 по 26 мая в Арко (Италия) по круговой системе. В нём приняли участие 13 спортсменов.

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

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

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