Inventory rows CJ
The cards of the rows of the inventory whose ids start with CJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Planar separator theorem CJ2EH5WKXN
| URI | m2://inv/CJ2EH5WKXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7200963, Planar separator theorem (statement). Also Wikidata Q7200963
- thousand_plus: thousand_plus Q7200963, Planar separator theorem (statement). Also Wikidata Q7200963, Wikipedia Planar separator theorem
History
- 2026-10-26: add by m2/dev
estimator CJ3X9JVYB4
| URI | m2://inv/CJ3X9JVYB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Estimator 0SSS6ERQ0S |
Mentions
- wikidata: Wikidata Q1130160, estimator (unknown). Also MathWorld Estimator
History
- 2026-10-26: add by m2/dev
Wilson quotient CJ6JDKJV43
| URI | m2://inv/CJ6JDKJV43 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3894437, Wilson quotient (unknown). Also MathWorld WilsonQuotient, OEIS A007619
History
- 2026-10-26: add by m2/dev
Mastermind CJ7BFQVH00
| URI | m2://inv/CJ7BFQVH00 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17286, Mastermind (unknown). Also MathWorld Mastermind
History
- 2026-10-26: add by m2/dev
L-balance theorem CJ8DPMQBHV
| URI | m2://inv/CJ8DPMQBHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6456122, L-balance theorem (statement). Also Wikidata Q6456122
- thousand_plus: thousand_plus Q6456122, L-balance theorem (statement). Also Wikidata Q6456122, Wikipedia L-balance theorem
History
- 2026-10-26: add by m2/dev
product rule CJCQDEZ76D
| URI | m2://inv/CJCQDEZ76D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Product rule 0V9A43H7WV |
Mentions
- wikidata: Wikidata Q466720, product rule (unknown). Also MathWorld ProductRule, nLab product law
History
- 2026-10-26: add by m2/dev
Bicorn CJJQSE6BMS
| URI | m2://inv/CJJQSE6BMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3772869, Bicorn (unknown). Also MathWorld Bicorn
History
- 2026-10-26: add by m2/dev
function space CJMJBHNMT0
| URI | m2://inv/CJMJBHNMT0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Function space 0GZB2SN0PH |
Mentions
- wikidata: Wikidata Q934367, function space (unknown). Also MathWorld FunctionSpace, nLab function space
History
- 2026-10-26: add by m2/dev
Commandino's theorem CJMRSWJG1F
| URI | m2://inv/CJMRSWJG1F |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226625, Commandino's theorem (statement). Also Mathlib Affine.Simplex.point_vsub_centroid_eq_smul_vsub, Wikidata Q2226625
- thousand_plus: thousand_plus Q2226625, Commandino's theorem (statement). Also Mathlib Affine.Simplex.point_vsub_centroid_eq_smul_vsub, Wikidata Q2226625, Wikipedia Commandino's theorem
History
- 2026-10-26: add by m2/dev
geodesic convexity CJZ9HPHQB5
| URI | m2://inv/CJZ9HPHQB5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5533980, geodesic convexity (unknown). Also nLab geodesic convexity
History
- 2026-10-26: add by m2/dev