Inventory rows J4
The cards of the rows of the inventory whose ids start with J4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
rational mapping J41R836WF4
| URI | m2://inv/J41R836WF4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 37F10 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q987226, rational mapping (topic)
History
- 2026-10-26: add by m2/dev
cake number J444ZFYMK5
| URI | m2://inv/J444ZFYMK5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4516348, cake number (unknown). Also MathWorld CakeNumber, OEIS A000125
History
- 2026-10-26: add by m2/dev
Szilassi polyhedron J458YPM8NP
| URI | m2://inv/J458YPM8NP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q838442, Szilassi polyhedron (unknown). Also MathWorld SzilassiPolyhedron
History
- 2026-10-26: add by m2/dev
Poisson distribution J45TZDMRRN
| URI | m2://inv/J45TZDMRRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Poisson distribution 0XB9GQTN9G |
Mentions
- wikidata: Wikidata Q205692, Poisson distribution (definition). Also EoM Poisson_distribution, MathWorld PoissonDistribution, ProofWiki Definition:Poisson_Distribution
History
- 2026-10-26: add by m2/dev
closure J496MXW2RD
| URI | m2://inv/J496MXW2RD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Closure 0QEAJB91GZ |
Mentions
- wikidata: Wikidata Q320346, closure (unknown). Also MathWorld TopologicalClosure
History
- 2026-10-26: add by m2/dev
Gudermannian function J4CXNJR373
| URI | m2://inv/J4CXNJR373 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1328149, Gudermannian function (concept). Also MathWorld Gudermannian, MathWorld GudermannianFunction
History
- 2026-10-26: add by m2/dev
ladder rung graph J4FQBAS9PS
| URI | m2://inv/J4FQBAS9PS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q128803122, ladder rung graph (unknown). Also MathWorld LadderRungGraph
History
- 2026-10-26: add by m2/dev
Skolem function J4M37F0DY4
| URI | m2://inv/J4M37F0DY4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121335944, Skolem function (unknown). Also EoM Skolem_function, MathWorld SkolemFunction
History
- 2026-10-26: add by m2/dev
split exact sequence J4MNKMSDC6
| URI | m2://inv/J4MNKMSDC6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65122157, split exact sequence (unknown). Also EoM Split_sequence, MathWorld SplitExactSequence, nLab split exact sequence
History
- 2026-10-26: add by m2/dev
diabolical cube J4NY2A94G9
| URI | m2://inv/J4NY2A94G9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5270197, diabolical cube (unknown). Also MathWorld DiabolicalCube
History
- 2026-10-26: add by m2/dev
Königsberg Bridges Problem J4QFVQTV0V
| URI | m2://inv/J4QFVQTV0V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 54, Königsberg Bridges Problem (statement). Also Mathlib Konigsberg.not_isEulerian
History
- 2026-10-26: add by m2/dev
Postnikov system J4Y819D8MW
| URI | m2://inv/J4Y819D8MW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6941533, Postnikov system (concept). Also MathWorld PostnikovSystem, nLab Postnikov system
History
- 2026-10-26: add by m2/dev