Inventory rows BA
The cards of the rows of the inventory whose ids start with BA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Bernard Julia BA329767M3
| URI | m2://inv/BA329767M3 |
|---|---|
| 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 Q822505, Bernard Julia (unknown). Also nLab Bernard Julia
History
- 2026-10-26: add by m2/dev
biggest little hexagon BA653H13BX
| URI | m2://inv/BA653H13BX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q26002011, biggest little hexagon (unknown). Also MathWorld GrahamsBiggestLittleHexagon
History
- 2026-10-26: add by m2/dev
Pythagoreanism BAA2GQWWMM
| URI | m2://inv/BAA2GQWWMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q191359, Pythagoreanism (definition). Also ProofWiki Definition:Pythagoreans
History
- 2026-10-26: add by m2/dev
mathematical induction BAE80V5P9F
| URI | m2://inv/BAE80V5P9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Mathematical induction 0ASJVEFA9J |
Mentions
- wikidata: Wikidata Q178377, mathematical induction (definition). Also MathWorld Induction, MathWorld MathematicalInduction, ProofWiki Definition:Mathematical_Induction
History
- 2026-10-26: add by m2/dev
Rauch comparison theorem BAKTME7DHA
| URI | m2://inv/BAKTME7DHA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7296106, Rauch comparison theorem (statement). Also Wikidata Q7296106
- thousand_plus: thousand_plus Q7296106, Rauch comparison theorem (statement). Also Wikidata Q7296106, Wikipedia Rauch comparison theorem
History
- 2026-10-26: add by m2/dev
sink vertex BAM15Z0G9B
| URI | m2://inv/BAM15Z0G9B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93723795, sink vertex (unknown). Also MathWorld DigraphSink
History
- 2026-10-26: add by m2/dev
martingale BAM18KMQJE
| URI | m2://inv/BAM18KMQJE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Stochastic Processes > martingale, martingale (unknown). Also Mathlib MeasureTheory.Martingale
History
- 2026-10-26: add by m2/dev
Daniel Lenz BAM8BYHFDF
| URI | m2://inv/BAM8BYHFDF |
|---|---|
| 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 Q59676621, Daniel Lenz (unknown). Also nLab Daniel Lenz
History
- 2026-10-26: add by m2/dev
solving the Laplace equations BATKV3NWNC
| URI | m2://inv/BATKV3NWNC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Applications > solving the Laplace equations, solving the Laplace equations (unknown)
History
- 2026-10-26: add by m2/dev
Fermat's Last Theorem BATM8K0539
| URI | m2://inv/BATM8K0539 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Fermat's Last Theorem 0Y5X3SDBCZ |
Mentions
- mathlib_100: mathlib_100 33, Fermat’s Last Theorem (statement). Also Mathlib FermatLastTheorem
- mathlib_1000: mathlib_1000 Q132469, Fermat's Last Theorem (statement). Also Mathlib FermatLastTheorem, Wikidata Q132469
- thousand_plus: thousand_plus Q132469, Fermat's Last Theorem (statement). Also Mathlib FermatLastTheorem, Wikidata Q132469, Wikipedia Fermat's Last Theorem
- wikidata: Wikidata Q132469, Fermat's Last Theorem (statement). Also EoM Fermat's_last_theorem, MathWorld FermatsLastTheorem
History
- 2026-10-26: add by m2/dev