Inventory rows BP
The cards of the rows of the inventory whose ids start with BP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
1 BP1226TQR9
| URI | m2://inv/BP1226TQR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q199, 1 (statement). Also MathWorld 1, ProofWiki 1
History
- 2026-10-26: add by m2/dev
Fσ set BP1MXXR2GJ
| URI | m2://inv/BP1MXXR2GJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4392123, Fσ set (definition). Also MathWorld F-SigmaSet, ProofWiki Definition:F-Sigma_Set
History
- 2026-10-26: add by m2/dev
Bochner's tube theorem BP2CJ1SFX1
| URI | m2://inv/BP2CJ1SFX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q107535899, Bochner's tube theorem (statement). Also Wikidata Q107535899
- thousand_plus: thousand_plus Q107535899, Bochner's tube theorem (statement). Also Wikidata Q107535899, Wikipedia Bochner's tube theorem
History
- 2026-10-26: add by m2/dev
Pappus of Alexandria BP7B3AY9H2
| URI | m2://inv/BP7B3AY9H2 |
|---|---|
| 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 Q211783, Pappus of Alexandria (unknown). Also ProofWiki Mathematician:Pappus_of_Alexandria
History
- 2026-10-26: add by m2/dev
object of a category BP9B6HCXG4
| URI | m2://inv/BP9B6HCXG4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10340026, object of a category (unknown). Also MathWorld Object, nLab object
History
- 2026-10-26: add by m2/dev
algebraic congruence BPB32AR92F
| URI | m2://inv/BPB32AR92F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12175576, algebraic congruence (unknown). Also MathWorld AlgebraicCongruence
History
- 2026-10-26: add by m2/dev
closed subgroup BPBCERGJFD
| URI | m2://inv/BPBCERGJFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78497118, closed subgroup (unknown). Also MathWorld ClosedSubgroup
History
- 2026-10-26: add by m2/dev
nomogram BPD4HSFTZ3
| URI | m2://inv/BPD4HSFTZ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q721129, nomogram (unknown). Also MathWorld Nomogram
History
- 2026-10-26: add by m2/dev
BPH9J8AVK5 BPH9J8AVK5
| URI | m2://inv/BPH9J8AVK5 |
|---|---|
| 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 Q16105699 (unknown). Also nLab Marie-Louise Michelsohn
History
- 2026-10-26: add by m2/dev
subjunctive possibility BPHKCJYTD3
| URI | m2://inv/BPHKCJYTD3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7631437, subjunctive possibility (unknown). Also MathWorld Alethic
History
- 2026-10-26: add by m2/dev
dependent typing BPJMP9D8BD
| URI | m2://inv/BPJMP9D8BD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56232424, dependent typing (unknown). Also nLab dependent type theory
History
- 2026-10-26: add by m2/dev
Gelfond–Schneider constant BPKQ33ZZWP
| URI | m2://inv/BPKQ33ZZWP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q307889, Gelfond–Schneider constant (concept). Also OEIS A007507, ProofWiki Definition:Gelfond-Schneider_Constant
History
- 2026-10-26: add by m2/dev
perfection of a ring BPNKWBJWXP
| URI | m2://inv/BPNKWBJWXP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Number theory > perfection of a ring, perfection of a ring (unknown). Also Mathlib Perfection
History
- 2026-10-26: add by m2/dev
fifth power BPNXKZYE1S
| URI | m2://inv/BPNXKZYE1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10549775, fifth power (definition). Also OEIS A000584, ProofWiki Definition:Fifth_Power
History
- 2026-10-26: add by m2/dev
Conley–Zehnder theorem BPR3Q24KN9
| URI | m2://inv/BPR3Q24KN9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5161245, Conley–Zehnder theorem (statement). Also Wikidata Q5161245
- thousand_plus: thousand_plus Q5161245, Conley–Zehnder theorem (statement). Also Wikidata Q5161245, Wikipedia Conley–Zehnder theorem
History
- 2026-10-26: add by m2/dev
Fieller's theorem BPSQPSEN2F
| URI | m2://inv/BPSQPSEN2F |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5447238, Fieller's theorem (statement). Also Wikidata Q5447238
- thousand_plus: thousand_plus Q5447238, Fieller's theorem (statement). Also Wikidata Q5447238, Wikipedia Fieller's theorem
History
- 2026-10-26: add by m2/dev
Masaki Kashiwara BPT9033JV4
| URI | m2://inv/BPT9033JV4 |
|---|---|
| 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 Q375000, Masaki Kashiwara (unknown). Also nLab Masaki Kashiwara
History
- 2026-10-26: add by m2/dev
multiset BPVS1X8NMQ
| URI | m2://inv/BPVS1X8NMQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q864377, multiset (unknown). Also MathWorld Collection, MathWorld Multiset, nLab multiset
History
- 2026-10-26: add by m2/dev
additive category BPWTZQMFQ4
| URI | m2://inv/BPWTZQMFQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4681343, additive category (definition). Also MathWorld AdditiveCategory, nLab additive category, ProofWiki Definition:Additive_Category
History
- 2026-10-26: add by m2/dev