Inventory rows 49
The cards of the rows of the inventory whose ids start with 49. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Solèr's theorem 4926E0YK3K
| URI | m2://inv/4926E0YK3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q48996535, Solèr's theorem (statement). Also Wikidata Q48996535
- thousand_plus: thousand_plus Q48996535, Solèr's theorem (statement). Also Wikidata Q48996535, Wikipedia Solèr's theorem
History
- 2026-10-26: add by m2/dev
commutative semigroup 493Q937EF3
| URI | m2://inv/493Q937EF3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q27672715, commutative semigroup (unknown). Also MathWorld AbelianSemigroup
History
- 2026-10-26: add by m2/dev
knot sum 494Z52NXR3
| URI | m2://inv/494Z52NXR3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91779227, knot sum (unknown). Also MathWorld KnotSum
History
- 2026-10-26: add by m2/dev
Lévy's constant 49APQ3RGVV
| URI | m2://inv/49APQ3RGVV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2994920, Lévy's constant (object). Also MathWorld LevyConstant, OEIS A086702
History
- 2026-10-26: add by m2/dev
Gδ set 49CK298ZPV
| URI | m2://inv/49CK298ZPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q127244, Gδ set (definition). Also MathWorld G-DeltaSet, ProofWiki Definition:G-Delta_Set
History
- 2026-10-26: add by m2/dev
ATS theorem 49G1N7W1NP
| URI | m2://inv/49G1N7W1NP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4054114, ATS theorem (statement). Also Wikidata Q4054114
- thousand_plus: thousand_plus Q4054114, ATS theorem (statement). Also Wikidata Q4054114, Wikipedia ATS theorem
History
- 2026-10-26: add by m2/dev
Ahmes 49HXPN492R
| URI | m2://inv/49HXPN492R |
|---|---|
| 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 Q1073335, Ahmes (unknown). Also ProofWiki Mathematician:Ahmes
History
- 2026-10-26: add by m2/dev
circumscribed triangle 49J7KPFSK8
| URI | m2://inv/49J7KPFSK8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117307909, circumscribed triangle (unknown). Also MathWorld CircumscribedTriangle
History
- 2026-10-26: add by m2/dev
scattering theory 49JFF8NFQC
| URI | m2://inv/49JFF8NFQC |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 81Uxx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q903737, scattering theory (topic)
History
- 2026-10-26: add by m2/dev
polynomial term 49PS2K5SDN
| URI | m2://inv/49PS2K5SDN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141133828, polynomial term (unknown). Also MathWorld PolynomialTerm
History
- 2026-10-26: add by m2/dev
Tutte polynomial 49S6KS7SDN
| URI | m2://inv/49S6KS7SDN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7857002, Tutte polynomial (unknown). Also MathWorld TuttePolynomial
History
- 2026-10-26: add by m2/dev
friendly number 49V1ZHRR8E
| URI | m2://inv/49V1ZHRR8E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1707307, friendly number (concept). Also MathWorld FriendlyNumber, OEIS A074902
History
- 2026-10-26: add by m2/dev
covariant vector 49W7TZ2JKY
| URI | m2://inv/49W7TZ2JKY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77985916, covariant vector (unknown). Also MathWorld CovariantVector
History
- 2026-10-26: add by m2/dev
Steinmetz solid 49WKMG3B4H
| URI | m2://inv/49WKMG3B4H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7606915, Steinmetz solid (unknown). Also MathWorld SteinmetzSolid
History
- 2026-10-26: add by m2/dev
bounded function 49WT7WZDF8
| URI | m2://inv/49WT7WZDF8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2267362, bounded function (unknown). Also nLab bounded function
History
- 2026-10-26: add by m2/dev
Cantor's theorem 49ZE4S9J2S
| URI | m2://inv/49ZE4S9J2S |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 4 |
| Outcome | open |
| Node | Cantor's theorem 0WTEMGYV2C |
Mentions
- mathlib_100: mathlib_100 63, Cantor’s Theorem (statement). Also Mathlib Function.cantor_surjective
- mathlib_1000: mathlib_1000 Q474881, Cantor's theorem (statement). Also Mathlib Function.cantor_surjective, Wikidata Q474881
- thousand_plus: thousand_plus Q474881, Cantor's theorem (statement). Also Mathlib Function.cantor_surjective, Wikidata Q474881, Wikipedia Cantor's theorem
- wikidata: Wikidata Q474881, Cantor's theorem (statement). Also MathWorld CantorsTheorem, nLab Cantor's theorem, ProofWiki Cantor's_Theorem
History
- 2026-10-26: add by m2/dev