hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Infiniti QX70
Infiniti QX70 —  представительский кроссовер, выпускаемый с 2002 года компанией Nissan под брендом Infiniti. До 2014 года носил название Infiniti FX. FX сменил модель QX4, среднеразмерный SUV, хотя QX4 был меньше, чем FX. Он построен на платформе FM, как и заднеприводное спортивное купе Nissan 370Z. С 2008 года выпускается второе поколение. Infiniti FX продаётся в Японии, но только с правым рулём.

Похожий по размерам автомобиль Nissan Murano строился на платформе D, как и переднеприводная Nissan Altima. FX и QX56, разделяющие платформу с Nissan Armada, не продавались в Японии.

С 2009 модельного года начало выпускаться второе поколение FX, известное как FX35 и FX50.

В 2017 году выпуск автомобиля был прекращён.. В том же году с конвейера сошёл последний QX70 серебристого цвета.

Nissan Altima Hybrid
Altima Hybrid — первый гибридный автомобиль Nissan, созданный по технологии компании Toyota.

На автомобиле установлен бензиновый двигатель объёмом 2,5 литра и электродвигатель мощностью 30 кВт, с моментом 270 Нм. Общая мощность двигателей 198 л. с. (148 кВт). Никель-металл-гибридные аккумуляторы 244 В. Altima Nissan Hybrid заводится с кнопки и начинает бесшумно работать, пока полностью не утопится педаль, для воспламенения топлива в цилиндрах.

Разгон 0-100км/час составляет 8.7с, а максимальная скорость 240-260км/час.

Расход топлива 6,7 л/км в городском режиме и 7,1 л/км на шоссе. Топливный бак объёмом 75 литров. Дальность пробега на одной заправке около 1100 км.

Nissan Altima Hybrid можно заправлять бензиновым топливом АИ-95 и выше.

Altima Hybrid будет продаваться в 8 штатах США (Калифорния, Коннектикут, Мэн, Массачусетс, Нью-Джерси, Нью-Йорк, Род-Айленд и Вермонт). Продажи начались в начале 2007 г. Nissan планирует производить ежегодно 40 000 Altima Hybrid на своём заводе в США.
Шемякин, Михаил
Михаи́л Шемя́кин:

Шемякин, Михаил Михайлович: Шемякин, Михаил Михайлович (1908—1970) — советский химик-органик и педагог. Шемякин, Михаил Михайлович (род. 1943) — советский, американский и российский живописец, график, скульптор.

Шемякин, Михаил Петрович (1908—1977) — гвардии полковник, командир 8-й мотострелковой Бобруйской Краснознаменной ордена Суворова и Кутузова бригады.

Шемякин, Михаил Фёдорович (1875—1944) — российский и советский художник.

Шемякин, Михаил Михайлович (химик)
Михаи́л Миха́йлович Шемя́кин (13 (26) июля 1908 — 26 июня 1970) — советский химик-органик и педагог, внёсший значительный вклад в изучение механизмов химических реакций, синтез, изучение структуры и свойств пептидов и антибиотиков. Профессор (1942), академик АН СССР (1958). Труды Шемякина в значительной степени способствовали становлению современной биоорганической химии.
Берман, Отто
Отто «Аббадабба» Берман (англ. Otto "Abbadabba" Berman, настоящая фамилия Бидерман (Biederman); 10 августа 1891, Манхэттен, Нью-Йорк, США — 23 октября 1935, Ньюарк, Нью-Джерси, США) — бухгалтер американской организованной преступности. Именно Берману приписывают известную фразу «Ничего личного, это просто бизнес» (англ. Nothing personal, it's just business), автором которой часто считают Аль Капоне.

Бухгалтер
Бухга́лтер (нем. Buchhalter, Buch — книга, Halter — держатель/держатель книги) — специалист по бухгалтерскому учёту, работающий по системе учёта в соответствии с действующим законодательством.

Слово «бухгалтер» — книгодержатель возникло в конце средневековья. В 1498 г. император Священной Римской империи Германской нации Максимилиан I назначил «бухгалтером» Христофа Штехера.
Космос-348
Ко́смос-348 («ДС-У2-ГК» № 2) — советский научно-исследовательский спутник, второй из серии космических аппаратов «Космос» типа «ДС-У2-ГК», запущенный для проведения комплексных геофизических исследований приполярных районов верхних слоёв атмосферы Земли.

Полёт космического аппарата «Космос-348» позволил сравнить между собой геофизические условия различных сезонов в атмосфере Земли.

В ходе эксперимента, кроме Космоса-348, был запущен ещё один спутник — Космос-261.

Спектрометр
Спектро́метр (лат. spectrum от лат. spectare — смотреть и метр от др.-греч. μέτρον — мера, измеритель) — оптический прибор, используемый в спектроскопических исследованиях для накопления спектра, его количественной обработки и последующего анализа с помощью различных аналитических методов. Анализируемый спектр получается путём регистрации флуоресценции после воздействия на исследуемое вещество каким-либо излучением (рентгеновским или лазерным излучением, искровым воздействием и др.). Обычно измеряемыми величинами являются интенсивность и энергия (длина волны, частота) излучения, но могут регистрироваться и другие характеристики, например, поляризационное состояние. Термин «спектрометр» применяется к приборам, работающим в широком диапазоне длин волн: от гамма до инфракрасного диапазона.
Тихуана (футбольный клуб)
«Тихуа́на», полное название «Клуб Тихуа́на Шолоитскуи́нтлес де Калье́нте» (исп. Club Tijuana Xoloitzcuintles de Caliente), иначе известный по своему прозвищу «Шо́лос» (исп. Xolos) — мексиканский футбольный клуб из города Тихуана, штата Нижняя Калифорния. Клуб выступает в Лиге МХ, высшем дивизионе Мексики.

Клуб «Тихуана» добился исторического успеха, став чемпионом высшего дивизиона Мексики в сезоне Апертура 2012, всего лишь год спустя после выхода из второго дивизиона. До этого ни одному клубу второго дивизиона за всю историю чемпионата не удавалось стать чемпионом Мексики за столь короткое время после выхода в высший дивизион.

Кубок Америки по футболу 2011
Кубок Америки по футболу 2011 стал 43-м розыгрышем самого важного футбольного события Латинской Америки — Кубка Америки.

Турнир проводился под эгидой КОНМЕБОЛ в Аргентине с 1 по 24 июля 2011 года. Чемпионом соревнования стала сборная Уругвая, обыгравшая сборную Парагвая со счётом 3:0. Прошлый победитель сборная Бразилии выбыла на стадии 1/4 финала. Уругвай, как чемпион Южной Америки, получил право участвовать в Кубке конфедераций 2013, который прошёл в Бразилии.

«Селесте» стали обладателями Кубка Америки рекордный 15-й раз, также они ни разу не проиграли на турнире. Гуарани дошли до финала без единственной победы в основное и дополнительное время, что стало первым случаем на турнире за всё его существование. Также на этом турнире впервые ни одна из приглашённых сборных не вышла из группы.
Хайман
Хайман (англ. Hyman, нем. Heymann) — имя собственное; распространено в виде фамилий.

Хайман, Ариберт (1898—1946) — немецкий хоккеист на траве, бронзовый призёр летних Олимпийских игр 1928 года.

Хайман, Джеффри Росс (более известный как Джоуи Рамон; 1951—2001) — американский музыкант и автор песен.

Хайман, Зак (род. 1992) — канадский хоккеист, нападающий.

Хайман, Исаак (1829—1906) — немецко-нидерландский хаззан.

Хайман, Карл (1854—1922) — немецкий пианист, музыкальный педагог и композитор.

Хайман, Тамир (род. 1969) — израильский военный деятель.

Хайман, Энтони (род. 1962) — британский цитолог.

Хайман — герой серии романов «Вампирские хроники».

Хайман, Энтони
Энтони Хайман (Anthony (Tony) Arie Hyman; род. 27 мая 1962, Хайфа, Израиль) — британский цитолог. Доктор философии (1988), профессор, член Лондонского королевского общества (2007), иностранный член НАН США (2020). Директор Max Planck Institute of Molecular Cell Biology and Genetics (с 1999) в Дрездене. Профессор Дрезденского технического университета.
Девецикиотис, Майкл
Майкл «Майк» Девецикио́тис (англ. Michael «Mike» Devetsikiotis; род. Фессалоники, Греция) — греко-американский учёный в области электротехники и инженер, профессор и заведующий кафедрой электротехники и компьютерной инженерии Школы инженерии Университета Нью-Мексико. Адъюнкт-профессор департамента электротехники и компьютерной инженерии Университета штата Северная Каролина. Член Американского общества по инженерному образованию (2003) и Института инженеров электротехники и электроники (2012).

h-индекс = 27, процитирован > 4 520 раз.

Институт инженеров электротехники и электроники
Институт инженеров электротехники и электроники — IEEE (англ. Institute of Electrical and Electronics Engineers) (I triple E — «Ай трипл и») — некоммерческая инженерная ассоциация из США, разрабатывающая широко применяемые в мире стандарты по радиоэлектронике, электротехнике и аппаратному обеспечению вычислительных систем и сетей. Корпоративный офис находится в Нью-Йорке, а центр операций в Пискатауэе (Нью-Джерси). Образован в 1963 году путём объединения Американского института инженеров-электриков и Института радиоинженеров. По состоянию на 2018 год это крупнейшая в мире ассоциация технических специалистов, насчитывающая более 423 000 членов в более чем 160 странах мира. Целями Института являются образовательный и технический прогресс в области электроники и электротехники, телекоммуникаций, вычислительной техники и смежных дисциплин.
Энеко Тур 2016
12-й выпуск Энеко Тура — шоссейной многодневной велогонки по дорогам Бельгии и Нидерландов. Гонка состояла из 7 этапов и проводилась с 19 по 25 сентября 2016 года в рамках Мирового тура UCI 2016 (категория 2.UWT).

Победителем гонки стал бельгийский велогонщик Ники Терпстра из команды «Etixx-Quick Step».

Team Visma–Lease a Bike
Team Visma–Lease a Bike (UCI код: TVL) — голландская профессиональная шоссейная велокоманда, ранее известная как Rabobank.

Команда состоит из трёх частей: ProTeam (UCI ProTour команда), континентальная (команда молодых талантов, выступающая в UCI Europe Tour), и велокросс. Участники команды используют для велоспипедов рамы Cervelo, с компонентами SRAM Corporation.
Кульчар
Кульчар (венг. Kulcsár) — фамилия. Известные носители:

Кульчар, Анита (1976—2005) — венгерская гандболистка, чемпионка Европы, игрок года ИГФ.

Кульчар, Гергей (1934—2020) — венгерский легкоатлет, призёр Олимпийских игр и чемпионатов Европы в метании копья.

Кульчар, Дьёзё (1940—2018) — венгерский фехтовальщик, четырёхкратный олимпийский чемпион.

Кульчар, Кристиан (род. 1971) — венгерский фехтовальщик-шпажист, племянник Дьёзё Кульчара.

Кульчар, Гергей
Гергей Кульчар (венг. Kulcsár Gergely; 10 марта 1934, Надьхалас — 12 августа 2020) — венгерский легкоатлет-копьеметатель, трёхкратный призёр Олимпийских игр (1960, 1964, 1968), двукратный призёр чемпионатов Европы (1958, 1966). Участник четырёх Олимпийских игр.
Финансовые коэффициенты
Фина́нсовые коэффицие́нты (англ. financial ratio) — различные показатели, отражающие результаты финансовой деятельности компании и рассчитываемые на основе данных финансовой отчётности. Источниками могут являться: бухгалтерский баланс, отчёт о прибылях и убытках, отчёт о нераспределённой прибыли, отчёт о движении денежных средств. Противопоставляются макроэкономическим показателям, которые описывают текущее состояние и развитие всей национальной экономики.

Ликвидность
Ликви́дность (от лат. liquidus «жидкий, перетекающий») — свойство активов быть быстро проданными по цене, близкой к рыночной. Ликвидный — обращаемый в деньги. Бывают высоколиквидные, низколиквидные и неликвидные ценности (активы). Чем легче и быстрее можно обменять актив с учётом его полной стоимости, тем более ликвидным он является. Для товара ликвидность будет соответствовать скорости его реализации по номинальной цене, без дополнительных скидок. Различают следующие виды ликвидности: ликвидность активов, банков, денег, предприятий, рынка, ценных бумаг.
Арбузовка (Крым)
Арбу́зовка (до 1948 года Каранку́т Неме́цкий; укр.  Арбузівка, крымскотат. Nemse Qaranğut, Немсе Къарангъут) — село в Джанкойском районе Республики Крым, входит в состав Яркополенского сельского поселения (согласно административно-территориальному делению Украины — Яркополенского сельского совета Автономной Республики Крым).

Яркополенское сельское поселение (Джанкойский район)
Яркополенское се́льское поселе́ние (укр. Яркополенське сільське́ посе́лення, крымскотат. Yarkoye Pole köy yurtu, Яркое Поле кой юрту) — муниципальное образование в Джанкойском районе Республики Крым Российской Федерации.

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

Данный термин является объединением слов белый (англ. white) или же желающий быть (англ. wannabe) и сленгового термина Негр (англ. nigger). Данный термин может считаться оскорбительным из-за сходства с ниггер.

Этот термин обычно считается уничижительным, отражая стереотипы афроамериканской, чёрной британской и белой культуры (когда используется как синоним белого мусора).

В частом случае виггерами являются белые слушатели или исполнители южного рэпа (англ. Dirty South), так как там свойственно носить блинги, гриллз на зубах и прочую стереотипную атрибутику хип-хопа.

Южный хип-хоп
Южный хип-хоп (англ. Southern hip hop), также известный как Southern rap (Южный рэп) и Dirty South (Грязный Юг) — один из поджанров хип-хоп культуры, возникший на Юге Соединённых Штатов Америки. Термин употребляется преимущественно для обозначения хип-хоп исполнителей из Атланты, Нового Орлеана, Хьюстона, Мемфиса и Майами. Юг является третьим крупным жанром хип-хоп культуры США (после Запада и Востока).

Ключевыми представителями южного хип-хопа являются: Игги Азалия, Lil Baby, Outkast, Migos, Lil Wayne, André 3000, UGK, Ludacris, Waka Flocka Flame, T.I., Lil Jon, Pitbull, Scarface, Future, Rick Ross, Rae Sremmurd, Gucci Mane, Young Thug, Travis Scott, 2 Chainz, Lil Yachty, Rich Homie Quan, 21 Savage, Big K.R.I.T (англ. Big K.R.I.T).
262 год до н. э.
262 (две́сти шестьдеся́т второ́й) год до на́шей э́ры по пролептическому юлианскому календарю — невисокосный год, начинающийся в воскресенье. Это 262 год до нашей эры, 9‑й год 4‑го десятилетия III века 1‑го тысячелетия до н. э., 8‑й год 260‑х годов до н. э., второй / третий год 129-й олимпиады (с июля), −261 год по астрономической годовой нумерации. Ему предшествовал 263 год до н. э., за ним следовал 261 год до н. э. Он закончился 2286 лет назад.

Пролептический юлианский календарь
Пролептический юлианский календарь (предваряющий юлианский календарь, от др.-греч. πρόληψις «предвосхищение») — календарь, расширяющий юлианский календарь на период до его введения 1 января 45 года до н. э.
Гильом III де Бо
Гильом III де Бо (фр. Guillaume III des Baux, ум. 1256/1257) — принц-соправитель Оранский с 1246, сеньор де Куртезон.

Сын Гильома II де Бо, принца-соправителя Оранского, и Прециозы N.

В 1239 женился на Гибурге, дочери Бертрана де Мевуйона, сеньора де Мизон, который дал в приданое за дочерью все, чем владел в диоцезах Систерон и Гап.

13 июня 1246 Гильом и его дядя Раймонд I, принц Оранский, произвели раздел, причём Раймонд получил львиную долю владений, а Гильому достались только большая башня замка Оранж и сеньория Куртезон. В 1247 Гильом с Раймондом были схвачены восставшими жителями Оранжа. 1 июля 1248 составил завещание, по которому все его владения (в том числе и на Сардинии), в случае если его брак останется бездетным, должны были перейти к дяде Раймонду I, за исключением Куртезона, который был завещан брату Раймонду II. В 1256 Гильом III вместе с женой принёс оммаж Карлу Анжуйскому за свои владения в диоцезе Гап.

Систерон
Систеро́н (фр. Sisteron, окс. Sisteron) — коммуна во Франции, находится в регионе Прованс — Альпы — Лазурный Берег. Департамент коммуны — Альпы Верхнего Прованса. Главный город кантона Систерон. Округ коммуны — Форкалькье.

Код INSEE коммуны — 04209.
Нильсен, Йенс-Фредерик
Йенс-Фредерик Нильсен (дат. Jens-Frederik Nielsen; род. 22 июня 1991, Гренландия) — гренландский политический и государственный деятель, бадминтонист. Премьер-министр Гренландии с 28 марта 2025 года, председатель «Демократической партии» с 2020 года и депутат парламента Гренландии с 2021 года. Ранее занимал пост министра промышленности и минеральных ресурсов Гренландии (2020—2021).

Демократическая партия (Гренландия)
Демократическая партия (также «Демократы»; гренл. Demokraatit; дат. Demokraterne) — либеральная политическая партия в Гренландии.

Ранее партия скептически относилась к независимости Гренландии и даже к самостоятельному самоуправлению. Двумя главными приоритетами в её программе были улучшение образовательных стандартов и жилищной ситуации. К выборам 2025 года партия стала поддерживать независимость как конечную цель процесса, который начинается с повышения уровня самоопределения. Однако демократы выступают за более постепенную независимость от Дании по сравнению с левыми гренландскими партиями «Народное сообщество» и «Вперёд».
Яксаево
Яксаево — название населённых пунктов в России:

Яксаево — деревня в Комсомольском районе Ивановской области.

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

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

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

Административный центр — город Комсомольск.

Население — 19482 чел. (2021).
Геннобавд (IV век)
Геннобавд (лат. Gennobaudes; умер приблизительно в 388 году) — вождь и военачальник франков конца IV века.

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

Родственные связи с жившим более чем на сто лет раньше франкским вождём Геннобавдом возможны, но документально не подтверждены.

Тюэн
Тюэ́н — коммуна в Валлонии, расположенная в провинции Эно, округ Тюэн. Принадлежит Французскому языковому сообществу Бельгии. На площади 76,17 км² проживают 14 625 человек (плотность населения — 192 чел./км²), из которых 48,82 % — мужчины и 51,18 % — женщины. Средний годовой доход на душу населения в 2003 году составлял 12 904 евро.

Почтовый код: 6530-6534, 6536. Телефонный код: 071.
Стршелецкий остров
«Стрше́лецкий о́стров» (чеш. Střelecký ostrov) — футбольный стадион в городе Ческе-Будеёвице, расположенный недалеко от реки Влтава. Домашняя арена клуба «Динамо». До января 2009 года носил название «E.ON Стадион».

Стадион был построен в 1940 году и до реконструкции в 2003 году имел вместимость 12 000 мест (1 500 сидячих). Город и клуб были вынуждены реконструировать стадион, чтобы соответствовать критериям Футбольной ассоциации Чехии. На данный момент вместимость составляет 6 681 место.

Футбольная ассоциация Чехии
Футбо́льная ассоциа́ция Чешской Республики (чеш. Fotbalová asociace České republiky) — организация, осуществляющая контроль и управление футболом в Чехии. Располагается в Праге. Основана 19 октября 1901 года как Чешский союз футбольный (чеш. Český svaz footballový), член ФИФА с 1907, а УЕФА с 1954 года. Футбольная ассоциация организует деятельность и управляет национальными сборными по футболу, в их число входит и главная национальная сборная. Под эгидой ассоциации проводятся соревнования в Synot лиге, Футбольной национальной лиге и Кубке. В период существования Чехословакии, с 1922 по 1993 год, организация носила название Чехословацкий футбольный союз (чеш. Československý fotbalový svaz) и была главным футбольным органом в единой стране. До 26 июня 2011 года ассоциация официально называлась Чешско-Моравский футбольный союз (чеш. Českomoravský fotbalový svaz).
Dex (ютубер)
Ким Джинён (кор. 김진영; род. 9 июня 1995 года, Сунчхон, Республика Корея), также известный как Dex (кор. 덱스), — южнокорейский артист эстрады, актёр и ютубер. Участвовал в реалити-шоу Netflix «Ад для одиночек 2» и шоу выживания в зомби-апокалипсисе «Вселенная зомби», а также в игровом реалити-шоу MBC «Кровавая игра». Двукратный лауреат престижной телепремии «Голубой дракон» (2023, 2024) и номинант на премию «Пэксан» (2025).

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

Основополагающим для представлений о зомби-апокалипсисе стал постапокалиптический роман Ричарда Мэтисона «Я — легенда» (1954), где, однако, речь шла не о зомби, а о разумных вампирах — жертвах разносимой москитами «вампирической» инфекции. Зомби в их ставшем традиционном виде — как кровожадные живые мертвецы — были введены в малобюджетном фильме 1968 года «Ночь живых мертвецов», в котором несколько героев оказываются в загородном доме под осадой множества голодных зомби.
Beat Hazard
Beat Hazard — двухмерная инди-игра для Xbox 360 и ПК в жанре shoot ’em up, расширяющая идеи классической игры Asteroids для игровых автоматов. Разработана компанией Cold Beam Games, издана компаниями Microsoft и Valve для Xbox Live Arcade и Steam соответственно. Геймплей игры зависит от импортируемой игроком музыки — чем интенсивнее и громче звучит музыкальный отрывок трека, тем сильнее стреляет оружие, больше становится врагов и спецэффектов.

Сеть Xbox
Сеть Xbox (англ. Xbox network, ранее Xbox Live) — многопользовательский игровой онлайн-сервис и служба доставки цифровых медиафайлов, созданная и управляемая компанией Microsoft. Впервые он стал доступен для системы Xbox 15 ноября 2002 года. Обновленная версия сервиса стала доступна для консоли Xbox 360 при запуске системы в ноябре 2005 года, а еще более усовершенствованная версия была выпущена в 2013 году вместе с Xbox One. Эта же версия используется в Xbox Series X/S. Этот сервис является учётной записью для консолей Xbox, в учетных записях можно хранить игры и другой контент.

Сеть Xbox доступа как в виде бесплатной услуги, так и в виде услуги по подписке, известной как Xbox Game Pass Core. Microsoft провела ребрендинг Xbox Live в «сеть Xbox» в марте 2021 года, чтобы охватить все свои услуги, связанные с Xbox, и отличить услугу подписки Xbox Live Gold от других услуг.

На январь 2021 года в сервисе было зарегистрировано 100 миллионов пользователей.
Задача выполнимости булевых формул
Зада́ча выполни́мости бу́левых фо́рмул (SAT, ВЫП) — важная для теории вычислительной сложности алгоритмическая задача.

Экземпляром задачи является булева формула, состоящая только из имён переменных, скобок и операций  (И),  (ИЛИ) и  (HE).
Задача заключается в следующем: можно ли назначить всем переменным, встречающимся в формуле, значения ложь и истина так, чтобы формула стала истинной.

Согласно теореме Кука, доказанной Стивеном Куком в 1971 году, задача SAT для булевых формул, записанных в конъюнктивной нормальной форме, является NP-полной. Требование о записи в конъюнктивной форме существенно, так как, например, задача SAT для формул, представленных в дизъюнктивной нормальной форме, тривиально решается за линейное время в зависимости от размера записи формулы (для выполнимости формулы требуется только наличие хотя бы одной конъюнкции, не содержащей одновременно  и отрицание  для некоторой переменной ).

Конъюнкция
Конъю́нкция (от лат. conjunctio — «союз, связь») — логическая операция, по смыслу максимально приближенная к союзу «и». Синонимы: логи́ческое «И», логи́ческое умноже́ние, иногда просто «И».

Конъюнкция может быть бинарной операцией (т. e. иметь два операнда), тернарной операцией (т. e. иметь три операнда) или n-арной операцией (т. e. иметь n операндов).

Инверсией конъюнкции является штрих Шеффера.