Inventory rows JT
The cards of the rows of the inventory whose ids start with JT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Liouville's theorem on existence of transcendental numbers JT9CT6TGCB
| URI | m2://inv/JT9CT6TGCB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Transcendental numbers > Liouville's theorem on existence of transcendental numbers, Liouville's theorem on existence of transcendental numbers (unknown). Also Mathlib transcendental_liouvilleNumber
History
- 2026-10-26: add by m2/dev
self-avoiding walk JTDMN4M0NG
| URI | m2://inv/JTDMN4M0NG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7448025, self-avoiding walk (unknown). Also MathWorld Self-AvoidingWalk
History
- 2026-10-26: add by m2/dev
Renata Kallosh JTDQ7HSJK5
| URI | m2://inv/JTDQ7HSJK5 |
|---|---|
| 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 Q529277, Renata Kallosh (unknown). Also nLab Renata Kallosh
History
- 2026-10-26: add by m2/dev
magic series JTG084DFNR
| URI | m2://inv/JTG084DFNR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6730970, magic series (unknown). Also MathWorld MagicSeries
History
- 2026-10-26: add by m2/dev
homotopy group JTHEB5E8TW
| URI | m2://inv/JTHEB5E8TW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1626416, homotopy group (definition). Also EoM Homotopy_group, MathWorld HomotopyGroup, nLab homotopy group, ProofWiki Definition:Homotopy_Group
History
- 2026-10-26: add by m2/dev
Clark–Ocone theorem JTKC36DGDY
| URI | m2://inv/JTKC36DGDY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5127710, Clark–Ocone theorem (statement). Also Wikidata Q5127710
- thousand_plus: thousand_plus Q5127710, Clark–Ocone theorem (statement). Also Wikidata Q5127710, Wikipedia Clark–Ocone theorem
History
- 2026-10-26: add by m2/dev
Heisenberg group JTNN1GWVJP
| URI | m2://inv/JTNN1GWVJP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1601337, Heisenberg group (unknown). Also MathWorld HeisenbergGroup, nLab Heisenberg group
History
- 2026-10-26: add by m2/dev
no-go theorem JTPKTPTNDJ
| URI | m2://inv/JTPKTPTNDJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2914432, no-go theorem (unknown). Also nLab no-go theorem
History
- 2026-10-26: add by m2/dev
ceteris paribus JTRKCP7BXV
| URI | m2://inv/JTRKCP7BXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q572079, ceteris paribus (definition). Also ProofWiki Definition:Ceteris_Paribus
History
- 2026-10-26: add by m2/dev
Graeco-Latin square JTS2TH8Q2V
| URI | m2://inv/JTS2TH8Q2V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q615342, Graeco-Latin square (unknown). Also MathWorld EulerSquare
History
- 2026-10-26: add by m2/dev
juggling JTTF2F80NF
| URI | m2://inv/JTTF2F80NF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q194326, juggling (unknown). Also MathWorld Juggling
History
- 2026-10-26: add by m2/dev