Inventory rows TB
The cards of the rows of the inventory whose ids start with TB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
millimetre TB0EXV16FP
| URI | m2://inv/TB0EXV16FP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q174789, millimetre (definition). Also ProofWiki Definition:Metric_System/Length/Millimetre
History
- 2026-10-26: add by m2/dev
differentiable functions TB0ZMT5M3T
| URI | m2://inv/TB0ZMT5M3T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > differentiable functions, differentiable functions (unknown). Also Mathlib Differentiable
History
- 2026-10-26: add by m2/dev
Guifré Vidal TB17YKFJ2K
| URI | m2://inv/TB17YKFJ2K |
|---|---|
| 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 Q5615682, Guifré Vidal (unknown). Also nLab Guifre Vidal
History
- 2026-10-26: add by m2/dev
local parameter TB688QJY2Y
| URI | m2://inv/TB688QJY2Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6664485, local parameter (unknown). Also EoM Local_uniformizing_parameter
History
- 2026-10-26: add by m2/dev
cruciform curve TB6WGYDJXJ
| URI | m2://inv/TB6WGYDJXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18368730, cruciform curve (definition). Also MathWorld Cruciform, ProofWiki Definition:Cruciform_Curve
History
- 2026-10-26: add by m2/dev
von Mises distribution TB71ZK0M9S
| URI | m2://inv/TB71ZK0M9S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7941490, von Mises distribution (unknown). Also MathWorld vonMisesDistribution
History
- 2026-10-26: add by m2/dev
inscribed angle TB83Q1B023
| URI | m2://inv/TB83Q1B023 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q915985, inscribed angle (definition). Also MathWorld InscribedAngle, ProofWiki Definition:Angle_Inscribed_in_Circle
History
- 2026-10-26: add by m2/dev
P. A. P. Moran TB8NPY1608
| URI | m2://inv/TB8NPY1608 |
|---|---|
| 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 Q3369720, P. A. P. Moran (unknown). Also ProofWiki Mathematician:Patrick_Alfred_Pierce_Moran
History
- 2026-10-26: add by m2/dev
GEOS circle TB9H3CCBVH
| URI | m2://inv/TB9H3CCBVH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5513191, GEOS circle (unknown). Also MathWorld GEOSCircle
History
- 2026-10-26: add by m2/dev
Prokhorov's theorem TBETGA4DBM
| URI | m2://inv/TBETGA4DBM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7249519, Prokhorov's theorem (statement). Also Mathlib isCompact_setOfPred_finiteMeasure_mass_le_compl_isCompact_le, Mathlib isCompact_setOfPred_finiteMeasure_mass_eq_compl_isCompact_le, Mathlib isCompact_setOfPred_probabilityMeasure_mass_eq_compl_isCompact_le, Mathlib isCompact_closure_of_isTightMeasureSet, Wikidata Q7249519
- thousand_plus: thousand_plus Q7249519, Prokhorov's theorem (statement). Also Mathlib isCompact_setOf_finiteMeasure_mass_le_compl_isCompact_le, Mathlib isCompact_setOf_finiteMeasure_mass_eq_compl_isCompact_le, Mathlib isCompact_setOf_probabilityMeasure_mass_eq_compl_isCompact_le, Mathlib isCompact_closure_of_isTightMeasureSet, Wikidata Q7249519, Wikipedia Prokhorov's theorem
History
- 2026-10-26: add by m2/dev
ZJ theorem TBK5HK7Y66
| URI | m2://inv/TBK5HK7Y66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q8063120, ZJ theorem (statement). Also Wikidata Q8063120
- thousand_plus: thousand_plus Q8063120, ZJ theorem (statement). Also Wikidata Q8063120, Wikipedia ZJ theorem
History
- 2026-10-26: add by m2/dev
mathematical finance TBPFRGM9AX
| URI | m2://inv/TBPFRGM9AX |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 91Gxx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q335632, mathematical finance (topic). Also ProofWiki Definition:Financial_Mathematics
History
- 2026-10-26: add by m2/dev
bipartite Kneser graph TBRBSSZ0V2
| URI | m2://inv/TBRBSSZ0V2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8860529, bipartite Kneser graph (unknown). Also MathWorld BipartiteKneserGraph
History
- 2026-10-26: add by m2/dev
Tarski's plank problem TBRFF5YGZH
| URI | m2://inv/TBRFF5YGZH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7686760, Bang's theorem (statement). Also Wikidata Q7686760
- thousand_plus: thousand_plus Q7686760, Bang's theorem (statement). Also Wikidata Q7686760, Wikipedia Tarski's plank problem
- wikidata: Wikidata Q7686760, Tarski's plank problem (problem). Also MathWorld TarskisPlankProblem
History
- 2026-10-26: add by m2/dev
Looman–Menchoff theorem TBTFZX9C6P
| URI | m2://inv/TBTFZX9C6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2309760, Looman–Menchoff theorem (statement). Also Wikidata Q2309760
- thousand_plus: thousand_plus Q2309760, Looman–Menchoff theorem (statement). Also Wikidata Q2309760, Wikipedia Looman–Menchoff theorem
History
- 2026-10-26: add by m2/dev