Inventory rows P7
The cards of the rows of the inventory whose ids start with P7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Zeno's paradoxes P70XHX32SM
| URI | m2://inv/P70XHX32SM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q33378, Zeno's paradoxes (unknown). Also MathWorld ZenosParadoxes
History
- 2026-10-26: add by m2/dev
Atkinson's theorem P776T1X33Y
| URI | m2://inv/P776T1X33Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 47-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4815899, Atkinson's theorem (statement). Also Wikidata Q4815899
- thousand_plus: thousand_plus Q4815899, Atkinson's theorem (statement). Also Wikidata Q4815899, Wikipedia Atkinson's theorem
History
- 2026-10-26: add by m2/dev
Ackermann function P791GXEGJA
| URI | m2://inv/P791GXEGJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Computability > Ackermann function, Ackermann function (unknown). Also Mathlib ack
History
- 2026-10-26: add by m2/dev
P79803W5N6 P79803W5N6
| URI | m2://inv/P79803W5N6 |
|---|---|
| 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 Q138958234 (unknown). Also nLab Christian Saemann
History
- 2026-10-26: add by m2/dev
Paul Appell P7ABBK3G0E
| URI | m2://inv/P7ABBK3G0E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q715906, Paul Appell (statement). Also ProofWiki personnage/Paul_Émile_Appell/105834
History
- 2026-10-26: add by m2/dev
Wilson loop P7ADABMTTM
| URI | m2://inv/P7ADABMTTM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q206552, Wilson loop (unknown). Also nLab Wilson loop
History
- 2026-10-26: add by m2/dev
approximation by convolution P7ERS0M3GR
| URI | m2://inv/P7ERS0M3GR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > approximation by convolution, approximation by convolution (unknown). Also Mathlib ContDiffBump.convolution_tendsto_right
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > approximation by convolution, approximation by convolution (unknown). Also Mathlib ContDiffBump.convolution_tendsto_right
History
- 2026-10-26: add by m2/dev
Carathéodory's existence theorem P7MBPMYDAS
| URI | m2://inv/P7MBPMYDAS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 34-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5037752, Carathéodory's existence theorem (statement). Also Wikidata Q5037752
- thousand_plus: thousand_plus Q5037752, Carathéodory's existence theorem (statement). Also Wikidata Q5037752, Wikipedia Carathéodory's existence theorem
History
- 2026-10-26: add by m2/dev
perfect ruler P7NKQS516F
| URI | m2://inv/P7NKQS516F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7168097, perfect ruler (unknown). Also MathWorld PerfectRuler
History
- 2026-10-26: add by m2/dev
Lawvere theory P7QH3HT6C2
| URI | m2://inv/P7QH3HT6C2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6505076, Lawvere theory (unknown). Also nLab Lawvere theory
History
- 2026-10-26: add by m2/dev
geometrization conjecture P7RT5RPC22
| URI | m2://inv/P7RT5RPC22 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1503309, geometrization conjecture (conjecture). Also MathWorld ThurstonsGeometrizationConjecture, nLab geometrization conjecture, ProofWiki Thurston's_Geometrization_Conjecture
History
- 2026-10-26: add by m2/dev
Cauchy integral formula P7T3RQBXDZ
| URI | m2://inv/P7T3RQBXDZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Complex analysis > Cauchy integral formula, Cauchy integral formula (unknown). Also Mathlib DiffContOnCl.circleIntegral_sub_inv_smul
History
- 2026-10-26: add by m2/dev
analytic philosophy P7VVCASKKB
| URI | m2://inv/P7VVCASKKB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q183216, analytic philosophy (unknown). Also nLab analytic philosophy
History
- 2026-10-26: add by m2/dev
quadrilateral P7XDGPXTB2
| URI | m2://inv/P7XDGPXTB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q36810, quadrilateral (definition). Also EoM Quadrilateral, MathWorld Quadrilateral, ProofWiki Definition:Quadrilateral
History
- 2026-10-26: add by m2/dev
complete quadrilateral P7ZD58NEWW
| URI | m2://inv/P7ZD58NEWW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28092803, complete quadrilateral (unknown). Also MathWorld CompleteQuadrilateral
History
- 2026-10-26: add by m2/dev