hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Модальная алгебра
Модальная алгебра — структура , где:

— булева алгебра,

— унарная операция над , удовлетворяющая  и  для всех .

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

Теорема Стоуна о представлении булевых алгебр может быть обобщена до двойственности Йоунссона — Тарского, согласно которой каждая модальная алгебра может быть представлена как алгебра допустимых множеств в модальном общем фрейме.

Алгебра Магари (диагонализируемая алгебра) — модальная алгебра, удовлетворяющая условию ; алгебры Магари соответствуют логике доказуемости.

Нормальная модальная логика
Нормальная модальная логика — множество формул L, содержащее:

Все пропозициональные тавтологии;

;

.

и замкнутое относительно правил:

modus ponens:  следует из правила ;

подстановки;

обобщения:  следует из правила .[уточнить]

Наиболее компактную логику, удовлетворяющую указанным условиям, называют K. Большинство широко используемых в настоящее время модальных логик, имеющих значение для философии, например, S4 и S5 — К. И. Льюиса, являются нормальными и, следовательно, являются расширениями K. Однако ряд деонтических и эпистемических логик, например, являются ненормальными, часто потому, что в них отсутствует схема Крипке.

Каждая нормальная модальная логика является регулярной и, следовательно, классической.
Кейп-Элизабет
Кейп-Элизабет (англ. Cape Elizabeth) — город в округе Камберленд, штат Мэн, США. Часть агломерации Портленд – Саут-Портленд — Биддефорд в штате Мэн. По данным переписи 2020 года, население Кейп-Элизабет составляло 9535 человек.

Кейп-Элизабет известен как место проведения ежегодного шоссейного пробега Beach to Beacon 10K, который начинается в парке Crescent Beach и заканчивается у маяка Portland Head Light. В пробеге принимают участие бегуны со всех уголков США и элитные спортсмены со всего мира.

В Кейп-Элизабет есть отделение общественной школы. Название команды местной школы — Capers.

Портленд (Мэн)
Портленд (англ. Portland) — крупнейший город штата Мэн, административный центр округа Камберленд, расположен на Северо-Востоке США. Население в городской черте — 66 194 (2010), в то время как в пределах агломерации проживают 518 117 (105-я по населению), что составляет около третьей части населения штата Мэн. На 2013 год входил в пятерку самых привлекательных для проживания городов Америки.

На городской печати изображены феникс, восстающий из пепла, и девиз Портленда, Resurgam (латынь — Я воскресну вновь), отсылающий к истории (Портленд восстанавливался после четырёх разрушительных пожаров).
Цианид кадмия
Цианид кадмия — неорганическое соединение, соль металла кадмия и синильной кислоты, формулой Cd(CN)2. При нормальных условиях представляет собой белый порошок, почти не растворимый в воде. Растворяется в метиламине. Очень ядовит, канцерогенен.

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

Синильная кислота содержится в некоторых растениях, коксовом газе, а также может выделяться при пиролизе органических соединений, содержащих азот, например, в табачном дыме, при термическом разложении нейлона, полиуретанов.
Тонализм
Тонализм (англ. Tonalism) — направление в изобразительном искусстве США, появившееся в 1880-х годах и характеризующееся изображением пейзажей с доминирующим тоном воздушного пространства или тумана. С 1880 по 1915 в работах тоналистов доминировали тёмные и нейтральные тона — чёрный, серый, коричневый, тёмно-синий. В 1890-х годах американские критики начали называть подобные работы «тональными». Наиболее известные тоналисты — Джордж Иннесс и Джеймс Уистлер.

Термин «тонализм» также иногда используется для обозначения американских пейзажей, созданных под влиянием Барбизонской школы. Позже тонализм был поглощён импрессионизмом и
модернизмом.

Барбизонская школа
Барбизонская школа (фр. École de Barbizon) — группа французских живописцев-пейзажистов, работавших в середине XIX века в селении Барбизон в лесу Фонтенбло. Название «школа» условно, поскольку не все барбизонцы постоянно работали в Барбизоне, и их творчество было разнообразным, но их объединяло общее отношение к обновлению пейзажной живописи, связанное с работой непосредственно «на натуре», на пленэре.
Степановская (Алмозерское сельское поселение)
Степановская — деревня в Вытегорском районе Вологодской области.

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

Расположена на правом берегу реки Кочкомручей. Расстояние до районного центра Вытегры по автодороге — 76,6 км, до центра муниципального образования посёлка Волоков Мост  по прямой — 26 км. Ближайшие населённые пункты — Еремеевская, Ивановская, Койбино.

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

Волоков Мост
Волоков Мост — посёлок в Вытегорском районе Вологодской области. Административный центр Алмозерского сельского поселения.

С точки зрения административно-территориального деления — центр Алмозерского сельсовета.

Расположен на берегах реки Талица. Находился на Мариинской водной системе. Расстояние по автодороге до районного центра Вытегры — 37 км. Ближайшие населённые пункты — Верхний Рубеж, Средний Рубеж, Старое Петровское.

По переписи 2002 года население — 725 человек (326 мужчин, 399 женщин). Преобладающая национальность — русские (96 %).
Critical Role (2-я кампания)
Вторая кампания шоу Critical Role шла на канале Geek & Sundry на Twitch и стриминговом сервисе Project Alpha, а затем — на канале Critical Role на Twitch (и впоследствии ещё и на канале Critical Role на YouTube) c 11 января 2018 года по 3 июня 2021 года.

Через несколько дней после прямой трансляции эпизоды загружались на каналы (сначала — на канал G&S, потом — на канал CR) на YouTube, а через неделю — появлялись в форме подкаста на главных площадках для подкастов.

Список медиа по франшизе Critical Role
За время существования одноимённого шоу под брендом Critical Role вышло множество разнообразного контента. Для целей этой статьи под «медиа» понимается контент, созданный Critical Role LLC, связанными с ней компаниями либо же иными компаниями, имевшими на то лицензию, который сюжетно или атмосферно (в случае музыки) развивает сеттинг шоу — Экзандрию (мир, регионы, персонажей и т. д.) либо же строится на использовании в сюжете и/или визуальном оформлении отдельных узнаваемых его элементов, и не входит в рамки самого шоу, а также контент, связанный с побочными кампаниями/ваншотами/шоу или посвященный созданию веб-сериала, а также игры от издательства Darrington Press, которые могут быть непосредственно не связаны с Экзандрией. Мерчендайз не входит в этот список.
Сэм-Сумана, Сэмюэл
Сэмюэл Сэм-Сумана (англ. Samuel Sam-Sumana; род. 7 апреля 1962, Сефаду) — политический и государственный деятель Сьерра-Леоне, занимал должность вице-президента страны с 17 сентября 2007 года по 17 марта 2015 года. На всеобщих выборах 2007 года выдвинул свою кандидатуру от Всенародного конгресса вместе с кандидатом в президенты Эрнестом Баем Коромой. Всенародный конгресс победил кандидатов от Народной партии Соломона Береву и Момоду Корому.

Вице-президент Сьерра-Леоне
Вице-президент Сьерра-Леоне является вторым по значимости правительственным чиновником в исполнительной власти правительства Республики Сьерра-Леоне после президента. Единственная конституционная власть вице-президента состоит в том, чтобы быть непосредственным преемником президента Сьерра-Леоне, если президент ушёл в отставку или был отстранен от должности парламентом Сьерра-Леоне. Помимо этого власть вице-президента зависит от роли, делегированной президентом.

Нынешний вице-президент Сьерра-Леоне — Мохамед Джулдех Джаллох, член правящей Народной партии Сьерра-Леоне; он был приведен к присяге в качестве вице-президента 4 апреля 2018 года после победы Джаллоха и Джулиуса Маада Био на президентских выборах в Сьерра- Леоне в 2018 году.

Когда в 1971 году тогдашний премьер-министр Сиака Стивенс провозгласила Сьерра-Леоне республикой, была создана должность вице-президента. Первым вице-президентом был Сори Ибрагим Корома.
Харинакунда
Харинакунда (бенг. হরিণাকুন্ড, англ. Harinakunda) — город на западе Бангладеш, административный центр одноимённого подокруга. Площадь города равна 19,97 км². По данным переписи 2001 года, в городе проживало 17 533 человека, из которых мужчины составляли 51,06 %, женщины — соответственно 48,94 %. Плотность населения равнялась 877 чел. на 1 км². Уровень грамотности населения составлял 23,9 % (при среднем по Бангладеш показателе 43,1 %).

Города Бангладеш
Города Бангладеш в переписи 2011 года подразделялись на крупные (англ. cities) и малые — с населением более и менее 100 000 человек соответственно. По данным Бюро Статистики Бангладеш, на 2011 год в стране было 43 крупных города .
Горы Турции
Горы Турции занимают значительную часть страны. Вдоль южного побережья Чёрного моря почти 1000 км тянутся Понтийские горы, восточная часть которых иногда именуется Лазистанским хребтом. Вдоль побережья Средиземного моря от Антальи до Евфрата расположен Тавр (тур. Toros). В центре страны оба хребта соединяются в Анатолийском плоскогорье, которое на востоке переходит в Армянское нагорье, где расположена самая высокая гора Турции Агры. С античных времен известен Малый Олимп, расположенный недалеко от легендарной Трои.

Малый Олимп
Улудаг (тур. Uludağ [uˈɫudaː] в переводе «Высокая гора»; в античности — Малый Олимп, Мизийский или Вифинский Олимп, др.-греч. Ὄλυμπος) — самая значительная горная вершина хребта Улудаг в Турции, а также всей западной части полуострова Малая Азия. Высота 2543 метров над уровнем моря. Расположена в 150 км от Стамбула и в 35 км к югу от Бурсы.
Сухопутные войска Австралии
Сухопутные войска Австралии (англ. Australian Army) — часть Сил обороны Австралии, наряду с ВМФ, ВВС Австралии.

В то время как Начальник Сил обороны командует Вооруженными Силами Австралии, армия находится под командованием Начальника армии. Последний подчиняется первому, а также непосредственно подчиняется министру обороны. Хотя австралийские солдаты были вовлечены в ряд мелких и крупных конфликтов на протяжении всей своей истории, лишь во Второй мировой войне территория Австралии подвергалась прямому нападению вражеских сил. Они использовались только против Японии. Срочный призыв отменён с 1972 года.

Брисбен
Бри́сбен (англ. Brisbane [ˈbrɪzbən]) — 3-й по населению город в Австралии. Столица штата Квинсленд. Образует муниципальное образование «город Брисбен». Население —  2 628 083 человека (2022). В пределах городской агломерации проживает 2,2 млн человек (2013).

Расположен на востоке Австралии, на берегу реки Брисбен (отсюда название города) и залива Мортон Тихого океана. Климат влажный субтропический. Входит в первую сотню глобальных городов мира. Большой Брисбен производит 9 % ВВП страны.

Основан под названием Эденгласси (Edenglassie) в 1825 году. С 1859 года — столица штата Квинсленд.
Союз Т-13
«Союз Т-13» — советский пилотируемый космический корабль серии «Союз». Главной целью экспедиции являлось восстановление работоспособности станции «Салют-7».

Полёт корабля «Союз Т-13» является одной из сложнейших в техническом отношении успешных космических экспедиций, когда-либо проводившихся советскими и российскими участниками космической программы — впервые были на практике отработаны методы наведения, сближения и стыковки с неуправляемым космическим объектом, реактивация вышедшей из строя космической станции в экстремальных для человека условиях.

Союз (космический корабль)
«Союз» — наименование семейства советских и российских многоместных транспортных пилотируемых космических кораблей. Разработка базовой модели корабля началась в 1962 году в ОКБ-1 под руководством С. П. Королёва для советской лунной программы. Современные «Союзы» позволяют доставлять экипаж до трёх человек на низкую околоземную орбиту на ракете с тем же названием «Союз». Разработчик и изготовитель кораблей «Союз» — РКК «Энергия».

Корабли «Союз» совершили более 130 успешных пилотируемых полётов (см. список аппаратов) и стали ключевым компонентом советской и российской пилотируемых программ освоения космоса. После завершения полётов «Спейс шаттл» в 2011 году и до первого пилотируемого полёта Crew Dragon в 2020 году «Союзы» оставались единственным средством доставки экипажей на Международную космическую станцию.

Изготовление каждого пилотируемого корабля «Союз» занимает 2,5—3 года.
Чемпионат США по фигурному катанию 2016
Чемпионат США по фигурному катанию 2016 (англ. 2016 United States Figure Skating Championships) — соревнование по фигурному катанию среди спортсменов США проводимое Ассоциацией фигурного катания США.

Спортсмены соревновались в мужском и женском одиночном катании, в парном катании и в танцах на льду.

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

Чемпионат мира по фигурному катанию среди юниоров 2016
Чемпионат мира по фигурному катанию среди юниоров 2016 года (венг. Junior Műkorcsolya és Jégtánc Világbajnokság 2016) прошёл с 14 по 20 марта 2016 года в Дебрецене (Венгрия). В ходе соревнований были выявлены победители в мужском и женском одиночном катании, в парном катании и танцах на льду.
Бато, Дельфин
Дельфин Бато (фр. Delphine Batho; род. 23 марта 1973[…], XII округ Парижа) — государственный и политический деятель Франции. С 2012 по 2013 год занимала должность министра экологии, устойчивого развития, транспорта и жилищного строительства Франции.

Национальное собрание Франции
Национальное собрание Франции, или Национальная ассамблея (фр. Assemblée nationale) — нижняя палата парламента Франции, в то время как верхняя палата — Сенат. Заседает Национальное собрание в Бурбонском дворце (Пале-Бурбон) Парижа, расположенном на левом берегу Сены напротив площади Согласия. Пале-Бурбон построен в 1728 году, депутаты обосновались в нём с 1798 года.

Ассамблея состоит из 577 депутатов, избираемых на 5 лет в ходе прямых всеобщих выборов, проходящих в два тура. Подобно сенаторам, депутаты выполняют двойную роль: наблюдают за действиями правительства, отчитывающимся перед Ассамблеей в письменном или устном виде, и принимают новые законы.

Президент Национального собрания — это, как правило, представитель лидирующей партии. Ему ассистирует вице-президент, как правило, представитель другой партии. Срок мандата Национального собрания — 5 лет, однако президент Франции может его распустить и объявить досрочные выборы, если он ещё не распускал его в предыдущем году.
Учёт целевого финансирования
Учёт целево́го финанси́рования — область бухгалтерского учёта для отражения ресурсов, использование которых ограничено финансирующим лицом, грантодателем, правительственным органом, другими лицами или законом. Ключевым понятием учёта целевого финансирования является подотчётность и в меньшей степени — рентабельность, поэтому он часто используется некоммерческими организациями и правительствами. Поэтому учёт целевого финансирования подразделяется на:

бюджетный учёт и

бухгалтерский учёт целевого финансирования внебюджетных экономических агентов.

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

Учёт целевого финансирования отчасти касается и учёта имущества, находящегося в доверительном управлении и не принадлежащего отчитывающемуся лицу.

Международные стандарты финансовой отчётности
Международные стандарты финансовой отчётности, МСФО (англ. International Financial Reporting Standards, IFRS) — набор документов (стандартов и интерпретаций), регламентирующих правила составления финансовой отчётности, необходимой внешним пользователям для принятия ими экономических решений в отношении предприятия.
Усадьба С. А. Меншикова
Усадьба С. А. Меншикова — памятник архитектуры конца XVIII века, объект культурного наследия федерального значения.

Современный адрес: Газетный пер., дом 1/12, строение 4. Расположен в Пресненском районе ЦАО г. Москвы.

Портик
По́ртик (лат. porticus, от porta — проход, навес) — в классической архитектуре — выступающая часть здания, крытая галерея, образованная колоннадой или аркадой, имеющей собственное перекрытие: антаблемент, увенчанный аттиком или треугольным фронтоном. Такая композиция, в отличие от пропилей, открыта с трёх сторон наподобие лоджии. Но классическая лоджия обычно заглублена в стену и не является проходом. В Древней Греции крытую галерею называли стоей (греч. στοά).
Эшироль (кантон)
Эшироль (фр. Échirolles) — кантон во Франции, департамент Изер, регион Рона — Альпы, округ Гренобль. INSEE код кантона — 3805. Граничит с кантонами Пон-де-Кле (3820), Фонтен-Сейссине (3806), Сен-Мартен-д’Эр (3822) и Греноблем. Кантон был создан в 2015 году объединением кантонов Эшироль-Эст (2 коммуны) и Эбанс (1 коммуна).

Фонтен-Сесине
Фонтен-Сесине (фр. Fontaine-Seyssinet) — кантон во Франции, департамент Изер, регион Рона — Альпы, округ Гренобль. INSEE код кантона — 3806. Кантон был создан в 1985 году (3 коммуны), а в 2015 году количество коммун в нём увеличилось до 4.
Melanohalea zopheroa
Melanohalea zopheroa  (лат.) — вид листоватых лишайников семейства Пармелиевые. Впервые официально описан в 1977 году Тэдом Эсслингером как Parmelia zopheroa. Год спустя он  перевёл его в новый род Меланелия, который был создан для коричневых пармелиоидных видов. В 2004 году после того, как первые молекулярно-генетические исследования показали, что род Меланелия не является монофилетичным, был создан род Меланохалеа, описанный лихенологами Оскаром Бланко, Аной Креспо, Прадипом К. Дивакаром, Теодором Эсслингером, Дэвидом Л. Хоксуортом и Х. Торстеном Лумбшем, в который был переведён вид M. zopheroa. Лишайник имеет разобщённое распространение, так как встречается в Южной Америке (Чили) и Новой Зеландии.

Лишайники
Лиша́йники (лат. Lichenes) — симбиотические ассоциации грибов (микобионт) и фотобионтов — микроскопических зелёных водорослей (фикобионт) и/или цианобактерий (цианобионт); микобионт образует слоевище (таллом), внутри которого располагаются клетки фотобионта. Помимо двух основных участников, в составе большинства лишайников присутствует второй вид гриба, дрожжеподобные базидиомицеты. Группа насчитывает более 26 000 видов.
Dallas Lock
Dallas Lock — система защиты информации от несанкционированного доступа в процессе её хранения и обработки. Представляет собой программный комплекс средств защиты информации в автоматизированных системах.

Контактная память
Контактная память (от англ. touch memory, иногда встречается англ. contact memory или англ. iButton) — класс электронных устройств, имеющих однопроводный протокол обмена информацией (1-Wire) и помещённых в стандартный металлический корпус (обычно имеющий вид таблетки).

Металлический корпус служит для защиты находящихся внутри микросхем.

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

Устройство активизируется в момент контакта со считывателем. Операции чтения и записи осуществляются практически мгновенно во время контакта.

В простейшем случае это просто энергонезависимая память, размещаемая в металлическом корпусе.

Небольшой размер позволяет прикреплять контактную память практически на любом носителе — изделии, карточке, брелоке.
Сорг, Хендрик Мартенс
Хендрик Мартенс Сорг (нидерл. Hendrik Martenszoon Sorgh, Sorch, de Sorch; ок. 1609—1611, Роттердам — похоронен 28 июня 1670, там же) — голландский живописец Золотого века искусства Голландии бытового жанра.

Тенирс, Давид (младший)
Давид Те́нирс, в историографии называемый Второй либо Младший (нидерл. David Teniers II, David Teniers de Jonge; крещён 15 декабря 1610, Антверпен — 25 апреля 1690, Брюссель) — один из наиболее значимых фламандских живописцев и гравёров эпохи «Золотого века Нидерландов». Член большой семьи фламандских художников. Сын Давида Тенирса Старшего (1582—1649). Он был разносторонним художником и новатором во многих жанрах живописи, таких как историческая картина, бытовой жанр, пейзаж, портрет и натюрморт. Он также работал рисовальщиком и гравёром, миниатюристом, иллюстратором, декоратором, куратором и хранителем придворных художественных коллекций. Выполнял картоны для шпалер. Особенно известен разработкой крестьянского жанра, трактирных сцен, шутливых «сенжери», «картин-кунсткамер» и изображениями интерьеров с алхимиками и врачами.
Том Джонс (певец)
Сэр Том Джонс (англ. Tom Jones; настоящее имя сэр То́мас Джон Ву́дворд, Thomas John Woodward; род. 7 июня 1940[…], Понтиприт, Великобритания) — британский эстрадный певец родом из Уэльса, чьи красочные шоу и эмоциональные песни принесли ему в середине 1960-х годов широкую популярность. К концу 1980-х гг. было продано уже более 100 млн пластинок исполнителя.
В 1999 году — лучший певец года. Стал кавалером Ордена Британской империи (OBE). В начале 2000-х получил из рук королевы Соединённого Королевства Орден Британской Империи за заслуги перед государством.
Несмотря на то, что за такой большой промежуток времени он испробовал практически все разновидности поп-музыки (будь то ритм-энд-блюз, соул, поп-рок, кантри и даже техно-дэнс), его имидж претерпевал минимальные изменения.

Сэр
Сэр (англ. sir ← старофр. sieur «господин, государь» ← лат. senior «старший») — почётное именование мужчины в англоязычном мире, имеющее два значения — титул и обращение. В русском языке ранее использовался также вариант сер.
Йёрринг
Йёрринг (дат. Hjørring) — город в Дании, административный центр коммуны Йёрринг, входящей в состав области Северная Ютландия. Расположен примерно в 50 км к северу от Ольборга, в 30 км к западу от Фредериксхавна, в 13 км к юго-востоку от Хиртсхальса и в 60 км к юго-западу от Скагена. Расстояние до Копенгагена по автомобильной дороге (через мост Большой Бельт) составляет 467 км.

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

Наука о пожарах и борьбе с ними — пирология.