hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Богуши (Городищенский сельсовет)
Богуши́ (бел. Багушы) — деревня в Городищенском сельсовете Барановичского района Брестской области Белоруссии, в 26 км на север от города Барановичи (считая от северной границы города) и в 7 км по автодорогам к юго-западу от центра сельсовета, городского посёлка Городище.

Население — 14 человек (2023).

Городище (Барановичский район)
Городи́ще (бел. Гарадзішча) — городской посёлок в Барановичском районе Брестской области Беларуси. Административный центр Городищенского сельсовета.

Расположен в северной части района, в 25 км от города Барановичи на реке Сервеч. Одно из древнейших поселений на территории района. Население — 1 660 человек (на 1 января 2025 года).

Самый крупный населённый пункт в Барановичском районе, так как город Барановичи в состав района не входит.

Некогда районный центр Городищенского района, занимавшего северную половину сегодняшнего Барановичского. На дороге Р-5, соединяющей Городище с Барановичами, самой южной точкой Городищенского района был посёлок Октябрьский. Далее начинался Новомышский район, после объединения которого с Городищенским был образован Барановичский.
Белостенный, Александр Михайлович
Алекса́ндр Миха́йлович Белосте́нный (24 февраля 1959, Одесса, Украинская ССР — 24 мая 2010, Трир, Германия) — советский баскетболист, олимпийский чемпион, чемпион мира, трёхкратный чемпион Европы. Центровой. Рост — 214 см. Размер ноги — 51-й.

Знаменит тем, что ему присваивали трижды звание заслуженный мастер спорта СССР (два раза лишался его) и каждый раз заново (а не восстанавливали в звании). Заслуженный мастер спорта СССР (1988).

Чемпионат Европы по баскетболу
Чемпионат Европы по баскетболу (Евробаскет) — международный турнир среди европейских мужских сборных по баскетболу, проводимый раз в 4 года под эгидой ФИБА. Первый турнир был проведен в 1935 году в Швейцарии. Больше всех — 14 раз — чемпионами Европы становилась сборная СССР, второй показатель у сборной Югославии — 8 титулов. Действующий обладатель титула — сборная Германии. Чемпионский кубок Евробаскета носит имя члена Зала баскетбольной славы ФИБА Николая Семашко, который многие годы возглавлял федерацию баскетбола СССР и был вице-президентом ФИБА.

С 1938 года проводится аналогичный турнир для женщин.
MasPar
MasPar Computer Corporation — американская компания, производитель минисуперкомпьютеров, основана в 1987 году Джеффом Кэлбом. Компания располагалась в Саннивейле (Калифорния). Штат компании состоял из 100 человек.

Интегральная схема
Интегра́льная схе́ма (ИС); интегра́льная микросхе́ма (ИМС), микросхе́ма — микроэлектронное устройство — электронная схема произвольной сложности (кристалл), изготовленная на полупроводниковой подложке (пластине или плёнке) и помещённая в неразборный корпус или без такового в случае вхождения в состав микросборки. Микросхемы также часто называют словом чип (англ. chip: «тонкая пластинка»: первоначально термин относился к пластинке кристалла микросхемы).

Бо́льшая часть микросхем изготавливается в корпусах для поверхностного монтажа.

Часто под интегральной схемой (ИС) понимают собственно кристалл или плёнку с электронной схемой, а под микросхемой (МС) — ИС, заключённую в корпус. В то же время выражение «чип-компоненты» означает «компоненты для поверхностного монтажа» (в отличие от компонентов для пайки в отверстия на плате).
Ленц, Родольфо
Рудольф Ленц Данцигер (нем. Rudolf Lenz Danziger), более известный как Родольфо Ленц (исп. Rodolfo Lenz; 10 сентября 1863, Галле, Саксония — 7 сентября 1938, Сантьяго) — натурализованный чилийский филолог, лингвист, лексикограф и фольклорист немецкого происхождения.

Чилийский испанский
Чилийский испанский (исп. Español chileno) — национальный вариант испанского языка в Чили, отражающий нормы центрального говора Сантьяго. При этом в некоторых окраинных регионах страны сохраняются и отличные от национальной нормы диалекты (андский испанский на крайнем севере и чилотский испанский на крайнем юге). Нормы чилийского испанского обычно употребляют около 17 миллионов жителей республики, а также около 1 миллиона человек, представляющих чилийскую диаспору. Чилийский испанский отличается аспирацией и/или выпадением конечной -s (дебуккализация), выпадением интервокальной и конечной -d, наличием йеизма; своеобразием интонационного рисунка и глагольной парадигмы, в которой преобладает вербальное восео при сохранении tú в качестве подлежащего. Сохранение tú произошло во многом благодаря деятельности Андресa Бельо (бывший ректор Чилийского университета), который объявил восео войну.
Некрополь Новодевичьего монастыря
Территория московского Новодевичьего монастыря по крайней мере с начала XIX века служила местом захоронения не только насельниц, но и представителей видных дворянских фамилий, а позднее и московской профессуры.

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

Во время массового уничтожения московских монастырских некрополей в 1930-е годы подавляющее большинство памятников было уничтожено. До нашего времени сохранилась приблизительно 1/20 дворянского некрополя (около сотни надгробий).

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

Давыдов, Денис Васильевич
Дени́с Васи́льевич Давы́дов (16 (27) июля 1784, Москва — 22 апреля (4 мая) 1839, село Верхняя Маза, Сызранский уезд, Симбирская губерния) — русский поэт, наиболее яркий представитель «гусарской поэзии», мемуарист,
генерал-лейтенант (6.10.1831). Один из командиров партизанского движения во время Отечественной войны 1812 года.
Туркестанский кружок любителей археологии
Туркестанский кружок любителей археологии (ТКЛА) — научно-краеведческая общественная организация в Российской империи, занимавшаяся изучением исторических памятников Центральной Азии.

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

Туркестан
Туркеста́н, Туркиста́н (перс. ترکستان‎, Torkestân, дословно — «Земля тюрков») — историко-географический регион Центральной Азии. Обозначение среднеазиатских земель к северу от современных Персии и Афганистана и преимущественно тюркской части северного Афганистана к югу от Амударьи.

Название, произошедшее от тюркских народов, составляющих основу местного населения, широко употреблялось в XIX и начале XX века. Термин применяется в современном российском политологическом дискурсе в отношении пяти постсоветских республик, входивших ранее в состав Союза ССР и областей Российской империи: Казахстана (южная часть), Кыргызстана, Туркменистана, Таджикистана и Узбекистана.
Гениохи
Генио́хи или энио́хи (лат. Heniochi, греч. Ἡνίοχοι — «возничие») — древний народ, населявший северо-восточный берег Понта, у Геркулесова мыса, у подошвы Коракских гор, между племенами ахеян и кораксов.

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

Историческая родина предков абазин — современная территория Абхазии и Краснодарского края. Массовое переселение абазин на Северный Кавказ с территории современного Большого Сочи происходило в XIII—XIV веках на земли Лабы, Кубани, Большого и Малого Зеленчука, Кумы и Подкумка, в район Пятигорья от Карраса до Нарцана. Тем не менее в ущелья рек Теберды и Кяфара прото-абазины проникали уже в III—II тыс. до н. э. Проникновение отдельных протоабазин на Северный Кавказ началось с VII—VIII вв.

После Кавказской войны абазины из Пятигорья и северных склонов Кавказского хребта переселялись в Турцию (Османскую империю).
Ангольско-кубинские отношения
Ангольско-кубинские отношения — двусторонние дипломатические отношения между Анголой и Кубой. Государства являются членами Всемирной торговой организации и Организации Объединённых Наций.

Во время гражданской войны в Анголе кубинские вооружённые силы воевали на стороне марксистско-ленинской фракции «Народное движение за освобождение Анголы — Партия труда» (МПЛА) против поддерживаемого Западом «Национального союза за полную независимость Анголы» (УНИТА) и поддерживаемого ЮАР «Национального фронта освобождения Анголы» (ФНЛА). После распада Советского Союза правящая ангольская партия «МПЛА» отказалась от социалистического устройства государства и перешла к многопартийной демократической системе, основанной на неолиберальных принципах. По этой причине Куба потеряла свой привилегированный статус в торговле с Анголой, а ЮАР стала крупнейшим инвестором и торговым партнёром этой страны.

Луанда
Луа́нда (порт. Luanda) — столица Анголы, крупнейший политический, культурный и финансово-промышленный центр государства. Один из старейших колониальных городов Африки. Луанда была основным городом, принимающим матчи Кубка африканских наций 2010 года.
Гиперсхематические языки
Гиперсхемати́ческие языки́ — апостериорные международные искусственные языки схематического типа, в которых некоторые деривационные и грамматические морфемы имеют априорный характер, однако корни заимствуются из естественных языков. В континууме апостериорности (от меньшей апостериорности к большей) следуют за априорными языками и предшествуют гипосхематическим.

Примерами гиперсхематических языков могут служить эсперанто и идо. Так, в эсперанто показатели имени существительного (-o), прилагательного (-a), наречия (-e) являются априорными.

Априорный язык
Априо́рный язы́к (от лат. a priori «из предшествующего») — искусственный язык, элементы которого не заимствованы из существующих языков, а созданы произвольно либо на основе какой-либо логической (философской) концепции.

Этим априорный язык отличается от апостериорных языков. Различают также априорно-апостериорные и апостериорно-априорные языки, в зависимости от преобладания соответственно априорных или апостериорных черт.
Ованнисян, Ричард
Ри́чард Гейбл Ованнися́н (англ. Richard Gable Hovannisian; арм. Ռիչարդ Գեյբլ Հովհաննիսյան; 9 ноября 1932, Туларе, Калифорния — 10 июля 2023) — американский историк, профессор Калифорнийского университета в Лос-Анджелесе (UCLA). Основные труды посвящены вопросам истории Армении, Закавказья и Ближнего Востока, истории и историографии Армении начала XX в., Первой Республики Армения, армянского геноцида в Османской империи.

Национальная академия наук Республики Армения
Национальная академия наук Республики Армения (НАН РА, арм. Հայաստանի Հանրապետության Գիտությունների ազգային ակադեմիա) — высшая научная организация, которая организует, осуществляет и координирует фундаментальные и прикладные исследования в различных областях науки на территории Республики Армения. Академия объединяет в своем составе научно-исследовательские институты, приравненные к ним учреждения и орган правления — президиум Национальной академии наук, включающий более 50 научных и других учреждений.

Общая численность сотрудников Академии составляет более 3700 человек (в том числе: 53 действительных членов Национальной академии наук, 59 членов-корреспондентов, 323 доктора наук, 1006 кандидатов наук).

Президиум Академии и большая часть её подразделений находятся в Ереване, столице Армении, другие подразделения расположены в Гюмри, Севане, Горисе, Ванадзоре и Капане. Астрономические исследования проводятся в Бюраканской астрофизической обсерватории.
Афонаскин, Александр Васильевич
Александр Васильевич Афонаскин (род. 12 июня 1935, Старо-Пластиково, Московская область) — доктор технических наук (1995), профессор кафедры «Энергетика и технология металлов» Курганского государственного университета, заслуженный изобретатель Российской Федерации. Председатель Совета главных металлургов корпорации ОАО «НПК «Уралвагонзавод».

Курганский машиностроительный завод
Акционерное общество «Курга́нский машинострои́тельный заво́д» (АО «Курганмашзаво́д») — российский завод в городе Кургане, специализирующийся на производстве боевых машин пехоты (БМП) и машин на их базе (единственный в стране). В 2019 году предприятие вошло в АО НПО «Высокоточные комплексы» госкорпорации «Ростех».

По состоянию на 2024 год АО «Курганский машиностроительный завод» является учредителем и управляющей компанией ООО ВМК «ВгТЗ».
Полименакос, Георгиос
Георгиос Полименакос (греч. Γεώργιος Πολυμενάκος; 1 июля 1859, Ареополис,  Мани — 1942, Афины) — греческий офицер, генерал-лейтенант, возглавил Армию Малой Азии на последнем этапе малоазийского похода в 1922 году.

Венизелос, Элефтериос
Элефте́риос Кириа́ку Венизе́лос (греч. Ελευθέριος Κυριάκου Βενιζέλος; 23 августа 1864, дер. Муриниес, Крит, Османская империя — 18 марта 1936, Париж, Франция) — греческий политический и государственный деятель, 8 раз занимавший должность премьер-министра в период с 1910 по 1933 год.
Войска ракетно-космической обороны
Войска ракетно-космической обороны — род войск в составе Войск ПВО СССР/России, позднее в составе РВСН РФ в период 1967—1998 гг. Изначально именовались как Войска противоракетной и противокосмической обороны (Войска ПРО и ПКО).

Войска ракетно-космической обороны, род войск, предназначенный для обнаружения пусков БР, определения начала ракетного нападения противника и выдачи информации о нём высшим органам государственного и военного руководства страны, главным штабам видов ВС. Включают силы и средства предупреждения о ракетном нападении, противоракетной обороны, контроля космического пространства и управления по вводу новых средств РКО. Созданы в марте 1967 года в составе Войск ПВО страны как войска противоракетной и противокосмической обороны. В 1992 году преобразованы в войска РКО. С 1997 года входили в состав РВСН. В 2001 году вошли в состав Космических войск.

Днестр (радиолокационная станция)
5Н15 «Днестр», 5Н86 «Днепр» (по классификации НАТО: Hen House — «Курятник») — первое поколение советских надгоризонтных радиолокационных станций, предназначенных для систем контроля космического пространства (СККП) и раннего предупреждения о ракетном нападении (СПРН). В 1960-х годах вдоль границ СССР для обнаружения атак баллистическими ракетами с разных направлений было построено шесть ОРТУ на основе таких РЛС. Они являлись основным советским средством раннего предупреждения до конца 1980-х годов. Названы по именам рек Днестр и Днепр.

В 1990-х годах их планировалось заменить более совершенными РЛС «Дарьял», но из-за распада СССР были введены в строй только две станции нового типа. По состоянию на 2012 год, в системе раннего предупреждения всё ещё эксплуатируется несколько РЛС первого поколения. В рамках госпрограммы вооружения до 2020 года все устаревшие станции планируется заменить РЛС третьего поколения «Воронеж».
Ракараму
Ракараму, другое название гилака — ра, буква алфавита телугу,  обозначает альвеолярный дрожащий согласный /r/.

Гунинтам:  ర, రా, రి, రీ, రు, రూ, రె, రే, రై, రొ, రో, రౌ.

Лигатурный вариант написания буквы ракараму ర в письменности телугу называется крарапади, или крара и представляет собой округлое подчёркивание, в некоторых шрифтах может начинаться перед буквой. Примеры:

శ్రీ కృష్ణుడు — Шри Кришна, బ్రహ్మ — Брахма.

Варианты подстрочной буквы "Р" в телугу и каннада:

Крарапади (телугу)

Раотту (каннада)

Гунинтам
Гунинтам (телугу గుణింతం) — выделеные в энциклопедии языка телугу Педда балашикше 434 комбинации гласных (аччулу) и согласных (халлулу) встречающиеся в языке телугу (31 х 14 = 434). В таблице отсутствуют буквы нгакараму и ньякараму.
Рэдукан, Андрея
Андре́я Мэдэли́на Рэдука́н (рум. Andreea Mădălina Răducan; род. 30 сентября 1983, Бырлад, Васлуй) — румынская гимнастка, чемпионка летних Олимпийских игр 2000 года в командном многоборье, пятикратная чемпионка мира.

Псевдоэфедрин
Псевдоэфедри́н — адреномиметическое, сосудосуживающее, бронхорасширяющее, антиконгестивное лекарственное средство. Алкалоид, выделяемый из побегов эфедры хвощовой (Ephedra equisetina Bge.), в которых содержится совместно с эфедрином.

Бесцветные игольчатые кристаллы или белый кристаллический порошок со слабым специфическим запахом, легко растворим в воде и этаноле, умеренно — в хлороформе.

По фармакологическим свойствам близок к эфедрину, но менее активен и токсичен.
AmigaOS
AmigaOS — это операционная система для компьютеров семейства Amiga, обладающая нетипичным микроядром, которое в классическом AmigaOS обычно рассматривается как комбинация двух компонентов: Kickstart и desktop. Kickstart представляет собой абстракцию от уникального аппаратного обеспечения Amiga и содержит: планировщик многозадачности (Exec), дисковую операционную систему (AmigaDOS) и графические библиотеки (Intuition). Рабочий стол — это графический интерфейс пользователя, который обычно представлен одноименным рабочим столом или другим файловым менеджером.

Си (язык программирования)
Си (от лат. буквы C англ. языка) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би. Первоначально был разработан для реализации операционной системы UNIX, но впоследствии был перенесён на множество других платформ. Согласно дизайну языка, его конструкции близко сопоставляются типичным машинным инструкциям, благодаря чему он нашёл применение в проектах, для которых был свойственен язык ассемблера, в том числе как в операционных системах, так и в различном прикладном программном обеспечении для множества устройств — от суперкомпьютеров до встраиваемых систем. Язык программирования Си оказал существенное влияние на развитие индустрии программного обеспечения, а его синтаксис стал основой для таких языков программирования, как C++, C#, Java и Objective-C.
Воу, Фил
Фил Воу (англ. Phillip Waugh, родился 22 сентября 1979 года в Сиднее) — австралийский регбист, известный по выступлениям на позиции правого фланкера за клуб «Уаратаз». Серебряный призёр чемпионата мира 2003 года в составе сборной Австралии.

Супер Регби
Супер Регби (англ. Super Rugby, согласно начертанию на логотипе — SupeRugby) — крупнейший регбийный чемпионат Южного полушария для клубов. Турнир, во многом продолживший традиции предшественников, в том числе Южно-Тихоокеанского чемпионата, стартовал в 1996 г. при участии клубов из Австралии, Новой Зеландии и ЮАР. Официальное название состязания до конца 2005 г. — Супер 12, впоследствии изменённое на Супер 14. Наконец, к сезону 2011 г. было утверждено нынешнее наименование, уже не отражающее число команд-участниц. В сезоне 2016 года к турниру присоединилось по команде из Аргентины и Японии. С 2020 года команды Японии, Аргентины и ЮАР покинули Супер Регби из-за экономических проблем и ограничений, связанных с пандемией.
Тучков-Морозов, Михаил Васильевич
Михаил Васильевич Тучков-Морозов (умер около 1550) — окольничий (с 1516/1517 года), боярин с (1530/1531 года), дворецкий и воевода, единственный сын боярина и конюшего Василия Борисовича Тучко-Морозова (ум. 1485/1497). Дед князя Андрея Курбского

Василий III
Васи́лий III Ива́нович, по прямому имени — Гаврии́л, в постриге — Варлаа́м (25 марта 1479, Москва, Великое княжество Московское — 3 декабря 1533, Москва, Великое княжество Московское) — великий князь владимирский и московский в 1505—1533 годах, государь всея Руси. Сын Ивана III Великого и Софьи Палеолог, отец Ивана IV Грозного. Василий III продолжил политику своего отца по «собиранию русских земель» и постепенному упразднению удельных княжеств. Его наибольшим успехом в остром противостоянии с Великим княжеством Литовским стало взятие Смоленска в 1514 году, также к единому Русскому государству были присоединены Псковская республика и Рязанское княжество. В период его правления существенно обострились отношения с постордынскими образованиями — Крымским и Казанским ханствами.
Площадь Фоли
Площадь Фоли (англ. Foley Square) — площадь в Муниципальном центре Нижнего Манхэттена между Сити-Холл-парком и Канал-стрит, среди зданий, расположенных вокруг, преобладают гражданские административные здания. Площадь ограничена Уорт-стрит, Сентр-стрит, Лафайетт-стрит. Рядом с площадью расположены Трайбека и Манхэттенский Чайна-таун. Площадь названа в честь местного политического деятеля Томаса Фоли (1852—1925).

Канал-стрит (Манхэттен)
Кана́л-стрит (англ. Canal Street) — одна из важнейших улиц Нижнего Манхэттена, соединяющая Манхэттен с Джерси-Сити на западе (посредством подводного автомобильного Гудзонова тоннеля) и с Бруклином на востоке (посредством Манхэттенского моста). Канал-стрит разделяет Чайна-таун и Маленькую Италию, а также отделяет Сохо от Трайбеки.
Король Бутана
Друк Гьялпо (в переводе с дзонг-кэ འབྲུག་རྒྱལ་པོ — «Драконовый король») — глава государства в Бутане.

После принятия новой конституции в 1963 году третий монарх Джигме Дорджи Вангчук изменил свой титул монарха Бутана с Махараджа и Его Высочество на Его Величество Король Бутана (Друк Гьялпо).

В настоящий момент глава государства — Джигме Кхесар Намгьял Вангчук, который является представителем династии Вангчуков и пятым Друк Гьялпо. Он носит корону королей Бутана, национальный символ власти в Бутане. Его правильно называть Mi’wang 'Ngada Rimboche (Его Величество) и 'Ngada Rimboche (Ваше Величество).

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

Джигме Кхесар Намгьял Вангчук
Джигме Кхесар Намгьял Вангчук (дзонг-кэ འཇིགས་མེད་གེ་སར་རྣམ་རྒྱལ་དབང་ཕྱུག་, вайли jik mé khé sar nam gyel wang chuk, лат. Jí gé méi kǎi sà lǎng jié wàng chu kè; род. 21 февраля 1980, Тхимпху) — пятый король Бутана. Вступил на трон в 2006 году после отречения своего отца, четвёртого короля Джигме Сингье Вангчук в его пользу.
Сковорово
Сковорово — деревня в Селижаровском районе Тверской области. Относится к Селищенскому сельскому поселению. До 2006 года входила в состав Дубровского сельского округа.

Расположена в 8 километрах к западу от районного центра Селижарово, в 3 км от посёлка Селище.

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

Селище (Селижаровский район)
Селище — посёлок (в 1940—2001 гг. — посёлок городского типа) в Селижаровском районе Тверской области России.

Центр Селищенского сельского поселения.

Расположен на берегу озера Волго на реке Волга в 16 км к западу от районного центра Селижарово, в 5 км от железнодорожной станции Скакулино (на линии «Торжок—Соблаго»). Селищенский автомобильный мост через Волгу соединяет посёлок с деревней Хотошино, и дальше, с автодорогой «Ржев—Осташков».

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

Братская могила погибших в годы Великой Отечественной войны, похоронено 163 воина.
Понимание естественного языка
Понимание естественного языка (NLU) или интерпретация естественного языка (NLI) — подраздел обработки естественного языка в искусственном интеллекте, который имеет дело с машинным пониманием текста. Понимание естественного языка является AI-полной задачей.

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

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

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