Inventory rows HP
The cards of the rows of the inventory whose ids start with HP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Example HP00MC69FZ
| URI | m2://inv/HP00MC69FZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local independence#628Y, Example (example)
History
- 2026-11-02: add by m2/dev
Daniel Petrocelli HP08HGBZFS
| URI | m2://inv/HP08HGBZFS |
|---|---|
| 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#BTMZ, Daniel Petrocelli (unknown)
History
- 2026-11-02: add by m2/dev
HP0BKTWRJ5 HP0BKTWRJ5
| URI | m2://inv/HP0BKTWRJ5 |
|---|---|
| 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.09506#1JSJ (statement). In AQC7E6RAT4/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
HP0CNSA07N HP0CNSA07N
| URI | m2://inv/HP0CNSA07N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31044#GLAT (statement). In Z72AEBE4Z6/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
HP0DD0Q180 HP0DD0Q180
| URI | m2://inv/HP0DD0Q180 |
|---|---|
| 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 1512.06981#4ZW5 (definition). In X923ZEY423/e1, definition 1.2.1
History
- 2026-10-27: add by m2/v0.3.5
HP0G0YJYMD HP0G0YJYMD
| URI | m2://inv/HP0G0YJYMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#US5S (statement). In 7V2PVZS04C/e1, lemma 6.17
History
- 2026-10-31: add by m2/v0.5.6
HP0M8QC5P2 HP0M8QC5P2
| URI | m2://inv/HP0M8QC5P2 |
|---|---|
| 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.24154#63IV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Juan Andres HP0RMR6Q0B
| URI | m2://inv/HP0RMR6Q0B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Juan Andres (Burrul), Juan Andres (topic). Also Wikidata Q21064737
History
- 2026-11-02: add by m2/dev
HP0TCM65K9 HP0TCM65K9
| URI | m2://inv/HP0TCM65K9 |
|---|---|
| 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 2011.14561#PU5T (statement). In V2XJJJX1Z8/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
HP0WM9BV5Y HP0WM9BV5Y
| URI | m2://inv/HP0WM9BV5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05421#5CQY (statement). In 4R1MMSAAVK/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Australian Mathematics Olympiad HP0ZC9KAT1
| URI | m2://inv/HP0ZC9KAT1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#ZB1U, Australian Mathematics Olympiad (unknown)
History
- 2026-11-02: add by m2/dev
HP1064TJQZ HP1064TJQZ
| URI | m2://inv/HP1064TJQZ |
|---|---|
| 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.18377#2Y3X (statement). In KYJJMC50SJ/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Master Gamma-limit on a rectifiable resolved cut HP14Q7FZ8Y
| URI | m2://inv/HP14Q7FZ8Y |
|---|---|
| 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.20215#NC7J, Master Gamma-limit on a rectifiable resolved cut (statement)
History
- 2026-11-02: add by m2/v0.6.18
HP155KF2RJ HP155KF2RJ
| URI | m2://inv/HP155KF2RJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.07292#T1ZQ (statement). In PZ17NHGAKX/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Shift is a Semantic Weakening HP19P62DQ9
| URI | m2://inv/HP19P62DQ9 |
|---|---|
| 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.21131#A1Y2, Shift is a Semantic Weakening (statement). In CPYWHRTPKC/e1, lemma 6.28
History
- 2026-10-27: add by m2/v0.4.2
Cumulant decomposition across a partition HP1EDV3EFG
| URI | m2://inv/HP1EDV3EFG |
|---|---|
| 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.06372#DLMQ, Cumulant decomposition across a partition (statement). In G3E1P350Z6/e1, lemma 7.7
History
- 2026-10-29: add by m2/v0.4.10
Curvature-depth law HP1GCP6297
| URI | m2://inv/HP1GCP6297 |
|---|---|
| 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.13951#BQVQ, Curvature-depth law (statement). In BDV8G2CV16/e1, theorem 13
History
- 2026-10-28: add by m2/v0.4.2
Theorem HP1M9EEMMR
| URI | m2://inv/HP1M9EEMMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau kernel#X67G, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Hurwitz's automorphisms theorem HP1MSZ3MDB
| URI | m2://inv/HP1MSZ3MDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#086J, Hurwitz's automorphisms theorem (statement)
History
- 2026-11-02: add by m2/dev
HP1RK1R6J9 HP1RK1R6J9
| URI | m2://inv/HP1RK1R6J9 |
|---|---|
| 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.20421#H1PV (statement). In Q4R7J8JE3F/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
HP1SA6BKM0 HP1SA6BKM0
| URI | m2://inv/HP1SA6BKM0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#ZV35 (definition). In M0SQY5EZN5/e1, definition 1.1.12
History
- 2026-10-27: add by m2/v0.3.5
HP1WG9A2ED HP1WG9A2ED
| URI | m2://inv/HP1WG9A2ED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31861#3P7A (statement). In G36R6T327W/e1, corollary 3
History
- 2026-10-31: add by m2/v0.5.6
Vladimir Andrunakievich HP1YQDEH6J
| URI | m2://inv/HP1YQDEH6J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Andrunakievich, Vladimir Andrunakievich (topic). Also Wikidata Q4066092
History
- 2026-11-02: add by m2/dev
Transverse velocity HP20XJ2YA0
| URI | m2://inv/HP20XJ2YA0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Velocity#OQLN, Transverse velocity (unknown)
History
- 2026-11-02: add by m2/dev
Definition HP25MEYCZZ
| URI | m2://inv/HP25MEYCZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit of a sequence#XIJG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Riemannian connection HP27GNERZK
| URI | m2://inv/HP27GNERZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric connection#H0DQ, Riemannian connection (unknown)
History
- 2026-11-02: add by m2/dev
Toda's theorem HP2KPTD162
| URI | m2://inv/HP2KPTD162 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#07E4, Toda's theorem (statement)
History
- 2026-11-02: add by m2/dev
Non-Ward regime HP2MJK2FF6
| URI | m2://inv/HP2MJK2FF6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#BFFU, Non-Ward regime (definition). In 7GMD8J4200/e1, definition 6
History
- 2026-10-27: add by m2/v0.4.2
HP2TDX18TK HP2TDX18TK
| URI | m2://inv/HP2TDX18TK |
|---|---|
| Kind | definition |
| 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 2609.25718#3MNS (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition HP2X12J3YX
| URI | m2://inv/HP2X12J3YX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kähler differential#E3LE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rule of 70 HP2Y95V7VS
| URI | m2://inv/HP2Y95V7VS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#7E7L, Rule of 70 (unknown)
History
- 2026-11-02: add by m2/dev
Additive capacity HP2YA9DXBV
| URI | m2://inv/HP2YA9DXBV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 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.26619#VX97, Additive capacity (definition)
History
- 2026-11-01: add by m2/v0.6.15
HP3RF4YBNM HP3RF4YBNM
| URI | m2://inv/HP3RF4YBNM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#26DE (example). In 7V3HG30ZGW/e1, example 6.4
History
- 2026-10-27: add by m2/v0.4.0
Barbara Wohlmuth HP3ZD83DYG
| URI | m2://inv/HP3ZD83DYG |
|---|---|
| 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#OT6Z, Barbara Wohlmuth (topic)
- wikipedia: Wikipedia List of German mathematicians#D752, Barbara Wohlmuth (topic)
History
- 2026-11-02: add by m2/dev
Affine fibers and sections HP41A6SZSZ
| URI | m2://inv/HP41A6SZSZ |
|---|---|
| Kind | definition |
| 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.02407#LAWO, Affine fibers and sections (definition). In ZZER8ZBSCR/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
Corresponding to Lemma 4.4 HP41FYX14Y
| URI | m2://inv/HP41FYX14Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08682#O56N, Corresponding to Lemma 4.4 (statement). In Y306A1GPM5/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
HP4A7ESQZG HP4A7ESQZG
| URI | m2://inv/HP4A7ESQZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.10930#MJWA (statement). In HX63A1PH1W/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.3
Union of Bulgarian Mathematicians HP4ATTHP29
| URI | m2://inv/HP4ATTHP29 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#QPQ1, Union of Bulgarian Mathematicians (unknown)
History
- 2026-11-02: add by m2/dev
Historiometry HP4B90BGV5
| URI | m2://inv/HP4B90BGV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CTX3, Historiometry (definition)
History
- 2026-11-02: add by m2/dev
HP4NME6320 HP4NME6320
| URI | m2://inv/HP4NME6320 |
|---|---|
| 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 2201.10697#9XHH (definition). In WN2Z20ZV49/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.6
Stanley Farlow HP4QD1JMGK
| URI | m2://inv/HP4QD1JMGK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanley Farlow, Stanley Farlow (topic). Also Wikidata Q52714833
History
- 2026-11-02: add by m2/dev
HP4QPWWJYQ HP4QPWWJYQ
| URI | m2://inv/HP4QPWWJYQ |
|---|---|
| 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#DBG6 (statement). In VDSBMQ0G9W/e1, theorem C
History
- 2026-10-30: add by m2/v0.4.12
HP4WR6S6JE HP4WR6S6JE
| URI | m2://inv/HP4WR6S6JE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/measure-space.tex#definition-5 (definition). In RZP28ERRZV, definition, section 67.8
History
- 2026-11-01: add by m2/v0.6.13
Properties HP51N73B89
| URI | m2://inv/HP51N73B89 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Escaping set#BT2A, Properties (statement)
History
- 2026-11-02: add by m2/dev
Creation of an average-mode seed HP5338JB7E
| URI | m2://inv/HP5338JB7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21328#RLFZ, Creation of an average-mode seed (statement). In BJXVV4ZF7B/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.2
HP57TBWYJT HP57TBWYJT
| URI | m2://inv/HP57TBWYJT |
|---|---|
| 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#MC41 (statement). In B29M4E6KGC/e1, lemma H.3
History
- 2026-10-28: add by m2/v0.4.2
HP5BD5JZGE HP5BD5JZGE
| URI | m2://inv/HP5BD5JZGE |
|---|---|
| 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 2601.15010#J1PA (statement). In K3WJ6ZN184/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.3.5
HP5E39Y2RG HP5E39Y2RG
| URI | m2://inv/HP5E39Y2RG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-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 2303.09207#Q1IZ (definition). In 9DQKY7KGE8/e1, definition A.2
History
- 2026-10-31: add by m2/v0.5.6
HP5HVJQF4X HP5HVJQF4X
| URI | m2://inv/HP5HVJQF4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30663#I79Z (statement). In 3JZDKWS8NK/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
Definition HP5J1RGFF3
| URI | m2://inv/HP5J1RGFF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal matrix#IRKF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Formal definition HP5QG649P1
| URI | m2://inv/HP5QG649P1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Web (differential geometry)#Q1C4, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Roshdi Rashed HP5TX74ZYX
| URI | m2://inv/HP5TX74ZYX |
|---|---|
| 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 Q3442614, Roshdi Rashed (unknown). Also ProofWiki Mathematician:Roshdi_Rashed
History
- 2026-10-26: add by m2/dev
Applications HP5VHSKKQX
| URI | m2://inv/HP5VHSKKQX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete fixed-point theorem#TEQZ, Applications (example)
History
- 2026-11-02: add by m2/dev
The extension used in each transform HP5WGZV2PV
| URI | m2://inv/HP5WGZV2PV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#CM60, The extension used in each transform (statement). In 8PTDFHV8SQ/e1, lemma D.1
History
- 2026-10-28: add by m2/v0.4.3
Visual cryptography HP63P6MKDF
| URI | m2://inv/HP63P6MKDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visual cryptography, Visual cryptography (definition). Also Wikidata Q1597418
History
- 2026-11-02: add by m2/dev
HP6CJY13BH HP6CJY13BH
| URI | m2://inv/HP6CJY13BH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-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.14045#7RB4 (statement). In KZ71GXT2B0/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Symbols for zero HP6TBJEP4Z
| URI | m2://inv/HP6TBJEP4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbols for zero, Symbols for zero (definition). Also Wikidata Q7661208
History
- 2026-11-02: add by m2/dev
Friedrich Götze HP70VJT9KB
| URI | m2://inv/HP70VJT9KB |
|---|---|
| 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#47M1, Friedrich Götze (topic)
History
- 2026-11-02: add by m2/dev
HP74CHGH2P HP74CHGH2P
| URI | m2://inv/HP74CHGH2P |
|---|---|
| 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.07442#SGA6 (statement). In 6SDC2Z8Y8M/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.10
Carlos Kenig HP774ZYGQF
| URI | m2://inv/HP774ZYGQF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#5G98, Carlos Kenig (topic)
History
- 2026-11-02: add by m2/dev
Definition HP7ERQHPM1
| URI | m2://inv/HP7ERQHPM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reductio ad Hitlerum#URB2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jacobi integral HP7GD5VBAM
| URI | m2://inv/HP7GD5VBAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi integral, Jacobi integral (definition). Also Wikidata Q3799277
History
- 2026-11-02: add by m2/dev
Markov process HP7VVQ5EZS
| URI | m2://inv/HP7VVQ5EZS |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 60Jxx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2221775, Markov process (topic). Also MathWorld MarkovProcess
History
- 2026-10-26: add by m2/dev
Meixner polynomials HP7WFESADT
| URI | m2://inv/HP7WFESADT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#HA28, Meixner polynomials (definition)
History
- 2026-11-02: add by m2/dev
PH at balanced cutoffs HP7Y8JGBXJ
| URI | m2://inv/HP7Y8JGBXJ |
|---|---|
| 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.05388#O3U2, PH at balanced cutoffs (statement). In 4HJK1986EJ/e1, corollary 3.1
History
- 2026-10-29: add by m2/v0.4.10
Paraconsistent mathematics HP7Z6G35GJ
| URI | m2://inv/HP7Z6G35GJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#Q24N, Paraconsistent mathematics (definition)
History
- 2026-11-02: add by m2/dev
János Pintz HP7ZS1S2CS
| URI | m2://inv/HP7ZS1S2CS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia János Pintz, János Pintz (topic). Also Wikidata Q963230
History
- 2026-11-02: add by m2/dev
Good orbit HP8438MFK6
| URI | m2://inv/HP8438MFK6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05364#KL45, Good orbit (definition). In TPYRE2ARMD/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
HP84REVBAY HP84REVBAY
| URI | m2://inv/HP84REVBAY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-26 (exercise). In E59CDZA4DP, exercise, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
Kodaira's lemma HP8HF09BFD
| URI | m2://inv/HP8HF09BFD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor (algebraic geometry)#NL2J, Kodaira's lemma (statement)
History
- 2026-11-02: add by m2/dev
Properties HP8XCHC7M9
| URI | m2://inv/HP8XCHC7M9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enumeration#HO7E, Properties (statement)
History
- 2026-11-02: add by m2/dev
linear equation HP92Y59Q08
| URI | m2://inv/HP92Y59Q08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#FATX, linear equation (definition)
History
- 2026-11-02: add by m2/dev
Algorithms for training neural networks HP92Z25NKC
| URI | m2://inv/HP92Z25NKC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neural network (machine learning)#P0S5, Algorithms for training neural networks (unknown)
History
- 2026-11-02: add by m2/dev
Fine grained complexity HP94V325YH
| URI | m2://inv/HP94V325YH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fine grained complexity, Fine grained complexity (topic). Also Wikidata Q141254051
History
- 2026-11-02: add by m2/dev
Gram representation for a corner-supported Toeplitz BW form with $m=2$ HP9EC60T0F
| URI | m2://inv/HP9EC60T0F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08980#KQZM, Gram representation for a corner-supported Toeplitz BW form with $m=2$ (example). In X407M6WFNR/e1, example 2.1
History
- 2026-10-29: add by m2/v0.4.10
Definition HP9GAX94SB
| URI | m2://inv/HP9GAX94SB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completely multiplicative function#TDPI, Definition (definition)
History
- 2026-11-02: add by m2/dev
HP9GSAJ4KR HP9GSAJ4KR
| URI | m2://inv/HP9GSAJ4KR |
|---|---|
| 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.11383#79QU (statement). In DJBZ3V8SQ6/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
Ken Kennedy HP9M6379GT
| URI | m2://inv/HP9M6379GT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KG30, Ken Kennedy (unknown)
History
- 2026-11-02: add by m2/dev
HP9MFMV7JC HP9MFMV7JC
| URI | m2://inv/HP9MFMV7JC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#VNX5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HP9R0FYCVE HP9R0FYCVE
| URI | m2://inv/HP9R0FYCVE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#PF9D (definition). In 2VHV0RNTNV/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
The iterates stay in a ball HP9ZVXEAS9
| URI | m2://inv/HP9ZVXEAS9 |
|---|---|
| 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.35418#LTNU, The iterates stay in a ball (statement). In JHD3TW67QT/e1, lemma 15
History
- 2026-10-30: add by m2/v0.4.12
Wladyslaw Roman Orlicz HPA7H9TB1Y
| URI | m2://inv/HPA7H9TB1Y |
|---|---|
| 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#VW8P, Wladyslaw Roman Orlicz (topic)
History
- 2026-11-02: add by m2/dev
HPAABB84A0 HPAABB84A0
| URI | m2://inv/HPAABB84A0 |
|---|---|
| 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 2507.12309#GG52 (definition). In ZR53K3E0FR/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.6
Gonzalo Contreras HPAAVDJJJ9
| URI | m2://inv/HPAAVDJJJ9 |
|---|---|
| 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#80N5, Gonzalo Contreras (unknown)
History
- 2026-11-02: add by m2/dev
HPAQETT6N0 HPAQETT6N0
| URI | m2://inv/HPAQETT6N0 |
|---|---|
| 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.16518#40DG (statement). In SAQBDG4FK1/e1, corollary F.8
History
- 2026-10-28: add by m2/v0.4.2
Population ATT inference HPASGNRGBD
| URI | m2://inv/HPASGNRGBD |
|---|---|
| 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.10873#3TCH, Population ATT inference (statement). In AYG8HYGW6V/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.3
Logit-normal distribution HPATYT4NAH
| URI | m2://inv/HPATYT4NAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#0P2J, Logit-normal distribution (definition)
History
- 2026-11-02: add by m2/dev
Example HPAV0BTAAT
| URI | m2://inv/HPAV0BTAAT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite subgroups of SU(2)#OU2B, Example (example)
History
- 2026-11-02: add by m2/dev
smooth curve HPAV4FF49D
| URI | m2://inv/HPAV4FF49D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1529864, smooth curve (unknown). Also MathWorld SmoothCurve
History
- 2026-10-26: add by m2/dev
Formal definition HPAWY0EEP3
| URI | m2://inv/HPAWY0EEP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sesquipower#4SA9, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
David J. Simms HPB1Y2V8ZK
| URI | m2://inv/HPB1Y2V8ZK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David J. Simms, David J. Simms (topic). Also Wikidata Q5235497
History
- 2026-11-02: add by m2/dev
Nielsen theory HPB29WVY8W
| URI | m2://inv/HPB29WVY8W |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7031621, Nielsen fixed-point theorem (statement). Also Wikidata Q7031621
- thousand_plus: thousand_plus Q7031621, Nielsen fixed-point theorem (statement). Also Wikidata Q7031621, Wikipedia Nielsen fixed-point theorem
- wikipedia: Wikipedia Nielsen theory, Nielsen theory (definition). Also Wikidata Q7031621
History
- 2026-10-26: add by m2/dev
HPBEB7HMXM HPBEB7HMXM
| URI | m2://inv/HPBEB7HMXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33953#TR01 (statement). In QS8R9BEJ8N/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
HPBS9NK6NS HPBS9NK6NS
| URI | m2://inv/HPBS9NK6NS |
|---|---|
| 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 2609.33531#CF3K (statement). In HNMJEAR2ER/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Negative number HPBTBW09YZ
| URI | m2://inv/HPBTBW09YZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#F5KZ, Negative number (definition)
History
- 2026-11-02: add by m2/dev
Great dodecicosidodecahedron HPBW28R5KC
| URI | m2://inv/HPBW28R5KC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#GHQJ, Great dodecicosidodecahedron (object)
History
- 2026-11-02: add by m2/dev
rule of inference HPC0AST5BJ
| URI | m2://inv/HPC0AST5BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#755Z, rule of inference (definition)
History
- 2026-11-02: add by m2/dev
HPC5CXJPKK HPC5CXJPKK
| URI | m2://inv/HPC5CXJPKK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ex:pseudo-ordinals (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Fourier transform for finite abelian groups HPC60457S1
| URI | m2://inv/HPC60457S1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Representation theory of finite groups > Fourier transform for finite abelian groups, Fourier transform for finite abelian groups (unknown)
History
- 2026-10-26: add by m2/dev
Oscar Kempthorne HPCDKQWS58
| URI | m2://inv/HPCDKQWS58 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscar Kempthorne, Oscar Kempthorne (topic). Also Wikidata Q7106073
History
- 2026-11-02: add by m2/dev
Luen-Fai Tam HPCN58SAGA
| URI | m2://inv/HPCN58SAGA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luen-Fai Tam, Luen-Fai Tam (topic). Also Wikidata Q102200828
History
- 2026-11-02: add by m2/dev
HPCQSZ2EVX HPCQSZ2EVX
| URI | m2://inv/HPCQSZ2EVX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/counterfactuals/minimal-change-semantics/contraposition.tex#ex:contraposition-counterex (example). In PKGMM3P5QY, ex, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
HPCXNQ0NKM HPCXNQ0NKM
| URI | m2://inv/HPCXNQ0NKM |
|---|---|
| Kind | statement |
| 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 2610.03126#LHO2 (statement). In ZJ6VQCRDVR/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
summation notation HPD91AEY3R
| URI | m2://inv/HPD91AEY3R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.1/summation-notation, summation notation (concept). In Y91XFCEVHQ, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Digital signature forgery HPDQ3TYMCD
| URI | m2://inv/HPDQ3TYMCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital signature forgery, Digital signature forgery (definition). Also Wikidata Q5276161
History
- 2026-11-02: add by m2/dev
HPDS3F80RY HPDS3F80RY
| URI | m2://inv/HPDS3F80RY |
|---|---|
| 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.12683#3CT4 (statement). In N5ZFFWV3RX/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
HPDY45WAJT HPDY45WAJT
| URI | m2://inv/HPDY45WAJT |
|---|---|
| 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 2310.19073#ARFR (statement). In DK2ZSJ65ZV/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
HPE8Z145HK HPE8Z145HK
| URI | m2://inv/HPE8Z145HK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04411#E0BM (statement). In 6AY8SX3XBW/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
HPE9BHWMZF HPE9BHWMZF
| URI | m2://inv/HPE9BHWMZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02484#H6H3 (statement). In D1V0MQZTFQ/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.12
HPEAFFR2G0 HPEAFFR2G0
| URI | m2://inv/HPEAFFR2G0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#X7HP (statement). In FDYZFDHZH9/e1, proposition 4.17
History
- 2026-10-31: add by m2/v0.5.6
\textbf{Non-asymptotic error bound of UBU-type ULMC beyond log-concavity HPED27CPZ6
| URI | m2://inv/HPED27CPZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#7UT4, \textbf{Non-asymptotic error bound of UBU-type ULMC beyond log-concavity (statement)
History
- 2026-11-02: add by m2/v0.6.18
Leibniz formula HPEGKSGDXJ
| URI | m2://inv/HPEGKSGDXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Differentiability > Leibniz formula, Leibniz formula (unknown). Also Mathlib fderiv_mul
History
- 2026-10-26: add by m2/dev
HPEHA0DHRA HPEHA0DHRA
| URI | m2://inv/HPEHA0DHRA |
|---|---|
| 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.36423#QVP5 (statement). In Q5Z178SAHP/e1, theorem 7.4
History
- 2026-10-30: add by m2/v0.4.12
Condensation HPEXHT4BKQ
| URI | m2://inv/HPEXHT4BKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Condensation, Condensation (definition). Also Wikidata Q166583
History
- 2026-11-02: add by m2/dev
HPEYBJXJ1P HPEYBJXJ1P
| URI | m2://inv/HPEYBJXJ1P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-41 (exercise). In E9HS8K3A52, exercise, section 10.4.2
History
- 2026-11-01: add by m2/v0.6.13
Sharpness of the endpoint HPEYKKG8M1
| URI | m2://inv/HPEYKKG8M1 |
|---|---|
| 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.24930#B9RS, Sharpness of the endpoint (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cirquent calculus HPF84NV83Z
| URI | m2://inv/HPF84NV83Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#H86D, Cirquent calculus (definition)
History
- 2026-11-02: add by m2/dev
Isomorphism extension theorem HPFC251MMN
| URI | m2://inv/HPFC251MMN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 16-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6086104, Isomorphism extension theorem (statement). Also Wikidata Q6086104
- thousand_plus: thousand_plus Q6086104, Isomorphism extension theorem (statement). Also Wikidata Q6086104, Wikipedia Isomorphism extension theorem
- wikipedia: Wikipedia Isomorphism extension theorem, Isomorphism extension theorem (statement). Also Wikidata Q6086104
History
- 2026-10-26: add by m2/dev
Topological Vaught conjecture HPFC9BT9Z3
| URI | m2://inv/HPFC9BT9Z3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vaught conjecture#65X2, Topological Vaught conjecture (statement)
History
- 2026-11-02: add by m2/dev
HPFEB5CWTQ HPFEB5CWTQ
| URI | m2://inv/HPFEB5CWTQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-6 (exercise). In E59CDZA4DP, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
Shuffle algebra HPFKPX1EV5
| URI | m2://inv/HPFKPX1EV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shuffle algebra, Shuffle algebra (definition). Also Wikidata Q2835954
History
- 2026-11-02: add by m2/dev
Cubic border relation HPFQ937N6E
| URI | m2://inv/HPFQ937N6E |
|---|---|
| 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 2609.27320#ZL7P, Cubic border relation (statement)
History
- 2026-11-01: add by m2/v0.6.15
HPFSJAAGJR HPFSJAAGJR
| URI | m2://inv/HPFSJAAGJR |
|---|---|
| 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.01267#UR2W (statement). In GWWHP6R0BZ/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
Cryptology Research Society of India HPFXFZR50S
| URI | m2://inv/HPFXFZR50S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptology Research Society of India, Cryptology Research Society of India (definition). Also Wikidata Q5190976
History
- 2026-11-02: add by m2/dev
encode-decode method HPFZ0RRYPP
| URI | m2://inv/HPFZ0RRYPP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.13/encode-decode-method, encode-decode method (concept). In N54F33XE07, index, section 1.13
History
- 2026-11-01: add by m2/v0.6.13
major premise HPFZF65GQX
| URI | m2://inv/HPFZF65GQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#15FF, major premise (definition)
History
- 2026-11-02: add by m2/dev
HPG2581HY2 HPG2581HY2
| URI | m2://inv/HPG2581HY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-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 2503.19528#34P8 (statement). In EM5955MDHN/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Elisabeth Hagemann HPG6J0HFCH
| URI | m2://inv/HPG6J0HFCH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#IDSB, Elisabeth Hagemann (topic)
History
- 2026-11-02: add by m2/dev
HPG85ZBFSX HPG85ZBFSX
| URI | m2://inv/HPG85ZBFSX |
|---|---|
| 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 2308.05715#D166 (statement). In FC0SB9JFWH/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
Mitsuru Matsui HPGN4A4VJQ
| URI | m2://inv/HPGN4A4VJQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T8G9, Mitsuru Matsui (unknown)
History
- 2026-11-02: add by m2/dev
HPGN7T3YXA HPGN7T3YXA
| URI | m2://inv/HPGN7T3YXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#8VSE (statement). In H21X3FHNYJ/e1, lemma 9.4
History
- 2026-10-27: add by m2/v0.4.2
Partial derivatives of $\Phi$ HPGTSR0WQP
| URI | m2://inv/HPGTSR0WQP |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.4.2
Maria Rita D'Orsogna HPGX5ZX89B
| URI | m2://inv/HPGX5ZX89B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Rita D'Orsogna, Maria Rita D'Orsogna (topic). Also Wikidata Q90389216
History
- 2026-11-02: add by m2/dev
706 (number) HPGX9BGSN7
| URI | m2://inv/HPGX9BGSN7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#MD2L, 706 (number) (unknown)
History
- 2026-11-02: add by m2/dev
HPH00W5N6X HPH00W5N6X
| URI | m2://inv/HPH00W5N6X |
|---|---|
| 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.33206#GKJ4 (statement). In VRPEECJF2P/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
HPH2ARS9YX HPH2ARS9YX
| URI | m2://inv/HPH2ARS9YX |
|---|---|
| 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 2503.16884#5U2C (example). In B984KNW591/e1, example 4.1
History
- 2026-10-27: add by m2/v0.3.5
Edmund Landau HPH37MD2X8
| URI | m2://inv/HPH37MD2X8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#E2WJ, Edmund Landau (topic)
History
- 2026-11-02: add by m2/dev
Norman Johnson HPH500MPC8
| URI | m2://inv/HPH500MPC8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norman Johnson (mathematician), Norman Johnson (topic). Also Wikidata Q80553
History
- 2026-11-02: add by m2/dev
HPH5QB0R37 HPH5QB0R37
| URI | m2://inv/HPH5QB0R37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.21552#0QUW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pinsker's inequality; Lemma 11.6.1 HPH6E5D51W
| URI | m2://inv/HPH6E5D51W |
|---|---|
| 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#DT83, Pinsker's inequality; Lemma 11.6.1 (statement). In 7D5MMP8XB5/e1, fact 2.5
History
- 2026-10-28: add by m2/v0.4.2
Hardness under autoregressive reparametrization HPH7DY5CFH
| URI | m2://inv/HPH7DY5CFH |
|---|---|
| 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.02528#P8WR, Hardness under autoregressive reparametrization (statement). In 5FQHVY6RXK/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
HPHC440WXN HPHC440WXN
| URI | m2://inv/HPHC440WXN |
|---|---|
| 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.36334#WBRY (statement). In YVB70SBGN1/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
HPHJAVB9WB HPHJAVB9WB
| URI | m2://inv/HPHJAVB9WB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32176#SQ70 (statement). In N9F5R2PV0E/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
HPHMKJW2C4 HPHMKJW2C4
| URI | m2://inv/HPHMKJW2C4 |
|---|---|
| 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.00525#PH0V (statement). In JN34PDDXH8/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Stable homotopy-fixed-point spectral sequence HPHX7QF15S
| URI | m2://inv/HPHX7QF15S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-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.03865#JGB4, Stable homotopy-fixed-point spectral sequence (statement). In G3D1YR20BJ/e1, lemma 3.31
History
- 2026-10-29: add by m2/v0.4.12
$\mathfrak{g}$-module HPHZNNRXFS
| URI | m2://inv/HPHZNNRXFS |
|---|---|
| Kind | definition |
| 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 2610.12489#A2X3, $\mathfrak{g}$-module (definition). In FDWFVD08SE/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Spectral expansion in the fixed closure HPJ26501BR
| URI | m2://inv/HPJ26501BR |
|---|---|
| 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.05388#S158, Spectral expansion in the fixed closure (statement). In 4HJK1986EJ/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
HPJ9B9P4M0 HPJ9B9P4M0
| URI | m2://inv/HPJ9B9P4M0 |
|---|---|
| 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 2609.38659#CMA4 (statement). In DCJ23ZYXGK/e1, lemma C.2
History
- 2026-10-30: add by m2/v0.4.12
Uses HPJAF80173
| URI | m2://inv/HPJAF80173 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trusted Platform Module#N0GW, Uses (example)
History
- 2026-11-02: add by m2/dev
Atkinson HPJDYFE3K3
| URI | m2://inv/HPJDYFE3K3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#ULN0, Atkinson (statement). In XJWQ6Y83F8/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.2
HPJP3XDS5C HPJP3XDS5C
| URI | m2://inv/HPJP3XDS5C |
|---|---|
| Kind | definition |
| 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 2607.00323#C0SE (definition). In BPRFEQY7W4/e1, definition 3.14
History
- 2026-10-27: add by m2/v0.3.6
conditional probability HPJVJ9X0PH
| URI | m2://inv/HPJVJ9X0PH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#2UAZ, conditional probability (definition)
History
- 2026-11-02: add by m2/dev
HPK87SM7AD HPK87SM7AD
| URI | m2://inv/HPK87SM7AD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#TQ11 (definition). In JXTG8KP95P/e1, definition 2.26
History
- 2026-10-30: add by m2/v0.4.12
Example HPK89R28D8
| URI | m2://inv/HPK89R28D8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear programming#4XVO, Example (example)
History
- 2026-11-02: add by m2/dev
Harold Willens HPKBJ1G3M2
| URI | m2://inv/HPKBJ1G3M2 |
|---|---|
| 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#QXWO, Harold Willens (unknown)
History
- 2026-11-02: add by m2/dev
HPKTP1JABK HPKTP1JABK
| URI | m2://inv/HPKTP1JABK |
|---|---|
| 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 2210.02997#JK2K (statement). In KEXVYV0SNS/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
HPM2P5PR5V HPM2P5PR5V
| URI | m2://inv/HPM2P5PR5V |
|---|---|
| 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 2610.08091#WQ5S (statement). In MS13WE3CSD/e1, lemma 2.17
History
- 2026-10-29: add by m2/v0.4.10
Peter Keevash HPM3G0QJ1Q
| URI | m2://inv/HPM3G0QJ1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Keevash, Peter Keevash (topic). Also Wikidata Q15990099
History
- 2026-11-02: add by m2/dev
HPM3RHF9KB HPM3RHF9KB
| URI | m2://inv/HPM3RHF9KB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2403.08723#IZNA (statement). In HGE2NCQW29/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Algorithms HPM8J2JH4H
| URI | m2://inv/HPM8J2JH4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transitive closure#HE4V, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Hyperelliptic curve cryptography HPMAHH4JKZ
| URI | m2://inv/HPMAHH4JKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#ABH9, Hyperelliptic curve cryptography (definition)
History
- 2026-11-02: add by m2/dev
Symmetries HPMDMD86KY
| URI | m2://inv/HPMDMD86KY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Painlevé transcendents#WB0V, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Examples HPMJTAV7ZG
| URI | m2://inv/HPMJTAV7ZG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal C*-algebra#S8H0, Examples (example)
History
- 2026-11-02: add by m2/dev
Arc-transitivity criterion HPMM5G07J4
| URI | m2://inv/HPMM5G07J4 |
|---|---|
| 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.15340#3PMC, Arc-transitivity criterion (statement). In 9NVKKW8HDH/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.2
Polarization HPMR8ZNCZ1
| URI | m2://inv/HPMR8ZNCZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polarization (Lie algebra), Polarization (definition). Also Wikidata Q87345321
History
- 2026-11-02: add by m2/dev
HPN25G2HQW HPN25G2HQW
| URI | m2://inv/HPN25G2HQW |
|---|---|
| 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 2609.19921#335U (statement)
History
- 2026-11-02: add by m2/v0.6.18
HPN2NVY3CW HPN2NVY3CW
| URI | m2://inv/HPN2NVY3CW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35307#0FBR (statement). In FT5TKY10T8/e1, theorem 9.6
History
- 2026-10-30: add by m2/v0.4.12
Scott information system HPN3JR4FTG
| URI | m2://inv/HPN3JR4FTG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#I0RM, Scott information system (unknown)
History
- 2026-11-02: add by m2/dev
HPN53JQ7H6 HPN53JQ7H6
| URI | m2://inv/HPN53JQ7H6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15432#ZR6X (statement). In D1DFM4WYEW/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
HPNPP0DCGJ HPNPP0DCGJ
| URI | m2://inv/HPNPP0DCGJ |
|---|---|
| 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 2610.20760#6LQR (statement). In 6G9JSJ5JMP/e1, lemma 20
History
- 2026-10-27: add by m2/v0.4.2
HPNTR67NXD HPNTR67NXD
| URI | m2://inv/HPNTR67NXD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-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 2505.04593#HSHI (definition). In PEXJPV3NP8/e1, definition 2.15
History
- 2026-10-27: add by m2/v0.3.5
Kirill Shikhaev HPNX9P5R93
| URI | m2://inv/HPNX9P5R93 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirill Shikhaev, Kirill Shikhaev (topic). Also Wikidata Q6415270
History
- 2026-11-02: add by m2/dev
Tolman–Oppenheimer–Volkoff equation HPP257GA7E
| URI | m2://inv/HPP257GA7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tolman–Oppenheimer–Volkoff equation, Tolman–Oppenheimer–Volkoff equation (definition). Also Wikidata Q2735407
History
- 2026-11-02: add by m2/dev
HPP7TFR26G HPP7TFR26G
| URI | m2://inv/HPP7TFR26G |
|---|---|
| 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.18618#IGIL (statement). In C8VC86B6H8/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Planck's proposition HPP8BBKKZR
| URI | m2://inv/HPP8BBKKZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second law of thermodynamics#0P75, Planck's proposition (statement)
History
- 2026-11-02: add by m2/dev
HPPATGJXFB HPPATGJXFB
| URI | m2://inv/HPPATGJXFB |
|---|---|
| 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.16123#7TMU (statement). In 6VR4TY5BGV/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Definition (monotone signed-ratio) HPPB8FCNX8
| URI | m2://inv/HPPB8FCNX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics#LDAW, Definition (monotone signed-ratio) (definition)
History
- 2026-11-02: add by m2/dev
HPPFQV3594 HPPFQV3594
| URI | m2://inv/HPPFQV3594 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#XFB8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Cousin prime HPPGVEBJ5K
| URI | m2://inv/HPPGVEBJ5K |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#IAPW, Cousin prime (conjecture)
History
- 2026-11-02: add by m2/dev
formality HPPH2J435Y
| URI | m2://inv/HPPH2J435Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1757948, formality (unknown). Also nLab formality
History
- 2026-10-26: add by m2/dev
Susan McClary HPPKXPP1EC
| URI | m2://inv/HPPKXPP1EC |
|---|---|
| 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#M65Q, Susan McClary (unknown)
History
- 2026-11-02: add by m2/dev
Photon sphere HPPMDY64Y1
| URI | m2://inv/HPPMDY64Y1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Photon sphere, Photon sphere (definition). Also Wikidata Q2361910
History
- 2026-11-02: add by m2/dev
Vladimir Veksler HPPT2R2888
| URI | m2://inv/HPPT2R2888 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#TJJJ, Vladimir Veksler (unknown)
History
- 2026-11-02: add by m2/dev
Some theorems HPPV1T4T3V
| URI | m2://inv/HPPV1T4T3V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presentation of a group#UPZ9, Some theorems (statement)
History
- 2026-11-02: add by m2/dev
Argument from inconsistent revelations HPPVSCRHD4
| URI | m2://inv/HPPVSCRHD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Religious pluralism#QKC5, Argument from inconsistent revelations (unknown)
History
- 2026-11-02: add by m2/dev
HPPYBNF9VK HPPYBNF9VK
| URI | m2://inv/HPPYBNF9VK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18094#TCVG (statement). In AYANBEWSFH/e1, proposition 5.6
History
- 2026-10-28: add by m2/v0.4.2
Experimenter's HPPYHPMRCA
| URI | m2://inv/HPPYHPMRCA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#SJ75, Experimenter's (definition)
History
- 2026-11-02: add by m2/dev
Quantum optimization algorithms HPPZS0GNEP
| URI | m2://inv/HPPZS0GNEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#DO2N, Quantum optimization algorithms (definition)
History
- 2026-11-02: add by m2/dev
HPQ03K83TQ HPQ03K83TQ
| URI | m2://inv/HPQ03K83TQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-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 1204.5958#L20F (definition). In XYCBKM4WKY/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
HPQ2K6KD2H HPQ2K6KD2H
| URI | m2://inv/HPQ2K6KD2H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-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.04870#MDZY (definition). In X765ZXXVC3/e1, definition 4.6
History
- 2026-10-29: add by m2/v0.4.12
Tomaž Pisanski HPQDDZ526T
| URI | m2://inv/HPQDDZ526T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3BSE, Tomaž Pisanski (unknown)
History
- 2026-11-02: add by m2/dev
HPQDR5728N HPQDR5728N
| URI | m2://inv/HPQDR5728N |
|---|---|
| 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.38131#DGSC (statement). In GM3S19KFDH/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
HPQHJFR6C4 HPQHJFR6C4
| URI | m2://inv/HPQHJFR6C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/lindenbaum.tex#defn:prime (definition). In PKGMM3P5QY, defn, section 33.5
History
- 2026-11-01: add by m2/v0.6.13
HPQRD23XD7 HPQRD23XD7
| URI | m2://inv/HPQRD23XD7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#example-4 (example). In RZP28ERRZV, example, section 80.2
History
- 2026-11-01: add by m2/v0.6.13
Thomas Callister Hales HPQYYKD7AN
| URI | m2://inv/HPQYYKD7AN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Callister Hales, Thomas Callister Hales (topic). Also Wikidata Q1398901
History
- 2026-11-02: add by m2/dev
Richard Bronson HPR0XT2TE7
| URI | m2://inv/HPR0XT2TE7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Bronson, Richard Bronson (topic). Also Wikidata Q7324365
History
- 2026-11-02: add by m2/dev
Dorothy Vaughan HPR9G9WGZV
| URI | m2://inv/HPR9G9WGZV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorothy Vaughan, Dorothy Vaughan (topic). Also Wikidata Q22915129
History
- 2026-11-02: add by m2/dev
Beppo Levi HPRBVG1SCH
| URI | m2://inv/HPRBVG1SCH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#WNOD, Beppo Levi (topic)
History
- 2026-11-02: add by m2/dev
Higher-order differential cryptanalysis HPRSMGWAVA
| URI | m2://inv/HPRSMGWAVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher-order differential cryptanalysis, Higher-order differential cryptanalysis (definition). Also Wikidata Q11673206
History
- 2026-11-02: add by m2/dev
Formulas for prime numbers HPS0P0Y7X8
| URI | m2://inv/HPS0P0Y7X8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floor and ceiling functions#RF8M, Formulas for prime numbers (statement)
History
- 2026-11-02: add by m2/dev
interior of a manifold HPS3MAEP52
| URI | m2://inv/HPS3MAEP52 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > interior of a manifold, interior of a manifold (unknown). Also Mathlib ModelWithCorners.interior
History
- 2026-10-26: add by m2/dev
Examples HPS40M7M6E
| URI | m2://inv/HPS40M7M6E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential formula#H632, Examples (example)
History
- 2026-11-02: add by m2/dev
Conjugate variables HPS4SAY5JC
| URI | m2://inv/HPS4SAY5JC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate variables (thermodynamics), Conjugate variables (definition). Also Wikidata Q2627460
History
- 2026-11-02: add by m2/dev
Ethnic and confessional birth and fertility rates in Bulgaria HPS56WNQZ6
| URI | m2://inv/HPS56WNQZ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Bulgaria#A3IJ, Ethnic and confessional birth and fertility rates in Bulgaria (unknown)
History
- 2026-11-02: add by m2/dev
F. W. Winterbotham HPSAN59ZG8
| URI | m2://inv/HPSAN59ZG8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F. W. Winterbotham, F. W. Winterbotham (topic). Also Wikidata Q5424088
History
- 2026-11-02: add by m2/dev
Deterioration of the ENNAMCQ margin HPSFSX32WM
| URI | m2://inv/HPSFSX32WM |
|---|---|
| Kind | example |
| 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.39736#VWV5, Deterioration of the ENNAMCQ margin (example). In BB1XJ47PVW/e1, example 23
History
- 2026-10-30: add by m2/v0.4.12
Properties HPSR7D9Z72
| URI | m2://inv/HPSR7D9Z72 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E8 lattice#CHBN, Properties (statement)
History
- 2026-11-02: add by m2/dev
HPSVY5J7CK HPSVY5J7CK
| URI | m2://inv/HPSVY5J7CK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09095#2UKJ (statement). In 6DTDDM6JHP/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Examples HPSXGZKRHN
| URI | m2://inv/HPSXGZKRHN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolization procedures#5PWM, Examples (example)
History
- 2026-11-02: add by m2/dev
Decimal HPT020BE8T
| URI | m2://inv/HPT020BE8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral system topics#AUEX, Decimal (definition)
History
- 2026-11-02: add by m2/dev
HPTA3HT1NG HPTA3HT1NG
| URI | m2://inv/HPTA3HT1NG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-82 (exercise). In E9HS8K3A52, exercise, section 10.7.3
History
- 2026-11-01: add by m2/v0.6.13
Definition HPTDDJVDXT
| URI | m2://inv/HPTDDJVDXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered vector space#D7GR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Johan Håstad HPTEK4GARX
| URI | m2://inv/HPTEK4GARX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#I9PD, Johan Håstad (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TEF2, Johan Håstad (unknown)
History
- 2026-11-02: add by m2/dev
Regularized cellularization datum HPTH332PSB
| URI | m2://inv/HPTH332PSB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#BHMO, Regularized cellularization datum (definition)
History
- 2026-11-01: add by m2/v0.6.15
B92 protocol HPTTE7NSTW
| URI | m2://inv/HPTTE7NSTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B92 protocol, B92 protocol (definition). Also Wikidata Q133751135
History
- 2026-11-02: add by m2/dev
Expansion (geometry) HPTWZ6ZNSA
| URI | m2://inv/HPTWZ6ZNSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#X2IX, Expansion (geometry) (definition)
History
- 2026-11-02: add by m2/dev
Entropic risk measure HPV1V3X2V1
| URI | m2://inv/HPV1V3X2V1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropic risk measure, Entropic risk measure (definition). Also Wikidata Q5380781
History
- 2026-11-02: add by m2/dev
Frank Calegari HPV4T2GXV0
| URI | m2://inv/HPV4T2GXV0 |
|---|---|
| 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#2IXB, Frank Calegari (topic)
History
- 2026-11-02: add by m2/dev
HPV5BMKZ1S HPV5BMKZ1S
| URI | m2://inv/HPV5BMKZ1S |
|---|---|
| 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.07790#R12L (statement). In A5YJDDM0NX/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
HPV6BE241W HPV6BE241W
| URI | m2://inv/HPV6BE241W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-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.04694#2A1P (example). In W9A0Z2NBMA/e1, example
History
- 2026-10-29: add by m2/v0.4.12
HPV93A5BKV HPV93A5BKV
| URI | m2://inv/HPV93A5BKV |
|---|---|
| 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 2602.03058#0B34 (statement). In XQ0ZXH8KAC/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.5
Explicit large-logit region for the correction HPVBWCF4HV
| URI | m2://inv/HPVBWCF4HV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#BD1X, Explicit large-logit region for the correction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Orthogonal-frame floor HPVDKPYXZD
| URI | m2://inv/HPVDKPYXZD |
|---|---|
| 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.39408#CQX3, Orthogonal-frame floor (statement). In T8E6F01RTM/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
HPVETDS4NY HPVETDS4NY
| URI | m2://inv/HPVETDS4NY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-113 (exercise). In E9HS8K3A52, exercise, section 5.9.1
History
- 2026-11-01: add by m2/v0.6.13
Approximate factorization HPVR0S1B90
| URI | m2://inv/HPVR0S1B90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40214#78RJ, Approximate factorization (statement). In XD603HRHKC/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
Wolfram's 2-state 3-symbol Turing machine HPVVM61RSS
| URI | m2://inv/HPVVM61RSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfram's 2-state 3-symbol Turing machine, Wolfram's 2-state 3-symbol Turing machine (definition). Also Wikidata Q8030189
History
- 2026-11-02: add by m2/dev
Abstract Algebraic Hierarchy HPVW7F5QT1
| URI | m2://inv/HPVW7F5QT1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leibniz operator#IZQZ, Abstract Algebraic Hierarchy (unknown)
History
- 2026-11-02: add by m2/dev
HPVZKHGQW8 HPVZKHGQW8
| URI | m2://inv/HPVZKHGQW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#35HT (statement). In V6EPE8XHAD/e1, proposition 12.7
History
- 2026-10-29: add by m2/v0.4.10
pure HPW0ZT5KYV
| URI | m2://inv/HPW0ZT5KYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#MK8X, pure (definition)
History
- 2026-11-02: add by m2/dev
HPW4E2MF0M HPW4E2MF0M
| URI | m2://inv/HPW4E2MF0M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#2PVV (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition HPW99JX3JY
| URI | m2://inv/HPW99JX3JY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Observability#S2BL, Definition (definition)
History
- 2026-11-02: add by m2/dev
HPWBDF9N2F HPWBDF9N2F
| URI | m2://inv/HPWBDF9N2F |
|---|---|
| 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.32903#43FR (statement). In S8NB83KQX3/e1, lemma 15
History
- 2026-10-31: add by m2/v0.5.6
\emph{Paraproduct HPWGXM3WWM
| URI | m2://inv/HPWGXM3WWM |
|---|---|
| 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.37593#NNFW, \emph{Paraproduct (statement). In YTF96VHKAH/e1, lemma A.4
History
- 2026-10-30: add by m2/v0.4.12
Yad HaShmona HPWQKSYYA8
| URI | m2://inv/HPWQKSYYA8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#HUUN, Yad HaShmona (unknown)
History
- 2026-11-02: add by m2/dev
List of dualities HPWWAC1B4X
| URI | m2://inv/HPWWAC1B4X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities, List of dualities (topic). Also Wikidata Q6617540
History
- 2026-11-02: add by m2/dev
Ramanujan–Soldner constant HPX1MW2C94
| URI | m2://inv/HPX1MW2C94 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#2YJU, Ramanujan–Soldner constant (object)
History
- 2026-11-02: add by m2/dev
Jacobian conjecture HPXAHPS3VW
| URI | m2://inv/HPXAHPS3VW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Jacobian conjecture B5JFXEQQD8 |
Mentions
- wikidata: Wikidata Q2605695, Jacobian conjecture (conjecture). Also nLab Jacobian conjecture
- wikipedia: Wikipedia Jacobian conjecture, Jacobian conjecture (statement). Also Wikidata Q2605695
History
- 2026-10-26: add by m2/dev
HPXASTPFDZ HPXASTPFDZ
| URI | m2://inv/HPXASTPFDZ |
|---|---|
| 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.21963#NKW6 (statement). In HR9R8RPKN8/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
HPXB1V19ZT HPXB1V19ZT
| URI | m2://inv/HPXB1V19ZT |
|---|---|
| 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 2605.00407#S7KZ (statement). In TVFD0G3F2W/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
Riesz Representation Theorem HPXPA5DX5W
| URI | m2://inv/HPXPA5DX5W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subharmonic function#X3XE, Riesz Representation Theorem (statement)
History
- 2026-11-02: add by m2/dev
HPXQFFDTA0 HPXQFFDTA0
| URI | m2://inv/HPXQFFDTA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.19658#Y14C (statement). In G00EYA9DXG/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
Demographics of Ukraine HPXSEMFF4E
| URI | m2://inv/HPXSEMFF4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Ukraine, Demographics of Ukraine (definition). Also Wikidata Q1340635
History
- 2026-11-02: add by m2/dev
HPXXBECTKJ HPXXBECTKJ
| URI | m2://inv/HPXXBECTKJ |
|---|---|
| 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 2609.35307#ES9Q (definition). In FT5TKY10T8/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Christy Chuang-Stein HPXXNS3WFB
| URI | m2://inv/HPXXNS3WFB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#7S1X, Christy Chuang-Stein (topic)
History
- 2026-11-02: add by m2/dev
Atiyah conjecture HPY3ZR9FP2
| URI | m2://inv/HPY3ZR9FP2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah conjecture, Atiyah conjecture (statement). Also Wikidata Q4815873
History
- 2026-11-02: add by m2/dev
Examples HPY5MNX6DC
| URI | m2://inv/HPY5MNX6DC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra isomorphism#DKD0, Examples (example)
History
- 2026-11-02: add by m2/dev
Exact rounding HPY871EQ7J
| URI | m2://inv/HPY871EQ7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04271#DLC6, Exact rounding (statement). In WBXAW9G4JB/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.12
HPYM37DFGZ HPYM37DFGZ
| URI | m2://inv/HPYM37DFGZ |
|---|---|
| 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 2207.07461#MI45 (statement). In GAG532VMPF/e1, theorem 1.2.2
History
- 2026-10-27: add by m2/v0.3.5
Gradient discretisation method HPYW0M9FDZ
| URI | m2://inv/HPYW0M9FDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient discretisation method, Gradient discretisation method (definition). Also Wikidata Q28404790
History
- 2026-11-02: add by m2/dev
HPYX0S9VG6 HPYX0S9VG6
| URI | m2://inv/HPYX0S9VG6 |
|---|---|
| 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.06461#YQ4O (statement). In QXY3W2JV2N/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.10
HPYZR0FZNJ HPYZR0FZNJ
| URI | m2://inv/HPYZR0FZNJ |
|---|---|
| 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.39890#0V44 (statement). In GGVQ3B9KJ6/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Nuiten HPZ7GGVEYE
| URI | m2://inv/HPZ7GGVEYE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#JO2C, Nuiten (definition)
History
- 2026-11-01: add by m2/v0.6.15
HPZBF5927R HPZBF5927R
| URI | m2://inv/HPZBF5927R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12565#T2XD (statement). In 9RYQ164FWA/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
HPZKN347DY HPZKN347DY
| URI | m2://inv/HPZKN347DY |
|---|---|
| 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.05706#B6EB (statement). In 8EHE8CX1KJ/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
HPZR3431GY HPZR3431GY
| URI | m2://inv/HPZR3431GY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/provability-propositional.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 22.8
History
- 2026-11-01: add by m2/v0.6.13
HPZV11528E HPZV11528E
| URI | m2://inv/HPZV11528E |
|---|---|
| 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.14204#OYY9 (statement). In GZAY1Y12YD/e1, proposition 2.7
History
- 2026-10-28: add by m2/v0.4.2
reduced HPZXWSJ654
| URI | m2://inv/HPZXWSJ654 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#VTUY, reduced (definition)
History
- 2026-11-02: add by m2/dev