Inventory rows 5W
The cards of the rows of the inventory whose ids start with 5W. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Forcing function 5W0AKEJDH6
| URI | m2://inv/5W0AKEJDH6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forcing function (differential equations), Forcing function (definition). Also Wikidata Q5467589
History
- 2026-11-02: add by m2/dev
5W0CPY50XY 5W0CPY50XY
| URI | m2://inv/5W0CPY50XY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#4VBC (statement). In GYMGDQS25R/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
Entire function 5W0K2QGX38
| URI | m2://inv/5W0K2QGX38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#D7DT, Entire function (definition)
History
- 2026-11-02: add by m2/dev
Valuation 5W0QPA4R44
| URI | m2://inv/5W0QPA4R44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation (logic), Valuation (definition). Also Wikidata Q852662
History
- 2026-11-02: add by m2/dev
5W0R7FB29V 5W0R7FB29V
| URI | m2://inv/5W0R7FB29V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09019#HRWS (statement). In 8V6YECFCC1/e1, corollary 5.3
History
- 2026-10-29: add by m2/v0.4.10
5W0XC0TBVE 5W0XC0TBVE
| URI | m2://inv/5W0XC0TBVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01946#WXGF (statement). In NB1Z31FMXN/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
Fan and sail example 5W12W2ECKC
| URI | m2://inv/5W12W2ECKC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's laws of motion#LZZU, Fan and sail example (unknown)
History
- 2026-11-02: add by m2/dev
E. H. Moore 5W18NCE5V1
| URI | m2://inv/5W18NCE5V1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#HOD2, E. H. Moore (topic)
History
- 2026-11-02: add by m2/dev
Words on an arithmetic coset 5W191WHZYJ
| URI | m2://inv/5W191WHZYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#T2AB, Words on an arithmetic coset (statement). In FRMCKEGVJZ/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Fred Cozens 5W1FC0SNQT
| URI | m2://inv/5W1FC0SNQT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#8DES, Fred Cozens (unknown)
History
- 2026-11-02: add by m2/dev
5W1KEA16ME 5W1KEA16ME
| URI | m2://inv/5W1KEA16ME |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#WVG8 (definition). In V97F4YZ8B0/e1, definition 8.12
History
- 2026-10-28: add by m2/v0.4.2
Experiment 5W1P7FDKB2
| URI | m2://inv/5W1P7FDKB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Experiment (probability theory), Experiment (definition). Also Wikidata Q228174
History
- 2026-11-02: add by m2/dev
primitive complex roots of unity 5W1ZBQCZ0N
| URI | m2://inv/5W1ZBQCZ0N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Abelian group > primitive complex roots of unity, primitive complex roots of unity (unknown). Also Mathlib Complex.isPrimitiveRoot_iff
History
- 2026-10-26: add by m2/dev
Definitions 5W255CVXH4
| URI | m2://inv/5W255CVXH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex polytope#Z4MV, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Example 5W291745CZ
| URI | m2://inv/5W291745CZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#L2AI, Example (example)
History
- 2026-11-02: add by m2/dev
5W2KHS5G9V 5W2KHS5G9V
| URI | m2://inv/5W2KHS5G9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#O7HM (statement). In 7CK21JGM5A/e1, lemma 5.10
History
- 2026-10-27: add by m2/v0.4.2
5W2Z24T14H 5W2Z24T14H
| URI | m2://inv/5W2Z24T14H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#O6X6 (statement). In 80S2NP05HJ/e1, proposition 3.19
History
- 2026-10-27: add by m2/v0.4.0
contravariant functor 5W3CREJQ7Z
| URI | m2://inv/5W3CREJQ7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#B7B4, contravariant functor (definition)
History
- 2026-11-02: add by m2/dev
Werner Israel 5W3G2JPDCW
| URI | m2://inv/5W3G2JPDCW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#VDTW, Werner Israel (unknown)
History
- 2026-11-02: add by m2/dev
5W3N7F55MA 5W3N7F55MA
| URI | m2://inv/5W3N7F55MA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07285#VGOL (statement). In S284XRA4WK/e1, proposition B.6
History
- 2026-10-29: add by m2/v0.4.10
5W3P89AWKE 5W3P89AWKE
| URI | m2://inv/5W3P89AWKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#MRJJ (statement). In X38P26DK6S/e1, proposition 5.28
History
- 2026-10-27: add by m2/v0.4.0
Geometric measure theory 5W3RCGKC3V
| URI | m2://inv/5W3RCGKC3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#MWZ4, Geometric measure theory (definition)
History
- 2026-11-02: add by m2/dev
Diffie–Hellman problem 5W45CA6G1D
| URI | m2://inv/5W45CA6G1D |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffie–Hellman problem, Diffie–Hellman problem (problem). Also Wikidata Q5275394
History
- 2026-11-02: add by m2/dev
5W465TV635 5W465TV635
| URI | m2://inv/5W465TV635 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21494#O9UM (statement). In ZWT4C1DYPE/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.4.2
5W4ANPTG02 5W4ANPTG02
| URI | m2://inv/5W4ANPTG02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29498#8X81 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Schroeppel and Shamir's algorithm 5W4CDX7GYM
| URI | m2://inv/5W4CDX7GYM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subset sum problem#99O6, Schroeppel and Shamir's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
5W4DRR0GCM 5W4DRR0GCM
| URI | m2://inv/5W4DRR0GCM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16002#WQX1 (example). In MWXDTQ7XC4/e1, example 4.2
History
- 2026-10-28: add by m2/v0.4.2
5W4GSAFDS7 5W4GSAFDS7
| URI | m2://inv/5W4GSAFDS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28046#EQZN (statement)
History
- 2026-11-01: add by m2/v0.6.15
5W4MJKR11J 5W4MJKR11J
| URI | m2://inv/5W4MJKR11J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#VHXI (statement). In REDG6QVHM3/e1, lemma 4.17
History
- 2026-10-29: add by m2/v0.4.12
Taylor series expansions 5W4Q1KCNHP
| URI | m2://inv/5W4Q1KCNHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Taylor-like theorems > Taylor series expansions, Taylor series expansions (unknown)
History
- 2026-10-26: add by m2/dev
Musselman's theorem 5W4TMJNRGS
| URI | m2://inv/5W4TMJNRGS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#KHZA, Musselman's theorem (statement)
History
- 2026-11-02: add by m2/dev
Random matrix 5W4VR59RS4
| URI | m2://inv/5W4VR59RS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TSYP, Random matrix (definition)
History
- 2026-11-02: add by m2/dev
Reduced graph 5W4X31HYCN
| URI | m2://inv/5W4X31HYCN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#BVB6, Reduced graph (definition). In 5EKTECQ2P1/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Pseudo-zero set 5W5CMMS14B
| URI | m2://inv/5W5CMMS14B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-zero set, Pseudo-zero set (definition). Also Wikidata Q7254453
History
- 2026-11-02: add by m2/dev
Examples 5W5DVP28RS
| URI | m2://inv/5W5DVP28RS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intransitive game#9SQ1, Examples (example)
History
- 2026-11-02: add by m2/dev
Zoeppritz equations 5W5F18JP3P
| URI | m2://inv/5W5F18JP3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zoeppritz equations, Zoeppritz equations (definition). Also Wikidata Q8073330
History
- 2026-11-02: add by m2/dev
Andrzej Pliś 5W5GTYZTJF
| URI | m2://inv/5W5GTYZTJF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrzej Pliś, Andrzej Pliś (topic). Also Wikidata Q102234406
History
- 2026-11-02: add by m2/dev
5W5RQ5Q8WM 5W5RQ5Q8WM
| URI | m2://inv/5W5RQ5Q8WM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#8XBS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wartenberg's coefficient 5W5YE2KTEQ
| URI | m2://inv/5W5YE2KTEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wartenberg's coefficient, Wartenberg's coefficient (definition). Also Wikidata Q125727631
History
- 2026-11-02: add by m2/dev
Left inverse function 5W618FEXJG
| URI | m2://inv/5W618FEXJG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function#CH72, Left inverse function (unknown)
History
- 2026-11-02: add by m2/dev
Weak convergence of pyramids 5W62S9FCG5
| URI | m2://inv/5W62S9FCG5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#KQX1, Weak convergence of pyramids (definition)
History
- 2026-11-01: add by m2/v0.6.15
5W64B09XY8 5W64B09XY8
| URI | m2://inv/5W64B09XY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03477#6QYI (statement). In GXN3D4G4HE/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
Trapezohedron 5W6543RG2S
| URI | m2://inv/5W6543RG2S |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#GGFC, Trapezohedron (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#SZC5, Trapezohedron (object)
History
- 2026-11-02: add by m2/dev
Danish Mathematical Society 5W67G8N760
| URI | m2://inv/5W67G8N760 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#MGR6, Danish Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
5W69EYZ812 5W69EYZ812
| URI | m2://inv/5W69EYZ812 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#OEVU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Qualitative research 5W6ATNJ4R0
| URI | m2://inv/5W6ATNJ4R0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qualitative research, Qualitative research (definition). Also Wikidata Q839486
History
- 2026-11-02: add by m2/dev
Main result of and Theorem 2.1 5W6CEY2VBK
| URI | m2://inv/5W6CEY2VBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.05684#GESJ, Main result of and Theorem 2.1 (statement). In 1PR73ECTZB/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Theon of Smyrna 5W6F45ZF9J
| URI | m2://inv/5W6F45ZF9J |
|---|---|
| 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 Q705950, Theon of Smyrna (unknown). Also ProofWiki Mathematician:Theon_of_Smyrna
History
- 2026-10-26: add by m2/dev
James H. Ellis 5W6JQ51MKB
| URI | m2://inv/5W6JQ51MKB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#65AM, James H. Ellis (unknown)
History
- 2026-11-02: add by m2/dev
5W6M9NTFK8 5W6M9NTFK8
| URI | m2://inv/5W6M9NTFK8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05193#P3TR (example). In XDMM0KNNZ9/e1, example 24
History
- 2026-10-29: add by m2/v0.4.10
Reliability (statistics) 5W6QVEF6TS
| URI | m2://inv/5W6QVEF6TS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#79CE, Reliability (statistics) (definition)
History
- 2026-11-02: add by m2/dev
5W6R9TEJ6G 5W6R9TEJ6G
| URI | m2://inv/5W6R9TEJ6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.08714#V4U9 (statement). In A3RAXBSWA5/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Nambooripad order 5W7CXR4PCQ
| URI | m2://inv/5W7CXR4PCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nambooripad order, Nambooripad order (definition). Also Wikidata Q6961405
History
- 2026-11-02: add by m2/dev
5W7EQJ57PZ 5W7EQJ57PZ
| URI | m2://inv/5W7EQJ57PZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02628#HE0A (statement). In G4S9C5M1A4/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Nowhere dense set 5W7P0N334G
| URI | m2://inv/5W7P0N334G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#M4B8, Nowhere dense set (definition)
- wikipedia: Wikipedia List of exceptional set concepts#AQGE, Nowhere dense set (definition)
- wikipedia: Wikipedia List of types of sets#NN4H, Nowhere dense set (definition)
History
- 2026-11-02: add by m2/dev
DONE 5W7PWJTSKP
| URI | m2://inv/5W7PWJTSKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DONE, DONE (definition). Also Wikidata Q28455219
History
- 2026-11-02: add by m2/dev
Solar temperature 5W7QG3KZPY
| URI | m2://inv/5W7QG3KZPY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective temperature#NOYG, Solar temperature (unknown)
History
- 2026-11-02: add by m2/dev
5W7R6VMPZF 5W7R6VMPZF
| URI | m2://inv/5W7R6VMPZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36818#UHS0 (statement). In SK6AP2B9JH/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Stabilization is Well-Defined 5W7TVK8ZFV
| URI | m2://inv/5W7TVK8ZFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.16304#BW29, Stabilization is Well-Defined (statement). In NEGP0YBA3C/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.6
path graph 5W7Y06HT43
| URI | m2://inv/5W7Y06HT43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Path graph 075WR6W3Y3 |
Mentions
- wikidata: Wikidata Q917421, path graph (definition). Also MathWorld PathGraph, ProofWiki Definition:Path_Graph
- wikipedia: Wikipedia Path graph, Path graph (definition). Also Wikidata Q917421
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
5W82JSXTT0 5W82JSXTT0
| URI | m2://inv/5W82JSXTT0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20606#9S8A (definition)
History
- 2026-11-02: add by m2/v0.6.18
Associate of the Institute of Actuaries 5W82Y5BD8K
| URI | m2://inv/5W82Y5BD8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Actuaries#7YDJ, Associate of the Institute of Actuaries (unknown)
History
- 2026-11-02: add by m2/dev
Frostman lemma 5W8520BYCN
| URI | m2://inv/5W8520BYCN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frostman lemma, Frostman lemma (statement). Also Wikidata Q5506220
History
- 2026-11-02: add by m2/dev
1 5W87Q52YAS
| URI | m2://inv/5W87Q52YAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#KXSW, 1 (definition)
History
- 2026-11-02: add by m2/dev
Spin(8) 5W88FEYGVJ
| URI | m2://inv/5W88FEYGVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SO(8)#G7CW, Spin(8) (unknown)
History
- 2026-11-02: add by m2/dev
5W8EKV686T 5W8EKV686T
| URI | m2://inv/5W8EKV686T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03719#RDNV (statement). In 8MDK189ZMB/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.12
5W8NFEZZ6Z 5W8NFEZZ6Z
| URI | m2://inv/5W8NFEZZ6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20126#X6RP (statement). In KVXDWX9B11/e1, proposition B.2
History
- 2026-10-27: add by m2/v0.4.2
Newton's theorem about ovals 5W8PBMGCJR
| URI | m2://inv/5W8PBMGCJR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7020025, Newton's theorem about ovals (statement). Also Wikidata Q7020025
- thousand_plus: thousand_plus Q7020025, Newton's theorem about ovals (statement). Also Wikidata Q7020025, Wikipedia Newton's theorem about ovals
- wikipedia: Wikipedia Newton's theorem about ovals, Newton's theorem about ovals (statement). Also Wikidata Q7020025
History
- 2026-10-26: add by m2/dev
5W8XTD7GAS 5W8XTD7GAS
| URI | m2://inv/5W8XTD7GAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23119#KR6J (statement)
History
- 2026-11-02: add by m2/v0.6.17
5W93BDQHRH 5W93BDQHRH
| URI | m2://inv/5W93BDQHRH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#RH9S (definition). In M0SQY5EZN5/e1, definition 3.0.2
History
- 2026-10-27: add by m2/v0.3.5
5W966BWP9A 5W966BWP9A
| URI | m2://inv/5W966BWP9A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19853#W4OA (statement). In BDD1M5GZR3/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Giuseppe Vitali 5W968M9XK8
| URI | m2://inv/5W968M9XK8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#JFGD, Giuseppe Vitali (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2AY6, Giuseppe Vitali (topic)
History
- 2026-11-02: add by m2/dev
5W97QWK6NY 5W97QWK6NY
| URI | m2://inv/5W97QWK6NY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.04174#EQ3V (statement). In NVTHDNQQ4Q/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Key inequality 5W988MT5SF
| URI | m2://inv/5W988MT5SF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33643#HVQF, Key inequality (statement). In G8Y8XD02EC/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Definition 5W9R5DZ1FV
| URI | m2://inv/5W9R5DZ1FV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short integer solution problem#FXVE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Robert Leslie Ellis 5W9T9Y5DZ8
| URI | m2://inv/5W9T9Y5DZ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Leslie Ellis, Robert Leslie Ellis (topic). Also Wikidata Q7346856
History
- 2026-11-02: add by m2/dev
5W9WDG2BN8 5W9WDG2BN8
| URI | m2://inv/5W9WDG2BN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1009.2047#35BB (statement). In F3MWRNBNED/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
5W9XK1FQBR 5W9XK1FQBR
| URI | m2://inv/5W9XK1FQBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39389#EZ6D (statement). In PP5RE0W4D8/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Tox 5W9Z1PX2XS
| URI | m2://inv/5W9Z1PX2XS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tox (protocol), Tox (definition). Also Wikidata Q15989676
History
- 2026-11-02: add by m2/dev
metric space 5WA0WQDMEC
| URI | m2://inv/5WA0WQDMEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#ZANZ, metric space (definition)
History
- 2026-11-02: add by m2/dev
Yingshu Li 5WA1AVTKRX
| URI | m2://inv/5WA1AVTKRX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#X5NF, Yingshu Li (unknown)
History
- 2026-11-02: add by m2/dev
5WA2WCY3KR 5WA2WCY3KR
| URI | m2://inv/5WA2WCY3KR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#I81B (statement). In 7CK21JGM5A/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
Theorem 5WA6282EHZ
| URI | m2://inv/5WA6282EHZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier–Bros–Iagolnitzer transform#F7EH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Maurice René Fréchet 5WAA9W1K1Q
| URI | m2://inv/5WAA9W1K1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9D16, Maurice René Fréchet (topic)
History
- 2026-11-02: add by m2/dev
Birkhoff 5WAAGG91HN
| URI | m2://inv/5WAAGG91HN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01912#094A, Birkhoff (statement). In CTE1C9KYPY/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
5WABW9CD84 5WABW9CD84
| URI | m2://inv/5WABW9CD84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31300#ZHGT (statement). In ERHQDB8M41/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
5WAHD074TM 5WAHD074TM
| URI | m2://inv/5WAHD074TM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13629#SG4U (statement). In PQNYA0C510/e1, proposition 1.5
History
- 2026-10-28: add by m2/v0.4.2
5WAQZBC29S 5WAQZBC29S
| URI | m2://inv/5WAQZBC29S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20302#KFD1 (statement). In GN8JWKH956/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.2
Corollary 5WATG8383F
| URI | m2://inv/5WATG8383F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's basis theorem#KRE9, Corollary (statement)
History
- 2026-11-02: add by m2/dev
SciPy 5WATPZK9VS
| URI | m2://inv/5WATPZK9VS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#7XXK, SciPy (unknown)
History
- 2026-11-02: add by m2/dev
5WAX7ENQQW 5WAX7ENQQW
| URI | m2://inv/5WAX7ENQQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.10361#4BCG (statement). In 65ED1ZXG98/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
5WAXMQETVW 5WAXMQETVW
| URI | m2://inv/5WAXMQETVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#J3ZF (statement). In 37S7MNMZ2F/e1, corollary 70
History
- 2026-10-27: add by m2/v0.3.5
Verdier duality 5WAZ8ZB78B
| URI | m2://inv/5WAZ8ZB78B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7921124, Verdier duality (unknown). Also nLab Verdier duality
- wikipedia: Wikipedia Verdier duality, Verdier duality (definition). Also Wikidata Q7921124
History
- 2026-10-26: add by m2/dev
Bitcoin Gold 5WBAT44THW
| URI | m2://inv/5WBAT44THW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of bitcoin forks#EZP6, Bitcoin Gold (definition)
History
- 2026-11-02: add by m2/dev
5WBFJCRWR6 5WBFJCRWR6
| URI | m2://inv/5WBFJCRWR6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-36 (exercise). In E59CDZA4DP, exercise, section 8.4.3
History
- 2026-11-01: add by m2/v0.6.13
5WBGMT1T0N 5WBGMT1T0N
| URI | m2://inv/5WBGMT1T0N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11395#SXYN (example). In T3W7SMWQ73/e1, example 33
History
- 2026-10-28: add by m2/v0.4.3
Carla Savage 5WBMKSB1YW
| URI | m2://inv/5WBMKSB1YW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RL18, Carla Savage (unknown)
History
- 2026-11-02: add by m2/dev
5WBMPGFV2P 5WBMPGFV2P
| URI | m2://inv/5WBMPGFV2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28306#O4VB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Submodularity of $f$ 5WBRT5DMH1
| URI | m2://inv/5WBRT5DMH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33946#T7Q7, Submodularity of $f$ (statement). In T61D8EZH24/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
GMM Lower Bound 5WBT903WCY
| URI | m2://inv/5WBT903WCY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21033#XHZB, GMM Lower Bound (statement). In A8C1M9BSWH/e1, theorem G.1
History
- 2026-10-27: add by m2/v0.4.2
5WBV3P4R9V 5WBV3P4R9V
| URI | m2://inv/5WBV3P4R9V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19285#9F0C (definition). In 6DJR9DKY5W/e1, definition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Equivalent definitions 5WBV7MJFQ4
| URI | m2://inv/5WBV7MJFQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral element#2HPA, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
5WBWDWWWV6 5WBWDWWWV6
| URI | m2://inv/5WBWDWWWV6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10078#1YR9 (statement). In YVGRZK1HRS/e1, theorem 3.7
History
- 2026-10-29: add by m2/v0.4.10
Properties 5WC2ET43TA
| URI | m2://inv/5WC2ET43TA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous group action#4H1T, Properties (statement)
History
- 2026-11-02: add by m2/dev
5WCG0GCB2V 5WCG0GCB2V
| URI | m2://inv/5WCG0GCB2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#52F3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statistical relational learning 5WCR4JV4T0
| URI | m2://inv/5WCR4JV4T0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AJL7, Statistical relational learning (definition)
History
- 2026-11-02: add by m2/dev
5WCY539P2B 5WCY539P2B
| URI | m2://inv/5WCY539P2B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00786#1HPB (statement). In XKEE0DK6N3/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Eudaemons 5WD1V26676
| URI | m2://inv/5WD1V26676 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eudaemons, Eudaemons (definition). Also Wikidata Q5406396
History
- 2026-11-02: add by m2/dev
Addition theorems 5WDBBJGTP5
| URI | m2://inv/5WDBBJGTP5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solid harmonics#3CKA, Addition theorems (statement)
History
- 2026-11-02: add by m2/dev
5WDHAR5DQX 5WDHAR5DQX
| URI | m2://inv/5WDHAR5DQX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/integers.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 78.4
History
- 2026-11-01: add by m2/v0.6.13
Gap coding 5WDJFB1B6C
| URI | m2://inv/5WDJFB1B6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04271#6S8R, Gap coding (statement). In WBXAW9G4JB/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.12
5WDSW5JMJB 5WDSW5JMJB
| URI | m2://inv/5WDSW5JMJB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#7V3B (example). In VD4JP4HVBX/e1, example 6.7
History
- 2026-10-28: add by m2/v0.4.2
Dirichlet decomposition 5WDV2W78HC
| URI | m2://inv/5WDV2W78HC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05421#XZ96, Dirichlet decomposition (statement). In 4R1MMSAAVK/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
5WE0B6V5EA 5WE0B6V5EA
| URI | m2://inv/5WE0B6V5EA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.00752#AI7M (example). In GGW2N4JHXM/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Gateway model 5WE4CB1RNJ
| URI | m2://inv/5WE4CB1RNJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21271#6ZKU, Gateway model (definition)
History
- 2026-11-02: add by m2/v0.6.18
Shirlee Smith 5WE8WR8663
| URI | m2://inv/5WE8WR8663 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#NPS8, Shirlee Smith (unknown)
History
- 2026-11-02: add by m2/dev
Frobenius normalization 5WEBWKE4MY
| URI | m2://inv/5WEBWKE4MY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#NZ2Y, Frobenius normalization (statement). In 8PTDFHV8SQ/e1, corollary 8.4
History
- 2026-10-28: add by m2/v0.4.3
Joseph Born Kadane 5WEHNM4TM3
| URI | m2://inv/5WEHNM4TM3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#TD6Z, Joseph Born Kadane (unknown)
History
- 2026-11-02: add by m2/dev
Circle-valued semimartingales and lifts 5WEPM4MEJZ
| URI | m2://inv/5WEPM4MEJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27851#NGHU, Circle-valued semimartingales and lifts (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hyperkähler families over the cones of $M_{g,n}^{\mathrm{trop}}$ 5WEVEFZFCJ
| URI | m2://inv/5WEVEFZFCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03384#69Y9, Hyperkähler families over the cones of $M_{g,n}^{\mathrm{trop}}$ (statement). In J55JTTKG84/e1, theorem 6.8
History
- 2026-10-29: add by m2/v0.4.12
German General Social Survey 5WEYQBBWJF
| URI | m2://inv/5WEYQBBWJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia German General Social Survey, German General Social Survey (definition). Also Wikidata Q506335
History
- 2026-11-02: add by m2/dev
5WF2PP82G4 5WF2PP82G4
| URI | m2://inv/5WF2PP82G4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33219#398C (statement). In ETTQWMJZXJ/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
dimension 5WF7892BWM
| URI | m2://inv/5WF7892BWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4440864, dimension (unknown). Also EoM Dimension, MathWorld Dimension
- wikipedia: Wikipedia Dimension, Dimension (definition). Also Wikidata Q4440864
History
- 2026-10-26: add by m2/dev
5WF96ADKBT 5WF96ADKBT
| URI | m2://inv/5WF96ADKBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19249#CPYF (statement). In 2X586J6KQ1/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
5WFCECR5JD 5WFCECR5JD
| URI | m2://inv/5WFCECR5JD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03477#II41 (statement). In GXN3D4G4HE/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.12
Formal definition 5WFDKXKT9R
| URI | m2://inv/5WFDKXKT9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotent algebra#SBRU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Thomas Fale 5WFE2YS82D
| URI | m2://inv/5WFE2YS82D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Fale, Thomas Fale (topic). Also Wikidata Q7789506
History
- 2026-11-02: add by m2/dev
Applications 5WFHYAJ0C7
| URI | m2://inv/5WFHYAJ0C7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subjective logic#ZNFD, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition 5WFK9YTGP7
| URI | m2://inv/5WFK9YTGP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fresnel integral#AURI, Definition (definition)
History
- 2026-11-02: add by m2/dev
5WGA7WYPN7 5WGA7WYPN7
| URI | m2://inv/5WGA7WYPN7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17863#RL4A (statement). In Y8XQT02BBF/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
5WGBDNZX8K 5WGBDNZX8K
| URI | m2://inv/5WGBDNZX8K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20725#19XB (definition)
History
- 2026-11-02: add by m2/v0.6.18
Stalks of maximal subsheaves 5WGBJ627JK
| URI | m2://inv/5WGBJ627JK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15887#2HDP, Stalks of maximal subsheaves (statement). In 87QYNZZ67Z/e1, corollary 10.4
History
- 2026-10-28: add by m2/v0.4.2
Kepler College 5WGEQDF7FC
| URI | m2://inv/5WGEQDF7FC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#HQ10, Kepler College (unknown)
History
- 2026-11-02: add by m2/dev
Calculus of variations 5WGVBW9NCD
| URI | m2://inv/5WGVBW9NCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#89KX, Calculus of variations (definition)
History
- 2026-11-02: add by m2/dev
Schreier refinement theorem 5WGZV75XS2
| URI | m2://inv/5WGZV75XS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1OIY, Schreier refinement theorem (statement)
History
- 2026-11-02: add by m2/dev
Example 5WH352BH4S
| URI | m2://inv/5WH352BH4S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ancillary statistic#AAL8, Example (example)
History
- 2026-11-02: add by m2/dev
Zayn al-Din Omar Savaji 5WH5NWB5HD
| URI | m2://inv/5WH5NWB5HD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#L2PO, Zayn al-Din Omar Savaji (unknown)
History
- 2026-11-02: add by m2/dev
Local quantum physics 5WHCD3V8K8
| URI | m2://inv/5WHCD3V8K8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#UMYY, Local quantum physics (definition)
History
- 2026-11-02: add by m2/dev
Richard P. Brent 5WHD6AX89Z
| URI | m2://inv/5WHD6AX89Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PTIR, Richard P. Brent (unknown)
History
- 2026-11-02: add by m2/dev
Rail fence cipher 5WHT944FK9
| URI | m2://inv/5WHT944FK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rail fence cipher, Rail fence cipher (definition). Also Wikidata Q2357696
History
- 2026-11-02: add by m2/dev
5WHW3B8VB9 5WHW3B8VB9
| URI | m2://inv/5WHW3B8VB9 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.11439#6PN4 (proof). In 9Z8RSQ36JC/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Special cases 5WHY02S47J
| URI | m2://inv/5WHY02S47J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear canonical transformation#HCPC, Special cases (statement)
History
- 2026-11-02: add by m2/dev
5WJ2RJ1THH 5WJ2RJ1THH
| URI | m2://inv/5WJ2RJ1THH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12371#MM1H (statement). In 8TTFQH19QR/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
5WJA0KEF53 5WJA0KEF53
| URI | m2://inv/5WJA0KEF53 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#BQP1 (example). In G02N9D40B9/e1, example 7.3.8
History
- 2026-10-29: add by m2/v0.4.10
Graph generation 5WJJ7K21JR
| URI | m2://inv/5WJJ7K21JR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#2L0F, Graph generation (statement). In E7W2HDNEKJ/e1, lemma 9.29
History
- 2026-10-30: add by m2/v0.4.12
5WJMCPNAX3 5WJMCPNAX3
| URI | m2://inv/5WJMCPNAX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38132#WB44 (statement). In K6CP8GP51H/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Harmonic analysis 5WJRM05J5E
| URI | m2://inv/5WJRM05J5E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#J0X2, Harmonic analysis (topic)
History
- 2026-11-02: add by m2/dev
Island Davaar 5WJTMP0NQR
| URI | m2://inv/5WJTMP0NQR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#SO1Y, Island Davaar (unknown)
History
- 2026-11-02: add by m2/dev
Ashoke Sen 5WJW4FBYWN
| URI | m2://inv/5WJW4FBYWN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#S764, Ashoke Sen (unknown)
History
- 2026-11-02: add by m2/dev
order of a pole 5WJXX2MEQN
| URI | m2://inv/5WJXX2MEQN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/order-of-a-pole, order of a pole (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
Sauveur Carrus 5WJYNPPR81
| URI | m2://inv/5WJYNPPR81 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3X89, Sauveur Carrus (unknown)
History
- 2026-11-02: add by m2/dev
MISER algorithm 5WJYYJ91GM
| URI | m2://inv/5WJYYJ91GM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#MU9N, MISER algorithm (definition)
History
- 2026-11-02: add by m2/dev
Hilary Putnam 5WK0HSPGXZ
| URI | m2://inv/5WK0HSPGXZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#6P2T, Hilary Putnam (topic)
History
- 2026-11-02: add by m2/dev
Ruan's theorem 5WKBBTGXYX
| URI | m2://inv/5WKBBTGXYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04608#248E, Ruan's theorem (statement). In ZYYMXYK7WJ/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
5WKESJBDC5 5WKESJBDC5
| URI | m2://inv/5WKESJBDC5 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05990#K2Z7 (problem). In G2R1ARDYK0/e1, problem 2.7
History
- 2026-10-29: add by m2/v0.4.10
5WKMQ0T1FW 5WKMQ0T1FW
| URI | m2://inv/5WKMQ0T1FW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35095#HNXV (statement). In MM3XTWS35F/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
5WKRXHPPVN 5WKRXHPPVN
| URI | m2://inv/5WKRXHPPVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22296#0PE6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Duality theory for distributive lattices 5WKTZYZD9Y
| URI | m2://inv/5WKTZYZD9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#AXMT, Duality theory for distributive lattices (definition)
History
- 2026-11-02: add by m2/dev
Vladimir Platonov 5WKVGJ1PDK
| URI | m2://inv/5WKVGJ1PDK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Platonov, Vladimir Platonov (topic). Also Wikidata Q3561844
History
- 2026-11-02: add by m2/dev
Finite normal range 5WKW8R3ZAP
| URI | m2://inv/5WKW8R3ZAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#XVTR, Finite normal range (statement)
History
- 2026-11-02: add by m2/v0.6.17
Harry Golombek 5WM6QJD39V
| URI | m2://inv/5WM6QJD39V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harry Golombek, Harry Golombek (topic). Also Wikidata Q540443
History
- 2026-11-02: add by m2/dev
5WMCV9XVK8 5WMCV9XVK8
| URI | m2://inv/5WMCV9XVK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31090#C9LS (statement). In SMTJDX0Q6R/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
Pavel Urysohn 5WMDBJP78R
| URI | m2://inv/5WMDBJP78R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ZGY1, Pavel Urysohn (topic)
History
- 2026-11-02: add by m2/dev
5WMKFRVHQH 5WMKFRVHQH
| URI | m2://inv/5WMKFRVHQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33015#JVCU (statement). In W6Y6NPK648/e1, corollary 5.17
History
- 2026-10-27: add by m2/v0.3.5
5WMKSJ1G23 5WMKSJ1G23
| URI | m2://inv/5WMKSJ1G23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#4C5P (statement)
History
- 2026-11-01: add by m2/v0.6.15
5WMTPRDD7X 5WMTPRDD7X
| URI | m2://inv/5WMTPRDD7X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proving-things-quant.tex#ex-2 (example). In PKGMM3P5QY, ex, section 15.6
History
- 2026-11-01: add by m2/v0.6.13
Henkaipentacontagon 5WMW5788QX
| URI | m2://inv/5WMW5788QX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons#UM4W, Henkaipentacontagon (unknown)
History
- 2026-11-02: add by m2/dev
Arakelov geometry 5WMZWA7R7V
| URI | m2://inv/5WMZWA7R7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#XW9N, Arakelov geometry (definition)
History
- 2026-11-02: add by m2/dev
Broken bar 5WN5SH8C6Y
| URI | m2://inv/5WN5SH8C6Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertical bar#EM9Z, Broken bar (unknown)
History
- 2026-11-02: add by m2/dev
Rectified 8-cubes 5WN6S1NSKA
| URI | m2://inv/5WN6S1NSKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 8-cubes, Rectified 8-cubes (definition). Also Wikidata Q7303166
History
- 2026-11-02: add by m2/dev
5WNGF66R1N 5WNGF66R1N
| URI | m2://inv/5WNGF66R1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#1GN7 (statement). In V7VCEA0VAA/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Ratio distribution 5WNQ8QWDXG
| URI | m2://inv/5WNQ8QWDXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#B0U1, Ratio distribution (definition)
History
- 2026-11-02: add by m2/dev
Theorem 5WNRV9BZ6P
| URI | m2://inv/5WNRV9BZ6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State (functional analysis)#7NOD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Symmetry aspects of M. C. Escher's periodic drawings 5WNW6RQVY8
| URI | m2://inv/5WNW6RQVY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry aspects of M. C. Escher's periodic drawings, Symmetry aspects of M. C. Escher's periodic drawings (definition). Also Wikidata Q125186322
History
- 2026-11-02: add by m2/dev
5WP1WKYYY8 5WP1WKYYY8
| URI | m2://inv/5WP1WKYYY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29478#F4I7 (statement). In XAFYHH8G7X/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
5WP4KDTWE8 5WP4KDTWE8
| URI | m2://inv/5WP4KDTWE8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/vectors.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 77.4
History
- 2026-11-01: add by m2/v0.6.13
operator, advancement 5WP5CBFHET
| URI | m2://inv/5WP5CBFHET |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.3/operator-advancement, operator, advancement (concept). In QKM9DD2H56, index, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
Rigour 5WP83G3YWJ
| URI | m2://inv/5WP83G3YWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigour, Rigour (definition). Also Wikidata Q2890076
History
- 2026-11-02: add by m2/dev
Nadine Bezuk 5WP9JXH70R
| URI | m2://inv/5WP9JXH70R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nadine Bezuk, Nadine Bezuk (topic). Also Wikidata Q107618963
History
- 2026-11-02: add by m2/dev
Kraków School of Mathematics 5WPA36V5X0
| URI | m2://inv/5WPA36V5X0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#4J56, Kraków School of Mathematics (definition)
History
- 2026-11-02: add by m2/dev
Geir Ellingsrud 5WPA5PYJ1J
| URI | m2://inv/5WPA5PYJ1J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geir Ellingsrud, Geir Ellingsrud (topic). Also Wikidata Q3358856
History
- 2026-11-02: add by m2/dev
5WPDP2J0N1 5WPDP2J0N1
| URI | m2://inv/5WPDP2J0N1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.22045#VIAU (statement). In 81TAX528PQ/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
One-step residual decrease 5WPPWBC0FX
| URI | m2://inv/5WPPWBC0FX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03306#NI8O, One-step residual decrease (statement). In CXQ7FKSKSB/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Díaz, María del Pilar 5WPWRZF110
| URI | m2://inv/5WPWRZF110 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XKWK, Díaz, María del Pilar (topic)
History
- 2026-11-02: add by m2/dev
5WQ1EHJ6CT 5WQ1EHJ6CT
| URI | m2://inv/5WQ1EHJ6CT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22237#8HI1 (statement). In 2FWTWMHA2W/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.0
Half-space as an S-free set 5WQ6H9MRQ9
| URI | m2://inv/5WQ6H9MRQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33946#WZHQ, Half-space as an S-free set (statement). In T61D8EZH24/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Branch cut functions 5WQB7GMR1Z
| URI | m2://inv/5WQB7GMR1Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/log.tex#cor:principal, Branch cut functions (statement). In RZP28ERRZV, theorem, section 40.5
History
- 2026-11-01: add by m2/v0.6.13
5WQC803HZS 5WQC803HZS
| URI | m2://inv/5WQC803HZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.06445#HPSE (statement). In 12JKZ8EN52/e1, theorem 1.10
History
- 2026-10-27: add by m2/v0.3.5
5WQGZWC5RJ 5WQGZWC5RJ
| URI | m2://inv/5WQGZWC5RJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#UNPX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Alice Roth Lecture Series 5WQJ16PEQ7
| URI | m2://inv/5WQJ16PEQ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alice Roth#7YA9, Alice Roth Lecture Series (unknown)
History
- 2026-11-02: add by m2/dev
5WQM9GKCRH 5WQM9GKCRH
| URI | m2://inv/5WQM9GKCRH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#problem-8 (exercise). In P1C114YBXG, problem, section J
History
- 2026-11-01: add by m2/v0.6.13
Ovidiu Savin 5WQMD451K7
| URI | m2://inv/5WQMD451K7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KUCH, Ovidiu Savin (topic)
History
- 2026-11-02: add by m2/dev
5WQN1KMDVM 5WQN1KMDVM
| URI | m2://inv/5WQN1KMDVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#definition-5 (definition). In P1C114YBXG, definition, section J
History
- 2026-11-01: add by m2/v0.6.13
LMO bound with residual scaling 5WQRM218PH
| URI | m2://inv/5WQRM218PH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13789#2J7L, LMO bound with residual scaling (statement). In 803XY7QQZ4/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.2
Auxiliary normed space 5WQV0BDD6J
| URI | m2://inv/5WQV0BDD6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auxiliary normed space, Auxiliary normed space (definition). Also Wikidata Q96372819
History
- 2026-11-02: add by m2/dev
5WR1W9NG27 5WR1W9NG27
| URI | m2://inv/5WR1W9NG27 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#thm:iso theorem for sets (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
5WR2HNRPPV 5WR2HNRPPV
| URI | m2://inv/5WR2HNRPPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.05628#GSF3 (statement). In 9JPKTEWW4W/e1, corollary 1.6
History
- 2026-10-27: add by m2/v0.3.5
5WR3MQM4NE 5WR3MQM4NE
| URI | m2://inv/5WR3MQM4NE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27730#E2YK (statement)
History
- 2026-11-01: add by m2/v0.6.15
5WR5S50X0F 5WR5S50X0F
| URI | m2://inv/5WR5S50X0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28265#CL21 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A Serious Man 5WR5WVRA4D
| URI | m2://inv/5WR5WVRA4D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#SJOA, A Serious Man (unknown)
History
- 2026-11-02: add by m2/dev
Single reveal 5WR6RFA00F
| URI | m2://inv/5WR6RFA00F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04989#LG5O, Single reveal (statement). In 1T4SYTCKW8/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
5WR9M768GV 5WR9M768GV
| URI | m2://inv/5WR9M768GV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30648#7JGW (statement). In 2P83KYQCMA/e1, lemma 18
History
- 2026-10-31: add by m2/v0.5.6
5WRCKCBKZ2 5WRCKCBKZ2
| URI | m2://inv/5WRCKCBKZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#MRTG (statement). In KAYGQMQPGS/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
5WRGSA8HHR 5WRGSA8HHR
| URI | m2://inv/5WRGSA8HHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20542#JX41 (statement). In 8PZXZ8Y9FK/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.4.2
5WRPFQNA25 5WRPFQNA25
| URI | m2://inv/5WRPFQNA25 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21762#3426 (definition). In CYDJ6JGD4A/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.4.2
by intimidation 5WRPKACN0N
| URI | m2://inv/5WRPKACN0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#MJOM, by intimidation (definition)
History
- 2026-11-02: add by m2/dev
5WRRYQN79S 5WRRYQN79S
| URI | m2://inv/5WRRYQN79S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11478#FCNN (statement). In R81S9R1XNR/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.3
reliability 5WRXKW8MF7
| URI | m2://inv/5WRXKW8MF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.14912#7VB1, reliability (statement). In A87BVH5DCM/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
Special cases 5WRZCWSVJ3
| URI | m2://inv/5WRZCWSVJ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezohedron#K94C, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Exponential Ill-Conditioning 5WS0Q326FD
| URI | m2://inv/5WS0Q326FD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#2KM5, Exponential Ill-Conditioning (statement). In Z6WA2R0J50/e1, corollary 2.15
History
- 2026-10-28: add by m2/v0.4.2
Apollonian sphere packing 5WS84HYDHS
| URI | m2://inv/5WS84HYDHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#698K, Apollonian sphere packing (definition)
History
- 2026-11-02: add by m2/dev
Midpoint formula 5WSBB6XHS1
| URI | m2://inv/5WSBB6XHS1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Section formula#CX8K, Midpoint formula (statement)
History
- 2026-11-02: add by m2/dev
buckyballs 5WSG4Q1W3M
| URI | m2://inv/5WSG4Q1W3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#1BOZ, buckyballs (definition)
History
- 2026-11-02: add by m2/dev
5WSGB55NJR 5WSGB55NJR
| URI | m2://inv/5WSGB55NJR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#BUAM (definition). In BJGS6ZCQ12/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.3.6
5WSVSHB6YF 5WSVSHB6YF
| URI | m2://inv/5WSVSHB6YF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22190#FJDU (definition). In AM6Y5W3HGG/e1, definition 2
History
- 2026-10-27: add by m2/v0.4.0
Dylan Morgan 5WSX9V3EWG
| URI | m2://inv/5WSX9V3EWG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dylan Morgan, Dylan Morgan (topic). Also Wikidata Q5318752
History
- 2026-11-02: add by m2/dev
AlphaEvolve 5WT0PGMSQQ
| URI | m2://inv/5WT0PGMSQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AlphaEvolve, AlphaEvolve (definition). Also Wikidata Q134463401
History
- 2026-11-02: add by m2/dev
5WT25WTV8X 5WT25WTV8X
| URI | m2://inv/5WT25WTV8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1406.2996#26J9 (statement). In 6XENXFC77F/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
Minimal simple group 5WT2KPXKQ9
| URI | m2://inv/5WT2KPXKQ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-group (finite group theory)#11FV, Minimal simple group (unknown)
History
- 2026-11-02: add by m2/dev
5WTAAD7A02 5WTAAD7A02
| URI | m2://inv/5WTAAD7A02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32033#0YSS (statement). In 17W5G060QX/e1, proposition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Gottesman–Knill theorem 5WTCHGR8M4
| URI | m2://inv/5WTCHGR8M4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZBTN, Gottesman–Knill theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications 5WTG7RN4TB
| URI | m2://inv/5WTG7RN4TB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angenent torus#QSYJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Paulo Ribenboim 5WTHJKY9FR
| URI | m2://inv/5WTHJKY9FR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q933700, Paulo Ribenboim (unknown). Also ProofWiki Mathematician:Paulo_Ribenboim
- wikipedia: Wikipedia Paulo Ribenboim, Paulo Ribenboim (topic). Also Wikidata Q933700
History
- 2026-10-26: add by m2/dev
5WTPSZSHPC 5WTPSZSHPC
| URI | m2://inv/5WTPSZSHPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20416#TR8B (statement). In P603M3M91A/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.4.2
5WTQGAZ6X3 5WTQGAZ6X3
| URI | m2://inv/5WTQGAZ6X3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#4UY2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tetradyakis hexahedron 5WTYD1MCT2
| URI | m2://inv/5WTYD1MCT2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubitruncated cuboctahedron#D1W9, Tetradyakis hexahedron (unknown)
History
- 2026-11-02: add by m2/dev
unary relation 5WTZG0M35F
| URI | m2://inv/5WTZG0M35F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q134514179, unary relation (definition). Also ProofWiki Definition:Relation/Unary_Relation
History
- 2026-10-26: add by m2/dev
5WV2MAD167 5WV2MAD167
| URI | m2://inv/5WV2MAD167 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.08487#JUCU (statement). In 77TVQVYN0Z/e1, proposition 22
History
- 2026-10-27: add by m2/v0.3.6
Masamichi Takesaki 5WV4ACWX7V
| URI | m2://inv/5WV4ACWX7V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1906735, Masamichi Takesaki (unknown). Also nLab Masamichi Takesaki
- wikipedia: Wikipedia Masamichi Takesaki, Masamichi Takesaki (topic). Also Wikidata Q1906735
History
- 2026-10-26: add by m2/dev
McClintock, Emory 5WV7WRHGJK
| URI | m2://inv/5WV7WRHGJK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#K1K6, McClintock, Emory (unknown)
History
- 2026-11-02: add by m2/dev
5WVAV00MN3 5WVAV00MN3
| URI | m2://inv/5WVAV00MN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17717#S2JK (statement). In YXRKS451PK/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
5WVDZH9BJ4 5WVDZH9BJ4
| URI | m2://inv/5WVDZH9BJ4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#Z2KK (definition)
History
- 2026-11-01: add by m2/v0.6.15
Properties 5WVH6K7H5A
| URI | m2://inv/5WVH6K7H5A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bornological space#5S1V, Properties (statement)
History
- 2026-11-02: add by m2/dev
Well-posedness of the branch equation 5WVKE5CE09
| URI | m2://inv/5WVKE5CE09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18350#7G9R, Well-posedness of the branch equation (statement). In A20E8FZS21/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Example 5WW52SGG8Y
| URI | m2://inv/5WW52SGG8Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived scheme#26IN, Example (example)
History
- 2026-11-02: add by m2/dev
Stellar pulsation 5WWPM3HE62
| URI | m2://inv/5WWPM3HE62 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stellar pulsation, Stellar pulsation (definition). Also Wikidata Q353834
History
- 2026-11-02: add by m2/dev
Goldine Gleser 5WWPY721QK
| URI | m2://inv/5WWPY721QK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldine Gleser, Goldine Gleser (topic). Also Wikidata Q107488195
History
- 2026-11-02: add by m2/dev
Applications 5WWR3RA186
| URI | m2://inv/5WWR3RA186 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rules extraction system family#RSWB, Applications (example)
History
- 2026-11-02: add by m2/dev
Mihalis Dafermos 5WWT3118R5
| URI | m2://inv/5WWT3118R5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XJXN, Mihalis Dafermos (topic)
History
- 2026-11-02: add by m2/dev
reflection triangle 5WWXYNSAZP
| URI | m2://inv/5WWXYNSAZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2386784, reflection triangle (unknown). Also MathWorld ReflectionTriangle
History
- 2026-10-26: add by m2/dev
5WX1F1GY00 5WX1F1GY00
| URI | m2://inv/5WX1F1GY00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#RHP2 (statement). In PREJREM4BB/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
5WX2HZQ8E8 5WX2HZQ8E8
| URI | m2://inv/5WX2HZQ8E8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38138#WHYP (definition). In G97FA99ZEF/e1, definition 1.2
History
- 2026-10-30: add by m2/v0.4.12
5WX3NCPX5H 5WX3NCPX5H
| URI | m2://inv/5WX3NCPX5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.12141#AUKE (statement). In V980ZMH759/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
5WX3WJYAK3 5WX3WJYAK3
| URI | m2://inv/5WX3WJYAK3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.00412#BC4D (definition). In APD8GE0E4F/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Strong regularity lemma 5WXDHHE95F
| URI | m2://inv/5WXDHHE95F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szemerédi regularity lemma#D5QJ, Strong regularity lemma (statement)
History
- 2026-11-02: add by m2/dev
5WXJV023P2 5WXJV023P2
| URI | m2://inv/5WXJV023P2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18468#GM9B (statement). In VP29RN7ZMA/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Finite-feature layer 5WXKB7C5GH
| URI | m2://inv/5WXKB7C5GH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#LJNB, Finite-feature layer (definition)
History
- 2026-11-01: add by m2/v0.6.15
5WXM006QPV 5WXM006QPV
| URI | m2://inv/5WXM006QPV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10233#I11R (definition). In QR9WE79ERQ/e1, definition 8.2
History
- 2026-10-29: add by m2/v0.4.10
Symmetry 5WXX6X4YZM
| URI | m2://inv/5WXX6X4YZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-8 hexagonal tiling#D8OW, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Generalized Fourier series 5WY6WQX6KZ
| URI | m2://inv/5WY6WQX6KZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#DD2D, Generalized Fourier series (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#VTIZ, Generalized Fourier series (definition)
History
- 2026-11-02: add by m2/dev
Non-equilibrium statistical mechanics 5WY981G9ZT
| URI | m2://inv/5WY981G9ZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical mechanics#IVOC, Non-equilibrium statistical mechanics (unknown)
History
- 2026-11-02: add by m2/dev
Zu Chongzhi 5WY9H6EZ2C
| URI | m2://inv/5WY9H6EZ2C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q227444, Zu Chongzhi (unknown). Also ProofWiki Mathematician:Zu_Chongzhi
- wikipedia: Wikipedia Zu Chongzhi, Zu Chongzhi (topic). Also Wikidata Q227444
History
- 2026-10-26: add by m2/dev
Greedy reductionism 5WYDHJCF2G
| URI | m2://inv/5WYDHJCF2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greedy reductionism, Greedy reductionism (definition). Also Wikidata Q5601716
History
- 2026-11-02: add by m2/dev
Davenport–Schmidt theorem 5WYSAWNKDW
| URI | m2://inv/5WYSAWNKDW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17008559, Davenport–Schmidt theorem (statement). Also Wikidata Q17008559
- thousand_plus: thousand_plus Q17008559, Davenport–Schmidt theorem (statement). Also Wikidata Q17008559, Wikipedia Davenport–Schmidt theorem
- wikipedia: Wikipedia Davenport–Schmidt theorem, Davenport–Schmidt theorem (statement). Also Wikidata Q17008559
History
- 2026-10-26: add by m2/dev
List of pragmatists 5WYZXJGSFS
| URI | m2://inv/5WYZXJGSFS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pragmatism#PV0Q, List of pragmatists (unknown)
History
- 2026-11-02: add by m2/dev
5WZ1JA3EFS 5WZ1JA3EFS
| URI | m2://inv/5WZ1JA3EFS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29723#1O0Q (example)
History
- 2026-11-01: add by m2/v0.6.15
set-quotient 5WZ4XGFB6Q
| URI | m2://inv/5WZ4XGFB6Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.13/set-quotient, set-quotient (concept). In N54F33XE07, index, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
5WZ53FBTKA 5WZ53FBTKA
| URI | m2://inv/5WZ53FBTKA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.09796#5O2N (statement). In NAA7WFQN20/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Examples 5WZ93YWWGR
| URI | m2://inv/5WZ93YWWGR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional representation#OU4Z, Examples (example)
History
- 2026-11-02: add by m2/dev
Wilburton Number Two, Pennsylvania 5WZME8H9ZR
| URI | m2://inv/5WZME8H9ZR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#750A, Wilburton Number Two, Pennsylvania (unknown)
History
- 2026-11-02: add by m2/dev
5WZMQH0NXQ 5WZMQH0NXQ
| URI | m2://inv/5WZMQH0NXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#MNB2 (statement). In 9GMTVSTAVN/e1, proposition 4.9
History
- 2026-10-27: add by m2/v0.3.5
5WZSTG7138 5WZSTG7138
| URI | m2://inv/5WZSTG7138 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#B9CU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tee 5WZWZ1TEGV
| URI | m2://inv/5WZWZ1TEGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tee (symbol), Tee (definition). Also Wikidata Q7694166
History
- 2026-11-02: add by m2/dev
Jun-Muk Hwang 5WZYSM0H9K
| URI | m2://inv/5WZYSM0H9K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jun-Muk Hwang, Jun-Muk Hwang (topic). Also Wikidata Q2598021
History
- 2026-11-02: add by m2/dev
5WZZXN840R 5WZZXN840R
| URI | m2://inv/5WZZXN840R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#AU76 (definition). In 2VHV0RNTNV/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.12