Inventory rows B5
The cards of the rows of the inventory whose ids start with B5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
The principles of science : a treatise on logic and scientific method B524113ST6
| URI | m2://inv/B524113ST6 |
|---|---|
| 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 Q51427139, The principles of science : a treatise on logic and scientific method (unknown). Also ProofWiki Book:William_Stanley_Jevons/The_Principles_of_Science:_A_Treatise_on_Logic_and_Scientific_Method
History
- 2026-10-26: add by m2/dev
zero vector B55A8T5RY8
| URI | m2://inv/B55A8T5RY8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q488630, zero vector (unknown). Also MathWorld ZeroVector
History
- 2026-10-26: add by m2/dev
substitution B562QTSDZF
| URI | m2://inv/B562QTSDZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1522579, substitution (unknown). Also nLab substitution
History
- 2026-10-26: add by m2/dev
comodule B56AK4SQZV
| URI | m2://inv/B56AK4SQZV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5155179, comodule (unknown). Also nLab comodule
History
- 2026-10-26: add by m2/dev
MacLaurin series B59FD9PEH3
| URI | m2://inv/B59FD9PEH3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1882442, MacLaurin series (concept). Also MathWorld MaclaurinSeries, ProofWiki Definition:Maclaurin_Series
History
- 2026-10-26: add by m2/dev
Tameness theorem B5ESBBT3Q8
| URI | m2://inv/B5ESBBT3Q8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3893473, Tameness theorem (statement). Also Wikidata Q3893473
- thousand_plus: thousand_plus Q3893473, Tameness theorem (statement). Also Wikidata Q3893473, Wikipedia Tameness theorem
History
- 2026-10-26: add by m2/dev
point at infinity B5F455R6KP
| URI | m2://inv/B5F455R6KP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1191139, point at infinity (unknown). Also MathWorld PointatInfinity
History
- 2026-10-26: add by m2/dev
mathematical analysis B5R2AVY7D5
| URI | m2://inv/B5R2AVY7D5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7754, mathematical analysis (topic). Also MathWorld Analysis, ProofWiki Definition:Analysis
History
- 2026-10-26: add by m2/dev
false position method B5VHNKEX4Y
| URI | m2://inv/B5VHNKEX4Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1476057, false position method (unknown). Also MathWorld MethodofFalsePosition
History
- 2026-10-26: add by m2/dev
ditrigonal dodecadodecahedron B5YB8B6BXG
| URI | m2://inv/B5YB8B6BXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3033698, ditrigonal dodecadodecahedron (unknown). Also MathWorld DitrigonalDodecadodecahedron
History
- 2026-10-26: add by m2/dev
lower limit topology B5ZGASVBPT
| URI | m2://inv/B5ZGASVBPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1543600, lower limit topology (unknown). Also EoM Sorgenfrey_topology
History
- 2026-10-26: add by m2/dev
differentials (linear tangent functions) B5ZQM5W2AJ
| URI | m2://inv/B5ZQM5W2AJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > differentials (linear tangent functions), differentials (linear tangent functions) (unknown). Also Mathlib fderiv
History
- 2026-10-26: add by m2/dev