This tool looks for unlabeled Wikidata items in your language. It starts with a Wikidata item, looks at all the associated Wikipedia pages, the links on all those pages, and lists the Wikidata items corresponding to the link targets.

Wikidata item	Q (Example \| In the news)
Language code

Q1651704 - No label in !

Searching link targets on 47 Wikipedias...

Toggle existing labels

Item	Label []	Wikilabels	Link #
Q191081 [CC \| ]	No label in !	Konjunkcija (logika) \| Logical conjunction \| Konjunkce (logika) \| Konjunktion (Logik) \| Λογική σύζευξη \| Conjunción lógica \| Konjunktsioon \| عطف منطقی \| Conjonction logique \| וגם (לוגיקה) \| Կոնյունկցիա \| Congiunzione logica \| 論理積 \| 논리곱 \| Логичка конјункција \| Logische conjunctie \| Konjunksjon (logikk) \| Koniunkcja (logika) \| Conjunção lógica \| Конъюнкция \| Konjunktion (logik) \| การเชื่อมเชิงตรรกศาสตร์ \| Кон'юнкція \| 逻辑与 \| Konjunktio (logiikka) \| Congiunsiòun lògica \| Конюнкция \| Konjunkcia (logika)	30
Q8078 [CC \| ]	No label in !	Logika \| Логика \| Logik \| Logica \| Logic \| Lògica \| Logiko \| منطق \| Logique \| Տրամաբանություն \| Logică \| ตรรกศาสตร์ \| 逻辑 \| Məntiq \| 邏輯	25
Q190558 [CC \| ]	No label in !	Negation \| Logika neo \| Negación lógica \| Eitus \| نقیض \| Négation logique \| לא (לוגיקה) \| Ժխտում (տրամաբանություն) \| Negazione (matematica) \| 否定 \| 부정 (논리학) \| Негација \| Negasjon \| Negacja \| Negação \| Отрицание \| Negacija \| Заперечення \| 逻辑非 \| İnkar \| Negasiòun (matemàtica) \| Negácia (logika)	23
Q211790 [CC \| ]	No label in !	Logisk operator \| Connectiva lògica \| Conectiva lógica \| Konnektor (keeleteadus) \| Connecteur logique \| קשר לוגי \| Logikai művelet \| Տրամաբանական գործողություն \| Operator logika \| Connettivo logico \| 論理演算 \| 논리 연산 \| Логичка операција \| Логическая операция \| Логічний сполучник \| 逻辑运算符 \| Məntiqi əməliyyat \| Conetîv lògic \| 邏輯連接詞 \| Logical connective \| Výroková spojka	22
Q498186 [CC \| ]	No label in !	Exkluzivní disjunkce \| Kontravalenz \| Αποκλειστική διάζευξη \| Disyunción exclusiva \| Välistav disjunktsioon \| یای انحصاری \| Fonction OU exclusif \| Disgiunzione esclusiva \| 排他的論理和 \| 배타적 논리합 \| Исклучителна дисјункција \| Exclusieve disjunctie \| Eksklusiv disjunksjon \| Alternatywa rozłączna \| Disjuncție exclusivă \| Исключающее «или» \| Exclusive disjunction \| Искључива дисјункција \| Виключна диз'юнкція \| 逻辑异或 \| Eksklusiivinen disjunktio \| Exclusive or	22
Q177251 [CC \| ]	No label in !	Асоцијативност \| Asocijativnost \| Propietat associativa \| Asociativita \| Assoziativgesetz \| Προσεταιριστική ιδιότητα \| Asocieco \| Assotsiatiivsus \| Associativité \| Asszociativitás \| Associatività \| Associativiteit (wiskunde) \| Assosiativ lov \| Łączność (matematyka) \| Associatividade \| Asociativitate \| Асоціативність \| 结合律 \| Liitännäisyys \| Асоциативност	21
Q173183 [CC \| ]	No label in !	Booleova algebra \| Boolean algebra \| Boolesche Algebra \| Άλγεβρα Μπουλ \| Bulea algebro \| Boole'i algebra \| אלגברה בוליאנית \| Algebra di Boole \| Булова алгебра \| Booleaanse algebra \| Алгебра логики \| Boolesk algebra \| พีชคณิตแบบบูล \| 逻辑代数 \| Bul cəbri (məntiqi) \| Boolen algebra \| جبر بول	19
Q219079 [CC \| ]	No label in !	Taula de veritat \| Wahrheitstabelle \| Vertabelo \| Tabla de verdad \| Tõeväärtustabel \| Table de vérité \| טבלת אמת \| Tabella della verità \| 真理値表 \| 진리표 \| Waarheidstabel \| Sannhetstabell \| Tablica prawdy \| Таблица истинности \| Sanningsvärdetabell \| ตารางค่าความจริง \| 真值表 \| Totuustaulu \| Truth table	19
Q7881229 [CC \| ]	No label in !	Condicional material \| Импликация \| Implikatsioon \| شرطی مادی \| Implication (logique) \| Իմպլիկացիա \| Implicazione logica \| 論理包含 \| Материјална импликација \| Subjunksjon (logikk) \| Implicație logică \| Implikation \| Логічна імплікація \| 实质条件 \| Implikaatio \| Material conditional	18
Q395 [CC \| ]	No label in !	Математика \| Matematika \| Matemàtiques \| Matematik \| ریاضیات \| Mathématiques \| Wiskunde \| Matemática \| Matematică \| คณิตศาสตร์ \| 数学 \| Matemâtica	16
Q165474 [CC \| ]	No label in !	Комутативност \| Komutativnost \| Propietat commutativa \| Αντιμεταθετική ιδιότητα \| Komuteco \| Kommutatiivsus \| Kommutativitás \| Commutatività \| Kommutativ lov \| Przemienność \| Comutatividade \| Comutativitate \| Комутативність \| Vaihdannaisuus	15
Q190763 [CC \| ]	No label in !	Diagrama de Venn \| Venn diagram \| Venni diagramm \| Venn-diagram \| Diagramma di Venn \| ベン図 \| 벤 다이어그램 \| Venndiagram \| Диаграмма Венна \| Діаграма Венна \| 文氏图 \| Venn diaqramı \| Venn-diagrammi	15
Q187959 [CC \| ]	No label in !	Дистрибутивност \| Propietat distributiva \| Distributivita \| Επιμεριστική ιδιότητα \| Distributividad \| Distributiivsus \| Disztributivitás \| Distributività \| Distributiv lov \| Distributivitate \| Дистрибутивність \| 分配律 \| Osittelulaki	14
Q170451 [CC \| ]	No label in !	Logický člen \| Logikgatter \| Puerta lógica \| دروازه منطقی \| שער לוגי \| Logikai kapu \| 論理回路 \| Bramka logiczna \| Poartă logică \| Логический вентиль \| Логичка капија \| Logisk grind \| Looginen portti \| Logic gate	14
Q200694 [CC \| ]	No label in !	Výroková logika \| Aussagenlogik \| Lógica proposicional \| Calcul des propositions \| Ասույթների տրամաբանություն \| Kalkulus proposisional \| Setningslogikk \| Логика высказываний \| Satslogik \| 命题逻辑 \| Propositiologiikka \| Пропозиционална логика \| Logika proposizional \| Propositional calculus	14
Q574946 [CC \| ]	No label in !	Disyunción opuesta \| نقیض یا \| Fonction NON-OU \| NOR לוגי \| Non-disgiunzione inclusiva \| 否定論理和 \| 부정논리합 \| Заедничка негација \| Injunksjon \| Стрелка Пирса \| NOR \| Стрілка Пірса \| 逻辑或非 \| Logical NOR	14
Q1166618 [CC \| ]	No label in !	Matematická logika \| Μαθηματική λογική \| Matemaatiline loogika \| לוגיקה מתמטית \| Matematikai logika \| 数理論理学 \| 수리 논리학 \| Logika matematyczna \| Lógica matemática \| Математическая логика \| Riyazi məntiq \| Matemaattinen logiikka \| Mathematical logic	13
Q560398 [CC \| ]	No label in !	Porta OR \| Oder-Gatter \| Puerta OR \| VÕI \| دروازه یا \| Fonction OU \| ORゲート \| Vrata ALI \| АБО (логічний вентиль) \| 或门 \| OR-portti \| OR gate	12
Q185359 [CC \| ]	No label in !	Sjednocení \| Ένωση συνόλων \| Unión de conjuntos \| Ühend \| Unió (halmazelmélet) \| Unione (insiemistica) \| Vereniging (verzamelingenleer) \| Suma zbiorów \| União (matemática) \| Объединение множеств \| Об'єднання множин \| Union (set theory)	12
Q173300 [CC \| ]	No label in !	Leyes de De Morgan \| De Morgani seadused \| כללי דה מורגן \| De Morgan-azonosságok \| Leggi di De Morgan \| ド・モルガンの法則 \| Де Морганови закони \| Prawa De Morgana \| Teoremas de De Morgan \| De Morgans lagar \| De Morganin lait \| De Morgan's laws	12
Q397 [CC \| ]	No label in !	Latein \| Latin nyelv \| ラテン語 \| Lotynų kalba \| Latin \| Łacina \| Латинский язык \| Latinščina \| Латинська мова \| Latın dili \| Latina	11
Q12482 [CC \| ]	No label in !	Mengenlehre \| Teoría de conjuntos \| Теорија на множествата \| Verzamelingenleer \| Teoria dos conjuntos \| Teoria mulțimilor \| Теория множеств \| Теорія множин \| Çoxluqlar nəzəriyyəsi \| Joukko-oppi \| Set theory	11
Q363948 [CC \| ]	No label in !	Contradiction \| 矛盾 \| Contradicción \| تناقض \| Contraddizione \| Selvmotsigelse \| Contradição \| Противоречие \| Суперечність	11
Q36578 [CC \| ]	No label in !	Gemeinsame Normdatei \| קובץ בקרה משולב \| Integrált katalógustár	10
Q3874243 [CC \| ]	No label in !	Shefferscher Strich \| Conjunción opuesta \| خط شفر \| Barre de Sheffer \| 否定論理積 \| 부정논리곱 \| Штрих Шеффера \| Штрих Шефера \| 谢费尔竖线 \| Sheffer stroke	10
Q949972 [CC \| ]	No label in !	Bicondicional \| Parajasti siis, kui \| Jika dan hanya jika \| 同値 \| Dan en slechts dan als \| Se e somente se \| Dacă și numai dacă \| 当且仅当 \| 若且唯若 \| If and only if	10
Q209555 [CC \| ]	No label in !	Tautología \| همان‌گویی (منطق) \| Tautologie \| Tautologia \| 恒真式 \| Тавтологија (логика) \| Tautologi (logikk) \| Тавтологія (логіка) \| 恆真式 \| Tautology (logic)	10
Q368988 [CC \| ]	No label in !	Idempotència \| Ταυτοδυναμία \| Idempotentsus \| Idempotencia \| Idempotenza \| Idempotentność \| Идемпотенција \| Ідемпотентність \| Idempotenssi	9
Q164307 [CC \| ]	No label in !	Binární operace \| Operación binaria \| عمل دوتایی \| פעולה בינארית \| Działanie dwuargumentowe \| Operassion \| Бинарная операция \| Бінарна операція \| Binary operation	9
Q15777 [CC \| ]	No label in !	C (programmeerimiskeel) \| C (שפת תכנות) \| C (programozási nyelv) \| C言語 \| Си (язык программирования) \| C (programspråk) \| C (мова програмування) \| C (ohjelmointikieli) \| C (programming language)	9
Q427343 [CC \| ]	No label in !	Adjunción lógica \| Non-implication \| Non-implicazione \| Материјална неимпликација \| Abjunksjon \| Неімплікація \| 实质非蕴涵 \| Material nonimplication	8
Q620946 [CC \| ]	No label in !	Library of Congress Control Number \| Контрольный номер Библиотеки Конгресса	7
Q9143 [CC \| ]	No label in !	Programmeerimiskeel \| שפת תכנות \| Programozási nyelv \| Język programowania \| Язык программирования \| Ohjelmointikieli \| Programming language	7
Q1860 [CC \| ]	No label in !	زبان انگلیسی \| 英語 \| Língua inglesa \| ภาษาอังกฤษ \| Englannin kieli \| 英文 \| English language	7
Q185521 [CC \| ]	No label in !	ערך אמת \| Ítélet (logika) \| 真理値 \| Valoare de adevăr \| Sanningsvärde \| Truth value \| Pravdivostná hodnota	7
Q118455746 [CC \| ]	No label in !	Control d'autoritats \| Autoritní kontrola \| Autoritetsdata \| Control de autoridades \| Չափորոշչային վերահսկողություն \| Kontrola autorytatywna	6
Q188915 [CC \| ]	No label in !	Národní knihovna Izraele \| Biblioteca Nacional de Israel \| הספרייה הלאומית \| Biblioteca nazionale di Israele \| Biblioteka Narodowa Izraela \| Национальная библиотека Израиля	6
Q108163 [CC \| ]	No label in !	Výrok (logika) \| Proposición \| Proposizione (logica) \| 命題 \| Propośisiòun (lògica) \| Proposition	6
Q565 [CC \| ]	No label in !	Wikimedia Commons \| ויקישיתוף \| Վիքիպահեստ \| Вікісховище	6
Q8805 [CC \| ]	No label in !	Bit \| Bito \| סיבית \| Бит \| Bitti	6
Q575178 [CC \| ]	No label in !	NING-EI \| دروازه نقیض و \| NAND לוגי \| Porta NAND \| NAND \| NAND gate	6
Q36484 [CC \| ]	No label in !	Veznici \| Konjunktion (Wortart) \| Konjunksjon \| Conjunção \| Сполучник	5
Q11650 [CC \| ]	No label in !	Elektronika \| Elektroniko \| Electrónica \| Elektroniikka \| Electronics	5
Q773483 [CC \| ]	No label in !	Existenční kvantifikátor \| 存在記号 \| Quantificação existencial \| Eksistenssikvanttori \| Existential quantification	5
Q824553 [CC \| ]	No label in !	Stanford Encyclopedia of Philosophy \| Стенфордска енциклопедија на филозофијата	5
Q1336142 [CC \| ]	No label in !	XNOR-Gatter \| دروازه نقیض یای انحصاری \| XNOR לוגי \| XNOR \| XNOR gate	5
Q204355 [CC \| ]	No label in !	Ekvivalents \| دوشرطی منطقی \| Логички двоуслов \| Bisubjunksjon \| Logical biconditional	5
Q194404 [CC \| ]	No label in !	Monotoonne funktsioon \| تابع یکنوا \| Монотоност функције \| Monotoninen funktio \| Monotonic function	5
Q220433 [CC \| ]	No label in !	Équivalence logique \| Logische equivalentie \| Ekvivalenca \| Ekvivalens (logik) \| Logical equivalence	5
Q719375 [CC \| ]	No label in !	Operand \| אופרנד \| Операнд \| Operandi	5
Q942353 [CC \| ]	No label in !	ブール関数 \| Funkcja boolowska \| Булева функция \| 布尔函数 \| Boolean function	5
Q155516 [CC \| ]	No label in !	XOR gate \| Exklusiv-Oder-Gatter \| دروازه یای انحصاری	4
Q7949 [CC \| ]	No label in !	Wahrheit \| Sannhet \| Истина \| Həqiqət	4
Q913874 [CC \| ]	No label in !	Wahrheitswertefunktion \| Sannhetsfunksjon \| Sanningsfunktion \| Truth function	4
Q5166459 [CC \| ]	No label in !	Adjunción opuesta \| Non-implication réciproque \| Non-implicazione inversa \| Converse nonimplication	4
Q5166460 [CC \| ]	No label in !	Implicación opuesta \| شرطی معکوس \| 逆含意 \| Обернена імплікація	4
Q134661 [CC \| ]	No label in !	George Boole \| Буль, Джордж	4
Q28865 [CC \| ]	No label in !	Python (programmeerimiskeel) \| פייתון \| Python (programozási nyelv) \| Python (ohjelmointikieli)	4
Q1375963 [CC \| ]	No label in !	Implication réciproque \| Implicazione inversa \| Обратная теорема \| Converse (logic)	4
Q4973304 [CC \| ]	No label in !	אלגברה בוליאנית (מבנה אלגברי) \| ブール代数 \| 불 대수 \| Булева алгебра	4
Q374182 [CC \| ]	No label in !	論理的帰結 \| Умозаключение \| Implikacija \| Logical consequence	4
Q3235413 [CC \| ]	No label in !	論理記号の一覧 \| Lista de símbolos lógicos \| Список логических символов \| List of logic symbols	4
Q33057 [CC \| ]	No label in !	International Standard Book Number \| Διεθνής πρότυπος αριθμός βιβλίου	3
Q35148 [CC \| ]	No label in !	Predikátová logika \| Predikaattilogiikka \| Predicate logic	3
Q36161 [CC \| ]	No label in !	Menge (Mathematik) \| Ansem \| Set (mathematics)	3
Q214510 [CC \| ]	No label in !	Polnische Notation \| Польская запись \| Polish notation	3
Q8819 [CC \| ]	No label in !	Unicode \| Unikodo	3
Q879126 [CC \| ]	No label in !	Operador a nivel de bits \| Lógica binária \| Bitwise operation	3
Q2005 [CC \| ]	No label in !	JavaScript	3
Q33742 [CC \| ]	No label in !	Loomulik keel \| Természetes nyelv \| Natural language	3
Q560370 [CC \| ]	No label in !	NING \| دروازه و \| AND gate	3
Q8065380 [CC \| ]	No label in !	VÕI-EI \| دروازه نقیض یا \| NOR gate	3
Q846564 [CC \| ]	No label in !	فرم نرمال اشتراکی \| Конъюнктивная нормальная форма \| Conjunctive normal form	3
Q5432619 [CC \| ]	No label in !	کذب \| Falso (lógica) \| False (logic)	3
Q1771121 [CC \| ]	No label in !	Calcul des séquents \| Исчисление секвенций \| Sequent calculus	3
Q1572108 [CC \| ]	No label in !	Déduction naturelle \| Натуральный вывод \| Natural deduction	3
Q236975 [CC \| ]	No label in !	Logique classique \| Классическая логика \| Classical logic	3
Q852732 [CC \| ]	No label in !	Théorie de la démonstration \| Теория доказательств \| Proof theory	3
Q1340196 [CC \| ]	No label in !	אנציקלופדיה למתמטיקה \| Encyclopaedia of Mathematics \| Encyclopedia of Mathematics	3
Q2919270 [CC \| ]	No label in !	ו/או \| Ja/tai \| And/or	3
Q2509500 [CC \| ]	No label in !	פסוק (לוגיקה) \| Zdanie logiczne \| Sentence (mathematical logic)	3
Q1196881 [CC \| ]	No label in !	∴ \| Sinal de conclusão \| Therefore sign	3
Q126695 [CC \| ]	No label in !	全称記号 \| Quantificação universal \| Universal quantification	3
Q430954 [CC \| ]	No label in !	選言三段論法 \| 选言三段论 \| Disjunctive syllogism	3
Q903789 [CC \| ]	No label in !	選言標準形 \| Дизъюнктивная нормальная форма \| Disjunctive normal form	3
Q2407 [CC \| ]	No label in !	C++	3
Q4055684 [CC \| ]	No label in !	Логика первого порядка \| 一阶逻辑 \| First-order logic	3
Q3308477 [CC \| ]	No label in !	Эквиваленция \| Логічна еквівалентність \| Logical equality	3
Q3269980 [CC \| ]	No label in !	Булева множина \| 布尔域 \| Boolean domain	3
Q3884033 [CC \| ]	No label in !	运算 \| Eragiketa (matematika) \| Operation (mathematics)	3
Q226183 [CC \| ]	No label in !	Boş çoxluq \| Empty set \| Prázdna množina	3
Q215382 [CC \| ]	No label in !	Disjunktní množiny \| Disjunkt	2
Q461 [CC \| ]	No label in !	Internet Archive \| 互联网档案馆	2
Q1186818 [CC \| ]	No label in !	Den Store Danske Encyklopædi	2
Q344957 [CC \| ]	No label in !	Disjunktion (Begriffsklärung) \| Disjunction	2
Q163335 [CC \| ]	No label in !	Principia Mathematica	2
Q1378301 [CC \| ]	No label in !	Conjunto universal \| Universal set	2
Q484284 [CC \| ]	No label in !	Razonamiento deductivo \| Дедуктивное умозаключение	2
Q2013 [CC \| ]	No label in !	Wikidata	2
Q382497 [CC \| ]	No label in !	تبدیل آفین \| Affine transformation	2
Q18562927 [CC \| ]	No label in !	دروازه شرطی \| IMPLY gate	2
Q664575 [CC \| ]	No label in !	دروازه وارونگر \| Inverter (logic gate)	2
Q1140419 [CC \| ]	No label in !	Ambiguïté \| Ambiguity	2
Q719112 [CC \| ]	No label in !	MathWorld	2
Q11167 [CC \| ]	No label in !	チルダ \| Tilde	2
Q1319773 [CC \| ]	No label in !	無矛盾 \| Consistency	2
Q1139519 [CC \| ]	No label in !	矢印 \| Arrow (symbol)	2
Q605499 [CC \| ]	No label in !	短絡評価 \| Short-circuit evaluation	2
Q2826086 [CC \| ]	No label in !	選言肯定 \| Affirming a disjunct	2
Q177646 [CC \| ]	No label in !	部分集合 \| Subset	2
Q4116068 [CC \| ]	No label in !	Eksklusjon (logikk) \| ȘI-NU logic	2
Q33760 [CC \| ]	No label in !	Bertrand Russell \| Рассел, Бертран	2
Q77297 [CC \| ]	No label in !	Ernst Schröder \| Шрёдер, Эрнст	2
Q313454 [CC \| ]	No label in !	Jan Łukasiewicz	2
Q3311695 [CC \| ]	No label in !	Prawda (logika) \| Logical truth	2
Q11213 [CC \| ]	No label in !	& \| Ampersand	2
Q7856108 [CC \| ]	No label in !	Catraca (símbolo) \| Turnstile (symbol)	2
Q5300115 [CC \| ]	No label in !	Dupla catraca \| Double turnstile	2
Q180536 [CC \| ]	No label in !	Filosofia da matemática \| Philosophy of mathematics	2
Q9492 [CC \| ]	No label in !	Probabilidade \| Вероятность	2
Q3968 [CC \| ]	No label in !	Álgebra \| Algebra	2
Q17736 [CC \| ]	No label in !	Аксиома \| Axiom	2
Q1315869 [CC \| ]	No label in !	Арность \| Arity	2
Q312546 [CC \| ]	No label in !	Джевонс, Уильям Стенли \| William Stanley Jevons	2
Q468620 [CC \| ]	No label in !	История логики \| History of logic	2
Q1548746 [CC \| ]	No label in !	Логика второго порядка \| Second-order logic	2
Q1644136 [CC \| ]	No label in !	Логика высшего порядка \| Higher-order logic	2
Q1782658 [CC \| ]	No label in !	Логическая константа \| Logical constant	2
Q963731 [CC \| ]	No label in !	Логическая семантика \| Semantics of logic	2
Q185502 [CC \| ]	No label in !	Многозначная логика \| Many-valued logic	2
Q224821 [CC \| ]	No label in !	Нечёткая логика \| Нечітка логіка	2
Q81571 [CC \| ]	No label in !	Паскаль (язык программирования) \| Pascal	2
Q4370006 [CC \| ]	No label in !	Полином Жегалкина \| Zhegalkin polynomial	2
Q2395230 [CC \| ]	No label in !	Синтаксис (логика) \| Syntax (logic)	2
Q818930 [CC \| ]	No label in !	Теория вычислимости \| Computability theory	2
Q467606 [CC \| ]	No label in !	Теория моделей \| Model theory	2
Q4477759 [CC \| ]	No label in !	Условная дизъюнкция \| Умовна диз'юнкція	2
Q2476757 [CC \| ]	No label in !	Философия логики \| Philosophy of logic	2
Q649732 [CC \| ]	No label in !	Формальная система \| Formal system	2
Q1047000 [CC \| ]	No label in !	Ваљаност (логика) \| Validity (logic)	2
Q2684591 [CC \| ]	No label in !	Твердження (логіка) \| Statement (logic)	2
Q2348801 [CC \| ]	No label in !	Функціональна повнота \| Functional completeness	2
Q17020770 [CC \| ]	No label in !	布尔值函数 \| Boolean-valued function	2
Q8091 [CC \| ]	No label in !	Gramatika	1
Q3962655 [CC \| ]	No label in !	Sud (logika)	1
Q41796 [CC \| ]	No label in !	Frase	1
Q11812336 [CC \| ]	No label in !	Disjunkce (fytogeografie)	1
Q7162 [CC \| ]	No label in !	Genetika	1
Q12033796 [CC \| ]	No label in !	Logická operace	1
Q837479 [CC \| ]	No label in !	Logický obvod	1
Q39645 [CC \| ]	No label in !	Sémantika	1
Q5891 [CC \| ]	No label in !	Filosofi	1
Q93439763 [CC \| ]	No label in !	Junktor	1
Q88045 [CC \| ]	No label in !	Kuno Lorenz	1
Q78882193 [CC \| ]	No label in !	Niko Strobach	1
Q1223983 [CC \| ]	No label in !	Oder (Begriffsklärung)	1
Q185813 [CC \| ]	No label in !	Ουδέτερο στοιχείο	1
Q25670 [CC \| ]	No label in !	Ψηφιακό αναγνωριστικό αντικειμένου	1
Q43035 [CC \| ]	No label in !	Elektrotekniko	1
Q8811 [CC \| ]	No label in !	HTML	1
Q30905191 [CC \| ]	No label in !	Afirmación lógica	1
Q15973341 [CC \| ]	No label in !	Operación interna	1
Q191290 [CC \| ]	No label in !	Par ordenado	1
Q12359534 [CC \| ]	No label in !	Argument	1
Q12119947 [CC \| ]	No label in !	Keeletoimetamine	1
Q131030 [CC \| ]	No label in !	Operaator (matemaatika)	1
Q1219840 [CC \| ]	No label in !	Assertion	1
Q208448 [CC \| ]	No label in !	Auguste De Morgan	1
Q720113 [CC \| ]	No label in !	Barbarisme	1
Q254128 [CC \| ]	No label in !	Dilemme	1
Q5161172 [CC \| ]	No label in !	Règle d'introduction (logique)	1
Q30765751 [CC \| ]	No label in !	Règle d'élimination (logique)	1
Q296187 [CC \| ]	No label in !	APL	1
Q131140 [CC \| ]	No label in !	COBOL	1
Q223433 [CC \| ]	No label in !	PL/I	1
Q1206110 [CC \| ]	No label in !	אופרטור (תכנות)	1
Q173156 [CC \| ]	No label in !	אלקטרוניקה ספרתית	1
Q17951 [CC \| ]	No label in !	ז'רגון	1
Q2110857 [CC \| ]	No label in !	לוגיקה בוליאנית	1
Q132629 [CC \| ]	No label in !	מעגל חשמלי	1
Q4932206 [CC \| ]	No label in !	משפטים	1
Q25428 [CC \| ]	No label in !	מתח חשמלי	1
Q180159 [CC \| ]	No label in !	סימון מתמטי	1
Q20182284 [CC \| ]	No label in !	פעולה בוליאנית	1
Q231158 [CC \| ]	No label in !	פקודת השמה	1
Q163468 [CC \| ]	No label in !	פרולוג (שפת תכנות)	1
Q621080 [CC \| ]	No label in !	שיטת ספריית הקונגרס	1
Q128751 [CC \| ]	No label in !	Forráskód (programozás)	1
Q1747853 [CC \| ]	No label in !	Helyiérték	1
Q131454 [CC \| ]	No label in !	Kongresszusi Könyvtár	1
Q2657718 [CC \| ]	No label in !	Հայկական սովետական հանրագիտարան	1
Q2521786 [CC \| ]	No label in !	De Agostini	1
Q960379 [CC \| ]	No label in !	Free On-line Dictionary of Computing	1
Q22169 [CC \| ]	No label in !	GNU Free Documentation License	1
Q3803714 [CC \| ]	No label in !	Istituto dell'Enciclopedia Italiana	1
Q3983969 [CC \| ]	No label in !	Teorema dell'assorbimento	1
Q4015908 [CC \| ]	No label in !	Vocabolario Treccani	1
Q6108269 [CC \| ]	No label in !	JIS X 0213	1
Q42478 [CC \| ]	No label in !	Perl	1
Q13743 [CC \| ]	No label in !	VBScript	1
Q3364846 [CC \| ]	No label in !	∵	1
Q28500947 [CC \| ]	No label in !	ブール論理	1
Q591605 [CC \| ]	No label in !	マスク (情報工学)	1
Q985058 [CC \| ]	No label in !	中置記法	1
Q376953 [CC \| ]	No label in !	加算器	1
Q477675 [CC \| ]	No label in !	国立国会図書館	1
Q23905459 [CC \| ]	No label in !	山下正男	1
Q11475316 [CC \| ]	No label in !	岩波全書	1
Q1331427 [CC \| ]	No label in !	岩波書店	1
Q15932945 [CC \| ]	No label in !	文字参照	1
Q11638851 [CC \| ]	No label in !	近藤洋逸	1
Q65255908 [CC \| ]	No label in !	부정	1
Q16451651 [CC \| ]	No label in !	Gintautas Grigas	1
Q7017933 [CC \| ]	No label in !	Inversija	1
Q494622 [CC \| ]	No label in !	Visuotinė lietuvių enciklopedija	1
Q648266 [CC \| ]	No label in !	Wayback Machine	1
Q21198 [CC \| ]	No label in !	Informatica	1
Q32043 [CC \| ]	No label in !	Addisjon	1
Q11981816 [CC \| ]	No label in !	Konvers subjunksjon	1
Q40276 [CC \| ]	No label in !	Multiplikasjon	1
Q187520 [CC \| ]	No label in !	Charles Sanders Peirce	1
Q246506 [CC \| ]	No label in !	Ciało zbiorów	1
Q41585 [CC \| ]	No label in !	David Hilbert	1
Q731361 [CC \| ]	No label in !	Enciclopedia Treccani	1
Q4041526 [CC \| ]	No label in !	Encyklopedia PWN (internetowa)	1
Q615699 [CC \| ]	No label in !	Encyklopedia internetowa	1
Q9258278 [CC \| ]	No label in !	Fałsz	1
Q191029 [CC \| ]	No label in !	Giuseppe Peano	1
Q455501 [CC \| ]	No label in !	Helena Rasiowa	1
Q131276 [CC \| ]	No label in !	International Standard Serial Number	1
Q11781740 [CC \| ]	No label in !	Mirosław Bańko	1
Q190593 [CC \| ]	No label in !	Online Computer Library Center	1
Q41506 [CC \| ]	No label in !	Uniwersytet Stanforda	1
Q15085 [CC \| ]	No label in !	Lenga piemontèisa	1
Q7754 [CC \| ]	No label in !	Análise matemática	1
Q751611 [CC \| ]	No label in !	Biologia matemática e teórica	1
Q149972 [CC \| ]	No label in !	Cálculo infinitesimal	1
Q747534 [CC \| ]	No label in !	Economia matemática	1
Q853077 [CC \| ]	No label in !	Educação matemática	1
Q12483 [CC \| ]	No label in !	Estatística	1
Q156495 [CC \| ]	No label in !	Física matemática	1
Q8087 [CC \| ]	No label in !	Geometria	1
Q185264 [CC \| ]	No label in !	História da matemática	1
Q182557 [CC \| ]	No label in !	Linguística computacional	1
Q1122491 [CC \| ]	No label in !	Matemática computacional	1
Q121416 [CC \| ]	No label in !	Matemática discreta	1
Q10341097 [CC \| ]	No label in !	Operador	1
Q1316954 [CC \| ]	No label in !	Ou (ave)	1
Q2556886 [CC \| ]	No label in !	Química matemática	1
Q841606 [CC \| ]	No label in !	Tautologia	1
Q177571 [CC \| ]	No label in !	Teoria da decisão	1
Q12479 [CC \| ]	No label in !	Teoria dos números	1
Q1936384 [CC \| ]	No label in !	Áreas da matemática	1
Q2630879 [CC \| ]	No label in !	Coordonare (gramatică)	1
Q348486 [CC \| ]	No label in !	Propoziție	1
Q8815 [CC \| ]	No label in !	ASCII	1
Q2584927 [CC \| ]	No label in !	American Journal of Mathematics	1
Q627945 [CC \| ]	No label in !	EBCDIC	1
Q3510991 [CC \| ]	No label in !	ISO 31-11	1
Q9963 [CC \| ]	No label in !	V	1
Q308495 [CC \| ]	No label in !	Абдукция (логика)	1
Q154755 [CC \| ]	No label in !	Ада (язык программирования)	1
Q4751139 [CC \| ]	No label in !	Аналитическое суждение	1
Q262759 [CC \| ]	No label in !	Антиномия	1
Q151 [CC \| ]	No label in !	Викисловарь	1
Q474328 [CC \| ]	No label in !	Высказывание (логика)	1
Q5953248 [CC \| ]	No label in !	Гибридная логика	1
Q1365054 [CC \| ]	No label in !	Действительность	1
Q302542 [CC \| ]	No label in !	Деонтическая логика	1
Q387196 [CC \| ]	No label in !	Дескрипционная логика	1
Q2372261 [CC \| ]	No label in !	Закон тождества	1
Q1192029 [CC \| ]	No label in !	Зарезервированное слово	1
Q650565 [CC \| ]	No label in !	Ижица	1
Q484511 [CC \| ]	No label in !	Индуктивное умозаключение	1
Q10879018 [CC \| ]	No label in !	Интуиционизм	1
Q176786 [CC \| ]	No label in !	Интуиционистская логика	1
Q100792584 [CC \| ]	No label in !	Исчисление Ламбека	1
Q68 [CC \| ]	No label in !	Компьютер	1
Q5161806 [CC \| ]	No label in !	Коннексивная логика	1
Q1137814 [CC \| ]	No label in !	Конструктивная математика	1
Q843894 [CC \| ]	No label in !	Критическое мышление	1
Q841728 [CC \| ]	No label in !	Линейная логика	1
Q6667497 [CC \| ]	No label in !	Логическая форма	1
Q13424837 [CC \| ]	No label in !	Логические элементы	1
Q173198 [CC \| ]	No label in !	Логический синтез	1
Q2440867 [CC \| ]	No label in !	Мир (издательство)	1
Q210841 [CC \| ]	No label in !	Модальная логика	1
Q184759 [CC \| ]	No label in !	Набор символов	1
Q248326 [CC \| ]	No label in !	Наука (издательство)	1
Q6981212 [CC \| ]	No label in !	Наукова думка	1
Q239179 [CC \| ]	No label in !	Неклассическая логика	1
Q875267 [CC \| ]	No label in !	Необходимое и достаточное условия	1
Q1506807 [CC \| ]	No label in !	Неформальная логика	1
Q14402 [CC \| ]	No label in !	Ню (буква)	1
Q115491417 [CC \| ]	No label in !	Описание	1
Q101072 [CC \| ]	No label in !	Определение (логика)	1
Q500930 [CC \| ]	No label in !	Органон (Аристотель)	1
Q426592 [CC \| ]	No label in !	Паранепротиворечивая логика	1
Q1934165 [CC \| ]	No label in !	Подстановка	1
Q706120 [CC \| ]	No label in !	Порецкий, Платон Сергеевич	1
Q321703 [CC \| ]	No label in !	Посылка (логика)	1
Q13424672 [CC \| ]	No label in !	Предполные классы	1
Q4391414 [CC \| ]	No label in !	Рвачёв, Владимир Логвинович	1
Q176630 [CC \| ]	No label in !	Релевантная логика	1
Q38918 [CC \| ]	No label in !	Римские цифры	1
Q4406646 [CC \| ]	No label in !	Самодвойственная функция	1
Q646197 [CC \| ]	No label in !	Символическая ссылка	1
Q16697917 [CC \| ]	No label in !	Синтетическое суждение	1
Q92620 [CC \| ]	No label in !	Страуструп, Бьёрн	1
Q839490 [CC \| ]	No label in !	Субструктурная логика	1
Q781833 [CC \| ]	No label in !	Темпоральная логика	1
Q321119 [CC \| ]	No label in !	Тождественное отображение	1
Q1962866 [CC \| ]	No label in !	Традукция	1
Q491412 [CC \| ]	No label in !	Философская логика	1
Q83303 [CC \| ]	No label in !	Фортран	1
Q20165368 [CC \| ]	No label in !	Энергия (издательство)	1
Q1347436 [CC \| ]	No label in !	Эпистемическая логика	1
Q3710055 [CC \| ]	No label in !	Яблонский, Сергей Всеволодович	1
Q12956985 [CC \| ]	No label in !	Elementi matematičke logike	1
Q2205075 [CC \| ]	No label in !	Alternative	1
Q933932 [CC \| ]	No label in !	Horn clause	1
Q28323399 [CC \| ]	No label in !	Eller (efternamn)	1
Q1218348 [CC \| ]	No label in !	Eller (olika betydelser)	1
Q12646412 [CC \| ]	No label in !	Insättningstecken	1
Q80831 [CC \| ]	No label in !	Integrerad krets	1
Q251 [CC \| ]	No label in !	Java (programspråk)	1
Q724409 [CC \| ]	No label in !	Nim	1
Q4201806 [CC \| ]	No label in !	Інститут філософії імені Григорія Сковороди НАН України	1
Q856579 [CC \| ]	No label in !	Бібліотечно-бібліографічна класифікація	1
Q1132051 [CC \| ]	No label in !	Вертикальна риска	1
Q12124415 [CC \| ]	No label in !	Монотонні функції алгебри логіки	1
Q6265342 [CC \| ]	No label in !	Плюс	1
Q12171848 [CC \| ]	No label in !	Шинкарук Володимир Іларіонович	1
Q6564405 [CC \| ]	No label in !	布尔代数主题列表	1
Q1003009 [CC \| ]	No label in !	Formal məntiq	1
Q4925193 [CC \| ]	No label in !	Yalan	1
Q170084 [CC \| ]	No label in !	Ümumiləşdirmə	1
Q235935 [CC \| ]	No label in !	Ekvivalenssi	1
Q12503 [CC \| ]	No label in !	Kokonaisluku	1
Q809 [CC \| ]	No label in !	Puolan kieli	1
Q12916 [CC \| ]	No label in !	Reaaliluku	1
Q13367443 [CC \| ]	No label in !	Tai	1
Q28473778 [CC \| ]	No label in !	Unioni	1
Q991202 [CC \| ]	No label in !	Vahva tyypitys	1
Q3706574 [CC \| ]	No label in !	Carpśàn	1
Q652 [CC \| ]	No label in !	Itagliàn	1
Q738653 [CC \| ]	No label in !	Notazio aljebraiko	1
Q2748142 [CC \| ]	No label in !	Abstract logic	1
Q341810 [CC \| ]	No label in !	Ackermann set theory	1
Q908627 [CC \| ]	No label in !	Aleph number	1
Q207534 [CC \| ]	No label in !	Alfred Tarski	1
Q1005222 [CC \| ]	No label in !	Algebraic logic	1
Q837518 [CC \| ]	No label in !	Alphabet (formal languages)	1
Q105226785 [CC \| ]	No label in !	Alternative semantics	1
Q156751 [CC \| ]	No label in !	Anaphora (linguistics)	1
Q4771114 [CC \| ]	No label in !	Antecedent-contained deletion	1
Q186619 [CC \| ]	No label in !	Argument	1
Q2328174 [CC \| ]	No label in !	Atomic formula	1
Q4345785 [CC \| ]	No label in !	Atomic sentence	1
Q214526 [CC \| ]	No label in !	Automata theory	1
Q431667 [CC \| ]	No label in !	Automated theorem proving	1
Q105569262 [CC \| ]	No label in !	Autonomy of syntax	1
Q179692 [CC \| ]	No label in !	Axiom of choice	1
Q792536 [CC \| ]	No label in !	Axiom schema	1
Q792542 [CC \| ]	No label in !	Axiomatic system	1
Q737851 [CC \| ]	No label in !	Banach–Tarski paradox	1
Q180907 [CC \| ]	No label in !	Bijection	1
Q3140385 [CC \| ]	No label in !	Binding (linguistics)	1
Q2374485 [CC \| ]	No label in !	Bit field	1
Q4943350 [CC \| ]	No label in !	Boolean algebras canonically defined	1
Q729471 [CC \| ]	No label in !	Cantor's diagonal argument	1
Q379078 [CC \| ]	No label in !	Cantor's paradox	1
Q474881 [CC \| ]	No label in !	Cantor's theorem	1
Q4049983 [CC \| ]	No label in !	Cardinality	1
Q173740 [CC \| ]	No label in !	Cartesian product	1
Q1574089 [CC \| ]	No label in !	Cataphora	1
Q1841499 [CC \| ]	No label in !	Categorial grammar	1
Q15830473 [CC \| ]	No label in !	Categorical theory	1
Q719395 [CC \| ]	No label in !	Category (mathematics)	1
Q2518298 [CC \| ]	No label in !	Category of sets	1
Q217413 [CC \| ]	No label in !	Category theory	1
Q1089708 [CC \| ]	No label in !	Church encoding	1
Q309157 [CC \| ]	No label in !	Church–Turing thesis	1
Q217594 [CC \| ]	No label in !	Class (set theory)	1
Q199006 [CC \| ]	No label in !	Codomain	1
Q5140822 [CC \| ]	No label in !	Coercion (linguistics)	1
Q871801 [CC \| ]	No label in !	Cognitive semantics	1
Q730974 [CC \| ]	No label in !	Combinatory categorial grammar	1
Q1149458 [CC \| ]	No label in !	Compactness theorem	1
Q242767 [CC \| ]	No label in !	Complement (set theory)	1
Q3508260 [CC \| ]	No label in !	Complete theory	1
Q1148456 [CC \| ]	No label in !	Computable function	1
Q877945 [CC \| ]	No label in !	Computable set	1
Q676835 [CC \| ]	No label in !	Computably enumerable set	1
Q3954981 [CC \| ]	No label in !	Computational semantics	1
Q1575634 [CC \| ]	No label in !	Concrete category	1
Q456748 [CC \| ]	No label in !	Conditional sentence	1
Q864213 [CC \| ]	No label in !	Conservative extension	1
Q108365642 [CC \| ]	No label in !	Conservativity	1
Q2777107 [CC \| ]	No label in !	Constructible universe	1
Q2584477 [CC \| ]	No label in !	Construction of the real numbers	1
Q5164501 [CC \| ]	No label in !	Constructive set theory	1
Q1128903 [CC \| ]	No label in !	Continuation	1
Q208416 [CC \| ]	No label in !	Continuum hypothesis	1
Q108314590 [CC \| ]	No label in !	Conversational scoreboard	1
Q28833099 [CC \| ]	No label in !	Coordinating conjunction	1
Q66707394 [CC \| ]	No label in !	Countable set	1
Q5188768 [CC \| ]	No label in !	Crossover effects	1
Q4476077 [CC \| ]	No label in !	Cumulativity (linguistics)	1
Q975734 [CC \| ]	No label in !	Curry–Howard correspondence	1
Q287183 [CC \| ]	No label in !	De dicto and de re	1
Q5244981 [CC \| ]	No label in !	De se	1
Q430001 [CC \| ]	No label in !	Decidability (logic)	1
Q3262192 [CC \| ]	No label in !	Decision problem	1
Q3322159 [CC \| ]	No label in !	Deductive system	1
Q1182686 [CC \| ]	No label in !	Definiteness	1
Q1189753 [CC \| ]	No label in !	Denotation	1
Q5260031 [CC \| ]	No label in !	Deontic modality	1
Q15805655 [CC \| ]	No label in !	Diagram (mathematical logic)	1
Q18207990 [CC \| ]	No label in !	Digital buffer	1
Q5281757 [CC \| ]	No label in !	Discourse relation	1
Q3526815 [CC \| ]	No label in !	Discourse representation theory	1
Q1228546 [CC \| ]	No label in !	Disjunct distribution	1
Q5282265 [CC \| ]	No label in !	Disjunction elimination	1
Q5282267 [CC \| ]	No label in !	Disjunction introduction	1
Q5283209 [CC \| ]	No label in !	Distributional semantics	1
Q192439 [CC \| ]	No label in !	Domain of a function	1
Q35465 [CC \| ]	No label in !	Dyirbal language	1
Q104841357 [CC \| ]	No label in !	Dynamic semantics	1
Q4355172 [CC \| ]	No label in !	Edward N. Zalta	1
Q379825 [CC \| ]	No label in !	Element (mathematics)	1
Q5358902 [CC \| ]	No label in !	Elementary diagram	1
Q877149 [CC \| ]	No label in !	Elementary equivalence	1
Q5358906 [CC \| ]	No label in !	Elementary function arithmetic	1
Q2704791 [CC \| ]	No label in !	Enumeration	1
Q5383589 [CC \| ]	No label in !	Epistemic modality	1
Q5384443 [CC \| ]	No label in !	Equiconsistency	1
Q130998 [CC \| ]	No label in !	Equivalence relation	1
Q172891 [CC \| ]	No label in !	Euclid's Elements	1
Q162886 [CC \| ]	No label in !	Euclidean geometry	1
Q1376788 [CC \| ]	No label in !	European Mathematical Society	1
Q12223979 [CC \| ]	No label in !	Evidentiality	1
Q113456568 [CC \| ]	No label in !	Exhaustivity	1
Q105615241 [CC \| ]	No label in !	Existential closure	1
Q6498784 [CC \| ]	No label in !	Expression (mathematics)	1
Q1384998 [CC \| ]	No label in !	Extension (semantics)	1
Q5421941 [CC \| ]	No label in !	Extension by definitions	1
Q5163116 [CC \| ]	No label in !	Extension by new constant and function names	1
Q965432 [CC \| ]	No label in !	Extensionality	1
Q24963503 [CC \| ]	No label in !	Faultless disagreement	1
Q203066 [CC \| ]	No label in !	Finitary relation	1
Q5450405 [CC \| ]	No label in !	Finite model theory	1
Q272404 [CC \| ]	No label in !	Finite set	1
Q55611653 [CC \| ]	No label in !	Finite-valued logic	1
Q111181235 [CC \| ]	No label in !	Fixed-point logic	1
Q1435289 [CC \| ]	No label in !	Focus (linguistics)	1
Q1003136 [CC \| ]	No label in !	Forcing (mathematics)	1
Q373045 [CC \| ]	No label in !	Formal grammar	1
Q192161 [CC \| ]	No label in !	Formal language	1
Q2762418 [CC \| ]	No label in !	Formal proof	1
Q5469969 [CC \| ]	No label in !	Formal semantics (natural language)	1
Q3005945 [CC \| ]	No label in !	Formation rule	1
Q5474574 [CC \| ]	No label in !	Foundations of geometry	1
Q833585 [CC \| ]	No label in !	Foundations of mathematics	1
Q105102522 [CC \| ]	No label in !	Free choice inference	1
Q3502887 [CC \| ]	No label in !	Free logic	1
Q935944 [CC \| ]	No label in !	Free variables and bound variables	1
Q150 [CC \| ]	No label in !	French language	1
Q5506660 [CC \| ]	No label in !	Fréchet inequalities	1
Q11348 [CC \| ]	No label in !	Function (mathematics)	1
Q5508767 [CC \| ]	No label in !	Function application	1
Q5508846 [CC \| ]	No label in !	Functional predicate	1
Q1055058 [CC \| ]	No label in !	Fuzzy set	1
Q5532389 [CC \| ]	No label in !	General set theory	1
Q5532504 [CC \| ]	No label in !	Generalized quantifier	1
Q36108 [CC \| ]	No label in !	Generative grammar	1
Q65121303 [CC \| ]	No label in !	Givenness	1
Q2261966 [CC \| ]	No label in !	Glue semantics	1
Q1187300 [CC \| ]	No label in !	Grammaticality	1
Q1465090 [CC \| ]	No label in !	Grothendieck universe	1
Q431411 [CC \| ]	No label in !	Ground expression	1
Q110765095 [CC \| ]	No label in !	Ground formula	1
Q1451046 [CC \| ]	No label in !	Gödel numbering	1
Q902052 [CC \| ]	No label in !	Gödel's completeness theorem	1
Q200787 [CC \| ]	No label in !	Gödel's incompleteness theorems	1
Q622849 [CC \| ]	No label in !	Halting problem	1
Q5737878 [CC \| ]	No label in !	Hereditary set	1
Q910361 [CC \| ]	No label in !	Hilbert system	1
Q840243 [CC \| ]	No label in !	Hilbert's axioms	1
Q5905943 [CC \| ]	No label in !	Horseshoe (symbol)	1
Q9067 [CC \| ]	No label in !	Hungarian language	1
Q105626283 [CC \| ]	No label in !	Hurford disjunction	1
Q860623 [CC \| ]	No label in !	Image (mathematics)	1
Q1331373 [CC \| ]	No label in !	Inaccessible cardinal	1
Q474418 [CC \| ]	No label in !	Inalienable possession	1
Q2705017 [CC \| ]	No label in !	Independence (mathematical logic)	1
Q1661162 [CC \| ]	No label in !	Indexicality	1
Q408386 [CC \| ]	No label in !	Inference	1
Q205140 [CC \| ]	No label in !	Infinite set	1
Q55614449 [CC \| ]	No label in !	Infinite-valued logic	1
Q131222 [CC \| ]	No label in !	Information theory	1
Q6033616 [CC \| ]	No label in !	Inhabited set	1
Q182003 [CC \| ]	No label in !	Injective function	1
Q60741432 [CC \| ]	No label in !	Inquisitive semantics	1
Q1923256 [CC \| ]	No label in !	Intension	1
Q6044335 [CC \| ]	No label in !	Intensional logic	1
Q523607 [CC \| ]	No label in !	Interpretation (logic)	1
Q17101792 [CC \| ]	No label in !	Interpretation (model theory)	1
Q185837 [CC \| ]	No label in !	Intersection (set theory)	1
Q65065165 [CC \| ]	No label in !	Intersective modifier	1
Q189112 [CC \| ]	No label in !	Isomorphism	1
Q673672 [CC \| ]	No label in !	Józef Maria Bocheński	1
Q1456811 [CC \| ]	No label in !	Kolmogorov complexity	1
Q3526833 [CC \| ]	No label in !	Kripke–Platek set theory	1
Q242028 [CC \| ]	No label in !	Lambda calculus	1
Q1548262 [CC \| ]	No label in !	Large cardinal	1
Q207505 [CC \| ]	No label in !	Lemma (mathematics)	1
Q1759657 [CC \| ]	No label in !	Lexical semantics	1
Q2379128 [CC \| ]	No label in !	Lindström's theorem	1
Q980142 [CC \| ]	No label in !	Linguistic universal	1
Q6554079 [CC \| ]	No label in !	Linguistics wars	1
Q6626686 [CC \| ]	No label in !	List of Hilbert systems	1
Q3632199 [CC \| ]	No label in !	List of axioms	1
Q2908665 [CC \| ]	No label in !	List of first-order theories	1
Q6621081 [CC \| ]	No label in !	List of formal systems	1
Q6627335 [CC \| ]	No label in !	List of mathematical theories	1
Q104867734 [CC \| ]	No label in !	List of set identities and relations	1
Q6641390 [CC \| ]	No label in !	List of statements independent of ZFC	1
Q117337220 [CC \| ]	No label in !	Logic translation	1
Q6667479 [CC \| ]	No label in !	Logical form (linguistics)	1
Q6667503 [CC \| ]	No label in !	Logical graph	1
Q845691 [CC \| ]	No label in !	Logicism	1
Q6667803 [CC \| ]	No label in !	Logophoricity	1
Q1068283 [CC \| ]	No label in !	Löwenheim–Skolem theorem	1
Q370502 [CC \| ]	No label in !	Map (mathematics)	1
Q21264292 [CC \| ]	No label in !	Maria Aloni	1
Q56386 [CC \| ]	No label in !	Maricopa language	1
Q246672 [CC \| ]	No label in !	Mathematical object	1
Q6803700 [CC \| ]	No label in !	Meaning postulate	1
Q16424695 [CC \| ]	No label in !	Meiosis	1
Q1194916 [CC \| ]	No label in !	Mereology	1
Q193983 [CC \| ]	No label in !	Metalanguage	1
Q4059939 [CC \| ]	No label in !	Minimal axioms for Boolean algebra	1
Q4356464 [CC \| ]	No label in !	Mirativity	1
Q105453208 [CC \| ]	No label in !	Modal subordination	1
Q6888319 [CC \| ]	No label in !	Model complete theory	1
Q1579914 [CC \| ]	No label in !	Monad (functional programming)	1
Q6897882 [CC \| ]	No label in !	Monadic predicate calculus	1
Q26899137 [CC \| ]	No label in !	Monadic second-order logic	1
Q3272938 [CC \| ]	No label in !	Montague grammar	1
Q3490369 [CC \| ]	No label in !	Morse–Kelley set theory	1
Q65067697 [CC \| ]	No label in !	NIMPLY gate	1
Q628036 [CC \| ]	No label in !	NP (complexity)	1
Q903783 [CC \| ]	No label in !	Naive set theory	1
Q649337 [CC \| ]	No label in !	New Foundations	1
Q233858 [CC \| ]	No label in !	Non-Euclidean geometry	1
Q7048956 [CC \| ]	No label in !	Non-logical symbol	1
Q3318128 [CC \| ]	No label in !	Non-standard model	1
Q3318130 [CC \| ]	No label in !	Non-standard model of arithmetic	1
Q2024914 [CC \| ]	No label in !	Opaque context	1
Q830486 [CC \| ]	No label in !	Open formula	1
Q7100782 [CC \| ]	No label in !	Ordinal analysis	1
Q191780 [CC \| ]	No label in !	Ordinal number	1
Q846354 [CC \| ]	No label in !	P (complexity)	1
Q746242 [CC \| ]	No label in !	P versus NP problem	1
Q4344872 [CC \| ]	No label in !	Paradoxes of set theory	1
Q381060 [CC \| ]	No label in !	Partition of a set	1
Q842755 [CC \| ]	No label in !	Peano axioms	1
Q965415 [CC \| ]	No label in !	Performative utterance	1
Q484761 [CC \| ]	No label in !	Philosophy of language	1
Q2101089 [CC \| ]	No label in !	Polarity item	1
Q1088088 [CC \| ]	No label in !	Possible world	1
Q13424705 [CC \| ]	No label in !	Post's lattice	1
Q205170 [CC \| ]	No label in !	Power set	1
Q181839 [CC \| ]	No label in !	Pragmatics	1
Q1144319 [CC \| ]	No label in !	Predicate (mathematical logic)	1
Q10531432 [CC \| ]	No label in !	Predicate variable	1
Q1076131 [CC \| ]	No label in !	Presupposition	1
Q7243580 [CC \| ]	No label in !	Primitive recursive arithmetic	1
Q1570472 [CC \| ]	No label in !	Primitive recursive function	1
Q936559 [CC \| ]	No label in !	Principle of compositionality	1
Q105615474 [CC \| ]	No label in !	Privative adjective	1
Q17163436 [CC \| ]	No label in !	Proof of impossibility	1
Q1372900 [CC \| ]	No label in !	Propositional formula	1
Q3492863 [CC \| ]	No label in !	Propositional variable	1
Q7268911 [CC \| ]	No label in !	Quantificational variability effect	1
Q592911 [CC \| ]	No label in !	Quantifier (logic)	1
Q7268912 [CC \| ]	No label in !	Quantifier rank	1
Q2176628 [CC \| ]	No label in !	Quantization (linguistics)	1
Q106074169 [CC \| ]	No label in !	Question under discussion	1
Q179976 [CC \| ]	No label in !	Recursion	1
Q121769 [CC \| ]	No label in !	Reference	1
Q123739394 [CC \| ]	No label in !	Relation (mathematics)	1
Q106838674 [CC \| ]	No label in !	Responsive predicate	1
Q2005236 [CC \| ]	No label in !	Reverse mathematics	1
Q105561840 [CC \| ]	No label in !	Rising declarative	1
Q928884 [CC \| ]	No label in !	Robinson arithmetic	1
Q1068763 [CC \| ]	No label in !	Rule of inference	1
Q33401 [CC \| ]	No label in !	Russell's paradox	1
Q1350299 [CC \| ]	No label in !	Satisfiability	1
Q1473532 [CC \| ]	No label in !	Saturated model	1
Q7429684 [CC \| ]	No label in !	Scalar implicature	1
Q1033910 [CC \| ]	No label in !	Schröder–Bernstein theorem	1
Q104853399 [CC \| ]	No label in !	Scope (formal semantics)	1
Q7442973 [CC \| ]	No label in !	Second-order arithmetic	1
Q7448234 [CC \| ]	No label in !	Self-verifying theories	1
Q55632839 [CC \| ]	No label in !	Semantic parsing	1
Q7449101 [CC \| ]	No label in !	Semantic theory of truth	1
Q2041271 [CC \| ]	No label in !	Sequence point	1
Q741810 [CC \| ]	No label in !	Signature (logic)	1
Q105626333 [CC \| ]	No label in !	Simplification of disjunctive antecedents	1
Q1165112 [CC \| ]	No label in !	Singleton (mathematics)	1
Q7532164 [CC \| ]	No label in !	Situation semantics	1
Q7536198 [CC \| ]	No label in !	Skolem arithmetic	1
Q7541384 [CC \| ]	No label in !	Sloppy identity	1
Q693083 [CC \| ]	No label in !	Soundness	1
Q18392333 [CC \| ]	No label in !	Spectrum of a sentence	1
Q7575321 [CC \| ]	No label in !	Spectrum of a theory	1
Q25481968 [CC \| ]	No label in !	Speech act	1
Q2749902 [CC \| ]	No label in !	Square of opposition	1
Q105123493 [CC \| ]	No label in !	Squiggle operator	1
Q1989404 [CC \| ]	No label in !	Strength (mathematical logic)	1
Q375520 [CC \| ]	No label in !	Strict conditional	1
Q2594083 [CC \| ]	No label in !	String (formal languages)	1
Q1851710 [CC \| ]	No label in !	Structure (mathematical logic)	1
Q105605534 [CC \| ]	No label in !	Subsective modifier	1
Q1522579 [CC \| ]	No label in !	Substitution (logic)	1
Q859254 [CC \| ]	No label in !	Substructure (mathematics)	1
Q110269066 [CC \| ]	No label in !	Subtrigging	1
Q102047 [CC \| ]	No label in !	Suffix	1
Q7644269 [CC \| ]	No label in !	Supertask	1
Q17141227 [CC \| ]	No label in !	Supervaluationism	1
Q229102 [CC \| ]	No label in !	Surjective function	1
Q107342 [CC \| ]	No label in !	Syllogism	1
Q2372244 [CC \| ]	No label in !	Symbol (formal)	1
Q108208608 [CC \| ]	No label in !	Syntax–semantics interface	1
Q442383 [CC \| ]	No label in !	T-schema	1
Q7675229 [CC \| ]	No label in !	Tagged union	1
Q7686756 [CC \| ]	No label in !	Tarski's axiomatization of the reals	1
Q7686757 [CC \| ]	No label in !	Tarski's axioms	1
Q574902 [CC \| ]	No label in !	Tarski's undefinability theorem	1
Q3984085 [CC \| ]	No label in !	Tarski–Grothendieck set theory	1
Q7694166 [CC \| ]	No label in !	Tee (symbol)	1
Q2336024 [CC \| ]	No label in !	Telicity	1
Q107919983 [CC \| ]	No label in !	Temperature paradox	1
Q2751097 [CC \| ]	No label in !	Tense–aspect–mood	1
Q1318370 [CC \| ]	No label in !	Term (logic)	1
Q237125 [CC \| ]	No label in !	Term logic	1
Q65943 [CC \| ]	No label in !	Theorem	1
Q10859910 [CC \| ]	No label in !	Theory (mathematical logic)	1
Q185443 [CC \| ]	No label in !	Three-valued logic	1
Q7806105 [CC \| ]	No label in !	Timeline of mathematical logic	1
Q17157202 [CC \| ]	No label in !	Transfer principle	1
Q671944 [CC \| ]	No label in !	Transitive set	1
Q7843500 [CC \| ]	No label in !	Triple bar	1
Q16751793 [CC \| ]	No label in !	True (logic)	1
Q7847560 [CC \| ]	No label in !	True arithmetic	1
Q7848347 [CC \| ]	No label in !	Truth predicate	1
Q7848251 [CC \| ]	No label in !	Truth-conditional semantics	1
Q163310 [CC \| ]	No label in !	Turing machine	1
Q129555 [CC \| ]	No label in !	Turned A	1
Q834884 [CC \| ]	No label in !	Type (model theory)	1
Q105637967 [CC \| ]	No label in !	Type shifter	1
Q1056428 [CC \| ]	No label in !	Type theory	1
Q85811377 [CC \| ]	No label in !	Type theory with records	1
Q1535225 [CC \| ]	No label in !	Ultraproduct	1
Q44746 [CC \| ]	No label in !	Uncertainty principle	1
Q1128796 [CC \| ]	No label in !	Uncountable set	1
Q3502995 [CC \| ]	No label in !	Undecidable problem	1
Q7885264 [CC \| ]	No label in !	Uninterpreted function	1
Q2502253 [CC \| ]	No label in !	Uniqueness quantification	1
Q7894130 [CC \| ]	No label in !	Universal grinder	1
Q597663 [CC \| ]	No label in !	Universe (mathematics)	1
Q3594846 [CC \| ]	No label in !	Up tack	1
Q1896657 [CC \| ]	No label in !	Urelement	1
Q1411921 [CC \| ]	No label in !	Vagueness	1
Q50701 [CC \| ]	No label in !	Variable (mathematics)	1
Q7921318 [CC \| ]	No label in !	Veridicality	1
Q77887 [CC \| ]	No label in !	Von Neumann universe	1
Q278770 [CC \| ]	No label in !	Von Neumann–Bernays–Gödel set theory	1
Q19361600 [CC \| ]	No label in !	Wedge (symbol)	1
Q655328 [CC \| ]	No label in !	Well-formed formula	1
Q191849 [CC \| ]	No label in !	Zermelo–Fraenkel set theory	1
Q12762073 [CC \| ]	No label in !	Alebo	1
Q396448 [CC \| ]	No label in !	Výrok	1