Inventory rows 4N
The cards of the rows of the inventory whose ids start with 4N. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
congruence 4N3M7M4AGM
| URI | m2://inv/4N3M7M4AGM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q154210, CPCTC (statement). Also Mathlib EuclideanGeometry.triangle_congruent_iff_dist_eq, Mathlib EuclideanGeometry.angle_eq_of_congruent, Wikidata Q154210
- thousand_plus: thousand_plus Q154210, CPCTC (statement). Also Wikidata Q154210, Wikipedia CPCTC
- wikidata: Wikidata Q154210, congruence (unknown). Also MathWorld GeometricCongruence
History
- 2026-10-26: add by m2/dev
Clebsch graph 4N8QBTF5ED
| URI | m2://inv/4N8QBTF5ED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q367494, Clebsch graph (unknown). Also House of Graphs 975, MathWorld ClebschGraph
History
- 2026-10-26: add by m2/dev
Laplace distribution 4N905D56CJ
| URI | m2://inv/4N905D56CJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q671617, Laplace distribution (unknown). Also EoM Laplace_distribution, MathWorld LaplaceDistribution
History
- 2026-10-26: add by m2/dev
infinite cyclic group 4NA11QPNCV
| URI | m2://inv/4NA11QPNCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54806746, infinite cyclic group (definition). Also ProofWiki Definition:Infinite_Cyclic_Group
History
- 2026-10-26: add by m2/dev
Eckhard Meinrenken 4NC8ERS595
| URI | m2://inv/4NC8ERS595 |
|---|---|
| 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 Q121391, Eckhard Meinrenken (unknown). Also nLab Eckhard Meinrenken
History
- 2026-10-26: add by m2/dev
projective variety 4NFRXDGHQ4
| URI | m2://inv/4NFRXDGHQ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3554818, projective variety (unknown). Also EoM Projective_algebraic_set, MathWorld ProjectiveAlgebraicVariety, nLab projective variety
History
- 2026-10-26: add by m2/dev
cribbage 4NNS39M7QH
| URI | m2://inv/4NNS39M7QH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1139885, cribbage (unknown). Also MathWorld Cribbage
History
- 2026-10-26: add by m2/dev
representation 4NQDCPBEMC
| URI | m2://inv/4NQDCPBEMC |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 17B10 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2905654, representation (topic)
History
- 2026-10-26: add by m2/dev
Hebbian rule 4NR6579BHV
| URI | m2://inv/4NR6579BHV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1277874, Hebbian rule (unknown). Also EoM Hebb_rule
History
- 2026-10-26: add by m2/dev
rectification 4NRQN153W9
| URI | m2://inv/4NRQN153W9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4967193, rectification (unknown). Also MathWorld Rectification
History
- 2026-10-26: add by m2/dev
Borel fixed-point theorem 4NRT4HPZR2
| URI | m2://inv/4NRT4HPZR2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4944908, Borel fixed-point theorem (statement). Also Wikidata Q4944908
- thousand_plus: thousand_plus Q4944908, Borel fixed-point theorem (statement). Also Wikidata Q4944908, Wikipedia Borel fixed-point theorem
History
- 2026-10-26: add by m2/dev
Liouville's theorem 4NTP3C92SZ
| URI | m2://inv/4NTP3C92SZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 70-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q766722, Liouville's theorem (statement). Also Wikidata Q766722
- thousand_plus: thousand_plus Q766722, Liouville's theorem (statement). Also Wikidata Q766722, Wikipedia Liouville's theorem (Hamiltonian)
History
- 2026-10-26: add by m2/dev
Weibull distribution 4NWG63AYHP
| URI | m2://inv/4NWG63AYHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q732332, Weibull distribution (unknown). Also MathWorld WeibullDistribution
History
- 2026-10-26: add by m2/dev
Lester's theorem 4NXSXW4147
| URI | m2://inv/4NXSXW4147 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1631749, Lester's theorem (statement). Also Wikidata Q1631749
- thousand_plus: thousand_plus Q1631749, Lester's theorem (statement). Also Wikidata Q1631749, Wikipedia Lester's theorem
- wikidata: Wikidata Q1631749, Lester's theorem (statement). Also MathWorld LesterCircle
History
- 2026-10-26: add by m2/dev
Paul Halmos 4NYQB8XXPC
| URI | m2://inv/4NYQB8XXPC |
|---|---|
| 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 Q370085, Paul Halmos (unknown). Also ProofWiki Mathematician:Paul_Halmos
History
- 2026-10-26: add by m2/dev
Sazonov's theorem 4NZ17YA1KV
| URI | m2://inv/4NZ17YA1KV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4455023, Sazonov's theorem (statement). Also Wikidata Q4455023
- thousand_plus: thousand_plus Q4455023, Sazonov's theorem (statement). Also Wikidata Q4455023, Wikipedia Sazonov's theorem
History
- 2026-10-26: add by m2/dev
fundamental system of solutions 4NZM4AFMRV
| URI | m2://inv/4NZM4AFMRV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15936047, fundamental system of solutions (unknown). Also EoM Fundamental_system_of_solutions
History
- 2026-10-26: add by m2/dev