Inventory rows 5S
The cards of the rows of the inventory whose ids start with 5S. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
small dodecahemicosacron 5S02JSWT6Y
| URI | m2://inv/5S02JSWT6Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7543042, small dodecahemicosacron (unknown). Also MathWorld SmallDodecahemicosacron
History
- 2026-10-26: add by m2/dev
Korteweg–De Vries equation 5S101A4MBX
| URI | m2://inv/5S101A4MBX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q601796, Korteweg–De Vries equation (concept). Also EoM Korteweg-de_Vries_equation, MathWorld Korteweg-deVriesEquation
History
- 2026-10-26: add by m2/dev
strictly decreasing function 5S7N7FCNHD
| URI | m2://inv/5S7N7FCNHD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78056160, strictly decreasing function (unknown). Also MathWorld StrictlyDecreasingFunction
History
- 2026-10-26: add by m2/dev
intermediate value theorem 5S7VRZQNC8
| URI | m2://inv/5S7VRZQNC8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 6 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Intermediate value theorem 00KAFBR32E |
Mentions
- mathlib_100: mathlib_100 79, The Intermediate Value Theorem (statement). Also Mathlib intermediate_value_Icc
- mathlib_1000: mathlib_1000 Q245098, Intermediate value theorem (statement). Also Mathlib intermediate_value_Icc, Wikidata Q245098
- mathlib_1000: mathlib_1000 Q245098X, Bolzano's theorem (statement). Also Wikidata Q245098
- mathlib_overview: mathlib_overview Topology > Topological algebra > intermediate value theorem, intermediate value theorem (unknown). Also Mathlib intermediate_value_Icc
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Real-valued functions defined on a subset of $\R$ > intermediate value theorem, intermediate value theorem (unknown). Also Mathlib intermediate_value_Icc
- thousand_plus: thousand_plus Q245098, Intermediate value theorem (statement). Also Mathlib intermediate_value_Icc, Wikidata Q245098, Wikipedia Intermediate value theorem
- thousand_plus: thousand_plus Q245098X, Bolzano's theorem (statement). Also Wikidata Q245098, Wikipedia Bolzano's theorem
- wikidata: Wikidata Q245098, intermediate value theorem (statement). Also Mathlib intermediate_value_Icc, MathWorld IntermediateValueTheorem, nLab intermediate value theorem, ProofWiki Intermediate_Value_Theorem
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Robert Schrader 5SBA7AE77M
| URI | m2://inv/5SBA7AE77M |
|---|---|
| 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 Q1432895, Robert Schrader (unknown). Also nLab Robert Schrader
History
- 2026-10-26: add by m2/dev
NP-hard 5SBEG5B4PC
| URI | m2://inv/5SBEG5B4PC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1137554, NP-hard (unknown). Also MathWorld NP-HardProblem
History
- 2026-10-26: add by m2/dev
trivial subgroup 5SF78C77CF
| URI | m2://inv/5SF78C77CF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131513691, trivial subgroup (unknown). Also LMFDB knowl group.trivial_subgroup
History
- 2026-10-26: add by m2/dev
Igor Shafarevich 5SFFEYTCWW
| URI | m2://inv/5SFFEYTCWW |
|---|---|
| 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 Q710920, Igor Shafarevich (unknown). Also nLab Igor Shafarevich
History
- 2026-10-26: add by m2/dev
divisor 5SH82G5SA7
| URI | m2://inv/5SH82G5SA7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q909669, divisor (unknown). Also nLab divisor (algebraic geometry)
History
- 2026-10-26: add by m2/dev
Stefan Banach 5SH8XH255K
| URI | m2://inv/5SH8XH255K |
|---|---|
| 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 Q180217, Stefan Banach (unknown). Also nLab Stefan Banach, ProofWiki Mathematician:Stefan_Banach
History
- 2026-10-26: add by m2/dev
Irving Segal 5SJ861GN37
| URI | m2://inv/5SJ861GN37 |
|---|---|
| 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 Q381347, Irving Segal (unknown). Also nLab Irving Segal
History
- 2026-10-26: add by m2/dev
Jensen's theorem 5SJRG070N6
| URI | m2://inv/5SJRG070N6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16799603, Jensen's theorem (unknown). Also MathWorld JensensTheorem
History
- 2026-10-26: add by m2/dev
Tutte theorem 5SJYM3MGXT
| URI | m2://inv/5SJYM3MGXT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Tutte's theorem 08J7R35B6Q |
Mentions
- mathlib_1000: mathlib_1000 Q510197, Tutte theorem (statement). Also Mathlib SimpleGraph.tutte, Wikidata Q510197
- thousand_plus: thousand_plus Q510197, Tutte theorem (statement). Also Mathlib SimpleGraph.tutte, Wikidata Q510197, Wikipedia Tutte theorem
- wikidata: Wikidata Q510197, Tutte theorem (statement). Also MathWorld TuttesTheorem
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Lucas cubic 5SMQ5AN6MF
| URI | m2://inv/5SMQ5AN6MF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1963352, Lucas cubic (unknown). Also MathWorld LucasCubic
History
- 2026-10-26: add by m2/dev
L/l 5SNTE81818
| URI | m2://inv/5SNTE81818 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9927, L/l (unknown). Also ProofWiki Symbols:L
History
- 2026-10-26: add by m2/dev
Egyptian mathematics 5SP9DEVP74
| URI | m2://inv/5SP9DEVP74 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 01A16 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1330884, Egyptian mathematics (topic)
History
- 2026-10-26: add by m2/dev
Fisher separation theorem 5SWCG8S1MJ
| URI | m2://inv/5SWCG8S1MJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q488541, Fisher separation theorem (statement). Also Wikidata Q488541
- thousand_plus: thousand_plus Q488541, Fisher separation theorem (statement). Also Wikidata Q488541, Wikipedia Fisher separation theorem
History
- 2026-10-26: add by m2/dev
black chess piece 5SXWYQ3MT3
| URI | m2://inv/5SXWYQ3MT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54933456, black chess piece (definition). Also ProofWiki Definition:Chess/Player/Black
History
- 2026-10-26: add by m2/dev