hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Cinnamon
Cinnamon (от англ. cinnamon — корица) — свободная оболочка для среды рабочего стола GNOME, являющаяся ответвлением от кодовой базы GNOME Shell. Основное направление разработки — предоставление пользователю более привычной, традиционной среды в стиле GNOME 2, удобной пользователям настольных ПК и ноутбуков, без недостатков GNOME Shell и Unity. Изначально разрабатывалась командой программистов Linux Mint.

В данный момент Cinnamon используется в следующих дистрибутивах GNU/Linux: Mint, Fedora 18 и выше Netinstall/DVD, Snowlinux, Manjaro, Debian GNU/Linux, Ubuntu, ALT Linux, openSUSE, Calculate и, Arch Linux, Mageia. Также Cinnamon поддерживается в FreeBSD.

Mutter (оконный менеджер)
Mutter — оконный менеджер X Window System, который используется по умолчанию в рабочей среде GNOME 3. Mutter был разработан в качестве альтернативы Metacity. Mutter сочетает в себе функции композитного и оконного менеджера, базируется на плотном привлечении средств OpenGL и использует в своей работе функции библиотеки Clutter.

Логика управления окнами в Mutter полностью унаследована от оконного менеджера Metacity. Из значительных улучшений можно отметить гибкую систему расширения функциональности за счёт подключения плагинов, которые могут полностью изменить логику управления окнами и организацию оформления экрана. Mutter может использоваться как отдельный оконный/композитный менеджер, так и выступать в качестве основы для таких оболочек, как GNOME Shell или Moblin.
Бенкендорф, Павел Константинович
Граф Павел Константинович Бенкендорф (нем. Paul Leopold Johann Stephan Graf von Benckendorff; 29 марта (10 апреля) 1853, Берлин — 28 января 1921, Нарва) — генерал-адъютант, генерал от кавалерии, обер-гофмаршал из рода Бенкендорфов. Младший брат дипломата А. К. Бенкендорфа.

Бенкендорф, Александр Константинович
Граф Александр Константинович Бенкендорф (нем. Alexander Philipp  Konstantin Ludwig Graf von Benckendorff; 20 июля [1 августа] 1849, Берлин — 29 декабря 1916 [11 января 1917], Лондон) — русский дипломат из остзейского рода Бенкендорфов. В 1902—1916 гг. возглавлял российскую миссию в Великобритании.
Новиков, Анатолий Григорьевич
Анато́лий Григо́рьевич Но́виков (18 (30) октября 1896, Скопин — 24 сентября 1984, Москва) — советский композитор, хоровой дирижёр, педагог, общественный деятель. Народный артист СССР (1970). Герой Социалистического Труда (1976). Лауреат двух Сталинских премий второй степени (1946, 1948).

Ошанин, Лев Иванович
Лев Ива́нович Оша́нин (17 [30] мая 1912, Рыбинск, Ярославская губерния — 30 декабря 1996[…] или 31 декабря 1996, Москва) — советский поэт-песенник. Автор более 70 поэтических сборников, стихотворных повестей и пьес, лауреат Сталинской премии первой степени (1950), а также лауреат Всемирных фестивалей молодёжи и студентов.
Середнее (Вологодский район)
Середнее — деревня в Вологодском районе Вологодской области.

Входит в состав Кубенского сельского поселения (с 1 января 2006 года по 8 апреля 2009 года входила в Вепревское сельское поселение), с точки зрения административно-территориального деления — в Вепревский сельсовет.

Расстояние до районного центра Вологды по автодороге — 67 км, до центра муниципального образования Кубенского по прямой — 32 км. Ближайшие населённые пункты — Сухоруково, Сысоево, Северная Ферма.

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

Сысоево (Вепревский сельсовет)
Сысоево — деревня в Вологодском районе Вологодской области.

Входит в состав Кубенского сельского поселения (с 1 января 2006 года по 8 апреля 2009 года входила в Вепревское сельское поселение), с точки зрения административно-территориального деления — в Вепревский сельсовет.

Расстояние до районного центра Вологды по автодороге — 64 км, до центра муниципального образования Кубенского по прямой — 29 км. Ближайшие населённые пункты — Сухоруково, Середнее, Дулово.

По переписи 2002 года население — 15 человек.
Постоянная историческая комиссия АН
Постоя́нная истори́ческая коми́ссия Академии наук — научно-исследовательское учреждение, созданное в 1903 году в Санкт-Петербурге. Было образовано как одно из отделений Императорской академии наук для извлечения из зарубежных (главным образом итальянских) архивов и библиотек исторических материалов, касающихся русской истории, и дальнейшего их изучения и публикаций.

Санкт-Петербургский институт истории РАН
Санкт-Петербу́ргский институ́т исто́рии РАН (Дом Н. П. Лихачёва) — научно-исследовательский институт Российской академии наук в области российской и зарубежной истории, а также вспомогательных исторических дисциплин, входящий в Отделение историко-филологических наук РАН. В состав института входит архив, хранящий большое количество документов и рукописей по русской и западноевропейской истории средних веков и нового времени, а также ряд личных фондов петербургских историков.
Тигранакерт (Сильван)
Тигранаке́рт (арм. Տիգրանակերտ, Тигранакерт или Дикранагерд на западно-армянском языке (см. Западная Армения); др.-греч. Τιγρανόκερτα; лат. Tigranocerta) — древнеармянский город, построенный как столица государства Тиграна II в 77 г. до н. э.

Битва при Тигранакерте
Би́тва при Тигранаке́рте — сражение Третьей Митридатовой войны между армиями Римской республики и Великой Армении, произошедшее 6 октября 685 г. от основания Рима 69 года до н. э. при Тигранакерте. Несмотря на значительный численный перевес многонациональной армии Великой Армении, в основном, без учёта катафрактариев, она состояла из сырых рекрутов и крестьянских войск из её обширной империи, что привело к поражению армянской стороны, после которого, несмотря на последующие победы, случилось отпадение вассальных царств, провальное вторжение парфянских войск Фраата III и даже восстание собственных детей Тиграна II, что привело к подписанию Арташатского мирного договора из-за невозможности воевать на два фронта.
Непосредственным результатом сражения стал захват римлянами Тигранакерта, столицы Великой Армении.
Ермолово (Высоковский сельсовет, Вологодский район)
Ермолово — деревня в Вологодском районе Вологодской области.

Входит в состав Кубенского сельского поселения (с 1 января 2006 года по 8 апреля 2009 года входила в Высоковское сельское поселение), с точки зрения административно-территориального деления — в Высоковский сельсовет.

Расстояние до районного центра Вологды по автодороге — 72 км, до центра муниципального образования Кубенского по прямой — 27 км. Ближайшие населённые пункты — Ефимово, Бабик, Долматово, Лаврентьево, Кринки, Никулино, Борисоглебское, Поповское, Мынчаково, Высоково-1, Потрохово.

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

Кринки (Вологодская область)
Кринки — деревня в Вологодском районе Вологодской области.

Входит в состав Кубенского сельского поселения (с 1 января 2006 года по 8 апреля 2009 года входила в Высоковское сельское поселение), с точки зрения административно-территориального деления — в Высоковский сельсовет.

Расстояние до районного центра Вологды по автодороге — 74 км, до центра муниципального образования Кубенского по прямой — 27 км. Ближайшие населённые пункты — Демино, Ефимово, Бабик, Долматово, Лаврентьево, Никулино, Ермолово, Поповское.

По данным переписи в 2002 году постоянного населения не было.
Тилигульская катастрофа
Тилигульская железнодорожная катастрофа — одна из крупнейших катастроф в истории железных дорог Российской империи — крушение товарно-пассажирского поезда на границе между Подольской и Херсонской губерниями, на 186-й версте Одесской железной дороги, где пути, пересекая долину реки Тилигул, были проложены по насыпи высотой до 12 саженей (до 25,2 м). В нынешнее время вблизи этого места находится остановочный пункт электропоездов Борщёвка.

Пассажирами поезда были, в основном, новобранцы, перевозимые на службу в воинские части 14-й пехотной дивизии. 24 декабря 1875 года (5 января 1876), в метель, поезд сошёл с рельсов и часть вагонов свалилась под откос. В результате крушения и возникшего пожара погибло около 140 новобранцев (из 419) и около 120 получили увечья.

Подольск (Украина)
Подо́льск (укр. Подільськ; до 1935 года — Би́рзула, до 2016 года — Кото́вск) — город в Одесской области Украины. Административный центр Подольского района и Подольской городской общины.

Известен с середины 1860-х годов как Бирзула. В 1925 году здесь был похоронен в мавзолее известный советский военачальник Григорий Котовский. В 1935 году Бирзулу переименовали в Котовск и в 1938 году присвоили статус города. С 1940 года Котовск в составе Одесской области УССР.

Железнодорожная станция на линии Жмеринка—Одесса, имеется крупное локомотивное депо.
Боровичи (клуб по хоккею с мячом)
«Боровичи́» — клуб по хоккею с мячом из города Боровичи, Новгородской области.

Преемник спортивных достижений боровичских коллективов, выступавших под наименованиями «Красного керамика», «Металлурга» и «Вектора».

Обладатель наивысшего достижения в игровых видах спорта за всю историю Новгородской области (финал Кубка РСФСР — 1952 и победитель Первенства России среди команд I лиги — 2009). Участник зонального турнира Чемпионата СССР 1962 года, Чемпионата России в Высшей лиге (ныне Суперлига) сезона 2010. Участник первенств СССР, России среди коллективов второй по силе лиги страны в сезонах 1963, 1964 (класс «Б»), 1965, 1966, 1970 (II группа класса «А»), 1975 (I группа класса «А»), 1994-2009 и 2011 (I лига).

Сорокин, Владимир Иванович (футболист)
Владимир Иванович Сорокин (19 (20) апреля 1932, Боровичи, Ленинградская область, СССР — 20 (21) апреля 2008, Боровичи, Новгородская область, Россия) — советский футболист и тренер, нападающий, полузащитник, игрок в хоккей с мячом. Мастер спорта СССР (1959).
Гришутино (Вологодская область)
Гришутино — деревня в Череповецком районе Вологодской области.

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

Расстояние до районного центра Череповца по автодороге — 69 км, до центра муниципального образования Воскресенского по прямой — 20 км. Ближайшие населённые пункты — Ильина Гора, Поповское, Трофимово.

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

Поповское (Аннинский сельсовет)
Поповское — деревня в Череповецком районе Вологодской области.

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

Расстояние до районного центра Череповца по автодороге — 72 км, до центра муниципального образования Воскресенского по прямой — 21 км. Ближайшие населённые пункты — Гришутино, Ильина Гора, Трофимово, Нестеровское.

По переписи 2002 года население — 5 человек.
NGC 925
NGC 925 (другие обозначения — UGC 1913, IRAS02243+3321, MCG 5-6-45, KARA 105, ZWG 504.85, KUG 0224+333, PGC 9332) — галактика в созвездии Треугольник.

Этот объект входит в число перечисленных в оригинальной редакции «Нового общего каталога».

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

Используется в классификации галактик Жерара де Вокулёра в качестве примера галактики типа SAB(c)d.

Галактика NGC 925 входит в состав группы галактик NGC 1023. Помимо NGC 925 в группу также входят ещё 22 галактики.

Треугольник (созвездие)
Треуго́льник (лат. Triangulum, Tri) — созвездие северного полушария неба. Занимает на небе площадь 131,8 квадратного градуса. Звёзды Треугольника не ярки: α и β всего лишь третьей звёздной величины.

В Треугольнике находится спиральная галактика M33 (галактика Треугольника), третья по величине в Местной группе.
Гражданская война на Балтийском море
Гражданская война на Балтийском море — боевые действия на Балтийском море в период Гражданской войны в России, во время которых Рабоче-крестьянский Красный флот противостоял «Балтийской эскадре» ВМФ Великобритании (которая поддерживала Эстонию в войне за независимость) и эстонским военно-морским силам.

Северо-Западная армия
Се́веро-За́падная а́рмия (СЗА) — военное формирование Российского государства, действовавшее на Северо-Западном фронте Российской армии, (также — объединение Белого движения в период Гражданской войны в России).

Сформирована 20 июня 1919 года на основе Северного корпуса и других разрозненных русских антибольшевистских соединений, находившихся на территории Псковской губернии и создаваемых в тот момент Эстонской и Латвийской республик. Прекратила существование 22 января 1920 года. Последний лазарет воинов СЗА был закрыт 13 ноября 1920 года.

В советской историографии часто называется «армией Юденича», хотя генерал от инфантерии Н. Н. Юденич непосредственно командовал ею менее двух месяцев.
Типы корпусов процессоров
На протяжении более чем полувека микросхемные комплекты, а затем и микропроцессоры выпускались в различных корпусах; иногда с возможностью замены компонентов без пайки. О более современных корпусах микропроцессоров см. статью «Список разъёмов микропроцессоров».

Motorola 680x0
MC680x0/680x0/0x0/m68k/68k/68K — семейство CISC-микропроцессоров компании Motorola, основной конкурент процессоров семейства Intel x86 в персональных компьютерах 1980-х и первой половине 90-х. Перестав использоваться как основа персональных компьютеров в начале 2000-х, семейство продолжает использоваться в секторе встраиваемых решений (хотя это семейство морально устарело и для этого сектора, ибо многими фирмами производятся более доступные и производительные процессоры/контроллеры: ARM (в частности, STM32), AVR32, PIC32 (он же MIPS) и прочие на основе RISC-архитектур). Характерно то, что наиболее современная серия микроконтроллеров DragonBall MX (позже переименованная в i.MX, а также известная как MC9328MX) предназначена для тех же применений, что и ранние серии DragonBall, но основана на процессорном ядре ARM9 или ARM11 вместо Motorola 68000.
Диподия
Дипо́дия (др.-греч. ἡ διποδία «двустопие») — в античном стихосложении:

стих, состоящий из двух стоп, напр. трохеическая диподия —U | —U, анапестическая диподия UU— | UU—

всякий стих, состоящий из двустопных метров, напр. ямбический триметр, U—́ ¦ U— | U—́ ¦ U— | U—́ ¦ U—; трохеический тетраметр —́U ¦ —U | —́U ¦ —U | —́U ¦ —U | —́U ¦ —U

Метр (стихосложение)
Метр (др.-греч. μέτρον мера, мерило; нем. Versmaß) в стиховедении — мера стиха, его структурная единица. В античной метрике (науке о стихе) метр соответствует стопе или группе стоп, объединённых иктом (главным ритмическим ударением). В послеантичные времена содержание термина «метр» потеряло устойчивое значение — под метром стали понимать также стихотворный размер (например, гекзаметр), строфические образования («горацианские метры») и, наконец, «самую общую схему звукового ритма стиха» (М. Л. Гаспаров).
Ford Granada (Северная Америка)
Ford Granada — компактный, под конец своего выпуска среднеразмерный автомобиль, выпускавшийся компанией Ford Motor Company в Северной Америке с 1975 по 1982 год. Модификация с улучшенным внешним и внутренним оформлением продавалась под маркой Mercury как Mercury Monarch. С 1972 года в Европе выпускалась модель под тем же названием, не имевшая никакого отношения к американским «Гранадам».

Ford Granada (Европа)
Ford Granada — автомобиль бизнес-класса, производившийся европейским подразделением Ford Motor Company на заводе CB&A в Кёльне, Германия и на заводе Ford Dagenham (Дагенхэм, Великобритания) с 1972 по 1985 года. В США выпускалась модель под тем же названием, не имевшая никакого отношения к европейским «Гранадам».
Улица Климашкина
У́лица Клима́шкина — улица в центре Москвы на Пресне между Большой Грузинской улицей и Пресненским Валом. На углу с Малой Грузинской улицей расположен католический Собор Непорочного Зачатия Пресвятой Девы Марии.

Малая Грузинская улица
Ма́лая Грузи́нская у́лица — улица в Пресненском районе Центрального административного округа города Москвы. Проходит между улицей Красная Пресня и улицей Пресненский Вал. Нумерация домов ведётся от улицы Красная Пресня.
Трули, Ричард Харрисон
Ри́чард Ха́ррисон «Дик» Тру́ли (англ. Richard Harrison 'Dick' Truly; 12 ноября 1937 — 27 февраля 2024) — лётчик-испытатель и астронавт НАСА. В 1977 году участвовал в атмосферных испытаниях аэродинамических качеств шаттлов (ALT), летал на «Энтерпрайзе». Совершил два космических полёта: в качестве пилота на шаттле «Колумбия» — STS-2 и в качестве командира экипажа на шаттле «Челленджер» — STS-8.

Технологический институт Джорджии
Технологи́ческий институ́т Джо́рджии (англ. Georgia Institute of Technology, сокр. Georgia Tech) — крупный образовательный и научно-исследовательский центр в Атланте, штат Джорджия.

Имеет филиалы в Саванне (США), Меце (Франция), Атлоне (Ирландия), Шанхае (Китай) и Сингапуре.
Дмитровский кремль (музей-заповедник)
Музей-заповедник «Дмитровский кремль» — краеведческий музей Дмитровского края, расположенный в историческом центре города Дмитров. В 2018 году музей отметил своё 100-летие.

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

Фонд музея составляет около 40 тысяч единиц хранения, среди которых произведения масляной живописи, иконописи, графики, фарфора, оружия, тканей, мебели, книги и документы.

Кропоткин, Пётр Алексеевич
Пётр Алексе́евич Кропо́ткин (27 ноября [9 декабря] 1842, Москва, Московская губерния, Российская империя — 8 февраля 1921[…], Дмитров, Московская губерния, РСФСР) — русский революционер-анархист, географ и геоморфолог. Из княжеского рода Кропоткиных.

Исследователь тектонического строения Сибири, Центральной Азии и ледникового периода. Историк, философ и публицист, эволюционист, создатель идеологии анархо-коммунизма и один из самых влиятельных теоретиков анархизма.
Маяки мыса Генри
Маяки мыса Генри (англ. Cape Henry Lights) — два маяка, расположенных на мысе Генри, в южной части Чесапикского залива. Административно относятся к городу Виргиния-Бич, штат Виргиния, США. Новый маяк является 11-м по высоте в стране.

Кейп-Генри
Кейп-Генри (рус. мыс Генри) — мыс на Атлантическом побережье Виргинии, надалеко от города Верджиния-Бич, ограничивающий с юга вход в Чесапикский залив.

Вместе с мысом Кейп-Чарлз, являющимся северной границей входа в Чесапикский залив, известен как Вирджиния Кейпс. Оба мыса названы в честь сыновей английского короля Якова I в 1607 году.
Женская сборная Ирландии по волейболу
Женская национальная сборная Ирландии по волейболу (англ. Ireland women's national volleyball team, ирл. Eitpheile fhoireann náisiúnta na mban hÉireann) — представляет Ирландию на международных соревнованиях по волейболу. Управляющей организацией выступает Ассоциация волейбола Ирландии (англ. Volleyball association of Ireland — VAI).

Чемпионат малых стран Европы по волейболу среди женщин 2017
Финальный этап 14-го чемпионата малых стран Европы по волейболу среди женщин прошёл с 23 по 25 июня 2017 года в Люксембурге (Люксембург) с участием 5 национальных сборных команд.

В турнире приняли участие команда страны-хозяйки (Люксембург) и по две лучшие команды из квалификационных групп (Кипр, Фарерские острова, Исландия, Шотландия). Чемпионский титул во 2-й раз в своей истории выиграла сборная Исландии.
Новое время (Венесуэла)
«Новое время» (исп. Un Nuevo Tiempo, UNT) — левоцентристская социал-демократическая партия Венесуэлы, основанная в 1999 года как региональная партия в штате Сулия. С 2006 года имеет статус общенациональной организации. Одна из ведущих венесуэльских партий, часть оппозиционной коалиции «Круглый стол демократического единства». Входит в Социалистический интернационал с февраля 2013 года на правах консультативного члена.

Лозунг — «Это социал-демократия. Это хорошее правительство» (исп. Es democracia social. El buen Gobierno).

Президентские выборы в Венесуэле (2006)
Президентские выборы 2006 года в Венесуэле состоялись 3 декабря. Действующий президент Уго Чавес, одержав в 2004 году победу на референдуме об отзыве президента, решил баллотироваться на второй полный срок. Как и на предыдущих выборах, противники Чавеса решили выдвинуть единого кандидата, но вместо проведения праймериз возможные претенденты на пост президента от оппозиции провели переговоры с целью достигнуть консенсуса. В результате кандидатом оппозиции на этих выборах стал Мануэль Росалес, губернатор крупнейшего в Венесуэле штата Сулия и лидер левоцентристской партии «Новое время».

Чавес с самого начала избирательной кампании пользовался высокой популярностью в стране, лидируя в большинстве опросов общественного мнения в течение всей кампании. В итоге он смог уверенно выиграть выборы, добившись самого высокого показателя и крупнейшей разницы голосов в истории Венесуэлы начиная с выборов 1958 года. Для Чавеса эта была третья подряд победа на президентских выборах.
Теренозек
Теренозек (каз. Тереңөзек) — село, административный центр Сырдарьинского района Кызылординской области Казахстана. Административный центр и единственный населённый пункт Теренозекского сельского округа. Код КАТО: 434830100.

Село расположено в 50 км к северо-западу от областного центра. города  Кызылорды, на правом берегу реки Сырдарьи. Мост через Сырдарью в село Шаган. Железнодорожная станция на Ташкентском ходу..

В 140 км севера от поселка Теренозек расположено Конысское нефтегазоконденсатное месторождение.

Шаган (Кызылординская область)
Шаган (каз. Шаған) — село в Сырдарьинском районе Кызылординской области Казахстана. Административный центр и единственный населённый пункт Шаганского сельского округа. Находится примерно в 18 км к югу от районного центра, посёлка Теренозек. Код КАТО — 434853100.

В селе Шаган родился известный писатель Абильмажин Жумабаев (1929—2013).
Глубокая глотка (фильм)
«Глубо́кая гло́тка» (англ. Deep Throat) — американский порнофильм, снятый в 1972 году режиссёром Джерардом Дамиано (указан в титрах как «Джерри Джерард») по собственному сценарию. В главной роли снялась Линда Лавлейс (настоящее имя — Линда Борман).

Фильм является первым примером широкой демонстрации откровенной порнографии. Из-за многочисленных сексуальных сцен он получил рейтинг «X» по системе Американской киноассоциации. Несмотря на признанное впоследствии значение в истории кино, на момент выхода он запрещался к просмотру и становился предметом многих судебных разбирательств.

Дамиано, Джерард
Джерард Дамиано (англ. Gerard Damiano; 4 августа 1928, Нью-Йорк — 25 октября 2008, Форт Майерс, Флорида) — американский режиссёр порнофильмов. В 1972 он создал известный фильм «Глубокая глотка», в котором снялись Линда Лавлейс и Гарри Римс. Другие известные его фильмы включают «Дьявол в мисс Джонс» (1973) и классику садомазохизма — «История Джоанны» (1975). В 2009 году введён в Зал славы Legends of Erotica.
Алгоритм Тарского
Алгоритм Тарского — универсальный алгоритм, позволяющий установить истинность или ложность любой замкнутой арифметической формулы первого порядка с переменными для вещественных чисел.
Основан на теореме Зайденберга — Тарского.

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

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

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

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