Inventory rows JJ
The cards of the rows of the inventory whose ids start with JJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
trochoid JJ3V6QJTZ7
| URI | m2://inv/JJ3V6QJTZ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3539824, trochoid (unknown). Also EoM Trochoid, MathWorld Trochoid
History
- 2026-10-26: add by m2/dev
Kodaira embedding theorem JJ6WC8TQZP
| URI | m2://inv/JJ6WC8TQZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6425088, Kodaira embedding theorem (statement). Also Wikidata Q6425088
- thousand_plus: thousand_plus Q6425088, Kodaira embedding theorem (statement). Also Wikidata Q6425088, Wikipedia Kodaira embedding theorem
- wikidata: Wikidata Q6425088, Kodaira embedding theorem (statement). Also MathWorld KodairaEmbeddingTheorem, nLab Kodaira embedding theorem
History
- 2026-10-26: add by m2/dev
doubling constant JJ8BJ6WPKD
| URI | m2://inv/JJ8BJ6WPKD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > doubling constant, doubling constant (unknown). Also Mathlib Finset.addConst
History
- 2026-10-26: add by m2/dev
Evgeny Lifshitz JJA6K18T7F
| URI | m2://inv/JJA6K18T7F |
|---|---|
| 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 Q931452, Evgeny Lifshitz (unknown). Also nLab Evgeny Lifshitz
History
- 2026-10-26: add by m2/dev
Clifford Truesdell JJAAMJMFGQ
| URI | m2://inv/JJAAMJMFGQ |
|---|---|
| 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 Q950146, Clifford Truesdell (unknown). Also nLab Clifford Truesdell
History
- 2026-10-26: add by m2/dev
Schnirelmann density JJCNHRZBT2
| URI | m2://inv/JJCNHRZBT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2482753, Mann's theorem (statement). Also Wikidata Q2482753
- thousand_plus: thousand_plus Q2482753, Mann's theorem (statement). Also Wikidata Q2482753, Wikipedia Mann's theorem
- wikidata: Wikidata Q2482753, Schnirelmann density (concept). Also MathWorld SchnirelmannDensity
History
- 2026-10-26: add by m2/dev
Plateau's laws JJDH3VNEE8
| URI | m2://inv/JJDH3VNEE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1974553, Plateau's laws (unknown). Also MathWorld PlateausLaws
History
- 2026-10-26: add by m2/dev
group homomorphism JJGY7QTXXR
| URI | m2://inv/JJGY7QTXXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Group homomorphism 0JYTG5K9Y4 |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > group morphism, group morphism (unknown). Also Mathlib MonoidHom
- mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > group morphism, group morphism (unknown). Also Mathlib MonoidHom
- wikidata: Wikidata Q868169, group homomorphism (definition). Also Mathlib MonoidHom, MathWorld GroupHomomorphism, ProofWiki Definition:Group_Homomorphism
History
- 2026-10-26: add by m2/dev
Anthony Scholl JJNEJR56SG
| URI | m2://inv/JJNEJR56SG |
|---|---|
| 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 Q2653346, Anthony Scholl (unknown). Also nLab Anthony Scholl
History
- 2026-10-26: add by m2/dev
paraconsistent logic JJPZS4PD60
| URI | m2://inv/JJPZS4PD60 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03B53 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q426592, paraconsistent logic (topic). Also nLab paraconsistent logic
History
- 2026-10-26: add by m2/dev
Stallings theorem about ends of groups JJR5KFGZT8
| URI | m2://inv/JJR5KFGZT8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7597316, Stallings theorem about ends of groups (statement). Also Wikidata Q7597316
- thousand_plus: thousand_plus Q7597316, Stallings theorem about ends of groups (statement). Also Wikidata Q7597316, Wikipedia Stallings theorem about ends of groups
History
- 2026-10-26: add by m2/dev
Nash equilibrium JJTNW90HGB
| URI | m2://inv/JJTNW90HGB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q23389, Nash equilibrium (unknown). Also MathWorld NashEquilibrium, nLab Nash equilibrium
History
- 2026-10-26: add by m2/dev
Pauli exclusion principle JJTYQSBGMZ
| URI | m2://inv/JJTYQSBGMZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131594, Pauli exclusion principle (unknown). Also nLab Pauli exclusion principle
History
- 2026-10-26: add by m2/dev
Hilbert's theorem (differential geometry) JJV8R9TGH8
| URI | m2://inv/JJV8R9TGH8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2008549, Hilbert's theorem (differential geometry) (statement). Also Wikidata Q2008549
- thousand_plus: thousand_plus Q2008549, Hilbert's theorem (statement). Also Wikidata Q2008549, Wikipedia Hilbert's theorem (differential geometry)
History
- 2026-10-26: add by m2/dev
Li Ye JJYYPN549C
| URI | m2://inv/JJYYPN549C |
|---|---|
| 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 Q716964, Li Ye (unknown). Also ProofWiki Mathematician:Li_Ye
History
- 2026-10-26: add by m2/dev
foliation JJZRDB3SDM
| URI | m2://inv/JJZRDB3SDM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q684220, foliation (concept). Also EoM Foliation, MathWorld Foliation, nLab foliation
History
- 2026-10-26: add by m2/dev