Inventory rows J5
The cards of the rows of the inventory whose ids start with J5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Grötzsch's theorem J50M82P7X1
| URI | m2://inv/J50M82P7X1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5612871, Grötzsch's theorem (statement). Also Wikidata Q5612871
- thousand_plus: thousand_plus Q5612871, Grötzsch's theorem (statement). Also Wikidata Q5612871, Wikipedia Grötzsch's theorem
History
- 2026-10-26: add by m2/dev
Hippocrates of Chios J519H554ES
| URI | m2://inv/J519H554ES |
|---|---|
| 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 Q312629, Hippocrates of Chios (unknown). Also ProofWiki Mathematician:Hippocrates_of_Chios
History
- 2026-10-26: add by m2/dev
tungsten J534P5PQKF
| URI | m2://inv/J534P5PQKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q743, tungsten (definition). Also ProofWiki Definition:Tungsten
History
- 2026-10-26: add by m2/dev
satellite knot J5A1PRV0DB
| URI | m2://inv/J5A1PRV0DB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7426084, satellite knot (unknown). Also MathWorld SatelliteKnot
History
- 2026-10-26: add by m2/dev
Emily Riehl J5AHB09TP2
| URI | m2://inv/J5AHB09TP2 |
|---|---|
| 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 Q51069534, Emily Riehl (unknown). Also nLab Emily Riehl
History
- 2026-10-26: add by m2/dev
Fernando Quevedo J5AZ2YG55H
| URI | m2://inv/J5AZ2YG55H |
|---|---|
| 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 Q5444891, Fernando Quevedo (unknown). Also nLab Fernando Quevedo
History
- 2026-10-26: add by m2/dev
ideal J5BWE49529
| URI | m2://inv/J5BWE49529 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1656686, ideal (unknown). Also MathWorld PartialOrderIdeal
History
- 2026-10-26: add by m2/dev
monster group J5DQZ9RF0X
| URI | m2://inv/J5DQZ9RF0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q392663, monster group (definition). Also MathWorld MonsterGroup, nLab Monster group, ProofWiki Definition:Monster_Group
History
- 2026-10-26: add by m2/dev
radical of a Lie algebra J5F53K1RPK
| URI | m2://inv/J5F53K1RPK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17046402, radical of a Lie algebra (unknown). Also MathWorld LieAlgebraRadical
History
- 2026-10-26: add by m2/dev
Papyrus Berlin 6619 J5HRQ17TTE
| URI | m2://inv/J5HRQ17TTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3052639, Papyrus Berlin 6619 (unknown). Also ProofWiki Book:Papyrus/Berlin_Papyrus_6619
History
- 2026-10-26: add by m2/dev
coherent ring J5HY0VMGG0
| URI | m2://inv/J5HY0VMGG0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2851410, coherent ring (unknown). Also EoM Coherent_ring, nLab coherent ring
History
- 2026-10-26: add by m2/dev
cipher J5JPNCAE3W
| URI | m2://inv/J5JPNCAE3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4681865, cipher (unknown). Also MathWorld Cipher
History
- 2026-10-26: add by m2/dev
David Speyer J5N2W71N74
| URI | m2://inv/J5N2W71N74 |
|---|---|
| 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 Q56884384, David Speyer (unknown). Also nLab David Speyer
History
- 2026-10-26: add by m2/dev
Conway triangle notation J5RECQK54M
| URI | m2://inv/J5RECQK54M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2131768, Conway triangle notation (unknown). Also MathWorld ConwayTriangleNotation
History
- 2026-10-26: add by m2/dev
binomial distribution J5V57CH8JG
| URI | m2://inv/J5V57CH8JG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Binomial distribution 0WCWA1KT3M |
Mentions
- wikidata: Wikidata Q185547, binomial distribution (concept). Also MathWorld BinomialDistribution
History
- 2026-10-26: add by m2/dev
Halpern–Läuchli theorem J5X10M34D2
| URI | m2://inv/J5X10M34D2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5643485, Halpern–Läuchli theorem (statement). Also Wikidata Q5643485
- thousand_plus: thousand_plus Q5643485, Halpern–Läuchli theorem (statement). Also Wikidata Q5643485, Wikipedia Halpern–Läuchli theorem
History
- 2026-10-26: add by m2/dev
Kaprekar algorithm J5YNW07BDR
| URI | m2://inv/J5YNW07BDR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18413622, Kaprekar algorithm (unknown). Also MathWorld KaprekarRoutine
History
- 2026-10-26: add by m2/dev