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

Q193983 - No label in !

Searching link targets on 39 Wikipedias...

Toggle existing labels

Item	Label []	Wikilabels	Link #
Q8162 [CC \| ]	No label in !	Лингвистика \| Językoznawstwo \| Linguistique \| Linguistica \| Lingüística \| Keeleteadus \| 言語学 \| Γλωσσολογία \| Språkvetenskap \| لسانيات \| Taalkunde \| Linguística \| Linguistics \| Lingvistikk \| Kielitiede \| Мовознавство \| Ieithyddiaeth \| زبان‌شناسی \| Lingvistică	20
Q315 [CC \| ]	No label in !	Språk \| Langage \| Linguaggio \| Linguaxe \| Bahasa \| Sprache \| Γλώσσα \| لغة \| Taal \| Язык \| Llenguatge \| Kieli \| Мова \| Jazyk (lingvistika) \| Jezik \| Kalba \| Език (лингвистика) \| Sprog \| Լեզու	20
Q8078 [CC \| ]	No label in !	Lógica \| Logica \| Logika \| Логика \| 逻辑 \| Logique \| Loogika \| Logic \| Lògica \| Logiikka \| Логіка \| Rhesymeg \| منطق \| Logică	18
Q8091 [CC \| ]	No label in !	Gramatika \| Gramática \| Grammaire \| Tata bahasa \| Γραμματική \| Grammatica \| Grammatikk \| Gramàtica \| Граматика	13
Q37437 [CC \| ]	No label in !	Синтаксис \| 통사론 \| Sintaxis \| Syntax \| 統語論 \| Σύνταξη (γλωσσολογία) \| Sintaxe \| Cystrawen \| Sintaksa \| Շարահյուսություն \| Sintaxi	12
Q9143 [CC \| ]	No label in !	Langage de programmation \| Programmiersprache \| プログラミング言語 \| Programspråk \| Linguagem de programação \| Programming language \| Programmeringsspråk \| Ohjelmointikieli \| Iaith rhaglennu \| Programski jezik \| Programavimo kalba	11
Q1096708 [CC \| ]	No label in !	Metatheorie \| Metateooria \| メタ理論 \| Metateoria \| Metateória \| Метатеория \| Metatheory \| Метатеорія \| Metateorija	10
Q36578 [CC \| ]	No label in !	Gemeinsame Normdatei	9
Q211577 [CC \| ]	No label in !	Backus-Naur-Form \| バッカス・ナウア記法 \| Formalismo de Backus-Naur \| Форма Бэкуса — Наура \| Backus–Naur form \| Backus–Naur-muoto \| Нотація Бекуса — Наура \| Backus-Naurov oblik \| Бакус–Наурова форма	9
Q207534 [CC \| ]	No label in !	Alfred Tarski \| 알프레트 타르스키 \| Тарский, Альфред \| Альфред Тарський	8
Q192161 [CC \| ]	No label in !	形式语言 \| Lenguaje formal \| 形式言語 \| Formal language \| Llenguatge formal \| Формальна мова \| Формални језик	7
Q2577553 [CC \| ]	No label in !	使用-提及區別 \| Distinción entre uso y mención \| Kasutamine ja mainimine \| 使用と言及の区別 \| Use–mention distinction \| Distinció entre ús i menció	6
Q56003 [CC \| ]	No label in !	元伦理学 \| 메타윤리학 \| メタ倫理学 \| Metaética \| Metaethics \| Метаетика	6
Q596284 [CC \| ]	No label in !	元哲学 \| 메타철학 \| メタ哲学 \| Metaphilosophy \| Метафілософія \| فرافلسفه	6
Q903508 [CC \| ]	No label in !	Метаматематика \| 元数学 \| Metamatematica \| 超数学 \| Metamathematics	6
Q200694 [CC \| ]	No label in !	命题逻辑 \| Lógica proposicional \| Propositional calculus \| Propositiologiikka \| Числення висловлень \| Logika proposizional	6
Q65943 [CC \| ]	No label in !	Теорема \| 定理 \| Theorem \| قضیه	6
Q1056428 [CC \| ]	No label in !	类型论 \| Teoría de tipos \| Typentheorie \| Теория типов \| Type theory \| Теорія типів	6
Q1129622 [CC \| ]	No label in !	自指 \| 자기언급 \| Самореференция \| Self-reference \| Автореференція \| خودارجاعی	6
Q1967876 [CC \| ]	No label in !	Biblioteka Narodowa Republiki Czeskiej \| Biblioteca Nacional de la República Checa \| Biblioteca Nacional da República Checa \| Національна бібліотека Чеської Республіки \| Národní knihovna České republiky \| Tjekkisk nationalbibliotek	6
Q118455746 [CC \| ]	No label in !	Kontrola autorytatywna \| Control de autoridades \| Control d'autoritats \| Нормативний контроль \| Autoritní kontrola \| Autoritetsdata	6
Q33387 [CC \| ]	No label in !	거짓말쟁이의 역설 \| Paradoja del mentiroso \| Lügner-Paradox \| Парадокс лжеца \| Paradoxa del mentider \| Парадокс брехуна	6
Q395 [CC \| ]	No label in !	Математика \| Mathématiques \| Mathemateg \| ریاضیات \| Մաթեմատիկա	6
Q33760 [CC \| ]	No label in !	Bertrand Russell \| Рассел, Бертран \| Бертран Расселл	6
Q180160 [CC \| ]	No label in !	元数据 \| メタデータ \| Метаданные \| Метадані \| Метаданни	5
Q661075 [CC \| ]	No label in !	元编程 \| メタプログラミング \| Metaprogramming \| Метапрограмування \| Метапрограмирање	5
Q17736 [CC \| ]	No label in !	Axiom \| 公理 \| Аксіома \| Аксиома	5
Q649732 [CC \| ]	No label in !	形式系統 \| Sistema formal \| Formal system \| Формальна система \| Логички систем	5
Q531067 [CC \| ]	No label in !	後設作品 \| 메타픽션 \| メタフィクション \| Metafiction \| Метамистецтво	5
Q7949 [CC \| ]	No label in !	真理 \| Prawda \| Wahrheit \| Истина \| Truth	5
Q188915 [CC \| ]	No label in !	Biblioteka Narodowa Izraela \| Biblioteca Nacional de Israel \| Biblioteca nazionale di Israele \| Національна бібліотека Ізраїлю \| Národní knihovna Izraele	5
Q455 [CC \| ]	No label in !	Encyclopædia Britannica \| Encyklopedia Britannica \| Enciclopedia Británica \| Enciclopedia Britannica	5
Q39645 [CC \| ]	No label in !	의미론 \| Sémantique \| Semantik \| Семантика \| Semantika	5
Q2115 [CC \| ]	No label in !	XML \| Extensible Markup Language	5
Q36108 [CC \| ]	No label in !	Gramática generativa \| Gramática gerativa \| Gramàtica generativa \| Generativní gramatika \| Gramatika sortzaile	5
Q8811 [CC \| ]	No label in !	HTML \| HyperText Markup Language	5
Q11348 [CC \| ]	No label in !	函数 \| 関数 (数学) \| Function (mathematics) \| Функція (математика)	4
Q35277 [CC \| ]	No label in !	形上學 \| 形而上学 \| Метафізика \| Метафизика	4
Q1045105 [CC \| ]	No label in !	後設 \| メタ \| Meta- \| Мета-	4
Q408386 [CC \| ]	No label in !	推理 \| Inference \| Päättely \| Висновок	4
Q1166618 [CC \| ]	No label in !	数理逻辑 \| 数理論理学 \| Mathematical logic \| Математична логіка	4
Q185521 [CC \| ]	No label in !	真值 \| Wahrheitswert \| Truth value \| Значення істинності	4
Q217413 [CC \| ]	No label in !	范畴论 \| 범주론 \| Category theory \| Теорија категорија	4
Q186619 [CC \| ]	No label in !	Argument \| 逻辑论证 \| Аргумент	4
Q211790 [CC \| ]	No label in !	逻辑运算符 \| 論理演算 \| Logical connective \| Логічний сполучник	4
Q21198 [CC \| ]	No label in !	Informatique \| Informatik \| Информатика \| Informatikk	4
Q33057 [CC \| ]	No label in !	International Standard Book Number \| ISBN \| النظام القياسي الدولي لترقيم الكتب \| Međunarodni standardni broj knjige	4
Q9391 [CC \| ]	No label in !	Ludwig Wittgenstein \| Людвиг Витгенштейн \| Людвіг Вітгенштайн	4
Q1366730 [CC \| ]	No label in !	Metalógica \| メタ論理学 \| Металогіка \| Металогика	4
Q80071 [CC \| ]	No label in !	Símbolo \| Σύμβολο \| Символ \| Симбол	4
Q860654 [CC \| ]	No label in !	ML (linguaggio di programmazione) \| ML (プログラミング言語) \| ML (linguagem de programação) \| ML (programming language)	4
Q336 [CC \| ]	No label in !	Wissenschaft \| Επιστήμη \| Vitenskap \| Gwyddoniaeth	4
Q37045 [CC \| ]	No label in !	マークアップ言語 \| Opmaaktaal \| Linguagem de marcação \| Markeringsspråk	4
Q33742 [CC \| ]	No label in !	自然言語 \| Естественный язык \| Luonnollinen kieli \| Природна мова	4
Q6897882 [CC \| ]	No label in !	一元谓词演算 \| Monadic predicate calculus \| Числення одномісних предикатів	3
Q4055684 [CC \| ]	No label in !	一阶逻辑 \| First-order logic \| Логіка першого порядку	3
Q164307 [CC \| ]	No label in !	二元运算 \| Binary operation \| Бінарна операція	3
Q1548746 [CC \| ]	No label in !	二階邏輯 \| Second-order logic \| Логіка другого порядку	3
Q319308 [CC \| ]	No label in !	Douglas Hofstadter \| 侯世達	3
Q815382 [CC \| ]	No label in !	元分析 \| メタアナリシス \| Метааналіз	3
Q1385229 [CC \| ]	No label in !	元启发算法 \| メタヒューリスティクス \| Метаевристика	3
Q2632041 [CC \| ]	No label in !	元宇宙 \| メタバース \| Метавсесвіт	3
Q2384512 [CC \| ]	No label in !	元定理 \| Metatheorem \| Метатеорема	3
Q1925081 [CC \| ]	No label in !	元建模 \| Métamodèle \| メタモデル	3
Q1761230 [CC \| ]	No label in !	元知识 \| メタ知識 \| Метазнання	3
Q30599095 [CC \| ]	No label in !	Метанаука \| 元科学	3
Q379825 [CC \| ]	No label in !	元素 (數學) \| Element (mathematics) \| Елемент (математика)	3
Q792542 [CC \| ]	No label in !	公理系统 \| Axiomatic system \| Аксіоматика	3
Q203066 [CC \| ]	No label in !	关系 (数学) \| Finitary relation \| Відношення	3
Q205170 [CC \| ]	No label in !	冪集 \| Power set \| Булеан	3
Q278770 [CC \| ]	No label in !	冯诺伊曼-博内斯-哥德尔集合论 \| Von Neumann–Bernays–Gödel set theory \| Теорія множин фон Неймана — Бернайса — Геделя	3
Q1753225 [CC \| ]	No label in !	副語言學 \| 준언어 \| Paralanguage	3
Q1570472 [CC \| ]	No label in !	原始递归函数 \| Primitive recursive function \| Рекурсивні функції	3
Q818930 [CC \| ]	No label in !	可计算性理论 \| Computability theory \| Теорія обчислюваності	3
Q189112 [CC \| ]	No label in !	同构 \| Isomorphism \| Izomorfism	3
Q108163 [CC \| ]	No label in !	命题 \| Proposition \| Пропозиція (логіка)	3
Q831517 [CC \| ]	No label in !	哥德尔、埃舍尔、巴赫 \| Gödel, Escher, Bach \| Гедел, Есхер, Бах: Вечна златна плетеница	3
Q163310 [CC \| ]	No label in !	图灵机 \| Machine de Turing \| Turing machine	3
Q903778 [CC \| ]	No label in !	宏基因组学 \| メタゲノミクス \| Метагеноміка	3
Q192439 [CC \| ]	No label in !	定义域 \| Domain of a function \| Область визначення	3
Q2749902 [CC \| ]	No label in !	对立四边形 \| Square of opposition \| Логічний квадрат	3
Q942353 [CC \| ]	No label in !	布尔函数 \| Boolean function \| Булева функція	3
Q373045 [CC \| ]	No label in !	形式文法 \| Grammaire formelle \| Formal grammar	3
Q1126970 [CC \| ]	No label in !	後設認知 \| メタ認知 \| Метакогніція	3
Q1068763 [CC \| ]	No label in !	推理规则 \| Rule of inference \| Правило висновування	3
Q190763 [CC \| ]	No label in !	文氏图 \| Venn diagram \| Діаграма Венна	3
Q205140 [CC \| ]	No label in !	无限集合 \| Infinite set \| Нескінченна множина	3
Q1047000 [CC \| ]	No label in !	有效性 \| Validity (logic) \| Чинність	3
Q272404 [CC \| ]	No label in !	有限集合 \| Finite set \| Скінченна множина	3
Q903783 [CC \| ]	No label in !	朴素集合论 \| Naive set theory \| Наївна теорія множин	3
Q467606 [CC \| ]	No label in !	模型论 \| Model theory \| Теорія моделей	3
Q2705017 [CC \| ]	No label in !	獨立性 (數理邏輯) \| Independence (mathematical logic) \| Незалежність системи аксіом	3
Q107342 [CC \| ]	No label in !	直言三段论 \| Syllogism \| Силогізм	3
Q219079 [CC \| ]	No label in !	真值表 \| Truth table \| Таблиці істинності	3
Q226183 [CC \| ]	No label in !	空集 \| Empty set \| Порожня множина	3
Q191849 [CC \| ]	No label in !	策梅洛-弗兰克尔集合论 \| Zermelo–Fraenkel set theory \| Теорія множин Цермело — Френкеля	3
Q217594 [CC \| ]	No label in !	类 (数学) \| Class (set theory) \| Клас (теорія множин)	3
Q236975 [CC \| ]	No label in !	经典逻辑 \| Classical logic \| Класична логіка	3
Q1929599 [CC \| ]	No label in !	自然後設語義 \| Natural Semantic Metalanguage \| Natural semantic metalanguage	3
Q374182 [CC \| ]	No label in !	蕴涵 \| Logical consequence \| Умовивід	3
Q523607 [CC \| ]	No label in !	解釋 (邏輯) \| Interpretation (logic) \| Інтерпретація (логіка)	3
Q852732 [CC \| ]	No label in !	证明论 \| Теория доказательств \| Proof theory	3
Q497166 [CC \| ]	No label in !	超材料 \| メタマテリアル \| Метаматеріал	3
Q179692 [CC \| ]	No label in !	选择公理 \| Axiom of choice \| Аксіома вибору	3
Q179976 [CC \| ]	No label in !	递归 \| Recursion \| Рекурсія	3
Q173183 [CC \| ]	No label in !	逻辑代数 \| Boolean algebra \| Алгебра логіки	3
Q963731 [CC \| ]	No label in !	邏輯語義學 \| Semantics of logic \| Семантика логіки	3
Q309157 [CC \| ]	No label in !	邱奇-图灵论题 \| Church–Turing thesis \| Теза Черча — Тюрінга	3
Q592911 [CC \| ]	No label in !	量化 (数理逻辑) \| Quantifier (logic) \| Квантор	3
Q36161 [CC \| ]	No label in !	集合 (数学) \| Set (mathematics) \| Множина	3
Q12482 [CC \| ]	No label in !	集合论 \| Set theory \| Теорія множин	3
Q6486619 [CC \| ]	No label in !	面向语言的程序设计 \| Language-oriented programming \| Језички-оријентисано програмирање	3
Q1133733 [CC \| ]	No label in !	Biblioteka Narodowa Łotwy \| Латвійська національна бібліотека \| Lotyšská národní knihovna	3
Q486902 [CC \| ]	No label in !	Modelowanie matematyczne \| Modelo matemático \| Eredu matematiko	3
Q1144319 [CC \| ]	No label in !	Predykat \| Predicate (mathematical logic) \| Предикат	3
Q181839 [CC \| ]	No label in !	화용론 \| Pragmatik (Linguistik) \| Прагматика	3
Q484761 [CC \| ]	No label in !	Filosofía del lenguaje \| Філософія мови \| Hizkuntzaren filosofia	3
Q4347052 [CC \| ]	No label in !	Lenguaje objeto \| Linguagem objeto \| Objektikieli	3
Q483372 [CC \| ]	No label in !	Paradoxa \| Paradoja	3
Q76519 [CC \| ]	No label in !	Rudolf Carnap \| Карнап, Рудольф \| Рудольф Карнап	3
Q68 [CC \| ]	No label in !	コンピュータ \| Ηλεκτρονικός υπολογιστής \| Computer	3
Q5891 [CC \| ]	No label in !	Filosofi \| Философия \| Filosofia	3
Q75 [CC \| ]	No label in !	Internet	3
Q5310 [CC \| ]	No label in !	LaTeX	3
Q35148 [CC \| ]	No label in !	Predicate logic \| Логіка предикатів \| Predikátová logika	3
Q305932 [CC \| ]	No label in !	Yacc	3
Q628036 [CC \| ]	No label in !	NP (複雜度) \| NP (complexity)	2
Q846354 [CC \| ]	No label in !	P (複雜度) \| P (complexity)	2
Q746242 [CC \| ]	No label in !	P/NP问题 \| P versus NP problem	2
Q442383 [CC \| ]	No label in !	T-模式 \| T-schema	2
Q6641390 [CC \| ]	No label in !	ZFC系統無法確定的命題列表 \| List of statements independent of ZFC	2
Q242028 [CC \| ]	No label in !	Λ演算 \| Lambda calculus	2
Q1319773 [CC \| ]	No label in !	一致性 (邏輯) \| Consistency	2
Q185443 [CC \| ]	No label in !	三值逻辑 \| Three-valued logic	2
Q3502995 [CC \| ]	No label in !	不可判定问题 \| Undecidable problem	2
Q1128796 [CC \| ]	No label in !	不可數集 \| Uncountable set	2
Q1331373 [CC \| ]	No label in !	不可達基數 \| Inaccessible cardinal	2
Q185837 [CC \| ]	No label in !	交集 \| Intersection (set theory)	2
Q237125 [CC \| ]	No label in !	传统逻辑 \| Term logic	2
Q671944 [CC \| ]	No label in !	传递集合 \| Transitive set	2
Q131222 [CC \| ]	No label in !	信息论 \| Information theory	2
Q622849 [CC \| ]	No label in !	停机问题 \| Halting problem	2
Q860623 [CC \| ]	No label in !	像 (數學) \| Image (mathematics)	2
Q1315869 [CC \| ]	No label in !	元数 \| Arity	2
Q3380771 [CC \| ]	No label in !	元现代主义 \| Метамодернізм	2
Q283112 [CC \| ]	No label in !	元系统 \| Метасистема	2
Q126695 [CC \| ]	No label in !	全称量化 \| Universal quantification	2
Q597663 [CC \| ]	No label in !	全集 \| Universe (mathematics)	2
Q3632199 [CC \| ]	No label in !	公理列表 \| List of axioms	2
Q792536 [CC \| ]	No label in !	公理模式 \| Axiom schema	2
Q1575634 [CC \| ]	No label in !	具體範疇 \| Concrete category	2
Q77887 [CC \| ]	No label in !	冯·诺伊曼全集 \| Von Neumann universe	2
Q172891 [CC \| ]	No label in !	几何原本 \| Euclid's Elements	2
Q2704791 [CC \| ]	No label in !	列举法 (集合论) \| Enumeration	2
Q877149 [CC \| ]	No label in !	初等等价 \| Elementary equivalence	2
Q199006 [CC \| ]	No label in !	到达域 \| Codomain	2
Q1003136 [CC \| ]	No label in !	力迫 \| Forcing (mathematics)	2
Q4049983 [CC \| ]	No label in !	势 (数学) \| Cardinality	2
Q1068283 [CC \| ]	No label in !	勒文海姆–斯科伦定理 \| Löwenheim–Skolem theorem	2
Q1165112 [CC \| ]	No label in !	单元素集合 \| Singleton (mathematics)	2
Q182003 [CC \| ]	No label in !	单射 \| Injective function	2
Q2328174 [CC \| ]	No label in !	原子公式 \| Atomic formula	2
Q4345785 [CC \| ]	No label in !	原子句子 \| Atomic sentence	2
Q180907 [CC \| ]	No label in !	双射 \| Bijection	2
Q2509500 [CC \| ]	No label in !	句子 (数理逻辑) \| Sentence (mathematical logic)	2
Q66707394 [CC \| ]	No label in !	可數集 \| Countable set	2
Q1148456 [CC \| ]	No label in !	可计算函数 \| Computable function	2
Q693083 [CC \| ]	No label in !	可靠性定理 \| Soundness	2
Q655328 [CC \| ]	No label in !	合式公式 \| Well-formed formula	2
Q3492863 [CC \| ]	No label in !	命题变量 \| Propositional variable	2
Q200787 [CC \| ]	No label in !	哥德尔不完备定理 \| Gödel's incompleteness theorems	2
Q902052 [CC \| ]	No label in !	哥德尔完备性定理 \| Gödel's completeness theorem	2
Q1451046 [CC \| ]	No label in !	哥德尔数 \| Gödel numbering	2
Q2502253 [CC \| ]	No label in !	唯一量化 \| Uniqueness quantification	2
Q834884 [CC \| ]	No label in !	型 (模型论) \| Type (model theory)	2
Q1896657 [CC \| ]	No label in !	基本元素 \| Urelement	2
Q574902 [CC \| ]	No label in !	塔斯基不可定義定理 \| Tarski's undefinability theorem	2
Q965432 [CC \| ]	No label in !	外延性 \| Extensionality	2
Q185502 [CC \| ]	No label in !	多值逻辑 \| Many-valued logic	2
Q1548262 [CC \| ]	No label in !	大基数 \| Large cardinal	2
Q859254 [CC \| ]	No label in !	子结构 \| Substructure (mathematics)	2
Q177646 [CC \| ]	No label in !	子集 \| Підмножина	2
Q837518 [CC \| ]	No label in !	字母表 (计算机科学) \| Alphabet (formal languages)	2
Q773483 [CC \| ]	No label in !	存在量化 \| Existential quantification	2
Q2359754 [CC \| ]	No label in !	宏大敘事 \| Метанаратив	2
Q7881229 [CC \| ]	No label in !	实质条件 \| Material conditional	2
Q2584477 [CC \| ]	No label in !	實數的構造 \| Construction of the real numbers	2
Q729471 [CC \| ]	No label in !	對角論證法 \| Cantor's diagonal argument	2
Q737851 [CC \| ]	No label in !	巴拿赫-塔斯基定理 \| Banach–Tarski paradox	2
Q840243 [CC \| ]	No label in !	希尔伯特公理 \| Hilbert's axioms	2
Q910361 [CC \| ]	No label in !	希尔伯特演绎系统 \| Hilbert system	2
Q185359 [CC \| ]	No label in !	并集 \| Union (set theory)	2
Q191780 [CC \| ]	No label in !	序数 \| Ordinal number	2
Q1033910 [CC \| ]	No label in !	康托尔-伯恩斯坦-施罗德定理 \| Schröder–Bernstein theorem	2
Q474881 [CC \| ]	No label in !	康托尔定理 \| Cantor's theorem	2
Q379078 [CC \| ]	No label in !	康托尔悖论 \| Cantor's paradox	2
Q830486 [CC \| ]	No label in !	开放句子 \| Open formula	2
Q209555 [CC \| ]	No label in !	恆真式 \| Tautology (logic)	2
Q163335 [CC \| ]	No label in !	数学原理 \| Principia Mathematica	2
Q180536 [CC \| ]	No label in !	数学哲学 \| Philosophy of mathematics	2
Q833585 [CC \| ]	No label in !	数学基础 \| Foundations of mathematics	2
Q246672 [CC \| ]	No label in !	数学对象 \| Mathematical object	2
Q649337 [CC \| ]	No label in !	新基础集合论 \| New Foundations	2
Q370502 [CC \| ]	No label in !	映射 \| Map (mathematics)	2
Q191290 [CC \| ]	No label in !	有序对 \| Впорядкована пара	2
Q1456811 [CC \| ]	No label in !	柯氏复杂性 \| Kolmogorov complexity	2
Q1055058 [CC \| ]	No label in !	模糊集 \| Fuzzy set	2
Q162886 [CC \| ]	No label in !	欧几里得几何 \| Euclidean geometry	2
Q3262192 [CC \| ]	No label in !	決定性問題 \| Decision problem	2
Q5508846 [CC \| ]	No label in !	泛函谓词 \| Functional predicate	2
Q229102 [CC \| ]	No label in !	满射 \| Surjective function	2
Q11398 [CC \| ]	No label in !	生物分類法 \| Classificação científica	2
Q842755 [CC \| ]	No label in !	皮亚诺公理 \| Peano axioms	2
Q1771121 [CC \| ]	No label in !	相继式演算 \| Sequent calculus	2
Q7449101 [CC \| ]	No label in !	真理的语义理论 \| Semantic theory of truth	2
Q173740 [CC \| ]	No label in !	笛卡儿积 \| Cartesian product	2
Q130998 [CC \| ]	No label in !	等价关系 \| Equivalence relation	2
Q719395 [CC \| ]	No label in !	範疇 (數學) \| Category (mathematics)	2
Q1149458 [CC \| ]	No label in !	紧致性定理 \| Compactness theorem	2
Q1851710 [CC \| ]	No label in !	结构 (数理逻辑) \| Structure (mathematical logic)	2
Q33401 [CC \| ]	No label in !	罗素悖论 \| Russell's paradox	2
Q214526 [CC \| ]	No label in !	自動機理論 \| Automata theory	2
Q1572108 [CC \| ]	No label in !	自然演绎 \| Natural deduction	2
Q935944 [CC \| ]	No label in !	自由变量和约束变量 \| Free variables and bound variables	2
Q3502887 [CC \| ]	No label in !	自由逻辑 \| Free logic	2
Q242767 [CC \| ]	No label in !	补集 \| Complement (set theory)	2
Q6498784 [CC \| ]	No label in !	表達式 \| Expression (mathematics)	2
Q50701 [CC \| ]	No label in !	變數 \| Variable (mathematics)	2
Q10531432 [CC \| ]	No label in !	谓词变量 \| Predicate variable	2
Q1535225 [CC \| ]	No label in !	超積 \| Ultraproduct	2
Q3884033 [CC \| ]	No label in !	运算 \| Operation (mathematics)	2
Q208416 [CC \| ]	No label in !	连续统假设 \| Continuum hypothesis	2
Q2005236 [CC \| ]	No label in !	逆数学 \| Reverse mathematics	2
Q676835 [CC \| ]	No label in !	递归可枚举集合 \| Computably enumerable set	2
Q877945 [CC \| ]	No label in !	递归集合 \| Computable set	2
Q191081 [CC \| ]	No label in !	逻辑与 \| Logical conjunction	2
Q468620 [CC \| ]	No label in !	逻辑史 \| History of logic	2
Q1651704 [CC \| ]	No label in !	逻辑或 \| Logical disjunction	2
Q220433 [CC \| ]	No label in !	逻辑等价 \| Logical equivalence	2
Q190558 [CC \| ]	No label in !	逻辑非 \| Negation	2
Q845691 [CC \| ]	No label in !	邏輯主義 \| Logicism	2
Q3311695 [CC \| ]	No label in !	邏輯真理 \| Logical truth	2
Q1089708 [CC \| ]	No label in !	邱奇数 \| Church encoding	2
Q908627 [CC \| ]	No label in !	阿列夫數 \| Aleph number	2
Q381060 [CC \| ]	No label in !	集合划分 \| Partition of a set	2
Q954495 [CC \| ]	No label in !	集合种群 \| Метапопуляція	2
Q2518298 [CC \| ]	No label in !	集合范畴 \| Category of sets	2
Q3318128 [CC \| ]	No label in !	非标准模型 \| Non-standard model	2
Q233858 [CC \| ]	No label in !	非欧几里得几何 \| Non-Euclidean geometry	2
Q1473532 [CC \| ]	No label in !	飽和模型 \| Saturated model	2
Q1644136 [CC \| ]	No label in !	高阶逻辑 \| Higher-order logic	2
Q1186818 [CC \| ]	No label in !	Den Store Danske Encyklopædi	2
Q1768199 [CC \| ]	No label in !	Wielka Encyklopedia Rosyjska \| Grande Enciclopedia Rusa	2
Q60195 [CC \| ]	No label in !	기호학 \| Семіотика	2
Q1069371 [CC \| ]	No label in !	메타 커뮤니케이션 \| Meta-communication	2
Q185698 [CC \| ]	No label in !	Méthodologie \| Metodologi	2
Q1056451 [CC \| ]	No label in !	Réflexion (informatique) \| Рефлексија (програмирање)	2
Q1725664 [CC \| ]	No label in !	Terminologie	2
Q9026218 [CC \| ]	No label in !	Lógica empírica \| Lògica empírica	2
Q217595 [CC \| ]	No label in !	Oxford University Press	2
Q2013 [CC \| ]	No label in !	Wikidata	2
Q34770 [CC \| ]	No label in !	Lingua (linguistica) \| Hizkuntza	2
Q166074 [CC \| ]	No label in !	XHTML	2
Q36054 [CC \| ]	No label in !	Meta keel \| メタ語	2
Q60028 [CC \| ]	No label in !	Gottlob Frege \| Готлоб Фреге	2
Q1043076 [CC \| ]	No label in !	スキーマ言語 \| XML schema	2
Q431667 [CC \| ]	No label in !	自動定理証明 \| Automated theorem proving	2
Q8171 [CC \| ]	No label in !	Λέξη \| Word	2
Q100023 [CC \| ]	No label in !	Metasyntactische variabele \| Метапеременная	2
Q2078 [CC \| ]	No label in !	Scalable Vector Graphics \| SVG	2
Q184473 [CC \| ]	No label in !	OpenDocument	2
Q207819 [CC \| ]	No label in !	SGML	2
Q183216 [CC \| ]	No label in !	Аналитическая философия \| Аналітична філософія	2
Q511706 [CC \| ]	No label in !	Конвенционализм \| Конвенціоналізм	2
Q655717 [CC \| ]	No label in !	Логико-философский трактат \| Логіко-філософський трактат	2
Q47783 [CC \| ]	No label in !	Постмодернизм \| Постмодернізм	2
Q7737 [CC \| ]	No label in !	Русский язык \| Ռուսերեն	2
Q2762418 [CC \| ]	No label in !	Formal proof \| Доказ (логіка)	2
Q5532389 [CC \| ]	No label in !	General set theory \| Загальна теорія множин	2
Q12479 [CC \| ]	No label in !	Number theory \| Теорија бројева	2
Q2684591 [CC \| ]	No label in !	Statement (logic) \| Твердження (логіка)	2
Q2372244 [CC \| ]	No label in !	Symbol (formal) \| Символ (логіка)	2
Q17737 [CC \| ]	No label in !	Theory \| Teorija	2
Q9129 [CC \| ]	No label in !	Грек чĕлхи \| Грек тілі	2
Q691358 [CC \| ]	No label in !	Täsmäkieli \| Обласно-специфичан језик	2
Q1925151 [CC \| ]	No label in !	Метапсихологія \| Метапсихология	2
Q41796 [CC \| ]	No label in !	Речення \| Sætning (grammatik)	2
Q34508 [CC \| ]	No label in !	Fideo \| Video	2
Q511977 [CC \| ]	No label in !	OpenOffice.org	2
Q976981 [CC \| ]	No label in !	Формула	2
Q1860 [CC \| ]	No label in !	زبان انگلیسی \| Անգլերեն	2
Q461 [CC \| ]	No label in !	互联网档案馆	1
Q602271 [CC \| ]	No label in !	元对象	1
Q866209 [CC \| ]	No label in !	元对象机制	1
Q114106 [CC \| ]	No label in !	元搜索引擎	1
Q6822514 [CC \| ]	No label in !	元游戏 (游戏方法)	1
Q1924819 [CC \| ]	No label in !	元类	1
Q6822250 [CC \| ]	No label in !	元認識論	1
Q6822484 [CC \| ]	No label in !	元话语	1
Q2627911 [CC \| ]	No label in !	公式 (数理逻辑)	1
Q146481 [CC \| ]	No label in !	域 (生物)	1
Q184754 [CC \| ]	No label in !	字符串	1
Q4973304 [CC \| ]	No label in !	布尔代数	1
Q36732 [CC \| ]	No label in !	界 (生物)	1
Q842346 [CC \| ]	No label in !	相等	1
Q35409 [CC \| ]	No label in !	科 (生物)	1
Q3235413 [CC \| ]	No label in !	逻辑符号表	1
Q615699 [CC \| ]	No label in !	Encyklopedia internetowa	1
Q61747061 [CC \| ]	No label in !	Funkcja metajęzykowa języka	1
Q9264657 [CC \| ]	No label in !	Funkcje semiotyczne	1
Q11953984 [CC \| ]	No label in !	Jednostki językowe	1
Q82799 [CC \| ]	No label in !	Nazwa	1
Q3695082 [CC \| ]	No label in !	Znak (semiotyka)	1
Q807853 [CC \| ]	No label in !	이발사의 역설	1
Q357041 [CC \| ]	No label in !	찰스 윌리엄 모리스	1
Q194152 [CC \| ]	No label in !	Analyse syntaxique	1
Q9081 [CC \| ]	No label in !	Connaissance	1
Q539750 [CC \| ]	No label in !	Formalisme	1
Q494823 [CC \| ]	No label in !	Format de données	1
Q170084 [CC \| ]	No label in !	Généralisation	1
Q3185943 [CC \| ]	No label in !	Josette Rey-Debove	1
Q190593 [CC \| ]	No label in !	Online Computer Library Center	1
Q9471 [CC \| ]	No label in !	Épistémologie	1
Q48782649 [CC \| ]	No label in !	Cálculo	1
Q280221 [CC \| ]	No label in !	Interpretación	1
Q41585 [CC \| ]	No label in !	David Hilbert	1
Q3803714 [CC \| ]	No label in !	Istituto dell'Enciclopedia Italiana	1
Q36224 [CC \| ]	No label in !	Pronome	1
Q3984091 [CC \| ]	No label in !	Teoria dei linguaggi formali	1
Q11024 [CC \| ]	No label in !	Comunicación (linguaxe)	1
Q2664168 [CC \| ]	No label in !	Gran Enciclopèdia Catalana	1
Q1420342 [CC \| ]	No label in !	JSTOR	1
Q179488 [CC \| ]	No label in !	Psicolingüística	1
Q12377303 [CC \| ]	No label in !	Tsiteerimine (filosoofia)	1
Q13093247 [CC \| ]	No label in !	Gramedia Pustaka Utama	1
Q12485317 [CC \| ]	No label in !	Harimurti Kridalaksana	1
Q95344 [CC \| ]	No label in !	Ansgar Beckermann	1
Q262759 [CC \| ]	No label in !	Antinomie	1
Q27302 [CC \| ]	No label in !	Deutsche Nationalbibliothek	1
Q462390 [CC \| ]	No label in !	Dozent	1
Q11862829 [CC \| ]	No label in !	Einzelwissenschaft	1
Q94839547 [CC \| ]	No label in !	Erhard Schüttpelz	1
Q964754 [CC \| ]	No label in !	Grundlagenforschung	1
Q170147 [CC \| ]	No label in !	Hans Reichenbach (Physiker)	1
Q69631 [CC \| ]	No label in !	Harald Weinrich	1
Q83428104 [CC \| ]	No label in !	Harro Müller	1
Q673672 [CC \| ]	No label in !	Joseph Maria Bocheński	1
Q1717158 [CC \| ]	No label in !	Jürgen Fohrmann	1
Q36080256 [CC \| ]	No label in !	Kröners Taschenausgabe	1
Q1411986 [CC \| ]	No label in !	Protestatio facto contraria non valet	1
Q462024 [CC \| ]	No label in !	Supposition	1
Q18028521 [CC \| ]	No label in !	Theoretische Wissenschaft	1
Q2594870 [CC \| ]	No label in !	Wulff D. Rehfus	1
Q2877013 [CC \| ]	No label in !	BFGS法	1
Q17006685 [CC \| ]	No label in !	DFP法	1
Q1165219 [CC \| ]	No label in !	EBNF	1
Q648619 [CC \| ]	No label in !	F Sharp	1
Q212587 [CC \| ]	No label in !	OCaml	1
Q597330 [CC \| ]	No label in !	Standard ML	1
Q1302658 [CC \| ]	No label in !	エドモンズ・カープのアルゴリズム	1
Q2246305 [CC \| ]	No label in !	カーマーカーのアルゴリズム	1
Q1496373 [CC \| ]	No label in !	ガウス・ニュートン法	1
Q797860 [CC \| ]	No label in !	クラスカル法	1
Q131476 [CC \| ]	No label in !	グラフ理論	1
Q134164 [CC \| ]	No label in !	シンプレックス法	1
Q1424540 [CC \| ]	No label in !	タブーサーチ	1
Q8548 [CC \| ]	No label in !	ダイクストラ法	1
Q90418510 [CC \| ]	No label in !	ドッグレッグ法	1
Q1253278 [CC \| ]	No label in !	ネルダー–ミード法	1
Q4863604 [CC \| ]	No label in !	バリア関数	1
Q201413 [CC \| ]	No label in !	ヒューリスティック	1
Q284695 [CC \| ]	No label in !	フォード・ファルカーソンのアルゴリズム	1
Q2020318 [CC \| ]	No label in !	フランク・ウルフのアルゴリズム	1
Q1468211 [CC \| ]	No label in !	ブルーフカ法	1
Q761993 [CC \| ]	No label in !	ブロイデン法	1
Q620495 [CC \| ]	No label in !	ヘッセ行列	1
Q55642899 [CC \| ]	No label in !	ベイスンホッピング法	1
Q816022 [CC \| ]	No label in !	ベルマン–フォード法	1
Q898572 [CC \| ]	No label in !	マトロイド	1
Q6822257 [CC \| ]	No label in !	メタ存在論	1
Q61057973 [CC \| ]	No label in !	メタ学習	1
Q6822984 [CC \| ]	No label in !	メタ記憶	1
Q598870 [CC \| ]	No label in !	ラグランジュの未定乗数法	1
Q1426494 [CC \| ]	No label in !	レーベンバーグ・マルカート法	1
Q92643 [CC \| ]	No label in !	ロビン・ミルナー	1
Q1047576 [CC \| ]	No label in !	ワーシャル–フロイド法	1
Q11368547 [CC \| ]	No label in !	丹治信春	1
Q290117 [CC \| ]	No label in !	二次計画法	1
Q1535924 [CC \| ]	No label in !	信頼領域	1
Q831672 [CC \| ]	No label in !	全域木	1
Q904423 [CC \| ]	No label in !	公理的集合論	1
Q1191895 [CC \| ]	No label in !	共役勾配法	1
Q461992 [CC \| ]	No label in !	内点法	1
Q463359 [CC \| ]	No label in !	凸最適化	1
Q897659 [CC \| ]	No label in !	分枝限定法	1
Q380679 [CC \| ]	No label in !	動的計画法	1
Q5977448 [CC \| ]	No label in !	勾配法	1
Q2321565 [CC \| ]	No label in !	反復法 (数値計算)	1
Q15028 [CC \| ]	No label in !	国際標準化機構	1
Q193858 [CC \| ]	No label in !	国際電気標準会議	1
Q6664310 [CC \| ]	No label in !	局所収束性	1
Q1868524 [CC \| ]	No label in !	局所探索法	1
Q820272 [CC \| ]	No label in !	山登り法	1
Q141495 [CC \| ]	No label in !	数理最適化	1
Q6042592 [CC \| ]	No label in !	整数計画問題	1
Q5287 [CC \| ]	No label in !	日本語	1
Q2585642 [CC \| ]	No label in !	最大フロー問題	1
Q1199743 [CC \| ]	No label in !	最急降下法	1
Q984063 [CC \| ]	No label in !	最適化問題	1
Q369577 [CC \| ]	No label in !	標準化	1
Q1476018 [CC \| ]	No label in !	準ニュートン法	1
Q863783 [CC \| ]	No label in !	焼きなまし法	1
Q3278015 [CC \| ]	No label in !	直線探索	1
Q1333872 [CC \| ]	No label in !	組合せ最適化	1
Q202843 [CC \| ]	No label in !	線型計画法	1
Q504353 [CC \| ]	No label in !	貪欲法	1
Q621751 [CC \| ]	No label in !	近似アルゴリズム	1
Q4373881 [CC \| ]	No label in !	逐次二次計画法	1
Q2912857 [CC \| ]	No label in !	進化戦略	1
Q14489129 [CC \| ]	No label in !	進化的アルゴリズム	1
Q27031342 [CC \| ]	No label in !	量化	1
Q17086453 [CC \| ]	No label in !	非線形共役勾配法	1
Q769909 [CC \| ]	No label in !	非線形計画法	1
Q2424337 [CC \| ]	No label in !	黄金分割探索	1
Q4027615 [CC \| ]	No label in !	Πληροφορική	1
Q44946 [CC \| ]	No label in !	Σημείο	1
Q33104279 [CC \| ]	No label in !	Concept (filosofie)	1
Q1193236 [CC \| ]	No label in !	Pers (media)	1
Q1072180 [CC \| ]	No label in !	SMIL	1
Q7397 [CC \| ]	No label in !	Software	1
Q5301 [CC \| ]	No label in !	TeX	1
Q35127 [CC \| ]	No label in !	Website	1
Q1063060 [CC \| ]	No label in !	XLink	1
Q850661 [CC \| ]	No label in !	XQuery	1
Q2858086 [CC \| ]	No label in !	Apache OpenOffice	1
Q1474611 [CC \| ]	No label in !	Gráfico	1
Q3148420 [CC \| ]	No label in !	Ikigai	1
Q10135 [CC \| ]	No label in !	LibreOffice	1
Q12088 [CC \| ]	No label in !	Tex	1
Q365089 [CC \| ]	No label in !	Web	1
Q12137927 [CC \| ]	No label in !	Jazyk	1
Q76516 [CC \| ]	No label in !	Авенариус, Рихард	1
Q290509 [CC \| ]	No label in !	Антигуманизм	1
Q582437 [CC \| ]	No label in !	Антипозитивизм	1
Q1803058 [CC \| ]	No label in !	Ардиго, Роберто	1
Q613453 [CC \| ]	No label in !	Биленкин, Дмитрий Александрович	1
Q208238 [CC \| ]	No label in !	Венский кружок	1
Q953429 [CC \| ]	No label in !	Верификация	1
Q151 [CC \| ]	No label in !	Викисловарь	1
Q451330 [CC \| ]	No label in !	Виноградов, Иван Матвеевич	1
Q677706 [CC \| ]	No label in !	Гарднер, Мартин	1
Q41390 [CC \| ]	No label in !	Гёдель, Курт	1
Q494756 [CC \| ]	No label in !	Данные (вычислительная техника)	1
Q57955432 [CC \| ]	No label in !	Джастификационизм	1
Q314172 [CC \| ]	No label in !	Дюгем, Пьер	1
Q484511 [CC \| ]	No label in !	Индуктивное умозаключение	1
Q12718 [CC \| ]	No label in !	Конт, Огюст	1
Q193627 [CC \| ]	No label in !	Логический позитивизм	1
Q4925193 [CC \| ]	No label in !	Ложь	1
Q1306927 [CC \| ]	No label in !	Львовско-варшавская школа	1
Q93996 [CC \| ]	No label in !	Мах, Эрнст	1
Q7103731 [CC \| ]	No label in !	Махизм	1
Q50020 [CC \| ]	No label in !	Милль, Джон Стюарт	1
Q2440867 [CC \| ]	No label in !	Мир (издательство)	1
Q224837 [CC \| ]	No label in !	НФ	1
Q78570 [CC \| ]	No label in !	Нейрат, Отто	1
Q164359 [CC \| ]	No label in !	Опытное знание	1
Q4338151 [CC \| ]	No label in !	Основные начала (Спенсер)	1
Q131015 [CC \| ]	No label in !	Позитивизм	1
Q2371887 [CC \| ]	No label in !	Постпозитивизм	1
Q644971 [CC \| ]	No label in !	Правовой позитивизм	1
Q316757 [CC \| ]	No label in !	Проблема демаркации	1
Q483677 [CC \| ]	No label in !	Псевдонаука	1
Q81082 [CC \| ]	No label in !	Пуанкаре, Анри	1
Q1780478 [CC \| ]	No label in !	Рефлексия	1
Q144535 [CC \| ]	No label in !	Спенсер, Герберт	1
Q374959 [CC \| ]	No label in !	Тезис Дюэма — Куайна	1
Q297726 [CC \| ]	No label in !	Тэн, Ипполит	1
Q188572 [CC \| ]	No label in !	Факт	1
Q57193 [CC \| ]	No label in !	Шлик, Мориц	1
Q2733908 [CC \| ]	No label in !	Эмпириокритицизм	1
Q2748142 [CC \| ]	No label in !	Abstract logic	1
Q341810 [CC \| ]	No label in !	Ackermann set theory	1
Q1005222 [CC \| ]	No label in !	Algebraic logic	1
Q4943350 [CC \| ]	No label in !	Boolean algebras canonically defined	1
Q912887 [CC \| ]	No label in !	Cambridge University Press	1
Q15830473 [CC \| ]	No label in !	Categorical theory	1
Q3508260 [CC \| ]	No label in !	Complete theory	1
Q5159417 [CC \| ]	No label in !	Conduit metaphor	1
Q864213 [CC \| ]	No label in !	Conservative extension	1
Q2777107 [CC \| ]	No label in !	Constructible universe	1
Q5164501 [CC \| ]	No label in !	Constructive set theory	1
Q430001 [CC \| ]	No label in !	Decidability (logic)	1
Q3322159 [CC \| ]	No label in !	Deductive system	1
Q15805655 [CC \| ]	No label in !	Diagram (mathematical logic)	1
Q5358902 [CC \| ]	No label in !	Elementary diagram	1
Q5358906 [CC \| ]	No label in !	Elementary function arithmetic	1
Q5384443 [CC \| ]	No label in !	Equiconsistency	1
Q5421941 [CC \| ]	No label in !	Extension by definitions	1
Q5163116 [CC \| ]	No label in !	Extension by new constant and function names	1
Q5450405 [CC \| ]	No label in !	Finite model theory	1
Q55611653 [CC \| ]	No label in !	Finite-valued logic	1
Q111181235 [CC \| ]	No label in !	Fixed-point logic	1
Q3005945 [CC \| ]	No label in !	Formation rule	1
Q5474574 [CC \| ]	No label in !	Foundations of geometry	1
Q5534689 [CC \| ]	No label in !	Geoffrey Hunter (logician)	1
Q981936 [CC \| ]	No label in !	George Ritzer	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
Q5737878 [CC \| ]	No label in !	Hereditary set	1
Q55614449 [CC \| ]	No label in !	Infinite-valued logic	1
Q6033616 [CC \| ]	No label in !	Inhabited set	1
Q17101792 [CC \| ]	No label in !	Interpretation (model theory)	1
Q15492154 [CC \| ]	No label in !	J. A. Cuddon	1
Q9264662 [CC \| ]	No label in !	Jakobson's functions of language	1
Q3526833 [CC \| ]	No label in !	Kripke–Platek set theory	1
Q207505 [CC \| ]	No label in !	Lemma (mathematics)	1
Q2379128 [CC \| ]	No label in !	Lindström's theorem	1
Q132874 [CC \| ]	No label in !	Lisp (programming language)	1
Q6626686 [CC \| ]	No label in !	List of Hilbert systems	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
Q204355 [CC \| ]	No label in !	Logical biconditional	1
Q1782658 [CC \| ]	No label in !	Logical constant	1
Q3308477 [CC \| ]	No label in !	Logical equality	1
Q292068 [CC \| ]	No label in !	M4 (computer language)	1
Q100907478 [CC \| ]	No label in !	Metalanguage (disambiguation)	1
Q23893993 [CC \| ]	No label in !	Metalinguistic abstraction	1
Q13419941 [CC \| ]	No label in !	Metalinguistic awareness	1
Q2918137 [CC \| ]	No label in !	Metalinguistics	1
Q6822939 [CC \| ]	No label in !	Metalocutionary act	1
Q6823262 [CC \| ]	No label in !	Metasyntax	1
Q4059939 [CC \| ]	No label in !	Minimal axioms for Boolean algebra	1
Q6888319 [CC \| ]	No label in !	Model complete theory	1
Q26899137 [CC \| ]	No label in !	Monadic second-order logic	1
Q3490369 [CC \| ]	No label in !	Morse–Kelley set theory	1
Q6997820 [CC \| ]	No label in !	Nested quotation	1
Q7048956 [CC \| ]	No label in !	Non-logical symbol	1
Q3318130 [CC \| ]	No label in !	Non-standard model of arithmetic	1
Q7100782 [CC \| ]	No label in !	Ordinal analysis	1
Q4344872 [CC \| ]	No label in !	Paradoxes of set theory	1
Q1336200 [CC \| ]	No label in !	Penguin Books	1
Q7243580 [CC \| ]	No label in !	Primitive recursive arithmetic	1
Q3922048 [CC \| ]	No label in !	Principia Cybernetica	1
Q17163436 [CC \| ]	No label in !	Proof of impossibility	1
Q1372900 [CC \| ]	No label in !	Propositional formula	1
Q7268912 [CC \| ]	No label in !	Quantifier rank	1
Q8043 [CC \| ]	No label in !	Quotation mark	1
Q123739394 [CC \| ]	No label in !	Relation (mathematics)	1
Q928884 [CC \| ]	No label in !	Robinson arithmetic	1
Q1350299 [CC \| ]	No label in !	Satisfiability	1
Q7442973 [CC \| ]	No label in !	Second-order arithmetic	1
Q7448234 [CC \| ]	No label in !	Self-verifying theories	1
Q741810 [CC \| ]	No label in !	Signature (logic)	1
Q7536198 [CC \| ]	No label in !	Skolem arithmetic	1
Q18392333 [CC \| ]	No label in !	Spectrum of a sentence	1
Q7575321 [CC \| ]	No label in !	Spectrum of a theory	1
Q1989404 [CC \| ]	No label in !	Strength (mathematical logic)	1
Q2594083 [CC \| ]	No label in !	String (formal languages)	1
Q1522579 [CC \| ]	No label in !	Substitution (logic)	1
Q7644269 [CC \| ]	No label in !	Supertask	1
Q2395230 [CC \| ]	No label in !	Syntax (logic)	1
Q7686756 [CC \| ]	No label in !	Tarski's axiomatization of the reals	1
Q7686757 [CC \| ]	No label in !	Tarski's axioms	1
Q3984085 [CC \| ]	No label in !	Tarski–Grothendieck set theory	1
Q1318370 [CC \| ]	No label in !	Term (logic)	1
Q7755791 [CC \| ]	No label in !	The Oxford Companion to Philosophy	1
Q10859910 [CC \| ]	No label in !	Theory (mathematical logic)	1
Q7806105 [CC \| ]	No label in !	Timeline of mathematical logic	1
Q17157202 [CC \| ]	No label in !	Transfer principle	1
Q7847560 [CC \| ]	No label in !	True arithmetic	1
Q7848347 [CC \| ]	No label in !	Truth predicate	1
Q7885264 [CC \| ]	No label in !	Uninterpreted function	1
Q1378301 [CC \| ]	No label in !	Universal set	1
Q852662 [CC \| ]	No label in !	Valuation (logic)	1
Q189047 [CC \| ]	No label in !	Zellig Harris	1
Q154356 [CC \| ]	No label in !	Émile Borel	1
Q33348 [CC \| ]	No label in !	Чăваш чĕлхи	1
Q630893 [CC \| ]	No label in !	Biblioteca Nacional de la República Txeca	1
Q21087588 [CC \| ]	No label in !	Teoria dels tipus	1
Q1412 [CC \| ]	No label in !	Suomen kieli	1
Q40056 [CC \| ]	No label in !	Tietokoneohjelma	1
Q1453477 [CC \| ]	No label in !	Freebase	1
Q9294 [CC \| ]	No label in !	Ібн Хальдун	1
Q4201806 [CC \| ]	No label in !	Інститут філософії імені Григорія Сковороди НАН України	1
Q50675 [CC \| ]	No label in !	Історіографія	1
Q39837 [CC \| ]	No label in !	Аверроес	1
Q12089249 [CC \| ]	No label in !	Академія (видавничий центр)	1
Q243757 [CC \| ]	No label in !	Альфред Джулс Еєр	1
Q42156 [CC \| ]	No label in !	Анрі Бергсон	1
Q615599 [CC \| ]	No label in !	Арістотелева логіка	1
Q868 [CC \| ]	No label in !	Арістотель	1
Q331853 [CC \| ]	No label in !	Бенджамін Лі Ворф	1
Q856579 [CC \| ]	No label in !	Бібліотечно-бібліографічна класифікація	1
Q180819 [CC \| ]	No label in !	Виготський Лев Семенович	1
Q937228 [CC \| ]	No label in !	Властивість	1
Q214969 [CC \| ]	No label in !	Віллард Ван Орман Квайн	1
Q77888 [CC \| ]	No label in !	Вільгельм фон Гумбольдт	1
Q76356 [CC \| ]	No label in !	Ганс-Ґеорґ Ґадамер	1
Q179785 [CC \| ]	No label in !	Горгій	1
Q9047 [CC \| ]	No label in !	Готфрід Вільгельм Лейбніц	1
Q221697 [CC \| ]	No label in !	Гіларі Патнем	1
Q313386 [CC \| ]	No label in !	Гілберт Райл	1
Q179677 [CC \| ]	No label in !	Гіпотеза Сепіра — Ворфа	1
Q384522 [CC \| ]	No label in !	Девід Льюїс	1
Q180348 [CC \| ]	No label in !	Деконструкція	1
Q265469 [CC \| ]	No label in !	Дескрипція	1
Q272615 [CC \| ]	No label in !	Джон Ленгшо Остін	1
Q295012 [CC \| ]	No label in !	Джон Серль	1
Q1150675 [CC \| ]	No label in !	Доказові обчислення	1
Q311772 [CC \| ]	No label in !	Дональд Девідсон (філософ)	1
Q715478 [CC \| ]	No label in !	Діодор Крон	1
Q191095 [CC \| ]	No label in !	Едвард Сепір	1
Q5421730 [CC \| ]	No label in !	Експресивізм	1
Q229646 [CC \| ]	No label in !	Елізабет Анскомб	1
Q130631 [CC \| ]	No label in !	Жак Дерріда	1
Q185478 [CC \| ]	No label in !	Зліченна множина	1
Q155547 [CC \| ]	No label in !	Йоганн-Готфрід Гердер	1
Q33005 [CC \| ]	No label in !	Кант (мова)	1
Q12111025 [CC \| ]	No label in !	Ковалів Юрій Іванович	1
Q1174982 [CC \| ]	No label in !	Континуум (теорія множин)	1
Q4604 [CC \| ]	No label in !	Конфуцій	1
Q125247 [CC \| ]	No label in !	Кратил	1
Q2373971 [CC \| ]	No label in !	Криза основ математики	1
Q215957 [CC \| ]	No label in !	Леонард Блумфілд	1
Q12119991 [CC \| ]	No label in !	Літературознавча енциклопедія	1
Q342646 [CC \| ]	No label in !	Майкл Даммітт	1
Q869898 [CC \| ]	No label in !	Мета-емоція	1
Q6822261 [CC \| ]	No label in !	Мета-оптимізація	1
Q25481968 [CC \| ]	No label in !	Мовленнєвий акт	1
Q1243600 [CC \| ]	No label in !	Модальність (мовознавство)	1
Q1948412 [CC \| ]	No label in !	Морфізм	1
Q1140419 [CC \| ]	No label in !	Неоднозначність	1
Q9049 [CC \| ]	No label in !	Ноам Чомскі	1
Q202253 [CC \| ]	No label in !	Номіналізм	1
Q1806121 [CC \| ]	No label in !	Область значень	1
Q93781 [CC \| ]	No label in !	Пауль Вацлавик	1
Q60104 [CC \| ]	No label in !	Пауль Тілліх	1
Q12139612 [CC \| ]	No label in !	Перелік	1
Q859 [CC \| ]	No label in !	Платон	1
Q311776 [CC \| ]	No label in !	Пол Герберт Грайс	1
Q192066 [CC \| ]	No label in !	Поль Рікер	1
Q151885 [CC \| ]	No label in !	Поняття	1
Q1076131 [CC \| ]	No label in !	Пресупозиція	1
Q2297476 [CC \| ]	No label in !	Принцип верифікації	1
Q311760 [CC \| ]	No label in !	Пітер Стросон	1
Q81009 [CC \| ]	No label in !	Риторика	1
Q1317569 [CC \| ]	No label in !	Родинна схожість	1
Q298521 [CC \| ]	No label in !	Саул Аарон Кріпке	1
Q495728 [CC \| ]	No label in !	Списки мов	1
Q179168 [CC \| ]	No label in !	Структуралізм	1
Q12621536 [CC \| ]	No label in !	Судження	1
Q41679 [CC \| ]	No label in !	Схоластика	1
Q216072 [CC \| ]	No label in !	Сюнь-цзи	1
Q2555038 [CC \| ]	No label in !	Теологічний нонкогнітивізм	1
Q7840113 [CC \| ]	No label in !	Теорема про суму кутів трикутника	1
Q1092582 [CC \| ]	No label in !	Теорія дескрипцій	1
Q5305773 [CC \| ]	No label in !	Теорія драматизму	1
Q191853 [CC \| ]	No label in !	Теорія множин Цермело	1
Q37621 [CC \| ]	No label in !	Томас Гоббс	1
Q8798 [CC \| ]	No label in !	Українська мова	1
Q13230 [CC \| ]	No label in !	Фердинан де Сосюр	1
Q76857 [CC \| ]	No label in !	Франц Боас	1
Q1366567 [CC \| ]	No label in !	Філон з Мегари	1
Q491412 [CC \| ]	No label in !	Філософська логіка	1
Q772496 [CC \| ]	No label in !	Філософські дослідження	1
Q2629585 [CC \| ]	No label in !	Філософія інформації	1
Q211411 [CC \| ]	No label in !	Хрісіпп	1
Q47739 [CC \| ]	No label in !	Чжуан-цзи (філософ)	1
Q12171848 [CC \| ]	No label in !	Шинкарук Володимир Іларіонович	1
Q61906 [CC \| ]	No label in !	Школа імен	1
Q288756 [CC \| ]	No label in !	Яакко Гінтікка	1
Q35724 [CC \| ]	No label in !	1960au	1
Q7400480 [CC \| ]	No label in !	Sain	1
Q396448 [CC \| ]	No label in !	Výrok	1
Q11284309 [CC \| ]	No label in !	Česká terminologická databáze knihovnictví a informační vědy	1
Q1027879 [CC \| ]	No label in !	Grafika	1
Q845739 [CC \| ]	No label in !	Upitni jezik	1
Q11461 [CC \| ]	No label in !	Zvuk	1
Q80006 [CC \| ]	No label in !	Programavimas	1
Q1969448 [CC \| ]	No label in !	Terminas	1
Q12565061 [CC \| ]	No label in !	Таңба	1
Q6671777 [CC \| ]	No label in !	Құрылым	1
Q134830 [CC \| ]	No label in !	Представка	1
Q156201 [CC \| ]	No label in !	Роман Якобсон	1
Q255189 [CC \| ]	No label in !	Parafrase	1
Q261155 [CC \| ]	No label in !	تالی	1
Q40276 [CC \| ]	No label in !	ضرب (ریاضی)	1
Q56277009 [CC \| ]	No label in !	فراداستان	1
Q24905 [CC \| ]	No label in !	فعل	1
Q413 [CC \| ]	No label in !	فیزیک	1
Q260460 [CC \| ]	No label in !	مقدم (منطق)	1
Q3679502 [CC \| ]	No label in !	Cevovod	1
Q4795882 [CC \| ]	No label in !	Агентно низно оријентисано програмирање	1
Q165436 [CC \| ]	No label in !	Асемблер	1
Q531152 [CC \| ]	No label in !	Декларативно програмирање	1
Q1268980 [CC \| ]	No label in !	Динамички програмски језик	1
Q275596 [CC \| ]	No label in !	Императивно програмирање	1
Q1993334 [CC \| ]	No label in !	Интерпретирани програмски језик	1
Q275603 [CC \| ]	No label in !	Логичко програмирање	1
Q55813 [CC \| ]	No label in !	Машински језик	1
Q28643 [CC \| ]	No label in !	Парадигма	1
Q188267 [CC \| ]	No label in !	Парадигме програмирања	1
Q128392 [CC \| ]	No label in !	Паралелно израчунавање	1
Q211496 [CC \| ]	No label in !	Програмски језик високог нивоа	1
Q558937 [CC \| ]	No label in !	Програмски језик ниског нивоа	1
Q187432 [CC \| ]	No label in !	Скриптни језик	1
Q8269924 [CC \| ]	No label in !	Таксономија	1
Q450 [CC \| ]	No label in !	Ум	1
Q193076 [CC \| ]	No label in !	Функционално програмирање	1
Q8366 [CC \| ]	No label in !	Ալգորիթմ	1
Q23622 [CC \| ]	No label in !	Բառարան	1
Q58778 [CC \| ]	No label in !	Համակարգ	1
Q8785 [CC \| ]	No label in !	Հայերեն	1
Q2657718 [CC \| ]	No label in !	Հայկական սովետական հանրագիտարան	1
Q16517679 [CC \| ]	No label in !	Interpretazio (argipena)	1
Q400405 [CC \| ]	No label in !	Kalkulu (argipena)	1
Q650741 [CC \| ]	No label in !	Corp (matematică)	1
Q83478 [CC \| ]	No label in !	Grup (matematică)	1
Q161172 [CC \| ]	No label in !	Inel (matematică)	1
Q42989 [CC \| ]	No label in !	Topologie	1
Q16679904 [CC \| ]	No label in !	“Кыргызстан” улуттук энциклопедиясы	1