Inventory rows PH
The cards of the rows of the inventory whose ids start with PH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
truncated tetrahedron PH2NG7N086
| URI | m2://inv/PH2NG7N086 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q864472, truncated tetrahedron (object). Also MathWorld TruncatedTetrahedron
History
- 2026-10-26: add by m2/dev
variance PH3QE9X2SG
| URI | m2://inv/PH3QE9X2SG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Variance 0477R9PYAE |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > variance of a real-valued random variable, variance of a real-valued random variable (unknown). Also Mathlib ProbabilityTheory.variance
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > variance of a real-valued random variable, variance of a real-valued random variable (unknown). Also Mathlib ProbabilityTheory.variance
- wikidata: Wikidata Q175199, variance (unknown). Also Mathlib ProbabilityTheory.variance, MathWorld Variance
History
- 2026-10-26: add by m2/dev
hypohamiltonian graph PH46GKCS0F
| URI | m2://inv/PH46GKCS0F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115577, hypohamiltonian graph (unknown). Also MathWorld HypohamiltonianGraph
History
- 2026-10-26: add by m2/dev
Ramsey's theorem PH65Q5VQCQ
| URI | m2://inv/PH65Q5VQCQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | Ramsey's theorem 00TQV3F5S4 |
Mentions
- mathlib_1000: mathlib_1000 Q918099, Ramsey's theorem (statement). Also Wikidata Q918099
- thousand_plus: thousand_plus Q918099, Ramsey's theorem (statement). Also Wikidata Q918099, Wikipedia Ramsey's theorem
- wikidata: Wikidata Q918099, Ramsey's theorem (statement). Also EoM Ramsey_theorem, MathWorld RamseysTheorem
History
- 2026-10-26: add by m2/dev
Green's identities PH9V8QMFNB
| URI | m2://inv/PH9V8QMFNB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1544810, Green's identities (unknown). Also MathWorld GreensIdentities
History
- 2026-10-26: add by m2/dev
Kempe chain PHD8NM80N6
| URI | m2://inv/PHD8NM80N6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6387048, Kempe chain (concept). Also MathWorld KempeChain
History
- 2026-10-26: add by m2/dev
Uban number PHE8D4P950
| URI | m2://inv/PHE8D4P950 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120336340, Uban number (object). Also MathWorld UbanNumber, OEIS A089590
History
- 2026-10-26: add by m2/dev
Igor Khavkine PHES42VYDM
| URI | m2://inv/PHES42VYDM |
|---|---|
| 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 Q64007986, Igor Khavkine (unknown). Also nLab Igor Khavkine
History
- 2026-10-26: add by m2/dev
Steiner's problem PHNA8CDA53
| URI | m2://inv/PHNA8CDA53 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2912089, Steiner's problem (problem). Also MathWorld SteinersProblem
History
- 2026-10-26: add by m2/dev
pole and polar PHP70HN339
| URI | m2://inv/PHP70HN339 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1751490, pole and polar (unknown). Also MathWorld Polar
History
- 2026-10-26: add by m2/dev
continuous functor PHPQJH2HZM
| URI | m2://inv/PHPQJH2HZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140156619, continuous functor (unknown). Also nLab continuous functor, nLab preserved limit
History
- 2026-10-26: add by m2/dev
Michio Jimbo PHQC3M795C
| URI | m2://inv/PHQC3M795C |
|---|---|
| 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 Q451211, Michio Jimbo (unknown). Also nLab Michio Jimbo
History
- 2026-10-26: add by m2/dev
Bevan point PHV0BEDHHS
| URI | m2://inv/PHV0BEDHHS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q851513, Bevan point (unknown). Also MathWorld BevanPoint
History
- 2026-10-26: add by m2/dev
Cours d'Analyse PHWQNK5S2D
| URI | m2://inv/PHWQNK5S2D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16747603, Cours d'Analyse (unknown). Also nLab Cours d'Analyse
History
- 2026-10-26: add by m2/dev