Inventory rows EP
The cards of the rows of the inventory whose ids start with EP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Eastern Hemisphere EP25QC1DX0
| URI | m2://inv/EP25QC1DX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q186198, Eastern Hemisphere (definition). Also ProofWiki Definition:Eastern_Hemisphere
History
- 2026-10-26: add by m2/dev
Solidity EP2C5PNVZS
| URI | m2://inv/EP2C5PNVZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q24909565, Solidity (unknown). Also nLab solidity
History
- 2026-10-26: add by m2/dev
quicksort EP9S8JV1VJ
| URI | m2://inv/EP9S8JV1VJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q486598, quicksort (unknown). Also MathWorld Quicksort
History
- 2026-10-26: add by m2/dev
alphabet EPBJBVKDC9
| URI | m2://inv/EPBJBVKDC9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q837518, alphabet (unknown). Also MathWorld Alphabet
History
- 2026-10-26: add by m2/dev
special character EPH1PSKXBA
| URI | m2://inv/EPH1PSKXBA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2301218, special character (unknown). Also nLab special characters
History
- 2026-10-26: add by m2/dev
Witt design EPJM1QF5W0
| URI | m2://inv/EPJM1QF5W0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124260807, Witt design (unknown). Also MathWorld WittDesign
History
- 2026-10-26: add by m2/dev
Stone–Weierstrass theorem EPMGPBZEYK
| URI | m2://inv/EPMGPBZEYK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q939927, Stone–Weierstrass theorem (statement). Also Mathlib ContinuousMap.subalgebra_topologicalClosure_eq_top_of_separatesPoints, Wikidata Q939927
- mathlib_overview: mathlib_overview Topology > General topology > Stone-Weierstrass theorem, Stone-Weierstrass theorem (unknown). Also Mathlib ContinuousMap.subalgebra_topologicalClosure_eq_top_of_separatesPoints
- thousand_plus: thousand_plus Q939927, Stone–Weierstrass theorem (statement). Also Mathlib ContinuousMap.subalgebra_topologicalClosure_eq_top_of_separatesPoints, Wikidata Q939927, Wikipedia Stone–Weierstrass theorem
- wikidata: Wikidata Q939927, Stone–Weierstrass theorem (statement). Also MathWorld Stone-WeierstrassTheorem
History
- 2026-10-26: add by m2/dev
motivic L-function EPQ3H7BYKQ
| URI | m2://inv/EPQ3H7BYKQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17098109, motivic L-function (unknown). Also nLab motivic L-function
History
- 2026-10-26: add by m2/dev
statement letter EPQ555Q4V1
| URI | m2://inv/EPQ555Q4V1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141186841, statement letter (unknown). Also MathWorld StatementLetter
History
- 2026-10-26: add by m2/dev
$K[X]$ is Euclidean EPR5RDPC6N
| URI | m2://inv/EPR5RDPC6N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Polynomials and power series > $K[X]$ is Euclidean, $K[X]$ is Euclidean (unknown). Also Mathlib Polynomial.instEuclideanDomain
- mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > $K[X]$ is a Euclidean ring when $K$ is a field, $K[X]$ is a Euclidean ring when $K$ is a field (unknown). Also Mathlib Polynomial.instEuclideanDomain
History
- 2026-10-26: add by m2/dev
hyperparallel EPT19WJTQW
| URI | m2://inv/EPT19WJTQW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11827862, hyperparallel (concept). Also MathWorld Hyperparallel
History
- 2026-10-26: add by m2/dev
rectifiable set EPVG93SR8Q
| URI | m2://inv/EPVG93SR8Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3038340, rectifiable set (unknown). Also EoM Rectifiable_set, MathWorld RectifiableSet
History
- 2026-10-26: add by m2/dev
The Mathematical Experience EPVVZSVQT1
| URI | m2://inv/EPVVZSVQT1 |
|---|---|
| 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 Q7750659, The Mathematical Experience (unknown). Also ProofWiki Book:Philip_J._Davis/The_Mathematical_Experience
History
- 2026-10-26: add by m2/dev
skew lines EPXH7S6CJY
| URI | m2://inv/EPXH7S6CJY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q668297, skew lines (unknown). Also MathWorld SkewLines
History
- 2026-10-26: add by m2/dev
event EPZQBFSJVQ
| URI | m2://inv/EPZQBFSJVQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Event 031TPJVS74 |
Mentions
- wikidata: Wikidata Q10290214, event (unknown). Also MathWorld Event
History
- 2026-10-26: add by m2/dev