Inventory rows BH
The cards of the rows of the inventory whose ids start with BH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Biot-Savart law BH04FG8DM1
| URI | m2://inv/BH04FG8DM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q171340, Biot-Savart law (statement). Also ProofWiki Biot-Savart_Law
History
- 2026-10-26: add by m2/dev
Leonid Positselski BH2DATD8FT
| URI | m2://inv/BH2DATD8FT |
|---|---|
| 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 Q20739510, Leonid Positselski (unknown). Also nLab Leonid Positselski
History
- 2026-10-26: add by m2/dev
Jacobi/Leibniz identity BH3XTDYT1V
| URI | m2://inv/BH3XTDYT1V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > Jacobi/Leibniz identity, Jacobi/Leibniz identity (unknown). Also Mathlib VectorField.leibniz_identity_mlieBracket
History
- 2026-10-26: add by m2/dev
Cole Prize BH9RCV7SKE
| URI | m2://inv/BH9RCV7SKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q375668, Cole Prize (unknown). Also MathWorld ColePrize
History
- 2026-10-26: add by m2/dev
weighted mean BHCK27R5QY
| URI | m2://inv/BHCK27R5QY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q729113, weighted mean (definition). Also MathWorld WeightedMean, ProofWiki Definition:Weighted_Mean
History
- 2026-10-26: add by m2/dev
module spectrum BHDS9SD2JT
| URI | m2://inv/BHDS9SD2JT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85786018, module spectrum (unknown). Also nLab module spectrum
History
- 2026-10-26: add by m2/dev
arrangement graph BHDSW06TH4
| URI | m2://inv/BHDSW06TH4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137187267, arrangement graph (unknown). Also MathWorld ArrangementGraph
History
- 2026-10-26: add by m2/dev
Mirifici logarithmorum canonis descriptio BHM0DY6Q85
| URI | m2://inv/BHM0DY6Q85 |
|---|---|
| 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 Q107644956, Mirifici logarithmorum canonis descriptio (unknown). Also ProofWiki Book:John_Napier/Mirifici_Logarithmorum_Canonis_Descriptio
History
- 2026-10-26: add by m2/dev
Swan's theorem BHR42BVNWG
| URI | m2://inv/BHR42BVNWG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7455422, Swan's theorem (statement). Also Wikidata Q7455422
- thousand_plus: thousand_plus Q7455422, Swan's theorem (statement). Also Wikidata Q7455422, Wikipedia Swan's theorem
History
- 2026-10-26: add by m2/dev
palindromic number BHS62FG6KZ
| URI | m2://inv/BHS62FG6KZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q754831, palindromic number (unknown). Also MathWorld PalindromicNumber, OEIS A002113
History
- 2026-10-26: add by m2/dev
singly even number BHTEEM3FKA
| URI | m2://inv/BHTEEM3FKA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135752622, singly even number (unknown). Also MathWorld SinglyEvenNumber, OEIS A016825
History
- 2026-10-26: add by m2/dev