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.
Q1481571 - No label in !
Searching link targets on 21 Wikipedias...
Item | Label [] | Wikilabels | Link # |
---|---|---|---|
Q1166618 [CC | ] | No label in ! | Matematička logika | Lógica matemática | 数理逻辑 | Математическая логика | Logique mathématique | Mathematical logic | Mathematische Logik | 数理論理学 | Wiskundige logica | Lóxica matemática | Loidig mhatamataigeach | Математична логіка | Riyazi məntiq | Logica matematica | 15 |
Q242028 [CC | ] | No label in ! | Cálculo lambda | Lambda račun | Λ演算 | Rachunek lambda | Лямбда-исчисление | Lambda-calcul | Lambda calculus | Lambda-Kalkül | ラムダ計算 | Лямбда-числення | Lambda hesablaması | Lambda calcolo | 14 |
Q92611 [CC | ] | No label in ! | Haskell Curry | 哈斯凯尔·柯里 | Haskell Brooks Curry | ハスケル・カリー | Гаскелл Каррі | 12 |
Q36578 [CC | ] | No label in ! | Gemeinsame Normdatei | 11 |
Q193563 [CC | ] | No label in ! | Biblioteca Nacional de Francia | Biblioteca Nacional da França | Bibliothèque nationale | Национальная библиотека Франции | Ֆրանսիայի ազգային գրադարան | Національна бібліотека Франції | Fransa Milli Kitabxanası | Biblioteca nazionale di Francia | 9 |
Q620946 [CC | ] | No label in ! | Library of Congress Control Number | Número de controle da Biblioteca do Congresso | Контрольный номер Библиотеки Конгресса | Контрольний номер Бібліотеки Конгресу | LCCN | 9 |
Q193076 [CC | ] | No label in ! | Funkcijsko programiranje | Programação funcional | 函数式编程 | Функциональное программирование | Programmation fonctionnelle | Functional programming | Funksjonell programmering | Функційне програмування | 9 |
Q179976 [CC | ] | No label in ! | Rekurzija | Recursividade | 递归 | Recursión | Recursion | 再帰 | Рекурсія | 8 |
Q21198 [CC | ] | No label in ! | Ciência da computação | Информатика | Informatique | Computer science | 計算機科学 | Інформатика | Informatica | 7 |
Q818930 [CC | ] | No label in ! | Teoria da computabilidade | 可计算性理论 | Teoría de la computabilidad | Computability theory | Berechenbarkeitstheorie | 計算可能性理論 | Теорія обчислюваності | 7 |
Q163310 [CC | ] | No label in ! | Turingov stroj | 图灵机 | Maszyna Turinga | Turing machine | チューリングマシン | Машина Тюрінга | 7 |
Q118455746 [CC | ] | No label in ! | Kontrola autorytatywna | Autorité (sciences de l'information) | Control de autoridades | Control d'autoritats | Չափորոշչային վերահսկողություն | Нормативний контроль | Normativ yoxlama | 7 |
Q92741 [CC | ] | No label in ! | Alonzo Church | Чёрч, Алонзо | アロンゾ・チャーチ | Алонзо Черч | 6 |
Q45113 [CC | ] | No label in ! | Moses Schönfinkel | Шейнфинкель, Моисей Эльевич | Шейнфінкель Мойсей Ейлєвич | 6 |
Q2597810 [CC | ] | No label in ! | Système universitaire de documentation | Sistema Universitário de Documentação | Système Universitaire de Documentation | Университетская система документации | Університетська система документації | 6 |
Q309157 [CC | ] | No label in ! | Church-Turingova teza | 邱奇-图灵论题 | Tesis de Church-Turing | Tesi de Church-Turing | Теза Черча — Тюрінга | 6 |
Q1474542 [CC | ] | No label in ! | 高阶函数 | Fonction d'ordre supérieur | Higher-order function | 高階関数 | Hogere-ordefunctie | Функція вищого порядку | 6 |
Q648266 [CC | ] | No label in ! | Wayback Machine | 6 |
Q2976255 [CC | ] | No label in ! | Combinador de ponto fixo | 不动点组合子 | Operator paradoksalny | Комбинатор неподвижной точки | 不動点コンビネータ | 5 |
Q76505 [CC | ] | No label in ! | 组合逻辑电路 | Комбинационная логика | Combinational logic | Schaltnetz | Circuito combinatorio | 5 |
Q852732 [CC | ] | No label in ! | 证明论 | Теория доказательств | Proof theory | Beweistheorie | 証明論 | 5 |
Q49823 [CC | ] | No label in ! | Dana Scott | 达纳·斯科特 | デイナ・スコット | Дана Скотт | 5 |
Q188915 [CC | ] | No label in ! | Biblioteka Narodowa Izraela | Национальная библиотека Израиля | Biblioteca Nacional de Israel | Національна бібліотека Ізраїлю | Biblioteca nazionale di Israele | 5 |
Q824553 [CC | ] | No label in ! | Stanford Encyclopedia of Philosophy | Стенфордська філософська енциклопедія | 5 |
Q8078 [CC | ] | No label in ! | Логика | Lògica | Տրամաբանություն | Logikk | 邏輯 | 5 |
Q592911 [CC | ] | No label in ! | Quantificação | Quantifier (logic) | Квантор | Quantificatore | 4 |
Q21578 [CC | ] | No label in ! | Universidade de Princeton | Princeton University | プリンストン大学 | Принстонський університет | 4 |
Q857813 [CC | ] | No label in ! | SKI组合子演算 | SKI combinator calculus | SKIコンビネータ計算 | SKI kombinatorni račun | 4 |
Q4055684 [CC | ] | No label in ! | Calcul des prédicats | First-order logic | 一階述語論理 | Логіка першого порядку | 4 |
Q176786 [CC | ] | No label in ! | Logique intuitionniste | Intuitionistic logic | 直観主義論理 | Інтуїціоністська логіка | 4 |
Q296187 [CC | ] | No label in ! | APL | APL (programming language) | APL (programski jezik) | 4 |
Q214969 [CC | ] | No label in ! | Willard Van Orman Quine | ウィラード・ヴァン・オーマン・クワイン | Віллард Ван Орман Квайн | 4 |
Q31 [CC | ] | No label in ! | Bélgica | Belgium | Бельгія | 3 |
Q1420342 [CC | ] | No label in ! | JSTOR | 3 |
Q670180 [CC | ] | No label in ! | Unlambda | 3 |
Q845546 [CC | ] | No label in ! | B,C,K,W系统 | B, C, K, W system | B,C,K,Wシステム | 3 |
Q383994 [CC | ] | No label in ! | J语言 | J (プログラミング言語) | J (мова програмування) | 3 |
Q2462350 [CC | ] | No label in ! | 关系语义 | Kripke semantics | Семантика Кріпке | 3 |
Q1182249 [CC | ] | No label in ! | 演绎定理 | Deduction theorem | Теорема про дедукцію | 3 |
Q2651576 [CC | ] | No label in ! | 计算模型 (数学) | Model of computation | Model računanja | 3 |
Q4217267 [CC | ] | No label in ! | Категориальная абстрактная машина | Categorical abstract machine | Категоріальна абстрактна машина | 3 |
Q975734 [CC | ] | No label in ! | Correspondance de Curry-Howard | カリー=ハワード同型対応 | Відповідність Каррі — Говарда | 3 |
Q2878974 [CC | ] | No label in ! | Informatique théorique | 理論計算機科学 | Theoretische informatica | 3 |
Q395 [CC | ] | No label in ! | Mathématiques | Matematikk | Riyaziyyat | 3 |
Q655742 [CC | ] | No label in ! | Modus ponens | モーダスポネンス | 3 |
Q269878 [CC | ] | No label in ! | Cota superior asintótica | Big O notation | Нотація Ландау | 3 |
Q12525525 [CC | ] | No label in ! | Computation | Računanje | Обчислення (інформатика) | 3 |
Q935944 [CC | ] | No label in ! | Free variables and bound variables | 自由変数と束縛変数 | Вільні і зв'язані змінні | 3 |
Q92629 [CC | ] | No label in ! | Kenneth E. Iverson | Кеннет Айверсон | 3 |
Q467606 [CC | ] | No label in ! | Model theory | Teorija modela | Теорія моделей | 3 |
Q441178 [CC | ] | No label in ! | Raymond Smullyan | レイモンド・スマリヤン | Реймонд Смалліан | 3 |
Q33057 [CC | ] | No label in ! | ISBN | Međunarodni standardni knjižni broj | 3 |
Q50701 [CC | ] | No label in ! | 変数 (数学) | Varijabla | Variabele | 3 |
Q177251 [CC | ] | No label in ! | Asocijativnost | Асоціативність | 3 |
Q2173 [CC | ] | No label in ! | 1924 | 2 |
Q460907 [CC | ] | No label in ! | Biblioteca Nacional Central de Florença | Biblioteca Nacional Central de Florencia | 2 |
Q1410440 [CC | ] | No label in ! | Parâmetro (ciência da computação) | Параметр (програмування) | 2 |
Q949972 [CC | ] | No label in ! | Se e somente se | Ako i samo ako | 2 |
Q10954303 [CC | ] | No label in ! | Variável | Varijabla | 2 |
Q4897305 [CC | ] | No label in ! | Beta范式 | Beta normal form | 2 |
Q152838 [CC | ] | No label in ! | 哥廷根大学 | Sveučilište u Göttingenu | 2 |
Q177646 [CC | ] | No label in ! | 子集 | Підмножина | 2 |
Q2881121 [CC | ] | No label in ! | 求值策略 | Auswertung (Informatik) | 2 |
Q3305965 [CC | ] | No label in ! | 隐式编程 | Tacit programming | 2 |
Q1860 [CC | ] | No label in ! | Język angielski | 英語 | 2 |
Q1768199 [CC | ] | No label in ! | Wielka Encyklopedia Rosyjska | Grande Enciclopedia Rusa | 2 |
Q4068178 [CC | ] | No label in ! | Аппликативные вычислительные системы | Applicative computing systems | 2 |
Q367 [CC | ] | No label in ! | Викиучебник | Vikikitab | 2 |
Q121416 [CC | ] | No label in ! | Дискретная математика | Diskret riyaziyyat | 2 |
Q11348 [CC | ] | No label in ! | Функция (математика) | Ֆունկցիա (մաթեմատիկա) | 2 |
Q25670 [CC | ] | No label in ! | Digital Object Identifier | Цифровий ідентифікатор об'єкта | 2 |
Q968220 [CC | ] | No label in ! | Forme normale | Forma normal | 2 |
Q1587900 [CC | ] | No label in ! | Harvard University Press | 2 |
Q1847646 [CC | ] | No label in ! | Henk Barendregt | 2 |
Q449711 [CC | ] | No label in ! | Jean van Heijenoort | 2 |
Q15490557 [CC | ] | No label in ! | Robert Feys | 2 |
Q679903 [CC | ] | No label in ! | Magma (álgebra) | Magma (àlgebra) | 2 |
Q899616 [CC | ] | No label in ! | Paradoja de Curry | Paradoxa de Curry | 2 |
Q5421724 [CC | ] | No label in ! | Expressive power (computer science) | Виразність (програмування) | 2 |
Q188722 [CC | ] | No label in ! | Q.E.D. | 2 |
Q3513826 [CC | ] | No label in ! | Supercombinator | Superkombinator | 2 |
Q18110 [CC | ] | No label in ! | 1927 | 1 |
Q18792 [CC | ] | No label in ! | 1929 | 1 |
Q35702 [CC | ] | No label in ! | Década de 1930 | 1 |
Q234535 [CC | ] | No label in ! | Grande Enciclopédia Soviética | 1 |
Q9143 [CC | ] | No label in ! | Linguagem de programação | 1 |
Q2296355 [CC | ] | No label in ! | 128位元 | 1 |
Q3271420 [CC | ] | No label in ! | 12位元 | 1 |
Q194368 [CC | ] | No label in ! | 16位元 | 1 |
Q161583 [CC | ] | No label in ! | 1位元 | 1 |
Q4632106 [CC | ] | No label in ! | 256位元 | 1 |
Q225147 [CC | ] | No label in ! | 32位元 | 1 |
Q229932 [CC | ] | No label in ! | 4位元 | 1 |
Q252132 [CC | ] | No label in ! | 64位元 | 1 |
Q270159 [CC | ] | No label in ! | 8位元 | 1 |
Q16980 [CC | ] | No label in ! | ARM架構 | 1 |
Q352090 [CC | ] | No label in ! | CPU缓存 | 1 |
Q916994 [CC | ] | No label in ! | IA-64 | 1 |
Q1366099 [CC | ] | No label in ! | Intel Tick-Tock | 1 |
Q108443655 [CC | ] | No label in ! | LoongArch | 1 |
Q527464 [CC | ] | No label in ! | MIPS架構 | 1 |
Q209860 [CC | ] | No label in ! | PowerPC | 1 |
Q17637401 [CC | ] | No label in ! | RISC-V | 1 |
Q1973327 [CC | ] | No label in ! | ROM镜像 | 1 |
Q273190 [CC | ] | No label in ! | SPARC | 1 |
Q182933 [CC | ] | No label in ! | X86 | 1 |
Q229370 [CC | ] | No label in ! | 三維晶片 | 1 |
Q621583 [CC | ] | No label in ! | 专用指令集处理器 | 1 |
Q5300 [CC | ] | No label in ! | 中央处理器 | 1 |
Q2006448 [CC | ] | No label in ! | 串流處理 | 1 |
Q1377144 [CC | ] | No label in ! | 乘法器 | 1 |
Q1153762 [CC | ] | No label in ! | 乱序执行 | 1 |
Q461 [CC | ] | No label in ! | 互联网档案馆 | 1 |
Q24895600 [CC | ] | No label in ! | 人工智能加速器 | 1 |
Q691169 [CC | ] | No label in ! | 任务并行 | 1 |
Q5432732 [CC | ] | No label in ! | 伪共享 | 1 |
Q911682 [CC | ] | No label in ! | 位址匯流排 | 1 |
Q1088863 [CC | ] | No label in ! | 保留站 | 1 |
Q1074289 [CC | ] | No label in ! | 倍頻器 | 1 |
Q515636 [CC | ] | No label in ! | 先進先出演算法 | 1 |
Q1175867 [CC | ] | No label in ! | 内存控制器 | 1 |
Q518020 [CC | ] | No label in ! | 内存管理单元 | 1 |
Q1424771 [CC | ] | No label in ! | 冒险 (计算机系统结构) | 1 |
Q189088 [CC | ] | No label in ! | 冯诺伊曼结构 | 1 |
Q180634 [CC | ] | No label in ! | 分布式计算 | 1 |
Q679552 [CC | ] | No label in ! | 分支預測器 | 1 |
Q376953 [CC | ] | No label in ! | 加法器 | 1 |
Q2027240 [CC | ] | No label in ! | 动态时钟频率调整 | 1 |
Q632037 [CC | ] | No label in ! | 动态电压调节 | 1 |
Q1570432 [CC | ] | No label in ! | 半导体器件制造 | 1 |
Q16969336 [CC | ] | No label in ! | 协作式多任务 | 1 |
Q2365430 [CC | ] | No label in ! | 单一指令计算机 | 1 |
Q339387 [CC | ] | No label in ! | 单指令流多数据流 | 1 |
Q165678 [CC | ] | No label in ! | 单片机 | 1 |
Q610398 [CC | ] | No label in ! | 单片系统 | 1 |
Q346905 [CC | ] | No label in ! | 参数 | 1 |
Q1640617 [CC | ] | No label in ! | 可编程片上系统 | 1 |
Q82178 [CC | ] | No label in ! | 同时多线程 | 1 |
Q919509 [CC | ] | No label in ! | 向量处理器 | 1 |
Q641044 [CC | ] | No label in ! | 哈佛结构 | 1 |
Q1139736 [CC | ] | No label in ! | 單指令流單數據流 | 1 |
Q971505 [CC | ] | No label in ! | 图形处理器通用计算 | 1 |
Q183484 [CC | ] | No label in ! | 圖形處理器 | 1 |
Q19851307 [CC | ] | No label in ! | 地址生成单元 | 1 |
Q1936765 [CC | ] | No label in ! | 均匀访存模型 | 1 |
Q1079166 [CC | ] | No label in ! | 域理论 | 1 |
Q2791193 [CC | ] | No label in ! | 基頻處理器 | 1 |
Q2740397 [CC | ] | No label in ! | 堆疊結構機器 | 1 |
Q1466064 [CC | ] | No label in ! | 处理器 (计算) | 1 |
Q1303814 [CC | ] | No label in ! | 处理器设计 | 1 |
Q846651 [CC | ] | No label in ! | 多元處理 | 1 |
Q1190992 [CC | ] | No label in ! | 多指令流單數據流 | 1 |
Q1149237 [CC | ] | No label in ! | 多指令流多数据流 | 1 |
Q1466268 [CC | ] | No label in ! | 多晶片模組 | 1 |
Q555032 [CC | ] | No label in ! | 多核心處理器 | 1 |
Q1064412 [CC | ] | No label in ! | 多线程 | 1 |
Q625642 [CC | ] | No label in ! | 字 (计算机) | 1 |
Q339338 [CC | ] | No label in ! | 字节序 | 1 |
Q3698833 [CC | ] | No label in ! | 安全加密協處理器 | 1 |
Q426882 [CC | ] | No label in ! | 定時器訊號 | 1 |
Q187466 [CC | ] | No label in ! | 寄存器 | 1 |
Q180944 [CC | ] | No label in ! | 寄存器堆 | 1 |
Q1930388 [CC | ] | No label in ! | 寄存器机 | 1 |
Q1754803 [CC | ] | No label in ! | 寄存器重命名 | 1 |
Q1457198 [CC | ] | No label in ! | 封裝體系 | 1 |
Q232661 [CC | ] | No label in ! | 并行计算 | 1 |
Q17111997 [CC | ] | No label in ! | 异构计算 | 1 |
Q742323 [CC | ] | No label in ! | 後端匯流排 | 1 |
Q5297 [CC | ] | No label in ! | 微处理器 | 1 |
Q259864 [CC | ] | No label in ! | 微架構 | 1 |
Q175869 [CC | ] | No label in ! | 微程序 | 1 |
Q1025017 [CC | ] | No label in ! | 快取一致性 | 1 |
Q1330967 [CC | ] | No label in ! | 快取文件置換機制 | 1 |
Q178048 [CC | ] | No label in ! | 总线 | 1 |
Q1937058 [CC | ] | No label in ! | 托马苏洛算法 | 1 |
Q1365898 [CC | ] | No label in ! | 执行单元 | 1 |
Q1193100 [CC | ] | No label in ! | 抢占式多任务处理 | 1 |
Q814190 [CC | ] | No label in ! | 指令周期 | 1 |
Q2714055 [CC | ] | No label in ! | 指令層級平行 | 1 |
Q3676413 [CC | ] | No label in ! | 指令平均周期数 | 1 |
Q2490641 [CC | ] | No label in ! | 指令管線化 | 1 |
Q272683 [CC | ] | No label in ! | 指令集架構 | 1 |
Q2235486 [CC | ] | No label in ! | 控制匯流排 | 1 |
Q2164465 [CC | ] | No label in ! | 推测执行 | 1 |
Q3375344 [CC | ] | No label in ! | 效能功耗比 | 1 |
Q173156 [CC | ] | No label in ! | 数字电路 | 1 |
Q334630 [CC | ] | No label in ! | 数据依赖 | 1 |
Q189434 [CC | ] | No label in ! | 数据选择器 | 1 |
Q1633673 [CC | ] | No label in ! | 数据通路 | 1 |
Q106370 [CC | ] | No label in ! | 數位訊號處理器 | 1 |
Q173245 [CC | ] | No label in ! | 时序逻辑电路 | 1 |
Q590170 [CC | ] | No label in ! | 时钟门控 | 1 |
Q911691 [CC | ] | No label in ! | 时钟频率 | 1 |
Q2623746 [CC | ] | No label in ! | 晶體管數量 | 1 |
Q176452 [CC | ] | No label in ! | 有限状态机 | 1 |
Q1144925 [CC | ] | No label in ! | 柯里化 | 1 |
Q1151063 [CC | ] | No label in ! | 标量处理器 | 1 |
Q808850 [CC | ] | No label in ! | 桶式移位器 | 1 |
Q174925 [CC | ] | No label in ! | 模拟电路 | 1 |
Q1443434 [CC | ] | No label in ! | 每周期指令 | 1 |
Q7833739 [CC | ] | No label in ! | 每秒事务处理量 | 1 |
Q71486 [CC | ] | No label in ! | 每秒指令 | 1 |
Q188768 [CC | ] | No label in ! | 每秒浮點運算次數 | 1 |
Q2574032 [CC | ] | No label in ! | 波斯特-图灵机 | 1 |
Q2928001 [CC | ] | No label in ! | 流水线停顿 | 1 |
Q733507 [CC | ] | No label in ! | 浮点运算器 | 1 |
Q1541329 [CC | ] | No label in ! | 混合訊號積體電路 | 1 |
Q1140942 [CC | ] | No label in ! | 物理處理器 | 1 |
Q217302 [CC | ] | No label in ! | 特殊應用積體電路 | 1 |
Q190411 [CC | ] | No label in ! | 现场可编程逻辑门阵列 | 1 |
Q4437810 [CC | ] | No label in ! | 电源管理 | 1 |
Q600158 [CC | ] | No label in ! | 硬件加速 | 1 |
Q1432354 [CC | ] | No label in ! | 硬件安全模块 | 1 |
Q5351510 [CC | ] | No label in ! | 硬體暫存器 | 1 |
Q814194 [CC | ] | No label in ! | 程式計數器 | 1 |
Q192903 [CC | ] | No label in ! | 算術邏輯單元 | 1 |
Q189376 [CC | ] | No label in ! | 精简指令集计算机 | 1 |
Q189156 [CC | ] | No label in ! | 細胞自動機 | 1 |
Q213092 [CC | ] | No label in ! | 线程 | 1 |
Q165596 [CC | ] | No label in ! | 缓存 | 1 |
Q2755335 [CC | ] | No label in ! | 网络处理器 | 1 |
Q189401 [CC | ] | No label in ! | 虚拟内存 | 1 |
Q205663 [CC | ] | No label in ! | 行程 | 1 |
Q1063858 [CC | ] | No label in ! | 複雜可程式化邏輯裝置 | 1 |
Q189120 [CC | ] | No label in ! | 複雜指令集電腦 | 1 |
Q24705172 [CC | ] | No label in ! | 视觉处理单元 | 1 |
Q6815651 [CC | ] | No label in ! | 記憶體層級平行 | 1 |
Q183380 [CC | ] | No label in ! | 記憶體資料寄存器 | 1 |
Q1589327 [CC | ] | No label in ! | 記憶體階層 | 1 |
Q17008161 [CC | ] | No label in ! | 認知計算 | 1 |
Q247299 [CC | ] | No label in ! | 计数器 | 1 |
Q7879073 [CC | ] | No label in ! | 计数器机 | 1 |
Q622821 [CC | ] | No label in ! | 计算 | 1 |
Q745243 [CC | ] | No label in ! | 译码器 | 1 |
Q5654169 [CC | ] | No label in ! | 費林分類法 | 1 |
Q830955 [CC | ] | No label in ! | 超執行緒 | 1 |
Q1045706 [CC | ] | No label in ! | 超純量 | 1 |
Q249743 [CC | ] | No label in ! | 超长指令字 | 1 |
Q859595 [CC | ] | No label in ! | 輔助處理器 | 1 |
Q1071403 [CC | ] | No label in ! | 轉譯後備緩衝區 | 1 |
Q284164 [CC | ] | No label in ! | 递归函数 | 1 |
Q2703890 [CC | ] | No label in ! | 通用圖靈機 | 1 |
Q170451 [CC | ] | No label in ! | 邏輯閘 | 1 |
Q3646603 [CC | ] | No label in ! | 重排序缓冲区 | 1 |
Q765620 [CC | ] | No label in ! | 量子圖靈機 | 1 |
Q2122210 [CC | ] | No label in ! | 量子線路 | 1 |
Q2118982 [CC | ] | No label in ! | 量子閘 | 1 |
Q5320 [CC | ] | No label in ! | 開關 | 1 |
Q138875 [CC | ] | No label in ! | 阿波罗制导计算机 | 1 |
Q3842021 [CC | ] | No label in ! | 隨機存取儲存程式機 | 1 |
Q2565212 [CC | ] | No label in ! | 隨機存取機 | 1 |
Q80831 [CC | ] | No label in ! | 集成电路 | 1 |
Q2420752 [CC | ] | No label in ! | 零指令集 | 1 |
Q1815901 [CC | ] | No label in ! | 電子電路 | 1 |
Q7236367 [CC | ] | No label in ! | 電源管理IC | 1 |
Q1197550 [CC | ] | No label in ! | 電腦性能 | 1 |
Q66221 [CC | ] | No label in ! | 電腦數據存貯器 | 1 |
Q868014 [CC | ] | No label in ! | 非均匀访存模型 | 1 |
Q1201158 [CC | ] | No label in ! | 顯式並行指令運算 | 1 |
Q379704 [CC | ] | No label in ! | 高级电源管理 | 1 |
Q379523 [CC | ] | No label in ! | 高级配置与电源接口 | 1 |
Q615699 [CC | ] | No label in ! | Encyklopedia internetowa | 1 |
Q4124780 [CC | ] | No label in ! | Вольфенгаген, Вячеслав Эрнстович | 1 |
Q335148 [CC | ] | No label in ! | Клини, Стивен Коул | 1 |
Q2496566 [CC | ] | No label in ! | Комбинаторное программирование | 1 |
Q903508 [CC | ] | No label in ! | Метаматематика | 1 |
Q36161 [CC | ] | No label in ! | Множество | 1 |
Q4322457 [CC | ] | No label in ! | Новая философская энциклопедия | 1 |
Q4444882 [CC | ] | No label in ! | Стёпин, Вячеслав Семёнович | 1 |
Q2607208 [CC | ] | No label in ! | Типизированное лямбда-исчисление | 1 |
Q649732 [CC | ] | No label in ! | Формальная система | 1 |
Q7251 [CC | ] | No label in ! | Alan Turing | 1 |
Q1651748 [CC | ] | No label in ! | Barbara (syllogisme) | 1 |
Q200694 [CC | ] | No label in ! | Calcul des propositions | 1 |
Q2985053 [CC | ] | No label in ! | Combinatoire (homonymie) | 1 |
Q47506 [CC | ] | No label in ! | Compilateur | 1 |
Q1131652 [CC | ] | No label in ! | Coq (logiciel) | 1 |
Q430001 [CC | ] | No label in ! | Décidabilité | 1 |
Q11631986 [CC | ] | No label in ! | Fonction logique | 1 |
Q1372900 [CC | ] | No label in ! | Formule propositionnelle | 1 |
Q951297 [CC | ] | No label in ! | Harvey Friedman | 1 |
Q3169342 [CC | ] | No label in ! | Jean-Pierre Ginisti | 1 |
Q214510 [CC | ] | No label in ! | Notations infixée, préfixée, polonaise et postfixée | 1 |
Q1892146 [CC | ] | No label in ! | Presses universitaires de France | 1 |
Q321703 [CC | ] | No label in ! | Prémisse | 1 |
Q910361 [CC | ] | No label in ! | Système à la Hilbert | 1 |
Q1056428 [CC | ] | No label in ! | Théorie des types | 1 |
Q11650 [CC | ] | No label in ! | Électronique (technique) | 1 |
Q3502995 [CC | ] | No label in ! | Problema indecidible | 1 |
Q2013 [CC | ] | No label in ! | Wikidata | 1 |
Q912887 [CC | ] | No label in ! | Cambridge University Press | 1 |
Q1089708 [CC | ] | No label in ! | Church encoding | 1 |
Q730974 [CC | ] | No label in ! | Combinatory categorial grammar | 1 |
Q5199278 [CC | ] | No label in ! | Cylindric algebra | 1 |
Q4468156 [CC | ] | No label in ! | David Turner (computer scientist) | 1 |
Q746413 [CC | ] | No label in ! | Elsevier | 1 |
Q5421271 [CC | ] | No label in ! | Explicit substitution | 1 |
Q5508767 [CC | ] | No label in ! | Function application | 1 |
Q5597094 [CC | ] | No label in ! | Graph reduction machine | 1 |
Q3154138 [CC | ] | No label in ! | Iota and Jot | 1 |
Q6106975 [CC | ] | No label in ! | J. Roger Hindley | 1 |
Q6295979 [CC | ] | No label in ! | Journal of Symbolic Logic | 1 |
Q102305703 [CC | ] | No label in ! | Katalin Bimbó | 1 |
Q6504468 [CC | ] | No label in ! | Lawrence Paulson | 1 |
Q7051809 [CC | ] | No label in ! | Normal form (abstract rewriting) | 1 |
Q217595 [CC | ] | No label in ! | Oxford University Press | 1 |
Q7174131 [CC | ] | No label in ! | Peter G. Harrison | 1 |
Q7239631 [CC | ] | No label in ! | Predicate functor logic | 1 |
Q35148 [CC | ] | No label in ! | Predicate logic | 1 |
Q310798 [CC | ] | No label in ! | Stephen Wolfram | 1 |
Q17025821 [CC | ] | No label in ! | To Mock a Mockingbird | 1 |
Q2914964 [CC | ] | No label in ! | Up to | 1 |
Q866 [CC | ] | No label in ! | YouTube | 1 |
Q176645 [CC | ] | No label in ! | Cadena de Màrkov | 1 |
Q115939899 [CC | ] | No label in ! | Cota superior asimptòtica | 1 |
Q1384982 [CC | ] | No label in ! | Extensionale Identität | 1 |
Q283647 [CC | ] | No label in ! | Gzip | 1 |
Q1647153 [CC | ] | No label in ! | Variable (Logik) | 1 |
Q11229880 [CC | ] | No label in ! | Lazy K | 1 |
Q28842271 [CC | ] | No label in ! | MathSciNet | 1 |
Q1451046 [CC | ] | No label in ! | ゲーデル数 | 1 |
Q855 [CC | ] | No label in ! | ヨシフ・スターリン | 1 |
Q1893717 [CC | ] | No label in ! | ライスの定理 | 1 |
Q7737 [CC | ] | No label in ! | ロシア語 | 1 |
Q792536 [CC | ] | No label in ! | 公理型 | 1 |
Q179310 [CC | ] | No label in ! | Računanje | 1 |
Q1437428 [CC | ] | No label in ! | Formalna semantika programskih jezika | 1 |
Q1179632 [CC | ] | No label in ! | Teorija izračunljivosti | 1 |
Q2657718 [CC | ] | No label in ! | Հայկական սովետական հանրագիտարան | 1 |
Q170790 [CC | ] | No label in ! | Մաթեմատիկոս | 1 |
Q1453477 [CC | ] | No label in ! | Freebase | 1 |
Q211172 [CC | ] | No label in ! | Mathematical Reviews | 1 |
Q336 [CC | ] | No label in ! | Наука | 1 |
Q17736 [CC | ] | No label in ! | Aksiom | 1 |
Q186619 [CC | ] | No label in ! | Arqument | 1 |
Q28136779 [CC | ] | No label in ! | Microsoft Academic | 1 |
Q486902 [CC | ] | No label in ! | Riyazi modelləşdirmə | 1 |
Q7687585 [CC | ] | No label in ! | Təsnif | 1 |
Q565 [CC | ] | No label in ! | Vikianbar | 1 |
Q1340196 [CC | ] | No label in ! | Encyclopaedia of Mathematics | 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 |
Q719112 [CC | ] | No label in ! | MathWorld | 1 |
Q16583225 [CC | ] | No label in ! | Nuovo soggettario | 1 |