Inventory rows 52
The cards of the rows of the inventory whose ids start with 52. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Invincible ignorance 5200HKXW07
| URI | m2://inv/5200HKXW07 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#J3WK, Invincible ignorance (definition)
History
- 2026-11-02: add by m2/dev
Józef Emanuel Jankowski 5204DR6660
| URI | m2://inv/5204DR6660 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Józef Emanuel Jankowski, Józef Emanuel Jankowski (topic). Also Wikidata Q15135901
History
- 2026-11-02: add by m2/dev
Applications 520761S10C
| URI | m2://inv/520761S10C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claw finding problem#57D5, Applications (example)
History
- 2026-11-02: add by m2/dev
Schoenflies problem 520932DBGX
| URI | m2://inv/520932DBGX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 4 |
| Outcome | open |
| Node | Schoenflies theorem 3VX06XRVZG |
Mentions
- mathlib_1000: mathlib_1000 Q495412, Jordan–Schönflies theorem (statement). Also Wikidata Q495412
- thousand_plus: thousand_plus Q495412, Jordan–Schönflies theorem (statement). Also Wikidata Q495412, Wikipedia Jordan–Schönflies theorem
- wikidata: Wikidata Q495412, Schoenflies problem (problem). Also MathWorld SchoenfliesTheorem
- wikipedia: Wikipedia Schoenflies problem, Schoenflies problem (problem). Also Wikidata Q495412
History
- 2026-10-26: add by m2/dev
Exact SVP 520BPNTXDV
| URI | m2://inv/520BPNTXDV |
|---|---|
| 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 2609.37482#E3HE, Exact SVP (statement). In 9QDRMZX8EY/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Anna Stafford 520HNA53TC
| URI | m2://inv/520HNA53TC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Stafford, Anna Stafford (topic). Also Wikidata Q37733125
History
- 2026-11-02: add by m2/dev
520P9AVB4R 520P9AVB4R
| URI | m2://inv/520P9AVB4R |
|---|---|
| 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 2609.27056#STG4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Matrix variate beta distribution 520ZS8XQYB
| URI | m2://inv/520ZS8XQYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix variate beta distribution, Matrix variate beta distribution (definition). Also Wikidata Q48988668
History
- 2026-11-02: add by m2/dev
plastic ratio 5211HT4531
| URI | m2://inv/5211HT4531 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2345603, plastic ratio (object). Also MathWorld PlasticConstant, OEIS A060006
- wikipedia: Wikipedia Plastic ratio, Plastic ratio (definition). Also Wikidata Q2345603
History
- 2026-10-26: add by m2/dev
Turán's brick factory problem 5213JGXAFQ
| URI | m2://inv/5213JGXAFQ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#9KSA, Turán's brick factory problem (conjecture)
History
- 2026-11-02: add by m2/dev
5213MBYDEN 5213MBYDEN
| URI | m2://inv/5213MBYDEN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.22759#P587 (definition)
History
- 2026-11-02: add by m2/v0.6.17
László Fuchs 521850QJD5
| URI | m2://inv/521850QJD5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#XYID, László Fuchs (topic)
History
- 2026-11-02: add by m2/dev
521MHKPYFZ 521MHKPYFZ
| URI | m2://inv/521MHKPYFZ |
|---|---|
| Kind | definition |
| 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 2106.11898#V69P (definition). In KXXV5X8AG4/e1, definition 1.7
History
- 2026-10-27: add by m2/v0.3.6
Formula 521QZ9M3H4
| URI | m2://inv/521QZ9M3H4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herfindahl–Hirschman index#QPJJ, Formula (statement)
History
- 2026-11-02: add by m2/dev
the least possible largest atom 521RQWKAW5
| URI | m2://inv/521RQWKAW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.23922#W7UN, the least possible largest atom (statement)
History
- 2026-11-02: add by m2/v0.6.17
521SYJYSA0 521SYJYSA0
| URI | m2://inv/521SYJYSA0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-1.xml#ula-preview-3-1 (exercise). In 649HGZKE96, exploration, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
521YB2YC75 521YB2YC75
| URI | m2://inv/521YB2YC75 |
|---|---|
| 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 2610.19854#9SXZ (statement). In D50WST4CG3/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Properties 521YCJDRQ9
| URI | m2://inv/521YCJDRQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactness measure#DU1V, Properties (statement)
History
- 2026-11-02: add by m2/dev
5223XDFDEY 5223XDFDEY
| URI | m2://inv/5223XDFDEY |
|---|---|
| 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.10221#JLYA (statement). In 9Z5M655EPV/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
52290Z8H7S 52290Z8H7S
| URI | m2://inv/52290Z8H7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-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.35102#LC2T (statement). In XK6H7F2F13/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Sampling risk 522BSH5DK3
| URI | m2://inv/522BSH5DK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NBA5, Sampling risk (definition)
History
- 2026-11-02: add by m2/dev
Luigi Fantappiè 522CAWSDR3
| URI | m2://inv/522CAWSDR3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#X2IZ, Luigi Fantappiè (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A7HS, Luigi Fantappiè (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PB24, Luigi Fantappiè (topic)
History
- 2026-11-02: add by m2/dev
Nonuniqueness of the transferred reflected BSDE 522E8ZXQ4S
| URI | m2://inv/522E8ZXQ4S |
|---|---|
| Kind | example |
| 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.18180#MBR0, Nonuniqueness of the transferred reflected BSDE (example). In NJGS7D1EPH/e1, example 5.2
History
- 2026-10-28: add by m2/v0.4.2
522FHBWKBH 522FHBWKBH
| URI | m2://inv/522FHBWKBH |
|---|---|
| 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 2609.36181#9REL (example). In 1KSE33PVS6/e1, example 32
History
- 2026-10-30: add by m2/v0.4.12
Line-cylinder intersection 522KF5EJ0C
| URI | m2://inv/522KF5EJ0C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line-cylinder intersection, Line-cylinder intersection (definition). Also Wikidata Q123965250
History
- 2026-11-02: add by m2/dev
522QJDGAGV 522QJDGAGV
| URI | m2://inv/522QJDGAGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.26769#XBB9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
522TS573EH 522TS573EH
| URI | m2://inv/522TS573EH |
|---|---|
| Kind | definition |
| 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 2601.10958#PTNL (definition). In 4W55AH5T6R/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
522ZVC33Y8 522ZVC33Y8
| URI | m2://inv/522ZVC33Y8 |
|---|---|
| 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.11388#IEZ2 (statement). In PC1SZ68BPZ/e1, proposition D.5
History
- 2026-10-28: add by m2/v0.4.3
5230V4WMH3 5230V4WMH3
| URI | m2://inv/5230V4WMH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.15454#AXMP (statement). In RGQZVNXWM5/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
5234EJ350H 5234EJ350H
| URI | m2://inv/5234EJ350H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#problem-6 (exercise). In P1C114YBXG, problem, section F
History
- 2026-11-01: add by m2/v0.6.13
Bernoulli measure 5234XA8481
| URI | m2://inv/5234XA8481 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli process#F38S, Bernoulli measure (unknown)
History
- 2026-11-02: add by m2/dev
Examples 5235HSVCFC
| URI | m2://inv/5235HSVCFC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear span#QRJJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Mary Rees 523MAB8N1M
| URI | m2://inv/523MAB8N1M |
|---|---|
| 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#4AMV, Mary Rees (topic)
History
- 2026-11-02: add by m2/dev
Size of prime cofactors 523MAS6R6X
| URI | m2://inv/523MAS6R6X |
|---|---|
| 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 2610.15262#VO94, Size of prime cofactors (statement). In C44HVXWYRF/e1, proposition 7.5
History
- 2026-10-28: add by m2/v0.4.2
Gauss's hypergeometric theorem 523SEJH3TC
| URI | m2://inv/523SEJH3TC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#ENEH, Gauss's hypergeometric theorem (definition)
History
- 2026-11-02: add by m2/dev
523TBTPPZ2 523TBTPPZ2
| URI | m2://inv/523TBTPPZ2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#example-4 (example). In RZP28ERRZV, example, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
5244C8F9SE 5244C8F9SE
| URI | m2://inv/5244C8F9SE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-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 2309.15424#LN0Z (definition). In NXYZ1EAWKN/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Joseph Liesganig 52479TQ0J5
| URI | m2://inv/52479TQ0J5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Liesganig, Joseph Liesganig (topic). Also Wikidata Q89732
History
- 2026-11-02: add by m2/dev
5248HYQF21 5248HYQF21
| URI | m2://inv/5248HYQF21 |
|---|---|
| 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 2610.11974#IMKG (statement). In AW6S4XZ9ZZ/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.3
Marquis, Frederick 524DT6JAA1
| URI | m2://inv/524DT6JAA1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#V2PO, Marquis, Frederick (unknown)
History
- 2026-11-02: add by m2/dev
524NFTSB3V 524NFTSB3V
| URI | m2://inv/524NFTSB3V |
|---|---|
| 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.33733#XV1H (statement). In QBAP8C82FG/e1, proposition 49
History
- 2026-10-30: add by m2/v0.4.12
An isomorphism consequence of free Obata 524SGT4T94
| URI | m2://inv/524SGT4T94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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 2610.22109#ELU9, An isomorphism consequence of free Obata (statement). In MZ60NP20BH/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.4.0
524Z00P3JR 524Z00P3JR
| URI | m2://inv/524Z00P3JR |
|---|---|
| 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.33050#HMW2 (statement). In VDSBMQ0G9W/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
Pan-African Congress of Mathematicians 5254HESN45
| URI | m2://inv/5254HESN45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pan-African Congress of Mathematicians, Pan-African Congress of Mathematicians (definition). Also Wikidata Q7129467
History
- 2026-11-02: add by m2/dev
5258Q7KJN8 5258Q7KJN8
| URI | m2://inv/5258Q7KJN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/circuits.tex#definition-3 (definition). In RZP28ERRZV, definition, section 75.3
History
- 2026-11-01: add by m2/v0.6.13
5258RFXTRW 5258RFXTRW
| URI | m2://inv/5258RFXTRW |
|---|---|
| Kind | statement |
| 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#SB46 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Três Lagoas 525DPS4Q6C
| URI | m2://inv/525DPS4Q6C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#7D7M, Três Lagoas (unknown)
History
- 2026-11-02: add by m2/dev
Center for Scientific Computation and Mathematical Modeling 525F9AVZM0
| URI | m2://inv/525F9AVZM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center for Scientific Computation and Mathematical Modeling, Center for Scientific Computation and Mathematical Modeling (definition). Also Wikidata Q24884608
History
- 2026-11-02: add by m2/dev
De Bruijn–Erdős theorem 525GSH27N0
| URI | m2://inv/525GSH27N0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527054, De Bruijn–Erdős theorem (graph theory) (statement). Also Wikidata Q3527054
- thousand_plus: thousand_plus Q3527054, De Bruijn–Erdős theorem (graph theory) (statement). Also Wikidata Q3527054, Wikipedia De Bruijn–Erdős theorem (graph theory)
- wikipedia: Wikipedia De Bruijn–Erdős theorem (graph theory), De Bruijn–Erdős theorem (statement). Also Wikidata Q3527054
History
- 2026-10-26: add by m2/dev
Examples 525KNEEVQR
| URI | m2://inv/525KNEEVQR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balayage#1REF, Examples (example)
History
- 2026-11-02: add by m2/dev
Journal of Mathematical Logic 525MXMZ016
| URI | m2://inv/525MXMZ016 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#VWG4, Journal of Mathematical Logic (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 2 525W72J44D
| URI | m2://inv/525W72J44D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally compact quantum group#B4ZO, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
Contraction of the virtual flow at radius $R$ 526150X29E
| URI | m2://inv/526150X29E |
|---|---|
| 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.14988#L8KO, Contraction of the virtual flow at radius $R$ (statement). In B29M4E6KGC/e1, lemma H.17
History
- 2026-10-28: add by m2/v0.4.2
5265AZ2WM7 5265AZ2WM7
| URI | m2://inv/5265AZ2WM7 |
|---|---|
| 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 2112.14455#DU7L (statement). In VDE5R8HBS1/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
Bounded semantics 526ACH6PTY
| URI | m2://inv/526ACH6PTY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2506.08233#KHXN, Bounded semantics (definition). In 2TXXQ2575Y/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.3.5
526CE5CF84 526CE5CF84
| URI | m2://inv/526CE5CF84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.24553#I47Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexandra Bellow 526H42NAGQ
| URI | m2://inv/526H42NAGQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandra Bellow, Alexandra Bellow (topic). Also Wikidata Q1500025
History
- 2026-11-02: add by m2/dev
Digital analytics 526HTRZE0X
| URI | m2://inv/526HTRZE0X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytics#FNLF, Digital analytics (unknown)
History
- 2026-11-02: add by m2/dev
Eri Jabotinsky 526JVT62S4
| URI | m2://inv/526JVT62S4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WY9Z, Eri Jabotinsky (topic)
History
- 2026-11-02: add by m2/dev
526K814STE 526K814STE
| URI | m2://inv/526K814STE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2610.16583#1AZ6 (statement). In 4RPXT0YCS5/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
Gregor Mendel 526TTKXNVZ
| URI | m2://inv/526TTKXNVZ |
|---|---|
| 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 Q37970, Gregor Mendel (unknown). Also EoM Mendel,_Johann_Gregor
History
- 2026-10-26: add by m2/dev
526X553PZ1 526X553PZ1
| URI | m2://inv/526X553PZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#R5JG (statement). In SN6F0MPPVF/e1, theorem 7.5
History
- 2026-10-28: add by m2/v0.4.2
5273CS0R8A 5273CS0R8A
| URI | m2://inv/5273CS0R8A |
|---|---|
| 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 2609.38650#O8SM (statement). In DZJ9QJVQK3/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Robert Alfred Lehfeldt 527FVYKKK1
| URI | m2://inv/527FVYKKK1 |
|---|---|
| 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#780M, Robert Alfred Lehfeldt (unknown)
History
- 2026-11-02: add by m2/dev
Cantor number 527J9K5YH4
| URI | m2://inv/527J9K5YH4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12786684, Cantor number (unknown). Also MathWorld Catalan-MersenneNumber, OEIS A007013
History
- 2026-10-26: add by m2/dev
527MK9NB44 527MK9NB44
| URI | m2://inv/527MK9NB44 |
|---|---|
| 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.04330#WGO1 (statement). In 17H0HEM54D/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.12
Symmetric matrices and spectrahedra 527P7W6973
| URI | m2://inv/527P7W6973 |
|---|---|
| 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 2609.38228#2QXC, Symmetric matrices and spectrahedra (statement). In 9YAE8FNQST/e1, corollary 9.8
History
- 2026-10-30: add by m2/v0.4.12
Alan Mathison Turing 527XXGBXEF
| URI | m2://inv/527XXGBXEF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#R3YK, Alan Mathison Turing (topic)
History
- 2026-11-02: add by m2/dev
5286BERT71 5286BERT71
| URI | m2://inv/5286BERT71 |
|---|---|
| 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.27483#CUD0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
528AF11PQM 528AF11PQM
| URI | m2://inv/528AF11PQM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2610.11679#250O (example). In 30PZ8ZVR3A/e1, example 3.7
History
- 2026-10-28: add by m2/v0.4.3
528RM67RR6 528RM67RR6
| URI | m2://inv/528RM67RR6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 18-XX, 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.16241#RZ9D (problem). In WNDHZVY4WK/e1, problem 1
History
- 2026-10-28: add by m2/v0.4.2
List of presidents of the Royal Statistical Society 528RRY3HNV
| URI | m2://inv/528RRY3HNV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Royal Statistical Society, List of presidents of the Royal Statistical Society (topic). Also Wikidata Q6634856
History
- 2026-11-02: add by m2/dev
\textcite{Lang_1952 528TYKTKR1
| URI | m2://inv/528TYKTKR1 |
|---|---|
| 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.07927#37LR, \textcite{Lang_1952 (statement). In GKM19DHQTM/e1, theorem 6.20
History
- 2026-10-29: add by m2/v0.4.10
Implementations 528W6PDJC2
| URI | m2://inv/528W6PDJC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia VMAC#57KV, Implementations (definition)
History
- 2026-11-02: add by m2/dev
528WRK8KW8 528WRK8KW8
| URI | m2://inv/528WRK8KW8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2605.30285#NZDK (example). In YMY0NNSM27/e1, example 2.5
History
- 2026-10-27: add by m2/v0.3.6
528XR93YNY 528XR93YNY
| URI | m2://inv/528XR93YNY |
|---|---|
| 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.08766#PP5H (statement). In QA4JM9SHPA/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Binet–Cauchy identity 528YA9J91S
| URI | m2://inv/528YA9J91S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#B6M3, Binet–Cauchy identity (statement)
History
- 2026-11-02: add by m2/dev
5294X22RPR 5294X22RPR
| URI | m2://inv/5294X22RPR |
|---|---|
| Kind | example |
| 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.18992#YMKL (example). In S7PNTM0GZC/e1, example 3.11
History
- 2026-10-28: add by m2/v0.4.2
5295MYP0WG 5295MYP0WG
| URI | m2://inv/5295MYP0WG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.14879#LAQI (statement). In 3VZ55B2N0D/e1, lemma 5.20
History
- 2026-10-27: add by m2/v0.4.0
Spinode 529AHCN9P8
| URI | m2://inv/529AHCN9P8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#9TR7, Spinode (definition)
History
- 2026-11-02: add by m2/dev
Examples 529CKJTW9T
| URI | m2://inv/529CKJTW9T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sod's law#Q9XI, Examples (example)
History
- 2026-11-02: add by m2/dev
529KDNT1WH 529KDNT1WH
| URI | m2://inv/529KDNT1WH |
|---|---|
| Kind | statement |
| 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.21752#3NE4 (statement). In E4DJTPKHAX/e1, proposition 6.11
History
- 2026-10-27: add by m2/v0.4.2
Properties 529THTK63R
| URI | m2://inv/529THTK63R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parovicenko space#2PEI, Properties (statement)
History
- 2026-11-02: add by m2/dev
529X2FS0E3 529X2FS0E3
| URI | m2://inv/529X2FS0E3 |
|---|---|
| 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.23341#EG9P (statement)
History
- 2026-11-02: add by m2/v0.6.17
facultative 52A1K3VWMS
| URI | m2://inv/52A1K3VWMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#YP1V, facultative (definition)
- wikipedia: Wikipedia Glossary of invariant theory#ZY5Z, facultative (definition)
History
- 2026-11-02: add by m2/dev
3Blue1Brown 52A7GRK196
| URI | m2://inv/52A7GRK196 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3Blue1Brown, 3Blue1Brown (definition). Also Wikidata Q55345122
History
- 2026-11-02: add by m2/dev
52AAZ0FE51 52AAZ0FE51
| URI | m2://inv/52AAZ0FE51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.16203#5OQL (statement). In 43TBS9P2PX/e1, lemma 9.3
History
- 2026-10-28: add by m2/v0.4.2
Generalization 52ACDD74A7
| URI | m2://inv/52ACDD74A7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yff center of congruence#3ECB, Generalization (statement)
History
- 2026-11-02: add by m2/dev
52AD9RRCWK 52AD9RRCWK
| URI | m2://inv/52AD9RRCWK |
|---|---|
| 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.30732#59OT (statement). In Q9ZPYJEHT2/e1, theorem 3.6
History
- 2026-10-31: add by m2/v0.5.6
median 52AE5W54KQ
| URI | m2://inv/52AE5W54KQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Median of a triangle 0XW8HX8VEV |
Mentions
- wikidata: Wikidata Q235001, median (definition). Also MathWorld TriangleMedian, ProofWiki Definition:Median_of_Triangle
- wikipedia: Wikipedia Median (geometry), Median (definition). Also Wikidata Q235001
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
52ASTMBEFW 52ASTMBEFW
| URI | m2://inv/52ASTMBEFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2510.12502#UAB4 (statement). In 3A4K47Y9F2/e1, theorem 2.36
History
- 2026-10-27: add by m2/v0.4.0
Θ/θ 52ASYB7X4C
| URI | m2://inv/52ASYB7X4C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14398, Θ/θ (unknown). Also ProofWiki Symbols:Greek/Theta
History
- 2026-10-26: add by m2/dev
Output photon-number moments 52ATMQSB32
| URI | m2://inv/52ATMQSB32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.22308#FRC5, Output photon-number moments (statement). In 4QN87R0P1G/e1, lemma 18
History
- 2026-10-27: add by m2/v0.4.0
52B2XXY9KQ 52B2XXY9KQ
| URI | m2://inv/52B2XXY9KQ |
|---|---|
| Kind | statement |
| 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 1709.08958#NJXO (statement). In H46J8XRDFJ/e1, corollary 2.2.4
History
- 2026-10-27: add by m2/v0.3.5
52B5Q3TSNE 52B5Q3TSNE
| URI | m2://inv/52B5Q3TSNE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-51 (proof). In VNMV985MXX, proof, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Richard Levins 52B6ND5TD2
| URI | m2://inv/52B6ND5TD2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ESYX, Richard Levins (unknown)
History
- 2026-11-02: add by m2/dev
Ackermann function 52B7DY8ED7
| URI | m2://inv/52B7DY8ED7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ackermann function N470JF7ZJX |
Mentions
- wikidata: Wikidata Q341835, Ackermann function (concept). Also EoM Ackermann_function, MathWorld AckermannFunction
- wikipedia: Wikipedia Ackermann function, Ackermann function (definition). Also Wikidata Q341835
History
- 2026-10-26: add by m2/dev
52BB5H7CC6 52BB5H7CC6
| URI | m2://inv/52BB5H7CC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2511.05069#FJUJ (statement). In SFQBJBTW8K/e1, proposition A.2
History
- 2026-10-27: add by m2/v0.3.5
Mary Lou Zeeman 52BE52QR6H
| URI | m2://inv/52BE52QR6H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Lou Zeeman, Mary Lou Zeeman (topic). Also Wikidata Q36591095
History
- 2026-11-02: add by m2/dev
52BFXVAMKA 52BFXVAMKA
| URI | m2://inv/52BFXVAMKA |
|---|---|
| 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 2610.07718#Z48D (statement). In CEKW9CNVVW/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Unique ergodicity 52BKQHCM5N
| URI | m2://inv/52BKQHCM5N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodicity#9CTE, Unique ergodicity (unknown)
History
- 2026-11-02: add by m2/dev
Babette Brumback 52BNJ6D03Y
| URI | m2://inv/52BNJ6D03Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WU7Z, Babette Brumback (unknown)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#QNSA, Babette Brumback (unknown)
History
- 2026-11-02: add by m2/dev
Hilbert's fifth problem 52BQBCBMT6
| URI | m2://inv/52BQBCBMT6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hilbert's fifth problem NR70GHZ37D |
Mentions
- wikidata: Wikidata Q3893331, Hilbert's fifth problem (problem). Also nLab Hilbert's fifth problem
- wikipedia: Wikipedia Hilbert's fifth problem, Hilbert's fifth problem (problem). Also Wikidata Q3893331
History
- 2026-10-26: add by m2/dev
52BRQMZ74N 52BRQMZ74N
| URI | m2://inv/52BRQMZ74N |
|---|---|
| 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.29531#I0WP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lucas's theorem 52C7EX0G44
| URI | m2://inv/52C7EX0G44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#SO4A, Lucas's theorem (statement)
History
- 2026-11-02: add by m2/dev
Dona nobis pacem 52CKQKMZ2V
| URI | m2://inv/52CKQKMZ2V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5293810, Dona nobis pacem (unknown). Also nLab 000035425680
History
- 2026-10-26: add by m2/dev
52CS5TRWHF 52CS5TRWHF
| URI | m2://inv/52CS5TRWHF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.22002#7UBE (definition). In JTND2BM263/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.4.2
Alexander Broadie 52CTG0PH7N
| URI | m2://inv/52CTG0PH7N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Broadie, Alexander Broadie (topic). Also Wikidata Q4718424
History
- 2026-11-02: add by m2/dev
52CW8XFSMK 52CW8XFSMK
| URI | m2://inv/52CW8XFSMK |
|---|---|
| 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.02963#W0ZE (statement). In FN8MJK3C6K/e1, lemma A.5
History
- 2026-10-29: add by m2/v0.4.12
Tracking signal 52CX47BZS8
| URI | m2://inv/52CX47BZS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tracking signal, Tracking signal (definition). Also Wikidata Q7831567
History
- 2026-11-02: add by m2/dev
Skip counting 52CZYYFPVQ
| URI | m2://inv/52CZYYFPVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skip counting, Skip counting (definition). Also Wikidata Q7535751
History
- 2026-11-02: add by m2/dev
Dinosaurs, pterosaurs, and ichthyosaurs were not cold-blooded 52D3ECBJEB
| URI | m2://inv/52D3ECBJEB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#523I, Dinosaurs, pterosaurs, and ichthyosaurs were not cold-blooded (unknown)
History
- 2026-11-02: add by m2/dev
Poh Wah Hillock 52DBJ3TXA1
| URI | m2://inv/52DBJ3TXA1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poh Wah Hillock, Poh Wah Hillock (topic). Also Wikidata Q135090003
History
- 2026-11-02: add by m2/dev
Graph counting lemma 52DBRXS46Y
| URI | m2://inv/52DBRXS46Y |
|---|---|
| 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.38772#UBTM, Graph counting lemma (statement). In 1C3R5NAQAP/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
52DE15GENB 52DE15GENB
| URI | m2://inv/52DE15GENB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
52DH4SENS4 52DH4SENS4
| URI | m2://inv/52DH4SENS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-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 2610.21103#HY9S (statement). In VZCZEDCG8J/e1, proposition B.1
History
- 2026-10-27: add by m2/v0.4.2
52DMFE399S 52DMFE399S
| URI | m2://inv/52DMFE399S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 2308.05066#JLB3 (statement). In 1QSCT53ZED/e1, lemma 7.7
History
- 2026-10-27: add by m2/v0.4.0
Kruskal–Katona theorem 52DNPE6AVX
| URI | m2://inv/52DNPE6AVX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZDIC, Kruskal–Katona theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples 52DSQDS9QT
| URI | m2://inv/52DSQDS9QT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive space#MXGU, Examples (example)
History
- 2026-11-02: add by m2/dev
Hyperfunction theory 52E0R1XEGW
| URI | m2://inv/52E0R1XEGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#90AZ, Hyperfunction theory (definition)
History
- 2026-11-02: add by m2/dev
Next-generation matrix 52E2T3NX86
| URI | m2://inv/52E2T3NX86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Next-generation matrix, Next-generation matrix (definition). Also Wikidata Q17071746
History
- 2026-11-02: add by m2/dev
52E2WMD6K2 52E2WMD6K2
| URI | m2://inv/52E2WMD6K2 |
|---|---|
| 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.30664#ECAE (statement). In ZZGDNKDVJW/e1, proposition 6.5
History
- 2026-10-31: add by m2/v0.5.6
52E4PDSAB7 52E4PDSAB7
| URI | m2://inv/52E4PDSAB7 |
|---|---|
| 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.18922#1W08 (statement). In 6FKDYENQ8M/e1, proposition 7
History
- 2026-10-28: add by m2/v0.4.2
Onno J. Boxma 52E8NA7P4F
| URI | m2://inv/52E8NA7P4F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BGQD, Onno J. Boxma (topic)
History
- 2026-11-02: add by m2/dev
Examples 52EA4A43P4
| URI | m2://inv/52EA4A43P4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McNemar's test#8Z73, Examples (example)
History
- 2026-11-02: add by m2/dev
Statement 52EA8X53ZN
| URI | m2://inv/52EA8X53ZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner's theorem#9R1F, Statement (statement)
History
- 2026-11-02: add by m2/dev
52EDQAV0YY 52EDQAV0YY
| URI | m2://inv/52EDQAV0YY |
|---|---|
| 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.38539#0OO8 (statement). In 6H78W2WZ5G/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
52EEZD5XPA 52EEZD5XPA
| URI | m2://inv/52EEZD5XPA |
|---|---|
| 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.36334#FEEO (definition). In YVB70SBGN1/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
1976 Canadian census 52EFEYE0N8
| URI | m2://inv/52EFEYE0N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1976 Canadian census, 1976 Canadian census (definition). Also Wikidata Q127685282
History
- 2026-11-02: add by m2/dev
Quadratic variation 52EGS3P4E5
| URI | m2://inv/52EGS3P4E5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic variation, Quadratic variation (definition). Also Wikidata Q7268374
History
- 2026-11-02: add by m2/dev
52EGV8MG3A 52EGV8MG3A
| URI | m2://inv/52EGV8MG3A |
|---|---|
| Kind | conjecture |
| 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.21501#RYX2 (conjecture). In 1H64QT301C/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.4.2
Introduction to Circle Packing 52EH2017MH
| URI | m2://inv/52EH2017MH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Introduction to Circle Packing, Introduction to Circle Packing (definition). Also Wikidata Q96382775
History
- 2026-11-02: add by m2/dev
Krzysztof Galicki 52EHE9R0DQ
| URI | m2://inv/52EHE9R0DQ |
|---|---|
| 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 Q48844370, Krzysztof Galicki (unknown). Also nLab Krzysztof Galicki
History
- 2026-10-26: add by m2/dev
Global Convergence and Robustness 52F5ABRGXP
| URI | m2://inv/52F5ABRGXP |
|---|---|
| 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.30088#Y89T, Global Convergence and Robustness (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sample lower bound for estimating the state distribution 52FAHQW4DV
| URI | m2://inv/52FAHQW4DV |
|---|---|
| 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.14615#NI1L, Sample lower bound for estimating the state distribution (statement). In 7D5MMP8XB5/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
52FJRCJNP0 52FJRCJNP0
| URI | m2://inv/52FJRCJNP0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-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.36321#N629 (definition). In 3KTZ6Z615H/e1, definition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Summatory function 52FMRH6MQH
| URI | m2://inv/52FMRH6MQH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic function#NF8C, Summatory function (unknown)
History
- 2026-11-02: add by m2/dev
778 (number) 52FQXYRNSD
| URI | m2://inv/52FQXYRNSD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#E3O9, 778 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Preda Mihăilescu 52FTV63JAK
| URI | m2://inv/52FTV63JAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#GVVO, Preda Mihăilescu (topic)
History
- 2026-11-02: add by m2/dev
R\'enyi entropy budget estimates 52FZPFVZY8
| URI | m2://inv/52FZPFVZY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.23922#E9KE, R\'enyi entropy budget estimates (statement)
History
- 2026-11-02: add by m2/v0.6.17
Counterexample to Vaught's Conjecture 52G0CKK71R
| URI | m2://inv/52G0CKK71R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.15217#VZET, Counterexample to Vaught's Conjecture (statement). In G70Q2FB591/e1, theorem 4.36
History
- 2026-10-28: add by m2/v0.4.2
Cohen structure theorem 52G1HQB41W
| URI | m2://inv/52G1HQB41W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#CL36, Cohen structure theorem (statement)
History
- 2026-11-02: add by m2/dev
Positive-real function 52G2CEMKSW
| URI | m2://inv/52G2CEMKSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive-real function, Positive-real function (definition). Also Wikidata Q7233208
History
- 2026-11-02: add by m2/dev
Extensions 52G3CKAXJF
| URI | m2://inv/52G3CKAXJF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computation tree logic#WX2K, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Definition 52G5V1R4Y4
| URI | m2://inv/52G5V1R4Y4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix (mathematics)#9VUT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Exact subcritical value and cumulant expansion 52G7SDW637
| URI | m2://inv/52G7SDW637 |
|---|---|
| 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.33154#2VEF, Exact subcritical value and cumulant expansion (statement). In N28DEYRBW7/e1, corollary 3.10
History
- 2026-10-30: add by m2/v0.4.12
complex analysis 52GCAHHXJX
| URI | m2://inv/52GCAHHXJX |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193756, complex analysis (topic). Also MathWorld ComplexAnalysis, nLab complex analysis, ProofWiki Definition:Analysis/Complex
- wikipedia: Wikipedia Complex analysis, Complex analysis (topic). Also Wikidata Q193756
History
- 2026-10-26: add by m2/dev
52GCKXPA60 52GCKXPA60
| URI | m2://inv/52GCKXPA60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.26771#47AY (statement)
History
- 2026-11-01: add by m2/v0.6.15
52GCYY0QDV 52GCYY0QDV
| URI | m2://inv/52GCYY0QDV |
|---|---|
| Kind | example |
| 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 2610.18219#UFK7 (example). In X1AGBB90EH/e1, example 2.1
History
- 2026-10-28: add by m2/v0.4.2
Remark 52GD8RVS0E
| URI | m2://inv/52GD8RVS0E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius plane#EUJT, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Gerhard Hochschild 52GF2CCPWD
| URI | m2://inv/52GF2CCPWD |
|---|---|
| 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 Q371662, Gerhard Hochschild (unknown). Also nLab Gerhard Hochschild
History
- 2026-10-26: add by m2/dev
Prop. 2.9, Prop 2.23 52GGJJQCVT
| URI | m2://inv/52GGJJQCVT |
|---|---|
| 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.36181#2YYX, Prop. 2.9, Prop 2.23 (statement). In 1KSE33PVS6/e1, proposition 14
History
- 2026-10-30: add by m2/v0.4.12
52GHPGQSJR 52GHPGQSJR
| URI | m2://inv/52GHPGQSJR |
|---|---|
| Kind | statement |
| 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 2102.12931#N1ZI (statement). In PQHTR84RAJ/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.0
Consistency of initial global main effect loading estimators 52GJGBXKDD
| URI | m2://inv/52GJGBXKDD |
|---|---|
| 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.18335#AS0K, Consistency of initial global main effect loading estimators (statement). In XKN1C8Y9SD/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
52GX2Z4EE1 52GX2Z4EE1
| URI | m2://inv/52GX2Z4EE1 |
|---|---|
| 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.20805#X2VP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Local $(\eps,\nu)$-dilation 52H4WPNNMN
| URI | m2://inv/52H4WPNNMN |
|---|---|
| Kind | definition |
| 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 2103.02468#VP18, Local $(\eps,\nu)$-dilation (definition). In Q7C6G66CWM/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
52H6XHQ353 52H6XHQ353
| URI | m2://inv/52H6XHQ353 |
|---|---|
| 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 1905.00573#RUHY (statement). In 74RNQVBM2G/e1, proposition 3.15
History
- 2026-10-27: add by m2/v0.3.5
52HEFC1VNH 52HEFC1VNH
| URI | m2://inv/52HEFC1VNH |
|---|---|
| Kind | definition |
| 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 2610.12480#RFOD (definition). In 585QYGX4X6/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
Definition 52HGNC46PF
| URI | m2://inv/52HGNC46PF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractionally subadditive valuation#PQJE, Definition (definition)
History
- 2026-11-02: add by m2/dev
52HKS1W1RZ 52HKS1W1RZ
| URI | m2://inv/52HKS1W1RZ |
|---|---|
| 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#BR67 (statement). In REDG6QVHM3/e1, lemma 10.2
History
- 2026-10-29: add by m2/v0.4.12
Richard F. Heck 52HPDYZC7A
| URI | m2://inv/52HPDYZC7A |
|---|---|
| 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#9U5B, Richard F. Heck (unknown)
History
- 2026-11-02: add by m2/dev
Properties 52J1K3H4JR
| URI | m2://inv/52J1K3H4JR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finitely generated algebra#6OZM, Properties (statement)
History
- 2026-11-02: add by m2/dev
52J3DYM1PX 52J3DYM1PX
| URI | m2://inv/52J3DYM1PX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#proof-10 (proof). In PKGMM3P5QY, proof, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
52J9BDTXR0 52J9BDTXR0
| URI | m2://inv/52J9BDTXR0 |
|---|---|
| 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 2407.08004#D7TI (statement). In TYS65EG479/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
Chained volume series 52JHDJN4H0
| URI | m2://inv/52JHDJN4H0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chained volume series, Chained volume series (definition). Also Wikidata Q5067985
History
- 2026-11-02: add by m2/dev
52JKSSXZ5C 52JKSSXZ5C
| URI | m2://inv/52JKSSXZ5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.13953#PT2N (statement). In D8258MF12E/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
52K0YH034M 52K0YH034M
| URI | m2://inv/52K0YH034M |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 51-XX, 52-XX, 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.11596#2N5U (conjecture). In 76850E2X7T/e1, conjecture 4.2
History
- 2026-10-28: add by m2/v0.4.3
52KB0RBMJV 52KB0RBMJV
| URI | m2://inv/52KB0RBMJV |
|---|---|
| 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.39455#W2DE (statement). In HW4Y4TMEZ3/e1, corollary 6.7
History
- 2026-10-30: add by m2/v0.4.12
52KJAKVKRS 52KJAKVKRS
| URI | m2://inv/52KJAKVKRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.24917#EA3U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-examples 52KTA3YG71
| URI | m2://inv/52KTA3YG71 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measure (mathematics)#UD27, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Descent, existence, and uniqueness---quotient factorization 52M3DJ18KB
| URI | m2://inv/52M3DJ18KB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.20207#MZCU, Descent, existence, and uniqueness---quotient factorization (statement)
History
- 2026-11-02: add by m2/v0.6.18
52M6VJ1E52 52M6VJ1E52
| URI | m2://inv/52M6VJ1E52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.23522#45VF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Quartic function 52MDG8BGGE
| URI | m2://inv/52MDG8BGGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quartic function, Quartic function (definition). Also Wikidata Q11420049
History
- 2026-11-02: add by m2/dev
52ME56CDSN 52ME56CDSN
| URI | m2://inv/52ME56CDSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.15535#VQZH (statement). In 73A9KWZJRD/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
52MFH2YC9W 52MFH2YC9W
| URI | m2://inv/52MFH2YC9W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/lists.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 38.2
History
- 2026-11-01: add by m2/v0.6.13
52MGRFVH4B 52MGRFVH4B
| URI | m2://inv/52MGRFVH4B |
|---|---|
| Kind | example |
| 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.07122#A87C (example). In W0ZHX9DHPV/e1, example 14
History
- 2026-10-29: add by m2/v0.4.10
Star and contained-flat constructions 52MH2DPFZE
| URI | m2://inv/52MH2DPFZE |
|---|---|
| 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.33365#0I4Q, Star and contained-flat constructions (statement). In MCXCMR7V0T/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
No free lunch in search and optimization 52MK3761E2
| URI | m2://inv/52MK3761E2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#I8LV, No free lunch in search and optimization (definition)
History
- 2026-11-02: add by m2/dev
Potential telescope bound 52MPW4KFW9
| URI | m2://inv/52MPW4KFW9 |
|---|---|
| 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.21976#O5WA, Potential telescope bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
Differential equations of addition 52MVMNARAJ
| URI | m2://inv/52MVMNARAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential equations of addition, Differential equations of addition (definition). Also Wikidata Q5275343
History
- 2026-11-02: add by m2/dev
52MXMN12RV 52MXMN12RV
| URI | m2://inv/52MXMN12RV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_finite-sets.ptx#proof-1 (proof). In QKM9DD2H56, proof, section B.5
History
- 2026-11-01: add by m2/v0.6.13
AI denoise 52MZR31GCE
| URI | m2://inv/52MZR31GCE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noise reduction#C274, AI denoise (unknown)
History
- 2026-11-02: add by m2/dev
Skew lattice 52N1ETNSGD
| URI | m2://inv/52N1ETNSGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew lattice, Skew lattice (definition). Also Wikidata Q7534803
History
- 2026-11-02: add by m2/dev
Almost integer 52NE1T1SSH
| URI | m2://inv/52NE1T1SSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost integer, Almost integer (definition). Also Wikidata Q3109228
History
- 2026-11-02: add by m2/dev
52NG567ZHS 52NG567ZHS
| URI | m2://inv/52NG567ZHS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.17135#YV9A (example). In XX1J2REXY2/e1, example 1.4
History
- 2026-10-28: add by m2/v0.4.2
52NSCGF0SQ 52NSCGF0SQ
| URI | m2://inv/52NSCGF0SQ |
|---|---|
| Kind | example |
| 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 2606.12009#19BF (example). In DNAN4SV8AM/e1, example 5.1
History
- 2026-10-27: add by m2/v0.3.5
David Chaum 52NWB4895G
| URI | m2://inv/52NWB4895G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#9GYP, David Chaum (topic)
History
- 2026-11-02: add by m2/dev
52NWH68KPM 52NWH68KPM
| URI | m2://inv/52NWH68KPM |
|---|---|
| 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.20422#B936 (statement). In HCH89W5Y2C/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
Tai Melcher 52NXTZZEM2
| URI | m2://inv/52NXTZZEM2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tai Melcher, Tai Melcher (topic). Also Wikidata Q102270494
History
- 2026-11-02: add by m2/dev
Laurent Schwartz 52P1XKFW4P
| URI | m2://inv/52P1XKFW4P |
|---|---|
| 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 Q212081, Laurent Schwartz (unknown). Also nLab Laurent Schwartz
- wikipedia: Wikipedia Laurent Schwartz, Laurent Schwartz (topic). Also Wikidata Q212081
History
- 2026-10-26: add by m2/dev
Perfect set property 52P6AK6062
| URI | m2://inv/52P6AK6062 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect set property, Perfect set property (definition). Also Wikidata Q7168098
History
- 2026-11-02: add by m2/dev
George Szekeres 52PA83549A
| URI | m2://inv/52PA83549A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Szekeres, George Szekeres (topic). Also Wikidata Q177504
History
- 2026-11-02: add by m2/dev
52PAX9Q47R 52PAX9Q47R
| URI | m2://inv/52PAX9Q47R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 1607.01095#ND7B (definition). In W3T1ZAT3GC/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
52PB3A8VNP 52PB3A8VNP
| URI | m2://inv/52PB3A8VNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2610.19151#6O47 (statement). In DKVT74MANJ/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Formulation 52PDVCDF54
| URI | m2://inv/52PDVCDF54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stinespring dilation theorem#9F5E, Formulation (definition)
History
- 2026-11-02: add by m2/dev
52PPHCNVC4 52PPHCNVC4
| URI | m2://inv/52PPHCNVC4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-5 (statement). In E59CDZA4DP, prop, section 10.2.4
History
- 2026-11-01: add by m2/v0.6.13
52Q7NSHPNP 52Q7NSHPNP
| URI | m2://inv/52Q7NSHPNP |
|---|---|
| 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 2403.01959#KD3E (statement). In 5YMNGJRC6Y/e1, theorem 4.14
History
- 2026-10-27: add by m2/v0.3.5
Jordan content 52QGGF54JJ
| URI | m2://inv/52QGGF54JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#9ZNF, Jordan content (definition)
History
- 2026-11-02: add by m2/dev
Assumptions for the Pointwise Well-posedness 52QJEB1MET
| URI | m2://inv/52QJEB1MET |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
Definition 52QMCTVTK7
| URI | m2://inv/52QMCTVTK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function of several complex variables#HKJH, Definition (definition)
History
- 2026-11-02: add by m2/dev
52QSVYVW9J 52QSVYVW9J
| URI | m2://inv/52QSVYVW9J |
|---|---|
| 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 2310.13621#RUOU (statement). In DG0EZ1BPV5/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Finite topological space 52QXZJKKNJ
| URI | m2://inv/52QXZJKKNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#9ZWS, Finite topological space (definition)
- wikipedia: Wikipedia List of examples in general topology#8MGO, Finite topological space (definition)
History
- 2026-11-02: add by m2/dev
52QY4575DD 52QY4575DD
| URI | m2://inv/52QY4575DD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.11097#UKPP (statement). In 13H5BTAXHF/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
52R1BG8MGQ 52R1BG8MGQ
| URI | m2://inv/52R1BG8MGQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2610.15169#88Q3 (statement). In V7SN19J84T/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
52R8X3A421 52R8X3A421
| URI | m2://inv/52R8X3A421 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-230 (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
modal agnosticism 52RPKNT1KM
| URI | m2://inv/52RPKNT1KM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#FDPA, modal agnosticism (definition)
History
- 2026-11-02: add by m2/dev
52RW4BQY15 52RW4BQY15
| URI | m2://inv/52RW4BQY15 |
|---|---|
| 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 2303.13891#SZYA (definition). In TC91C5DGTG/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
supersymmetry breaking 52RXN1MY2F
| URI | m2://inv/52RXN1MY2F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3941838, supersymmetry breaking (unknown). Also nLab supersymmetry breaking
History
- 2026-10-26: add by m2/dev
52SA1CG56Q 52SA1CG56Q
| URI | m2://inv/52SA1CG56Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2404.13734#4CTC (statement). In 7AXKHR4YB3/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.6
RAM implementation of the emitter program 52SB1YDS3X
| URI | m2://inv/52SB1YDS3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 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.12239#V0BB, RAM implementation of the emitter program (statement). In CW9MNA6K58/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
Exponential growth bias 52SEYZM2CM
| URI | m2://inv/52SEYZM2CM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential growth#AIMN, Exponential growth bias (unknown)
History
- 2026-11-02: add by m2/dev
52SJK9YGTX 52SJK9YGTX
| URI | m2://inv/52SJK9YGTX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 1802.02910#SVQO (statement). In AY2MA29921/e1, corollary 07
History
- 2026-10-27: add by m2/v0.3.5
Darby, Sarah 52SZTJF0D3
| URI | m2://inv/52SZTJF0D3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#U2LG, Darby, Sarah (unknown)
History
- 2026-11-02: add by m2/dev
Rule 190 52SZWM5B8G
| URI | m2://inv/52SZWM5B8G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary cellular automaton#80DT, Rule 190 (unknown)
History
- 2026-11-02: add by m2/dev
Quasi-perfect group 52T8Q8A226
| URI | m2://inv/52T8Q8A226 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect group#37X9, Quasi-perfect group (unknown)
History
- 2026-11-02: add by m2/dev
Goldberg–Seymour conjecture 52TC8CJG4T
| URI | m2://inv/52TC8CJG4T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldberg–Seymour conjecture, Goldberg–Seymour conjecture (statement). Also Wikidata Q65089411
History
- 2026-11-02: add by m2/dev
52TEMHNXCQ 52TEMHNXCQ
| URI | m2://inv/52TEMHNXCQ |
|---|---|
| Kind | statement |
| 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 2311.01874#OYQZ (statement). In A4TR95VGX2/e1, theorem 5.5.4
History
- 2026-10-27: add by m2/v0.3.5
free, generation of an inductive type 52TJ9KTXNB
| URI | m2://inv/52TJ9KTXNB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.1/free-generation-of-an-inductive-type, free, generation of an inductive type (concept). In N54F33XE07, index, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
52TWPGXDHV 52TWPGXDHV
| URI | m2://inv/52TWPGXDHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.24008#N0YT (statement)
History
- 2026-11-02: add by m2/v0.6.17
52TXFXEE5K 52TXFXEE5K
| URI | m2://inv/52TXFXEE5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.08837#7HD1 (statement). In KBH265QSBT/e1, corollary 8.3
History
- 2026-10-29: add by m2/v0.4.10
Toda system with the first error improvement 52TYBPEDAR
| URI | m2://inv/52TYBPEDAR |
|---|---|
| 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 2609.32829#7RCB, Toda system with the first error improvement (statement). In RYWAX33Z51/e1, corollary 7.11
History
- 2026-10-31: add by m2/v0.5.6
Examples 52VEWZHAM1
| URI | m2://inv/52VEWZHAM1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtual displacement#S6MV, Examples (example)
History
- 2026-11-02: add by m2/dev
Fifty Lakes, Minnesota 52VMZ4DJKK
| URI | m2://inv/52VMZ4DJKK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#DSD0, Fifty Lakes, Minnesota (unknown)
History
- 2026-11-02: add by m2/dev
Patrick Peter Cormack 52W9QJV84A
| URI | m2://inv/52W9QJV84A |
|---|---|
| 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#T47J, Patrick Peter Cormack (unknown)
History
- 2026-11-02: add by m2/dev
Progressively measurable process 52WASH29V9
| URI | m2://inv/52WASH29V9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#M4U2, Progressively measurable process (definition)
- wikipedia: Wikipedia List of probability topics#32AA, Progressively measurable process (definition)
History
- 2026-11-02: add by m2/dev
52WDACX4XM 52WDACX4XM
| URI | m2://inv/52WDACX4XM |
|---|---|
| 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.20588#9MAY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Chi-squared distribution 52WHJ6N2DR
| URI | m2://inv/52WHJ6N2DR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#EY62, Chi-squared distribution (definition)
History
- 2026-11-02: add by m2/dev
Mouhamed Moustapha Fall 52WMWNB8S8
| URI | m2://inv/52WMWNB8S8 |
|---|---|
| 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#GLBA, Mouhamed Moustapha Fall (unknown)
History
- 2026-11-02: add by m2/dev
Siméon Denis Poisson 52WTA7TS5E
| URI | m2://inv/52WTA7TS5E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#9FDF, Siméon Denis Poisson (topic)
History
- 2026-11-02: add by m2/dev
52WVXT27Z1 52WVXT27Z1
| URI | m2://inv/52WVXT27Z1 |
|---|---|
| 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 2610.20899#VZQM (statement). In BSMDFADA39/e1, theorem C
History
- 2026-10-27: add by m2/v0.4.2
52X0V5PJPH 52X0V5PJPH
| URI | m2://inv/52X0V5PJPH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.30098#M21L (statement)
History
- 2026-11-01: add by m2/v0.6.15
52X9BYZ11T 52X9BYZ11T
| URI | m2://inv/52X9BYZ11T |
|---|---|
| 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.02436#PC66 (statement). In J9WZBK6KAY/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
Aryabhata 52XJBBXNCY
| URI | m2://inv/52XJBBXNCY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#VJZL, Aryabhata (topic)
History
- 2026-11-02: add by m2/dev
52XR551626 52XR551626
| URI | m2://inv/52XR551626 |
|---|---|
| Kind | statement |
| 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.02481#C4O8 (statement). In 5HACFNFY0P/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.12
Diamond principle 52XSAT8NWM
| URI | m2://inv/52XSAT8NWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statements independent of ZFC#763F, Diamond principle (statement)
History
- 2026-11-02: add by m2/dev
52XSMBRC0F 52XSMBRC0F
| URI | m2://inv/52XSMBRC0F |
|---|---|
| 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.22263#L0NB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Affirming a disjunct 52Y5ZKEAGS
| URI | m2://inv/52Y5ZKEAGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#C5EW, Affirming a disjunct (definition)
History
- 2026-11-02: add by m2/dev
52YGHZV56X 52YGHZV56X
| URI | m2://inv/52YGHZV56X |
|---|---|
| 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.07897#5MR2 (statement). In 1MWYGMR6TJ/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
52YH8CV3BT 52YH8CV3BT
| URI | m2://inv/52YH8CV3BT |
|---|---|
| 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 2610.21929#IIAS (statement). In 2PP4XRVS0J/e1, theorem 9.1
History
- 2026-10-27: add by m2/v0.4.2
Doléans-Dade exponential 52YVZ31F41
| URI | m2://inv/52YVZ31F41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doléans-Dade exponential, Doléans-Dade exponential (definition). Also Wikidata Q5289708
History
- 2026-11-02: add by m2/dev
Stephen Blyth 52YYKACZTW
| URI | m2://inv/52YYKACZTW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Blyth, Stephen Blyth (topic). Also Wikidata Q102235281
History
- 2026-11-02: add by m2/dev
Theorem (Banaszczyk) 52Z4MDPVMA
| URI | m2://inv/52Z4MDPVMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual lattice#7F9E, Theorem (Banaszczyk) (statement)
History
- 2026-11-02: add by m2/dev
Automorphism group functor 52Z4TYJVAA
| URI | m2://inv/52Z4TYJVAA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automorphism group#QU45, Automorphism group functor (unknown)
History
- 2026-11-02: add by m2/dev
52ZKEN11YH 52ZKEN11YH
| URI | m2://inv/52ZKEN11YH |
|---|---|
| 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 2304.08149#XC7A (statement). In K16E32N55W/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.6
Intersection theorem 52ZKHSK56E
| URI | m2://inv/52ZKHSK56E |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17101806, Intersection theorem (statement). Also Wikidata Q17101806
- thousand_plus: thousand_plus Q17101806, Intersection theorem (statement). Also Wikidata Q17101806, Wikipedia Intersection theorem
- wikipedia: Wikipedia Intersection theorem, Intersection theorem (statement). Also Wikidata Q17101806
History
- 2026-10-26: add by m2/dev