Inventory rows TK
The cards of the rows of the inventory whose ids start with TK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
μ-recursive function TK0R173WKE
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q284164, μ-recursive function (unknown). Also EoM Recursive_function, MathWorld RecursiveFunction, nLab recursive function
History
- 2026-10-26: add by m2/dev
functional relation TK5PHAK8JQ
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110854274, functional relation (unknown). Also nLab functional relation
History
- 2026-10-26: add by m2/dev
Mikio Sato TK67YPE6RZ
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q556143, Mikio Sato (unknown). Also nLab Mikio Sato
History
- 2026-10-26: add by m2/dev
inscribed square problem TK6V6D6PDW
| Kind | problem |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2264221, inscribed square problem (problem). Also MathWorld SquareInscribing
History
- 2026-10-26: add by m2/dev
Mertens' theorems TKGVZGBN9G
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1196729, Mertens' theorems (unknown). Also MathWorld MertensTheorem
History
- 2026-10-26: add by m2/dev
non-measurable set TKHNVTFNS9
| Kind | definition |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1055379, non-measurable set (definition). Also EoM Non-measurable_set, ProofWiki Definition:Non-Measurable_Set
History
- 2026-10-26: add by m2/dev
root system TKQ4ETCN02
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q534131, root system (unknown). Also Mathlib RootPairing.IsRootSystem, MathWorld RootSystem
History
- 2026-10-26: add by m2/dev
Lev Landau TKRRB964MQ
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q133267, Lev Landau (unknown). Also nLab Lev Landau
History
- 2026-10-26: add by m2/dev
pentahedron TKV3EJHMJM
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q282099, pentahedron (unknown). Also MathWorld Pentahedron
History
- 2026-10-26: add by m2/dev
exponent TKVF0JZFCT
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2233915, exponent (unknown). Also MathWorld Exponent
History
- 2026-10-26: add by m2/dev
reciprocal Fibonacci constant TKVYFCAV42
| Kind | object |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3772671, reciprocal Fibonacci constant (object). Also MathWorld ReciprocalFibonacciConstant, OEIS A079586, OEIS A079587
History
- 2026-10-26: add by m2/dev
Gorō Nishida TKXZVF1MSF
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11629213, Gorō Nishida (unknown). Also nLab Goro Nishida
History
- 2026-10-26: add by m2/dev
reduced homology TKYJ07ATHH
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7306331, reduced homology (unknown). Also nLab reduced homology
History
- 2026-10-26: add by m2/dev