Inventory rows 7N
The cards of the rows of the inventory whose ids start with 7N. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Semicubical parabola 7N2JV307RN
| URI | m2://inv/7N2JV307RN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1192953, Semicubical parabola (concept). Also MathWorld SemicubicalParabola
History
- 2026-10-26: add by m2/dev
equivalence class 7N4QTNFSGW
| URI | m2://inv/7N4QTNFSGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Equivalence class 0W95W33CMP |
Mentions
- wikidata: Wikidata Q1211071, equivalence class (unknown). Also MathWorld EquivalenceClass, nLab equivalence class
History
- 2026-10-26: add by m2/dev
integer matrix 7N8RKCRQB4
| URI | m2://inv/7N8RKCRQB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6042601, integer matrix (unknown). Also MathWorld IntegerMatrix
History
- 2026-10-26: add by m2/dev
Horologium Oscillatorium 7NC4MGC58V
| URI | m2://inv/7NC4MGC58V |
|---|---|
| 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 Q17055395, Horologium Oscillatorium (unknown). Also ProofWiki Book:Christiaan_Huygens/Horologium_Oscillatorium_sive_de_Motu_Pendularium
History
- 2026-10-26: add by m2/dev
Blumberg theorem 7NDKHWCV0Y
| URI | m2://inv/7NDKHWCV0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16680049, Blumberg theorem (statement). Also EoM Blumberg_theorem
History
- 2026-10-26: add by m2/dev
upper domination number 7NFNBQG9R2
| URI | m2://inv/7NFNBQG9R2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130405721, upper domination number (unknown). Also MathWorld UpperDominationNumber
History
- 2026-10-26: add by m2/dev
Dirichlet's theorem on arithmetic progressions 7NJNJY1XC9
| URI | m2://inv/7NJNJY1XC9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Dirichlet's theorem on arithmetic progressions 0GNVN3CA2P |
Mentions
- mathlib_100: mathlib_100 48, Dirichlet’s Theorem (statement). Also Mathlib Nat.infinite_setOfPred_prime_and_eq_mod
- mathlib_1000: mathlib_1000 Q550402, Dirichlet's theorem on arithmetic progressions (statement). Also Mathlib Nat.infinite_setOfPred_prime_and_eq_mod, Wikidata Q550402
- thousand_plus: thousand_plus Q550402, Dirichlet's theorem on arithmetic progressions (statement). Also Mathlib Nat.infinite_setOf_prime_and_eq_mod, Wikidata Q550402, Wikipedia Dirichlet's theorem on arithmetic progressions
- wikidata: Wikidata Q550402, Dirichlet's theorem on arithmetic progressions (statement). Also MathWorld DirichletsTheorem
History
- 2026-10-26: add by m2/dev
finite geometry 7NPWV4RXH8
| URI | m2://inv/7NPWV4RXH8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1077896, finite geometry (topic). Also MathWorld FiniteGeometry
History
- 2026-10-26: add by m2/dev
product of four distinct primes 7NRPRP3MWW
| URI | m2://inv/7NRPRP3MWW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109364216, product of four distinct primes (object). Also OEIS A046386
History
- 2026-10-26: add by m2/dev
Nagell–Lutz theorem 7NTNA26PYY
| URI | m2://inv/7NTNA26PYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527132, Nagell–Lutz theorem (statement). Also Wikidata Q3527132
- thousand_plus: thousand_plus Q3527132, Nagell–Lutz theorem (statement). Also Wikidata Q3527132, Wikipedia Nagell–Lutz theorem
History
- 2026-10-26: add by m2/dev
incidence geometry 7NWXY5GXTJ
| URI | m2://inv/7NWXY5GXTJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4582901, incidence geometry (unknown). Also nLab incidence geometry
History
- 2026-10-26: add by m2/dev
mathematical object 7NY95RYZA5
| URI | m2://inv/7NY95RYZA5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q246672, mathematical object (unknown). Also nLab mathematical object
History
- 2026-10-26: add by m2/dev