Inventory rows J9
The cards of the rows of the inventory whose ids start with J9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
algebraic elements J928WNTDFR
| URI | m2://inv/J928WNTDFR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > algebraic elements, algebraic elements (unknown). Also Mathlib IsAlgebraic
History
- 2026-10-26: add by m2/dev
Hans Bethe J92KD5TJXT
| URI | m2://inv/J92KD5TJXT |
|---|---|
| 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 Q155794, Hans Bethe (unknown). Also nLab Hans Bethe
History
- 2026-10-26: add by m2/dev
Reinhold Remmert J99Y123K8N
| URI | m2://inv/J99Y123K8N |
|---|---|
| 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 Q73009, Reinhold Remmert (unknown). Also nLab Reinhold Remmert
History
- 2026-10-26: add by m2/dev
Poisson bracket J9GDTYD3ER
| URI | m2://inv/J9GDTYD3ER |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1052775, Poisson bracket (concept). Also EoM Poisson_brackets, MathWorld PoissonBracket
History
- 2026-10-26: add by m2/dev
graph connectivity measure J9HMRP3CMS
| URI | m2://inv/J9HMRP3CMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q72897900, graph connectivity measure (unknown). Also EoM Graph,_connectivity_of_a
History
- 2026-10-26: add by m2/dev
theory of Krull dimension J9KTDF9SMM
| URI | m2://inv/J9KTDF9SMM |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 13C15 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114705590, theory of Krull dimension (topic)
History
- 2026-10-26: add by m2/dev
Gesang der Parzen J9MGK9TK8H
| URI | m2://inv/J9MGK9TK8H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5553557, Gesang der Parzen (unknown). Also nLab 000036047539
History
- 2026-10-26: add by m2/dev
millilitre J9P7VXX2TR
| URI | m2://inv/J9P7VXX2TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2332346, millilitre (definition). Also ProofWiki Definition:Metric_System/Volume/Millilitre
History
- 2026-10-26: add by m2/dev
Borel–Carathéodory theorem J9PNMMHZ65
| URI | m2://inv/J9PNMMHZ65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3229335, Borel–Carathéodory theorem (statement). Also Mathlib Complex.borelCaratheodory, Wikidata Q3229335
- thousand_plus: thousand_plus Q3229335, Borel–Carathéodory theorem (statement). Also Mathlib Complex.borelCaratheodory, Wikidata Q3229335, Wikipedia Borel–Carathéodory theorem
History
- 2026-10-26: add by m2/dev
transitive set J9SJA651K1
| URI | m2://inv/J9SJA651K1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q671944, transitive set (definition). Also nLab transitive set, ProofWiki Definition:Transitive_Class
History
- 2026-10-26: add by m2/dev
four-vector J9SR7QDKMC
| URI | m2://inv/J9SR7QDKMC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q844610, four-vector (unknown). Also MathWorld Four-Vector
History
- 2026-10-26: add by m2/dev
vertex cover J9T2YR1VBK
| URI | m2://inv/J9T2YR1VBK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Vertex cover 0AHKWBQSWV |
Mentions
- wikidata: Wikidata Q11515519, vertex cover (unknown). Also MathWorld VertexCover
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Bézout's theorem J9VGJ1CT3D
| URI | m2://inv/J9VGJ1CT3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1542114, Bézout's theorem (statement). Also Wikidata Q1542114
- thousand_plus: thousand_plus Q1542114, Bézout's theorem (statement). Also Wikidata Q1542114, Wikipedia Bézout's theorem
- wikidata: Wikidata Q1542114, Bézout's theorem (statement). Also MathWorld BezoutsTheorem, nLab Bézout's theorem
History
- 2026-10-26: add by m2/dev
natural exponential function J9X941ZY24
| URI | m2://inv/J9X941ZY24 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47306354, natural exponential function (unknown). Also EoM Exponential_function, MathWorld NaturalExponentialFunction
History
- 2026-10-26: add by m2/dev
Portugal J9YEK5HBN2
| URI | m2://inv/J9YEK5HBN2 |
|---|---|
| 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 Q45, Portugal (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Portugal
History
- 2026-10-26: add by m2/dev