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.
Q17092426 - inductive type
Searching link targets on 1 Wikipedias...
| Item | Label [en] | Wikilabels | Link # |
|---|---|---|---|
Q1315869 [CC |  ] | arity | Arity | 1 |
| Q4227156 [CC | ] | coinduction | Coinduction | 1 |
| Q1131652 [CC | ] | Coq | Coq (software) | 1 |
| Q975734 [CC | ] | Curry–Howard correspondence | Curry–Howard correspondence | 1 |
| Q175263 [CC | ] | data structure | Data structure | 1 |
| Q997433 [CC | ] | dependent type | Dependent type | 1 |
| Q2361385 [CC | ] | dual | Dual (category theory) | 1 |
| Q5891840 [CC | ] | homotopy type theory | Homotopy type theory | 1 |
| Q60790335 [CC | ] | Induction-induction | Induction-induction | 1 |
| Q6034125 [CC | ] | initial algebra | Initial algebra | 1 |
| Q6059147 [CC | ] | intuitionistic type theory | Intuitionistic type theory | 1 |
| Q189112 [CC | ] | isomorphism | Isomorphism | 1 |
| Q1572108 [CC | ] | natural deduction | Natural deduction | 1 |
| Q21199 [CC | ] | natural number | Natural number | 1 |
| Q11563 [CC | ] | number | Number | 1 |
| Q230967 [CC | ] | parity | Parity (mathematics) | 1 |
| Q842755 [CC | ] | Peano axioms | Peano axioms | 1 |
| Q49000754 [CC | ] | polynomial functor | Polynomial functor (type theory) | 1 |
| Q123739394 [CC | ] | Relation | Relation (mathematics) | 1 |
| Q1932759 [CC | ] | structural induction | Structural induction | 1 |
| Q7632653 [CC | ] | successor function | Successor function | 1 |
| Q272735 [CC | ] | tree | Tree (graph theory) | 1 |
| Q1056428 [CC | ] | type theory | Type theory | 1 |
| Q597663 [CC | ] | universe | Universe (mathematics) | 1 |
| Q338021 [CC | ] | well-founded relation | Well-founded relation | 1 |