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.
Q1189746 - No label in !
Searching link targets on 15 Wikipedias...
Item | Label [] | Wikilabels | Link # |
---|---|---|---|
Q21198 [CC | ] | No label in ! | Računarstvo | Informatique | Computer science | 计算机科学 | 計算機科学 | Ciência da computação | Επιστήμη υπολογιστών | Informatik | Informatica | Informatică | Bilgisayar bilimi | 컴퓨터 과학 | 13 |
Q1930895 [CC | ] | No label in ! | Operacijska semantika | Sémantique opérationnelle | Operational semantics | 操作语义学 | Λειτουργική σημασιολογία | Operationelle Semantik | Semantica operazionale | Операційна семантика | Операциона семантика | Operasyonel semantik | 11 |
Q49823 [CC | ] | No label in ! | Dana Scott | Dana S. Scott | デイナ・スコット | Дана Скотт | Дејна Скот | 8 |
Q792533 [CC | ] | No label in ! | Sémantique axiomatique | Axiomatic semantics | 公理语义学 | Aksiomatska semantika | Αξιωματική σημασιολογία | Axiomatische Semantik | Аксіоматична семантика | Аксиоматска семантика | 8 |
Q1437428 [CC | ] | No label in ! | Sémantique des langages de programmation | Semantics (computer science) | 形式语义学 | プログラム意味論 | Semântica formal | Τυπική σημασιολογία των γλωσσών προγραμματισμού | Formale Semantik | Семантика мов програмування | 8 |
Q9143 [CC | ] | No label in ! | Programski jezik | Programming language | プログラミング言語 | Γλώσσα προγραμματισμού | Programmiersprache | Мова програмування | Програмски језик | 8 |
Q93122 [CC | ] | No label in ! | Christopher Strachey | 克里斯托弗·斯特雷奇 | クリストファー・ストレイチー | 6 |
Q40056 [CC | ] | No label in ! | Programme informatique | Računalni program | Computerprogramm | Programma (informatica) | Kompjuterski program | Bilgisayar programı | 6 |
Q1079166 [CC | ] | No label in ! | Théorie des domaines | Domain theory | 域理论 | 領域理論 | Θεωρία πεδίων | 5 |
Q1056428 [CC | ] | No label in ! | Théorie des types | Type theory | 类型论 | 型理論 | Θεωρία τύπων | 5 |
Q11348 [CC | ] | No label in ! | Function (mathematics) | 函数 | 関数 (数学) | Συνάρτηση | Funzione (matematica) | 5 |
Q333341 [CC | ] | No label in ! | Interprétation abstraite | Abstract interpretation | 抽象释义 | 抽象解釈 | 4 |
Q395 [CC | ] | No label in ! | Математика | Mathématiques | Matematika | 4 |
Q217413 [CC | ] | No label in ! | Category theory | 范畴论 | 圏論 | Θεωρία κατηγοριών | 4 |
Q1414548 [CC | ] | No label in ! | Concurrency (computer science) | 並行性 | Ταυτοχρονισμός | Concorrenza (informatica) | 4 |
Q193076 [CC | ] | No label in ! | Programmation fonctionnelle | 函数式编程 | Συναρτησιακός προγραμματισμός | 3 |
Q1569697 [CC | ] | No label in ! | Vérification de modèles | Model checking | Έλεγχος μοντέλων | 3 |
Q1120460 [CC | ] | No label in ! | Communicating sequential processes | 通信顺序进程 | Communicating Sequential Processes | 3 |
Q246672 [CC | ] | No label in ! | Mathematical object | 数学对象 | Obiect matematic | 3 |
Q467606 [CC | ] | No label in ! | Model theory | 模型论 | Θεωρία μοντέλων | 3 |
Q1756942 [CC | ] | No label in ! | Partial function | Partielle Funktion | Funzione parziale | 3 |
Q179976 [CC | ] | No label in ! | Recursion | 递归 | Αναδρομή | 3 |
Q3098441 [CC | ] | No label in ! | Recursive data type | 递归数据类型 | 再帰データ型 | 3 |
Q39645 [CC | ] | No label in ! | Semantika | 语义学 | 3 |
Q35724 [CC | ] | No label in ! | 1960年代 | Anni 1960 | 1960-ті | 3 |
Q8556 [CC | ] | No label in ! | エドガー・ダイクストラ | Έντσγκερ Ντάικστρα | Edsger Dijkstra | 3 |
Q173326 [CC | ] | No label in ! | 形式的検証 | Τυπική επαλήθευση | Program doğrulama | 3 |
Q242028 [CC | ] | No label in ! | Lambda-calcul | Cálculo lambda | 2 |
Q192161 [CC | ] | No label in ! | Langage formel | Formale Sprache | 2 |
Q128392 [CC | ] | No label in ! | Programmation concurrente | Concurrent computing | 2 |
Q175263 [CC | ] | No label in ! | Structure de données | Δομή δεδομένων | 2 |
Q344524 [CC | ] | No label in ! | Actor model | 演员模型 | 2 |
Q3082805 [CC | ] | No label in ! | Complete partial order | 完全偏序 | 2 |
Q5259284 [CC | ] | No label in ! | Denotational semantics of the Actor model | 演员模型的指称语义 | 2 |
Q120976 [CC | ] | No label in ! | Factorial | Παραγοντικό | 2 |
Q864475 [CC | ] | No label in ! | Functor | 函子 | 2 |
Q65122115 [CC | ] | No label in ! | Game semantics | ゲーム意味論 | 2 |
Q275596 [CC | ] | No label in ! | Imperative programming | Προστακτικός προγραμματισμός | 2 |
Q609612 [CC | ] | No label in ! | Knaster–Tarski theorem | Fixpunktsatz von Tarski und Knaster | 2 |
Q1806883 [CC | ] | No label in ! | Latent semantic analysis | 潜在语义学 | 2 |
Q6134913 [CC | ] | No label in ! | Least fixed point | 最小不动点 | 2 |
Q178433 [CC | ] | No label in ! | Lexicology | 词汇学 | 2 |
Q841728 [CC | ] | No label in ! | Linear logic | 线性逻辑 | 2 |
Q8162 [CC | ] | No label in ! | Linguistics | 语言学 | 2 |
Q1442189 [CC | ] | No label in ! | Natural transformation | 自然變換 | 2 |
Q191290 [CC | ] | No label in ! | Ordered pair | Διατεταγμένο ζεύγος | 2 |
Q7135231 [CC | ] | No label in ! | Parametric polymorphism | Παραμετρικός πολυμορφισμός | 2 |
Q1970286 [CC | ] | No label in ! | Process calculus | 进程演算 | 2 |
Q1402719 [CC | ] | No label in ! | Prototype theory | 原型理論 | 2 |
Q92643 [CC | ] | No label in ! | Robin Milner | ロビン・ミルナー | 2 |
Q54837 [CC | ] | No label in ! | Semantic Web | 语义网 | 2 |
Q1092582 [CC | ] | No label in ! | Theory of descriptions | 摹状词理论 | 2 |
Q92602 [CC | ] | No label in ! | Tony Hoare | アントニー・ホーア | 2 |
Q648266 [CC | ] | No label in ! | Wayback Machine | 2 |
Q936559 [CC | ] | No label in ! | 复合性原理 | Composizionalità | 2 |
Q1128903 [CC | ] | No label in ! | 续体 | 継続 | 2 |
Q21199 [CC | ] | No label in ! | 自然数 | 2 |
Q1860 [CC | ] | No label in ! | 英语 | 英語 | 2 |
Q963731 [CC | ] | No label in ! | 邏輯語義學 | 形式意味論 | 2 |
Q912887 [CC | ] | No label in ! | Cambridge University Press | 2 |
Q181593 [CC | ] | No label in ! | Algorithme de tri | 1 |
Q134164 [CC | ] | No label in ! | Algorithme du simplexe | 1 |
Q504353 [CC | ] | No label in ! | Algorithme glouton | 1 |
Q187787 [CC | ] | No label in ! | Algorithme génétique | 1 |
Q583461 [CC | ] | No label in ! | Algorithme probabiliste | 1 |
Q13636890 [CC | ] | No label in ! | Algorithmique | 1 |
Q184741 [CC | ] | No label in ! | Algorithmique du texte | 1 |
Q333464 [CC | ] | No label in ! | Analyse de la complexité des algorithmes | 1 |
Q11216 [CC | ] | No label in ! | Analyse numérique | 1 |
Q197536 [CC | ] | No label in ! | Apprentissage profond | 1 |
Q223655 [CC | ] | No label in ! | Arbre enraciné | 1 |
Q11387554 [CC | ] | No label in ! | Assistant de preuve | 1 |
Q189156 [CC | ] | No label in ! | Automate cellulaire | 1 |
Q2872598 [CC | ] | No label in ! | Automate d'arbres | 1 |
Q176452 [CC | ] | No label in ! | Automate fini | 1 |
Q291256 [CC | ] | No label in ! | Automate sur les mots infinis | 1 |
Q751443 [CC | ] | No label in ! | Automate à pile | 1 |
Q4055684 [CC | ] | No label in ! | Calcul des prédicats | 1 |
Q141090 [CC | ] | No label in ! | Chiffrement | 1 |
Q2981393 [CC | ] | No label in ! | Codage de l'information | 1 |
Q76592 [CC | ] | No label in ! | Combinatoire | 1 |
Q47506 [CC | ] | No label in ! | Compilateur | 1 |
Q2493 [CC | ] | No label in ! | Compression de données | 1 |
Q975734 [CC | ] | No label in ! | Correspondance de Curry-Howard | 1 |
Q897511 [CC | ] | No label in ! | Cryptanalyse | 1 |
Q8789 [CC | ] | No label in ! | Cryptographie | 1 |
Q671298 [CC | ] | No label in ! | Diviser pour régner (informatique) | 1 |
Q430001 [CC | ] | No label in ! | Décidabilité | 1 |
Q7295782 [CC | ] | No label in ! | Ensemble rationnel | 1 |
Q877945 [CC | ] | No label in ! | Ensemble récursif | 1 |
Q172491 [CC | ] | No label in ! | Exploration de données | 1 |
Q185612 [CC | ] | No label in ! | Expression régulière | 1 |
Q284164 [CC | ] | No label in ! | Fonction récursive | 1 |
Q373045 [CC | ] | No label in ! | Grammaire formelle | 1 |
Q874709 [CC | ] | No label in ! | Géométrie algorithmique | 1 |
Q1981968 [CC | ] | No label in ! | Heuristique (mathématiques) | 1 |
Q190913 [CC | ] | No label in ! | Hiérarchie de Chomsky | 1 |
Q2878974 [CC | ] | No label in ! | Informatique théorique | 1 |
Q752532 [CC | ] | No label in ! | Langage rationnel | 1 |
Q182557 [CC | ] | No label in ! | Linguistique informatique | 1 |
Q3245720 [CC | ] | No label in ! | Liste des algorithmes de la théorie des graphes | 1 |
Q1166618 [CC | ] | No label in ! | Logique mathématique | 1 |
Q163310 [CC | ] | No label in ! | Machine de Turing | 1 |
Q49108 [CC | ] | No label in ! | Massachusetts Institute of Technology | 1 |
Q121416 [CC | ] | No label in ! | Mathématiques discrètes | 1 |
Q1049183 [CC | ] | No label in ! | Méthode formelle (informatique) | 1 |
Q1333872 [CC | ] | No label in ! | Optimisation combinatoire | 1 |
Q232661 [CC | ] | No label in ! | Parallélisme (informatique) | 1 |
Q4353569 [CC | ] | No label in ! | Principe de Church-Turing-Deutsch | 1 |
Q622849 [CC | ] | No label in ! | Problème de l'arrêt | 1 |
Q380679 [CC | ] | No label in ! | Programmation dynamique | 1 |
Q194292 [CC | ] | No label in ! | Recherche opérationnelle | 1 |
Q676835 [CC | ] | No label in ! | Récursivement énumérable | 1 |
Q2103034 [CC | ] | No label in ! | Réduction polynomiale | 1 |
Q192776 [CC | ] | No label in ! | Réseau de neurones artificiels | 1 |
Q1668499 [CC | ] | No label in ! | Réécriture (informatique) | 1 |
Q2374463 [CC | ] | No label in ! | Science des données | 1 |
Q829546 [CC | ] | No label in ! | Test de primalité | 1 |
Q309157 [CC | ] | No label in ! | Thèse de Church | 1 |
Q131222 [CC | ] | No label in ! | Théorie de l'information | 1 |
Q818930 [CC | ] | No label in ! | Théorie de la calculabilité | 1 |
Q205084 [CC | ] | No label in ! | Théorie de la complexité (informatique théorique) | 1 |
Q177571 [CC | ] | No label in ! | Théorie de la décision | 1 |
Q214526 [CC | ] | No label in ! | Théorie des automates | 1 |
Q131476 [CC | ] | No label in ! | Théorie des graphes | 1 |
Q200787 [CC | ] | No label in ! | Théorèmes d'incomplétude de Gödel | 1 |
Q15117556 [CC | ] | No label in ! | Abort (computing) | 1 |
Q3514616 [CC | ] | No label in ! | Abstract semantic graph | 1 |
Q4677421 [CC | ] | No label in ! | Action semantics | 1 |
Q4724011 [CC | ] | No label in ! | Algebraic semantics (computer science) | 1 |
Q4068182 [CC | ] | No label in ! | Applicative programming language | 1 |
Q4950096 [CC | ] | No label in ! | Bourbaki–Witt theorem | 1 |
Q5051813 [CC | ] | No label in ! | Categorical logic | 1 |
Q719395 [CC | ] | No label in ! | Category (mathematics) | 1 |
Q2518298 [CC | ] | No label in ! | Category of sets | 1 |
Q5067920 [CC | ] | No label in ! | Chain-complete partial order | 1 |
Q5141363 [CC | ] | No label in ! | Coherent space | 1 |
Q3954981 [CC | ] | No label in ! | Computational semantics | 1 |
Q5159093 [CC | ] | No label in ! | Concurrency semantics | 1 |
Q2992227 [CC | ] | No label in ! | Concurrent ML | 1 |
Q2295354 [CC | ] | No label in ! | Empty function | 1 |
Q471748 [CC | ] | No label in ! | Exception handling | 1 |
Q778379 [CC | ] | No label in ! | Expression (computer science) | 1 |
Q1422068 [CC | ] | No label in ! | Fixed-point theorem | 1 |
Q3041998 [CC | ] | No label in ! | Force dynamics | 1 |
Q2007878 [CC | ] | No label in ! | Functor category | 1 |
Q44455 [CC | ] | No label in ! | Game theory | 1 |
Q967536 [CC | ] | No label in ! | Gordon Plotkin | 1 |
Q5254619 [CC | ] | No label in ! | Iterated function | 1 |
Q6212523 [CC | ] | No label in ! | Joe Stoy | 1 |
Q1773982 [CC | ] | No label in ! | Kleisli category | 1 |
Q26693942 [CC | ] | No label in ! | Krzysztof R. Apt | 1 |
Q315 [CC | ] | No label in ! | Language | 1 |
Q924044 [CC | ] | No label in ! | Lecture Notes in Computer Science | 1 |
Q1759657 [CC | ] | No label in ! | Lexical semantics | 1 |
Q3226977 [CC | ] | No label in ! | Lexis (linguistics) | 1 |
Q1651704 [CC | ] | No label in ! | Logical disjunction | 1 |
Q25098667 [CC | ] | No label in ! | Logical relations | 1 |
Q6831376 [CC | ] | No label in ! | Michael J. C. Gordon | 1 |
Q6831406 [CC | ] | No label in ! | Michael J. Fischer | 1 |
Q11779 [CC | ] | No label in ! | Nancy Lynch | 1 |
Q89269550 [CC | ] | No label in ! | Nissim Francez | 1 |
Q3490301 [CC | ] | No label in ! | Nondeterministic algorithm | 1 |
Q216601 [CC | ] | No label in ! | Object (computer science) | 1 |
Q17121921 [CC | ] | No label in ! | Observational equivalence | 1 |
Q187931 [CC | ] | No label in ! | Phrase | 1 |
Q3240252 [CC | ] | No label in ! | Polymorphism (computer science) | 1 |
Q17152552 [CC | ] | No label in ! | Power domains | 1 |
Q291929 [CC | ] | No label in ! | Predicate transformer semantics | 1 |
Q7248328 [CC | ] | No label in ! | Profunctor | 1 |
Q3457091 [CC | ] | No label in ! | Proof net | 1 |
Q7287124 [CC | ] | No label in ! | Ralph-Johan Back | 1 |
Q7410357 [CC | ] | No label in ! | Samson Abramsky | 1 |
Q895815 [CC | ] | No label in ! | Scott continuity | 1 |
Q7449042 [CC | ] | No label in ! | Semantic analysis (computational) | 1 |
Q3614998 [CC | ] | No label in ! | Semantic analysis (linguistics) | 1 |
Q7449044 [CC | ] | No label in ! | Semantic analysis (machine learning) | 1 |
Q1751575 [CC | ] | No label in ! | Semantic desktop | 1 |
Q16928266 [CC | ] | No label in ! | Semantic feature | 1 |
Q7449063 [CC | ] | No label in ! | Semantic file system | 1 |
Q474311 [CC | ] | No label in ! | Semantic gap | 1 |
Q7449072 [CC | ] | No label in ! | Semantic matching | 1 |
Q55632839 [CC | ] | No label in ! | Semantic parsing | 1 |
Q21015578 [CC | ] | No label in ! | Semantic query | 1 |
Q2268914 [CC | ] | No label in ! | Semantic similarity | 1 |
Q638153 [CC | ] | No label in ! | Semantic wiki | 1 |
Q796212 [CC | ] | No label in ! | Semantics | 1 |
Q92949 [CC | ] | No label in ! | Simon Peyton Jones | 1 |
Q3658473 [CC | ] | No label in ! | Statistical semantics | 1 |
Q2745184 [CC | ] | No label in ! | Structural semantics | 1 |
Q617433 [CC | ] | No label in ! | Syracuse University | 1 |
Q7882409 [CC | ] | No label in ! | Unbounded nondeterminism | 1 |
Q185359 [CC | ] | No label in ! | Union (set theory) | 1 |
Q18199149 [CC | ] | No label in ! | Untyped lambda calculus | 1 |
Q652446 [CC | ] | No label in ! | 一致空间 | 1 |
Q461 [CC | ] | No label in ! | 互联网档案馆 | 1 |
Q474715 [CC | ] | No label in ! | 偏序关系 | 1 |
Q1208485 [CC | ] | No label in ! | 博弈语义 | 1 |
Q2596167 [CC | ] | No label in ! | 未解決的語言學問題 | 1 |
Q79798 [CC | ] | No label in ! | 机器翻译 | 1 |
Q14167404 [CC | ] | No label in ! | 程序 | 1 |
Q13407144 [CC | ] | No label in ! | 计算机系统 | 1 |
Q1301371 [CC | ] | No label in ! | 计算机网络 | 1 |
Q34653 [CC | ] | No label in ! | 1990年代 | 1 |
Q750997 [CC | ] | No label in ! | Goto文 | 1 |
Q33057 [CC | ] | No label in ! | ISBN | 1 |
Q131276 [CC | ] | No label in ! | ISSN | 1 |
Q620946 [CC | ] | No label in ! | アメリカ議会図書館管理番号 | 1 |
Q1579914 [CC | ] | No label in ! | モナド (プログラミング) | 1 |
Q1513048 [CC | ] | No label in ! | 有向集合 | 1 |
Q360812 [CC | ] | No label in ! | 正当性 (計算機科学) | 1 |
Q34010 [CC | ] | No label in ! | Haskell | 1 |
Q12482 [CC | ] | No label in ! | Θεωρία συνόλων | 1 |
Q1152399 [CC | ] | No label in ! | Σύνταξη (γλώσσα προγραμματισμού) | 1 |
Q217608 [CC | ] | No label in ! | Fixpunkt (Mathematik) | 1 |
Q7994926 [CC | ] | No label in ! | Geordnete Menge | 1 |
Q95189 [CC | ] | No label in ! | Jürgen Mittelstraß | 1 |
Q194404 [CC | ] | No label in ! | Monotone Abbildung | 1 |
Q2078199 [CC | ] | No label in ! | Peter Schroeder-Heister | 1 |
Q1144241 [CC | ] | No label in ! | Wirkung (Informatik) | 1 |
Q1189753 [CC | ] | No label in ! | Denotazione | 1 |
Q131133 [CC | ] | No label in ! | Determinismo | 1 |
Q271680 [CC | ] | No label in ! | Framework | 1 |
Q170058 [CC | ] | No label in ! | Funzione continua | 1 |
Q1197736 [CC | ] | No label in ! | WikiWikiWeb | 1 |
Q1462837 [CC | ] | No label in ! | Денотат | 1 |
Q80006 [CC | ] | No label in ! | Програмування | 1 |
Q15810910 [CC | ] | No label in ! | Функција (програмирање) | 1 |
Q176916 [CC | ] | No label in ! | Springer Science+Business Media | 1 |