Inventory rows QA
The cards of the rows of the inventory whose ids start with QA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
limit infimum and supremum QA1HXA9H0C
| URI | m2://inv/QA1HXA9H0C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > limit infimum and supremum, limit infimum and supremum (unknown)
History
- 2026-10-26: add by m2/dev
real number QA2JPE0Q4Q
| URI | m2://inv/QA2JPE0Q4Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Real numbers 08J2M1JYAG |
Mentions
- mathlib_overview: mathlib_overview General algebra > Numbers > real number, real number (unknown). Also Mathlib Real
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Real numbers > definition of $\R$, definition of $\R$ (unknown). Also Mathlib Real
- wikidata: Wikidata Q12916, real number (definition). Also EoM Real_number, Mathlib Real, MathWorld RealNumber, nLab real number, ProofWiki Definition:Real_Number
- wikidata: Wikidata Q2584477, construction of the real numbers (concept). Also Mathlib Real
History
- 2026-10-26: add by m2/dev
Mittag-Leffler polynomials QA3T4JWQ8D
| URI | m2://inv/QA3T4JWQ8D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6883439, Mittag-Leffler polynomials (concept). Also MathWorld Mittag-LefflerPolynomial
History
- 2026-10-26: add by m2/dev
weak gravity conjecture QA5QHHY1WV
| URI | m2://inv/QA5QHHY1WV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25101334, weak gravity conjecture (unknown). Also nLab weak gravity conjecture
History
- 2026-10-26: add by m2/dev
Malthusian growth model QA610AQJTT
| URI | m2://inv/QA610AQJTT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2705584, Malthusian growth model (unknown). Also MathWorld MalthusianEquation
History
- 2026-10-26: add by m2/dev
matrix norm QA6FFW4HZT
| URI | m2://inv/QA6FFW4HZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q939253, matrix norm (unknown). Also MathWorld MatrixNorm
History
- 2026-10-26: add by m2/dev
numbers that are not the sum of a prime number and a nonzero square QA763TA62N
| URI | m2://inv/QA763TA62N |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109556253, numbers that are not the sum of a prime number and a nonzero square (object). Also OEIS A064233
History
- 2026-10-26: add by m2/dev
QA8W9FCNP0 QA8W9FCNP0
| URI | m2://inv/QA8W9FCNP0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q134966743 (object). Also OEIS A073442
History
- 2026-10-26: add by m2/dev
Pólya enumeration theorem QAB530HYXA
| URI | m2://inv/QAB530HYXA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1037559, Pólya enumeration theorem (statement). Also Wikidata Q1037559
- thousand_plus: thousand_plus Q1037559, Pólya enumeration theorem (statement). Also Wikidata Q1037559, Wikipedia Pólya enumeration theorem
- wikidata: Wikidata Q1037559, Pólya enumeration theorem (statement). Also MathWorld PolyaEnumerationTheorem, nLab Pólya enumeration theorem
History
- 2026-10-26: add by m2/dev
arc length QABZ6VFVVV
| URI | m2://inv/QABZ6VFVVV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Arc length 0TH78S7GBZ |
Mentions
- wikidata: Wikidata Q670036, arc length (unknown). Also MathWorld ArcLength, MathWorld CurveLength
History
- 2026-10-26: add by m2/dev
Bonnet theorem QAFG0NFZ15
| URI | m2://inv/QAFG0NFZ15 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4942215, Bonnet theorem (statement). Also Wikidata Q4942215
- thousand_plus: thousand_plus Q4942215, Bonnet theorem (statement). Also Wikidata Q4942215, Wikipedia Bonnet theorem
History
- 2026-10-26: add by m2/dev
existence QAG52CT4PB
| URI | m2://inv/QAG52CT4PB |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 35A05 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q468777, existence (topic)
History
- 2026-10-26: add by m2/dev
Boolean operator QAH5D6C9Y1
| URI | m2://inv/QAH5D6C9Y1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20182284, Boolean operator (unknown). Also MathWorld BooleanConnective
History
- 2026-10-26: add by m2/dev
exceptional Lie algebra QAH6FF7VSN
| URI | m2://inv/QAH6FF7VSN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85760041, exceptional Lie algebra (unknown). Also nLab exceptional Lie algebra
History
- 2026-10-26: add by m2/dev
highly irregular graph QAKWV37NCF
| URI | m2://inv/QAKWV37NCF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17029695, highly irregular graph (unknown). Also MathWorld HighlyIrregularGraph
History
- 2026-10-26: add by m2/dev
combination lock QAQCN42ESR
| URI | m2://inv/QAQCN42ESR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2374786, combination lock (unknown). Also MathWorld CombinationLock
History
- 2026-10-26: add by m2/dev
Time hierarchy theorem QARKN6QWWE
| URI | m2://inv/QARKN6QWWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5251122, Time hierarchy theorem (statement). Also Wikidata Q5251122
- thousand_plus: thousand_plus Q5251122, Time hierarchy theorem (statement). Also Wikidata Q5251122, Wikipedia Time hierarchy theorem
History
- 2026-10-26: add by m2/dev
fundamental representation QART3X19WN
| URI | m2://inv/QART3X19WN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3427416, fundamental representation (unknown). Also nLab fundamental representation
History
- 2026-10-26: add by m2/dev
line–line intersection QATF5A76T6
| URI | m2://inv/QATF5A76T6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17097267, line–line intersection (unknown). Also MathWorld Line-LineIntersection
History
- 2026-10-26: add by m2/dev
positive real number QAX3QQNV1V
| URI | m2://inv/QAX3QQNV1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3176558, positive real number (definition). Also MathWorld PositiveNumber, nLab positive number, ProofWiki Definition:Positive/Real_Number
History
- 2026-10-26: add by m2/dev
Heckscher–Ohlin theorem QAXRAN9TV8
| URI | m2://inv/QAXRAN9TV8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1143540, Heckscher–Ohlin theorem (statement). Also Wikidata Q1143540
- thousand_plus: thousand_plus Q1143540, Heckscher–Ohlin theorem (statement). Also Wikidata Q1143540, Wikipedia Heckscher–Ohlin theorem
History
- 2026-10-26: add by m2/dev