Inventory rows 72
The cards of the rows of the inventory whose ids start with 72. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Estimate for $V^1$ 7203MK40PW
| URI | m2://inv/7203MK40PW |
|---|---|
| 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.03011#K6QP, Estimate for $V^1$ (statement). In VE8FB6K8EN/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.12
Ten Commandments 720BA5FQFS
| URI | m2://inv/720BA5FQFS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OMNJ, Ten Commandments (unknown)
History
- 2026-11-02: add by m2/dev
720FJ28MJH 720FJ28MJH
| URI | m2://inv/720FJ28MJH |
|---|---|
| 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.26041#I0NM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gross–Zagier theorem 720GHBVRAF
| URI | m2://inv/720GHBVRAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8ZFD, Gross–Zagier theorem (definition)
History
- 2026-11-02: add by m2/dev
Example 720Z4SQK38
| URI | m2://inv/720Z4SQK38 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted sum model#NXGQ, Example (example)
History
- 2026-11-02: add by m2/dev
Cauchy process 7214B114HA
| URI | m2://inv/7214B114HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy process, Cauchy process (definition). Also Wikidata Q5054342
History
- 2026-11-02: add by m2/dev
Theorem 7215JCC57D
| URI | m2://inv/7215JCC57D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrow–Debreu model#BAEW, Theorem (statement)
History
- 2026-11-02: add by m2/dev
7217NH8WNM 7217NH8WNM
| URI | m2://inv/7217NH8WNM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.21703#JYSC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Michel Raynaud 721EZ57VVW
| URI | m2://inv/721EZ57VVW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1544886, Michel Raynaud (unknown). Also nLab Michel Raynaud
- wikipedia: Wikipedia Michel Raynaud, Michel Raynaud (topic). Also Wikidata Q1544886
History
- 2026-10-26: add by m2/dev
perfect 721JRPK3AQ
| URI | m2://inv/721JRPK3AQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#WMHC, perfect (definition)
History
- 2026-11-02: add by m2/dev
Definition 721VT2KPE3
| URI | m2://inv/721VT2KPE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multicategory#D5DL, Definition (definition)
History
- 2026-11-02: add by m2/dev
72294H5FGG 72294H5FGG
| URI | m2://inv/72294H5FGG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#example-1 (example). In E9HS8K3A52, example, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
722CJVS8AH 722CJVS8AH
| URI | m2://inv/722CJVS8AH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26398#IO4W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Samuelson's inequality 722JTEZ4HH
| URI | m2://inv/722JTEZ4HH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LJI7, Samuelson's inequality (statement)
- wikipedia: Wikipedia List of inequalities#ICLV, Samuelson's inequality (statement)
History
- 2026-11-02: add by m2/dev
722JX4FTF5 722JX4FTF5
| URI | m2://inv/722JX4FTF5 |
|---|---|
| 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.39293#VSBP (statement). In S26QVW5613/e1, theorem 2.3.9
History
- 2026-10-30: add by m2/v0.4.12
722Q2HYCV0 722Q2HYCV0
| URI | m2://inv/722Q2HYCV0 |
|---|---|
| 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 dg-ga/9612010#GZJK (statement). In CM39SWC4A6/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.4.0
722SM5C243 722SM5C243
| URI | m2://inv/722SM5C243 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.07243#1UE0 (statement). In 9RH8C8RYW3/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
722VAM18TA 722VAM18TA
| URI | m2://inv/722VAM18TA |
|---|---|
| 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 2504.14383#D2NA (statement). In QD0X3XJS6T/e1, lemma 7.12
History
- 2026-10-27: add by m2/v0.3.5
722XKGWHXK 722XKGWHXK
| URI | m2://inv/722XKGWHXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-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.03601#VX8W (statement). In F7TDYCHCSE/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.3.5
Examples 7235FZCYSZ
| URI | m2://inv/7235FZCYSZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphon#PX8V, Examples (example)
History
- 2026-11-02: add by m2/dev
Cantor's theorem 72368G3KPY
| URI | m2://inv/72368G3KPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal set#SAXB, Cantor's theorem (statement)
History
- 2026-11-02: add by m2/dev
Monge gap 7238DABG4G
| URI | m2://inv/7238DABG4G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31363#QPZT, Monge gap (definition). In XB8NYRD86J/e1, definition 2.3
History
- 2026-10-31: add by m2/v0.5.6
V. G. Sprindzuk 723AXPFWS2
| URI | m2://inv/723AXPFWS2 |
|---|---|
| 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#Z9NG, V. G. Sprindzuk (topic)
History
- 2026-11-02: add by m2/dev
Doron Levy 723BFRXTZN
| URI | m2://inv/723BFRXTZN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doron Levy, Doron Levy (topic). Also Wikidata Q88134429
History
- 2026-11-02: add by m2/dev
723H77GGKC 723H77GGKC
| URI | m2://inv/723H77GGKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#LG57 (statement)
History
- 2026-11-01: add by m2/v0.6.15
723HAPVS5N 723HAPVS5N
| URI | m2://inv/723HAPVS5N |
|---|---|
| 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 1303.4328#DFUH (statement). In HCTYW6VH87/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Luigi Ferrucci 723KYHWM0W
| URI | m2://inv/723KYHWM0W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luigi Ferrucci, Luigi Ferrucci (topic). Also Wikidata Q28050062
History
- 2026-11-02: add by m2/dev
p-adic L-function 723Y0FNMKQ
| URI | m2://inv/723Y0FNMKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#68QW, p-adic L-function (definition)
History
- 2026-11-02: add by m2/dev
E. S. Golod 723ZWMHXT9
| URI | m2://inv/723ZWMHXT9 |
|---|---|
| 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#B6HY, E. S. Golod (unknown)
History
- 2026-11-02: add by m2/dev
7245DTQ2X3 7245DTQ2X3
| URI | m2://inv/7245DTQ2X3 |
|---|---|
| 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.29916#BQZ3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Darboux differential equation 724DAE8JNC
| URI | m2://inv/724DAE8JNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux differential equation, Darboux differential equation (definition). Also Wikidata Q133752041
History
- 2026-11-02: add by m2/dev
Kuratowski and Ryll-Nardzewski measurable selection theorem 7250M5JVV1
| URI | m2://inv/7250M5JVV1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski and Ryll-Nardzewski measurable selection theorem, Kuratowski and Ryll-Nardzewski measurable selection theorem (statement). Also Wikidata Q25098853
History
- 2026-11-02: add by m2/dev
72596YHJHV 72596YHJHV
| URI | m2://inv/72596YHJHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#XLGI (statement). In 1A01NFHBGA/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.3
Thom isomorphism 725CJNN8N2
| URI | m2://inv/725CJNN8N2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thom space#I41N, Thom isomorphism (statement)
History
- 2026-11-02: add by m2/dev
725H7T7SKZ 725H7T7SKZ
| URI | m2://inv/725H7T7SKZ |
|---|---|
| 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.07673#12Z1 (statement). In 37B1MPV8GX/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
725PNTXD5S 725PNTXD5S
| URI | m2://inv/725PNTXD5S |
|---|---|
| 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.11847#E54N (statement). In MP2YM69XW8/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.3
discrete, space 725W0QEX6E
| URI | m2://inv/725W0QEX6E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u5/discrete-space, discrete, space (concept). In N54F33XE07, index, section u1.u5
History
- 2026-11-01: add by m2/v0.6.13
Little Astronomy 7265RARWJJ
| URI | m2://inv/7265RARWJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Little Astronomy, Little Astronomy (definition). Also Wikidata Q134503388
History
- 2026-11-02: add by m2/dev
Recombination 726EKJQKZW
| URI | m2://inv/726EKJQKZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recombination (cosmology), Recombination (definition). Also Wikidata Q3373825
History
- 2026-11-02: add by m2/dev
726MJ6KBJE 726MJ6KBJE
| URI | m2://inv/726MJ6KBJE |
|---|---|
| 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 math/9807180#27C7 (statement). In VR3766BVE5/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
726QYG19T0 726QYG19T0
| URI | m2://inv/726QYG19T0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.30200#L9BA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Standards for Educational and Psychological Testing 726WF75MPR
| URI | m2://inv/726WF75MPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standards for Educational and Psychological Testing, Standards for Educational and Psychological Testing (definition). Also Wikidata Q7598429
History
- 2026-11-02: add by m2/dev
Lower bound 726YZCBMFK
| URI | m2://inv/726YZCBMFK |
|---|---|
| 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 2601.22681#LY8Z, Lower bound (statement). In 68VEQQX68G/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.0
Definition 727398QRF0
| URI | m2://inv/727398QRF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin–Tits group#FITE, Definition (definition)
History
- 2026-11-02: add by m2/dev
727M9VZDNA 727M9VZDNA
| URI | m2://inv/727M9VZDNA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-3.xml#activity-1 (exercise). In 649HGZKE96, activity, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
727RF27D39 727RF27D39
| URI | m2://inv/727RF27D39 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24606#4XJT (statement). In VFV3FFB7Q7/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
7282Q6C9QS 7282Q6C9QS
| URI | m2://inv/7282Q6C9QS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.23605#B6O3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Conull set 7284R02HZQ
| URI | m2://inv/7284R02HZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#E8B1, Conull set (definition)
History
- 2026-11-02: add by m2/dev
7286J8GZQY 7286J8GZQY
| URI | m2://inv/7286J8GZQY |
|---|---|
| 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.18154#IJ6V (statement). In 4W7ARR1DAR/e1, fact B.9
History
- 2026-10-28: add by m2/v0.4.2
Theorem 7287SQ44Y6
| URI | m2://inv/7287SQ44Y6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley's theorem#P45A, Theorem (statement)
History
- 2026-11-02: add by m2/dev
7289FNBSFQ 7289FNBSFQ
| URI | m2://inv/7289FNBSFQ |
|---|---|
| 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 2401.14143#Q6ZX (statement). In 7WV4JVGEN1/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.0
Modus ponendo tollens 728DDMPDFD
| URI | m2://inv/728DDMPDFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modus ponendo tollens, Modus ponendo tollens (definition). Also Wikidata Q339606
History
- 2026-11-02: add by m2/dev
728E82G7A4 728E82G7A4
| URI | m2://inv/728E82G7A4 |
|---|---|
| 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.24451#70IX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Basis of metric spaces 728GDGG2AF
| URI | m2://inv/728GDGG2AF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#theorem-1, Basis of metric spaces (statement). In RZP28ERRZV, theorem, section 101.8
History
- 2026-11-01: add by m2/v0.6.13
Duhamel integrals are continuous 728KJ6JY7H
| URI | m2://inv/728KJ6JY7H |
|---|---|
| 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.32585#NB7G, Duhamel integrals are continuous (statement). In FJFJ3WR1SS/e1, lemma A.2
History
- 2026-10-31: add by m2/v0.5.6
Consensus theorem 72937HR10A
| URI | m2://inv/72937HR10A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consensus theorem, Consensus theorem (statement). Also Wikidata Q948116
History
- 2026-11-02: add by m2/dev
Boethius' theses 7293E9J0FK
| URI | m2://inv/7293E9J0FK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#MW6L, Boethius' theses (definition)
History
- 2026-11-02: add by m2/dev
7296V6FVTD 7296V6FVTD
| URI | m2://inv/7296V6FVTD |
|---|---|
| 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 2111.08123#H18N (statement). In TAAB0QAKAG/e1, theorem 8.3
History
- 2026-10-27: add by m2/v0.3.5
Discontinuity set 72986NWQPR
| URI | m2://inv/72986NWQPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39409#QQ8W, Discontinuity set (statement). In CQ0Z7QA0A5/e1, proposition 2.15
History
- 2026-10-30: add by m2/v0.4.12
729HMEPD4M 729HMEPD4M
| URI | m2://inv/729HMEPD4M |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#5X7F (unknown). In 4YJH4FPWDA/e1, unknown 4.1
History
- 2026-10-30: add by m2/v0.4.12
729HZQJW5C 729HZQJW5C
| URI | m2://inv/729HZQJW5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15454#3SXA (statement). In RGQZVNXWM5/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
729MKD469P 729MKD469P
| URI | m2://inv/729MKD469P |
|---|---|
| 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.39103#5F8G (statement). In VGB0N93ES8/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
729N0SVHWF 729N0SVHWF
| URI | m2://inv/729N0SVHWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25967#SRPE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hyperbolic versor 729YG6A9NH
| URI | m2://inv/729YG6A9NH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Versor#OPRL, Hyperbolic versor (unknown)
History
- 2026-11-02: add by m2/dev
Eugenio Moggi 72A2P6YE6G
| URI | m2://inv/72A2P6YE6G |
|---|---|
| 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 Q5408303, Eugenio Moggi (unknown). Also nLab Eugenio Moggi
History
- 2026-10-26: add by m2/dev
Quadratic quadrilateral element 72A9CW0V9J
| URI | m2://inv/72A9CW0V9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic quadrilateral element, Quadratic quadrilateral element (definition). Also Wikidata Q48969845
History
- 2026-11-02: add by m2/dev
72AES8D34E 72AES8D34E
| URI | m2://inv/72AES8D34E |
|---|---|
| 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.13877#AGSF (statement). In NBMA6DBKJG/e1, lemma 6.11
History
- 2026-10-28: add by m2/v0.4.2
Norm representatives at subcritical precision 72AKZKEPPR
| URI | m2://inv/72AKZKEPPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#5ZN8, Norm representatives at subcritical precision (statement). In 5BZQS1KY9A/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.10
72AS5RFP53 72AS5RFP53
| URI | m2://inv/72AS5RFP53 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#FZRQ (example). In XJWQ6Y83F8/e1, example 4.8
History
- 2026-10-28: add by m2/v0.4.2
Examples 72AX4FTP8D
| URI | m2://inv/72AX4FTP8D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex metric space#X0QE, Examples (example)
History
- 2026-11-02: add by m2/dev
Two-element Boolean algebra 72AY5AJ6RE
| URI | m2://inv/72AY5AJ6RE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#Y9HI, Two-element Boolean algebra (definition)
History
- 2026-11-02: add by m2/dev
$n=127$: a sharp local criterion 72B1QYWV1P
| URI | m2://inv/72B1QYWV1P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#4EBB, $n=127$: a sharp local criterion (statement). In QPJ6FWG5HD/e1, theorem 2.56
History
- 2026-10-29: add by m2/v0.4.12
Meta 72BCP8D62N
| URI | m2://inv/72BCP8D62N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical discoveries by artificial intelligence#IQLT, Meta (unknown)
History
- 2026-11-02: add by m2/dev
Encryption by date 72BKMF85NF
| URI | m2://inv/72BKMF85NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Encryption by date, Encryption by date (definition). Also Wikidata Q5375620
History
- 2026-11-02: add by m2/dev
72BT2Q4MM0 72BT2Q4MM0
| URI | m2://inv/72BT2Q4MM0 |
|---|---|
| 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 2411.00060#T4RF (statement). In REPP96MPBH/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
72BTCSQV05 72BTCSQV05
| URI | m2://inv/72BTCSQV05 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#ex:susp-spheres-equiv (exercise). In N54F33XE07, ex, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
Sharpness of the energy powers 72C3V6XH8W
| URI | m2://inv/72C3V6XH8W |
|---|---|
| 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.20643#A3T9, Sharpness of the energy powers (statement)
History
- 2026-11-02: add by m2/v0.6.18
Formal definition 72C7T4S7AA
| URI | m2://inv/72C7T4S7AA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unambiguous Turing machine#HHO5, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
total differential 72CE4GK2G8
| URI | m2://inv/72CE4GK2G8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#Z8S3, total differential (definition)
History
- 2026-11-02: add by m2/dev
72CK9FCNQ8 72CK9FCNQ8
| URI | m2://inv/72CK9FCNQ8 |
|---|---|
| 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.13670#8MMR (statement). In 4PGTZ19B26/e1, corollary 2.2
History
- 2026-10-28: add by m2/v0.4.2
checkmate 72CMDNZBH8
| URI | m2://inv/72CMDNZBH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20819848, checkmate (definition). Also ProofWiki Definition:Chess/Rules/Checkmate
History
- 2026-10-26: add by m2/dev
Spherical tails of a smoothing operator 72CV3NV85S
| URI | m2://inv/72CV3NV85S |
|---|---|
| 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.11077#HTYW, Spherical tails of a smoothing operator (statement). In 4333A6G5K5/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.3
72D4X96M54 72D4X96M54
| URI | m2://inv/72D4X96M54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.07409#0BDZ (statement). In KWH4QJDPWC/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.0
Generating set of a group 72DADJG13R
| URI | m2://inv/72DADJG13R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#1NN0, Generating set of a group (definition)
History
- 2026-11-02: add by m2/dev
LU factorization with full pivoting 72DBR8K7X9
| URI | m2://inv/72DBR8K7X9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LU decomposition#AWQB, LU factorization with full pivoting (definition)
History
- 2026-11-02: add by m2/dev
72DR0XPSRA 72DR0XPSRA
| URI | m2://inv/72DR0XPSRA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-1.xml#activity-1 (exercise). In 649HGZKE96, activity, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
72DXRBEZ5R 72DXRBEZ5R
| URI | m2://inv/72DXRBEZ5R |
|---|---|
| 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.13618#I3DL (statement). In XDQAEGH345/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
72EDTE3GGD 72EDTE3GGD
| URI | m2://inv/72EDTE3GGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 0811.0544#O8JZ (statement). In RKPZ3SC956/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
72EFF3MQMV 72EFF3MQMV
| URI | m2://inv/72EFF3MQMV |
|---|---|
| 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 2508.13122#C36F (statement). In PX2GWH86PN/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Friedrich Adolf Trendelenburg 72FGN45Z7W
| URI | m2://inv/72FGN45Z7W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Adolf Trendelenburg, Friedrich Adolf Trendelenburg (topic). Also Wikidata Q61280
History
- 2026-11-02: add by m2/dev
Split interval 72FNG608ZF
| URI | m2://inv/72FNG608ZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#P8J5, Split interval (unknown)
History
- 2026-11-02: add by m2/dev
compactness in terms of open covers (Borel-Lebesgue) 72FQCK2WTV
| URI | m2://inv/72FQCK2WTV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > compactness in terms of open covers (Borel-Lebesgue), compactness in terms of open covers (Borel-Lebesgue) (unknown). Also Mathlib isCompact_iff_finite_subcover
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > compactness in terms of open covers (Borel-Lebesgue), compactness in terms of open covers (Borel-Lebesgue) (unknown). Also Mathlib isCompact_iff_finite_subcover
History
- 2026-10-26: add by m2/dev
Helen Humes Lamale 72FS752NJ8
| URI | m2://inv/72FS752NJ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#K0ZH, Helen Humes Lamale (unknown)
History
- 2026-11-02: add by m2/dev
72FSCBKD8J 72FSCBKD8J
| URI | m2://inv/72FSCBKD8J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#HBFX (definition). In PG0B4PH9YH/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.4.2
72FXHW0K8K 72FXHW0K8K
| URI | m2://inv/72FXHW0K8K |
|---|---|
| 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.01731#LFV0 (statement). In 3TJ2FWXQ0D/e1, lemma 2.12
History
- 2026-10-29: add by m2/v0.4.12
Vietoris–Rips filtration 72FYYK8B41
| URI | m2://inv/72FYYK8B41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vietoris–Rips filtration, Vietoris–Rips filtration (definition). Also Wikidata Q118905928
History
- 2026-11-02: add by m2/dev
centered tetrahedral number 72GA1D2XZP
| URI | m2://inv/72GA1D2XZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14390192, centered tetrahedral number (object). Also OEIS A005894
- wikipedia: Wikipedia Centered tetrahedral number, Centered tetrahedral number (definition). Also Wikidata Q14390192
History
- 2026-10-26: add by m2/dev
Completion of partial permutations 72GJ7YV9FK
| URI | m2://inv/72GJ7YV9FK |
|---|---|
| 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.08581#O5EY, Completion of partial permutations (statement). In VCSPPW15BE/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
72GQ9ZHDR6 72GQ9ZHDR6
| URI | m2://inv/72GQ9ZHDR6 |
|---|---|
| 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 2306.00212#8W2I (statement). In C9GG9C1X65/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.5
Renewal 72GSPZMDDT
| URI | m2://inv/72GSPZMDDT |
|---|---|
| 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.22301#NHMP, Renewal (statement)
History
- 2026-11-02: add by m2/v0.6.17
Initial normalized-bank obstruction 72GY65EQVP
| URI | m2://inv/72GY65EQVP |
|---|---|
| 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#V0WN, Initial normalized-bank obstruction (statement). In T8E6F01RTM/e1, lemma H.4
History
- 2026-10-30: add by m2/v0.4.12
72H0R5TBB1 72H0R5TBB1
| URI | m2://inv/72H0R5TBB1 |
|---|---|
| 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.19086#ITKW (statement). In RDW99P4ZZJ/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
72H7B9RCWH 72H7B9RCWH
| URI | m2://inv/72H7B9RCWH |
|---|---|
| Kind | example |
| 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.28011#EDLB (example)
History
- 2026-11-01: add by m2/v0.6.15
72H8EP8V24 72H8EP8V24
| URI | m2://inv/72H8EP8V24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#MF9C (statement). In H72E12TYHA/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
Examples 72HGJRCTK7
| URI | m2://inv/72HGJRCTK7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set-theoretic limit#SEBF, Examples (example)
History
- 2026-11-02: add by m2/dev
Existence 72HGRHAVWK
| URI | m2://inv/72HGRHAVWK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#theorem-2, Existence (statement). In E9HS8K3A52, theorem, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
topological conjugacy 72HHRZFP7A
| URI | m2://inv/72HHRZFP7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Topological conjugacy HNXXAPQKG3 |
Mentions
- wikidata: Wikidata Q2443460, topological conjugacy (unknown). Also MathWorld TopologicallyConjugate
- wikipedia: Wikipedia Topological conjugacy, Topological conjugacy (definition). Also Wikidata Q2443460
History
- 2026-10-26: add by m2/dev
ordinal multiplication 72HKGZ3A34
| URI | m2://inv/72HKGZ3A34 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118133376, ordinal multiplication (unknown). Also MathWorld OrdinalMultiplication
History
- 2026-10-26: add by m2/dev
Social network analysis 72HN8F9VH9
| URI | m2://inv/72HN8F9VH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social network analysis, Social network analysis (definition). Also Wikidata Q7551269
History
- 2026-11-02: add by m2/dev
O--Wu, Remark 2.17 72HNRKSZX7
| URI | m2://inv/72HNRKSZX7 |
|---|---|
| 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.37208#QYXG, O--Wu, Remark 2.17 (statement). In 7MCBCP4T0B/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Hermite reciprocity 72HWHQ9Y07
| URI | m2://inv/72HWHQ9Y07 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#YDOD, Hermite reciprocity (unknown)
History
- 2026-11-02: add by m2/dev
Reuschle's theorem 72HXNM9WD9
| URI | m2://inv/72HXNM9WD9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5N3J, Reuschle's theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition 72J1MH4QN6
| URI | m2://inv/72J1MH4QN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Particle method#2C6J, Definition (definition)
History
- 2026-11-02: add by m2/dev
Maths Week Ireland 72J6CYFBEA
| URI | m2://inv/72J6CYFBEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maths Week Ireland, Maths Week Ireland (definition). Also Wikidata Q105122998
History
- 2026-11-02: add by m2/dev
Model selection 72J9EG1BWG
| URI | m2://inv/72J9EG1BWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#WUF6, Model selection (definition)
History
- 2026-11-02: add by m2/dev
\labelcref{BC_ring_iso_and_algebraa 72JF3MBXBS
| URI | m2://inv/72JF3MBXBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35625#GHA5, \labelcref{BC_ring_iso_and_algebraa (statement). In 7N144YJM0R/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
72JG56PXG0 72JG56PXG0
| URI | m2://inv/72JG56PXG0 |
|---|---|
| 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 2406.07116#QR9C (statement). In 5B030CB2RK/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.6
72JMJT45TP 72JMJT45TP
| URI | m2://inv/72JMJT45TP |
|---|---|
| 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 2609.37337#Y7C6 (statement). In 813JGZV08G/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Sharp entropy deficit at the Gaussian endpoint 72JN4V8DGN
| URI | m2://inv/72JN4V8DGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#4YNL, Sharp entropy deficit at the Gaussian endpoint (statement). In 9YAE8FNQST/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Asymptotic equipartition property 72JTPF5CAB
| URI | m2://inv/72JTPF5CAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CAD7, Asymptotic equipartition property (definition)
History
- 2026-11-02: add by m2/dev
72K8FV6GWK 72K8FV6GWK
| URI | m2://inv/72K8FV6GWK |
|---|---|
| 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.40023#QSR1 (statement). In JW9ARS9AQE/e1, corollary 4.10
History
- 2026-10-30: add by m2/v0.4.12
72KAARJ1DK 72KAARJ1DK
| URI | m2://inv/72KAARJ1DK |
|---|---|
| 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.30097#IZRF (statement)
History
- 2026-11-01: add by m2/v0.6.15
72KADK269P 72KADK269P
| URI | m2://inv/72KADK269P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/normal-logics.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 50.7
History
- 2026-11-01: add by m2/v0.6.13
72KBM7BR4R 72KBM7BR4R
| URI | m2://inv/72KBM7BR4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2609.24320#OT30 (statement)
History
- 2026-11-01: add by m2/v0.6.15
univalence axiom, constructivity of 72KH3TV62Q
| URI | m2://inv/72KH3TV62Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u8/univalence-axiom-constructivity-of, univalence axiom, constructivity of (concept). In N54F33XE07, index, section u1.u8
History
- 2026-11-01: add by m2/v0.6.13
Uniform two-orbit reduction 72KPXPX6Z2
| URI | m2://inv/72KPXPX6Z2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33185#ZC4T, Uniform two-orbit reduction (statement). In QX30H2WNA7/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
72M0KTSJBB 72M0KTSJBB
| URI | m2://inv/72M0KTSJBB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#green:balltype3orient (exercise). In E59CDZA4DP, exercise, section 5.6.1
History
- 2026-11-01: add by m2/v0.6.13
Br\'egman's inequality 72M5Z938TQ
| URI | m2://inv/72M5Z938TQ |
|---|---|
| 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.08362#FR1Q, Br\'egman's inequality (statement). In 7JHAD30NBB/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
72M7H46CJW 72M7H46CJW
| URI | m2://inv/72M7H46CJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.00135#FK4D (statement). In PXWXV92SJY/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
72MBN0QVAK 72MBN0QVAK
| URI | m2://inv/72MBN0QVAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.10080#N85E (statement). In KM2FWKP93A/e1, proposition 2.15
History
- 2026-10-27: add by m2/v0.4.0
Average variance extracted 72MEDDFT6E
| URI | m2://inv/72MEDDFT6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Average variance extracted, Average variance extracted (definition). Also Wikidata Q1267172
History
- 2026-11-02: add by m2/dev
72MV7X4NQN 72MV7X4NQN
| URI | m2://inv/72MV7X4NQN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#WBDY (statement). In 80S2NP05HJ/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.0
72MXJ4B4QR 72MXJ4B4QR
| URI | m2://inv/72MXJ4B4QR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#problem-7 (exercise). In P1C114YBXG, problem, section K
History
- 2026-11-01: add by m2/v0.6.13
Extensions 72MY1NNCQC
| URI | m2://inv/72MY1NNCQC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viterbi algorithm#CR0G, Extensions (statement)
History
- 2026-11-02: add by m2/dev
72MYNESK6Y 72MYNESK6Y
| URI | m2://inv/72MYNESK6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.21954#5T3M (statement). In F2XATDBRK4/e1, lemma 10
History
- 2026-10-27: add by m2/v0.4.2
72MZN92AJ1 72MZN92AJ1
| URI | m2://inv/72MZN92AJ1 |
|---|---|
| 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#03ID (statement). In AYG8HYGW6V/e1, theorem A.1
History
- 2026-10-28: add by m2/v0.4.3
72N0TCXK94 72N0TCXK94
| URI | m2://inv/72N0TCXK94 |
|---|---|
| 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.36186#66R3 (statement). In 30PQN6JP7W/e1, lemma 24
History
- 2026-10-27: add by m2/v0.3.5
72N3DTWP3S 72N3DTWP3S
| URI | m2://inv/72N3DTWP3S |
|---|---|
| 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 2311.16252#NJSO (statement). In 8AHN9GSRMR/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.4.0
Definitions 72N3QGP3YP
| URI | m2://inv/72N3QGP3YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barnette's conjecture#DVF3, Definitions (definition)
History
- 2026-11-02: add by m2/dev
72NDQYZT0J 72NDQYZT0J
| URI | m2://inv/72NDQYZT0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.20153#4EGL (statement)
History
- 2026-11-02: add by m2/v0.6.18
72NER8E4T9 72NER8E4T9
| URI | m2://inv/72NER8E4T9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27775#4B09 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Canonical intermediate Hermitian form and radical 72NHS89Z40
| URI | m2://inv/72NHS89Z40 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-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.25805#UFNT, Canonical intermediate Hermitian form and radical (definition)
History
- 2026-11-01: add by m2/v0.6.15
Automatic growth in the composition equation 72NPXSVQYG
| URI | m2://inv/72NPXSVQYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19243#J1AL, Automatic growth in the composition equation (statement). In 8CSXBTYKDT/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
72NQ3R01HC 72NQ3R01HC
| URI | m2://inv/72NQ3R01HC |
|---|---|
| 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.01572#96QF (statement). In 7BJK23Q7GH/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
coherence theory of truth 72NQRTV3FB
| URI | m2://inv/72NQRTV3FB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ZSND, coherence theory of truth (definition)
History
- 2026-11-02: add by m2/dev
Bass conjecture 72NZJEAPQT
| URI | m2://inv/72NZJEAPQT |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bass conjecture, Bass conjecture (conjecture). Also Wikidata Q4867980
History
- 2026-11-02: add by m2/dev
Siegel (2022 72P0V656KF
| URI | m2://inv/72P0V656KF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#ZR8H, Siegel (2022 (statement). In 8XVS0QJ2AH/e1, proposition 32
History
- 2026-10-31: add by m2/v0.5.6
72P4MT7CTD 72P4MT7CTD
| URI | m2://inv/72P4MT7CTD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/lambda-definability.tex#thm:lambda-def (statement). In PKGMM3P5QY, thm, section 37.2
History
- 2026-11-01: add by m2/v0.6.13
72P5JZQ5MX 72P5JZQ5MX
| URI | m2://inv/72P5JZQ5MX |
|---|---|
| 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.09650#WIBG (statement). In 628KM8869P/e1, corollary 6.5
History
- 2026-10-29: add by m2/v0.4.10
72PA4M5JBB 72PA4M5JBB
| URI | m2://inv/72PA4M5JBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-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.25168#D9MH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Motivic sheaf 72PQB2WH6Y
| URI | m2://inv/72PQB2WH6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motivic sheaf, Motivic sheaf (definition). Also Wikidata Q133406355
History
- 2026-11-02: add by m2/dev
Philosophy of computer science 72PV1VP0KQ
| URI | m2://inv/72PV1VP0KQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophy of computer science, Philosophy of computer science (definition). Also Wikidata Q3056268
History
- 2026-11-02: add by m2/dev
72PW724SGN 72PW724SGN
| URI | m2://inv/72PW724SGN |
|---|---|
| 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.01737#WQ7Q (statement). In M4JGP708F4/e1, proposition 2.26
History
- 2026-10-29: add by m2/v0.4.12
bounded set 72Q4P7TY2J
| URI | m2://inv/72Q4P7TY2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Bounded set 09QSZVVM26 |
Mentions
- wikidata: Wikidata Q726212, bounded set (unknown). Also MathWorld BoundedSet, nLab bounded set
- wikipedia: Wikipedia Bounded set, Bounded set (definition). Also Wikidata Q726212
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Properties 72QA4F9DSE
| URI | m2://inv/72QA4F9DSE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schinzel's theorem#A9B0, Properties (statement)
History
- 2026-11-02: add by m2/dev
*{Prop. 6.1 and the following discussion 72QEFW1M9H
| URI | m2://inv/72QEFW1M9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#279Z, *{Prop. 6.1 and the following discussion (statement)
History
- 2026-11-02: add by m2/v0.6.17
ABBE graph 72QHRQR8TT
| URI | m2://inv/72QHRQR8TT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#VCNX, ABBE graph (definition)
History
- 2026-11-02: add by m2/v0.6.18
Binary decision diagram 72QSRPZC78
| URI | m2://inv/72QSRPZC78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#W1AI, Binary decision diagram (definition)
History
- 2026-11-02: add by m2/dev
72QW23QN98 72QW23QN98
| URI | m2://inv/72QW23QN98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00914#0YZS (statement). In TQ9CKHBTWN/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Quadric surfaces 72QXDE4AAP
| URI | m2://inv/72QXDE4AAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#YM7G, Quadric surfaces (definition)
History
- 2026-11-02: add by m2/dev
Examples 72QYN50562
| URI | m2://inv/72QYN50562 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field of definition#0GEP, Examples (example)
History
- 2026-11-02: add by m2/dev
72RB7JMVCR 72RB7JMVCR
| URI | m2://inv/72RB7JMVCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05602#2DNP (statement). In W88890HB4Z/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Borsuk–Ulam theorem 72RQY8Y0AJ
| URI | m2://inv/72RQY8Y0AJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8J02, Borsuk–Ulam theorem (statement)
History
- 2026-11-02: add by m2/dev
White noise under exact cancellation 72RTRCZW8X
| URI | m2://inv/72RTRCZW8X |
|---|---|
| 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.04452#JXJY, White noise under exact cancellation (statement). In ZV3ANMKJ0Y/e1, corollary 2.8
History
- 2026-10-29: add by m2/v0.4.12
Vigesimal 72RZH9AT5W
| URI | m2://inv/72RZH9AT5W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral system topics#8FCG, Vigesimal (definition)
History
- 2026-11-02: add by m2/dev
Robert Cahaly 72S5GDZEA9
| URI | m2://inv/72S5GDZEA9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Cahaly, Robert Cahaly (topic). Also Wikidata Q100707809
History
- 2026-11-02: add by m2/dev
Consistency order of truncated Fourier series 72SAFHASDX
| URI | m2://inv/72SAFHASDX |
|---|---|
| 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 2410.06788#XVN0, Consistency order of truncated Fourier series (statement). In B2VE3JQZD3/e1, lemma 19
History
- 2026-10-27: add by m2/v0.3.5
Properties 72SHMWH7E1
| URI | m2://inv/72SHMWH7E1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiring#YHXA, Properties (statement)
History
- 2026-11-02: add by m2/dev
72SKHY61E0 72SKHY61E0
| URI | m2://inv/72SKHY61E0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#3BTF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thurstone's law of comparative judgement 72SRC8DRJE
| URI | m2://inv/72SRC8DRJE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive comparative judgement#JUNN, Thurstone's law of comparative judgement (statement)
History
- 2026-11-02: add by m2/dev
72SS5QT0VQ 72SS5QT0VQ
| URI | m2://inv/72SS5QT0VQ |
|---|---|
| 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.26984#6OKK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Limitation of Weber's law at low light levels 72SWPXNENK
| URI | m2://inv/72SWPXNENK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weber–Fechner law#RR7N, Limitation of Weber's law at low light levels (statement)
History
- 2026-11-02: add by m2/dev
Work 72SZV8RFZ0
| URI | m2://inv/72SZV8RFZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Work (thermodynamics), Work (definition). Also Wikidata Q900231
History
- 2026-11-02: add by m2/dev
Antisymmetrizer 72T1FD0KV5
| URI | m2://inv/72T1FD0KV5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#U7GV, Antisymmetrizer (unknown)
History
- 2026-11-02: add by m2/dev
72T7ZM1CYP 72T7ZM1CYP
| URI | m2://inv/72T7ZM1CYP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#proof-1 (proof). In RZP28ERRZV, proof, section 36.4
History
- 2026-11-01: add by m2/v0.6.13
Formal definition 72TBYX4DPM
| URI | m2://inv/72TBYX4DPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restriction (mathematics)#M14O, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
72TDTFABVM 72TDTFABVM
| URI | m2://inv/72TDTFABVM |
|---|---|
| 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.11847#AIAJ (statement). In MP2YM69XW8/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.3
72TFMGV4T3 72TFMGV4T3
| URI | m2://inv/72TFMGV4T3 |
|---|---|
| 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.21682#53PW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Unitary units modulo all powers of $2$ 72TW351TA4
| URI | m2://inv/72TW351TA4 |
|---|---|
| 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.29273#DD04, Unitary units modulo all powers of $2$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
72TX4YDC58 72TX4YDC58
| URI | m2://inv/72TX4YDC58 |
|---|---|
| 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 0904.0817#EMHZ (statement). In 569FZDANV3/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
72TX72578D 72TX72578D
| URI | m2://inv/72TX72578D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#defn:total-bounded-metric-space (definition). In N54F33XE07, defn, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Study heterogeneity 72V8PMJPJG
| URI | m2://inv/72V8PMJPJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RWAO, Study heterogeneity (definition)
History
- 2026-11-02: add by m2/dev
Young Turks 72VKTC8DSN
| URI | m2://inv/72VKTC8DSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young Turks (Bell Labs), Young Turks (definition). Also Wikidata Q25351699
History
- 2026-11-02: add by m2/dev
Regular Outer Realization 72VYGDH16X
| URI | m2://inv/72VYGDH16X |
|---|---|
| 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.37578#SS4E, Regular Outer Realization (statement). In D7NDCWSDJE/e1, lemma 21
History
- 2026-10-30: add by m2/v0.4.12
72VZTFT46H 72VZTFT46H
| URI | m2://inv/72VZTFT46H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Collapse 72W4NQGMNH
| URI | m2://inv/72W4NQGMNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collapse (topology), Collapse (definition). Also Wikidata Q5145927
History
- 2026-11-02: add by m2/dev
Sokhotski–Plemelj theorem 72W5NZYX70
| URI | m2://inv/72W5NZYX70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac delta function#8MYE, Sokhotski–Plemelj theorem (statement)
History
- 2026-11-02: add by m2/dev
Zero-risk bias 72W7YQ5EH1
| URI | m2://inv/72W7YQ5EH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-risk bias, Zero-risk bias (definition). Also Wikidata Q8069459
History
- 2026-11-02: add by m2/dev
Konstantinos Papaioannou 72W8WY7CD4
| URI | m2://inv/72W8WY7CD4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Konstantinos Papaioannou, Konstantinos Papaioannou (topic). Also Wikidata Q12879694
History
- 2026-11-02: add by m2/dev
72WA98PYSN 72WA98PYSN
| URI | m2://inv/72WA98PYSN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33263#9NYY (definition). In 6S5EH3388Z/e1, definition 2.6
History
- 2026-10-30: add by m2/v0.4.12
Sides of an equation 72WMC26K0A
| URI | m2://inv/72WMC26K0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sides of an equation, Sides of an equation (definition). Also Wikidata Q5643770
History
- 2026-11-02: add by m2/dev
Profile-robust pair moments 72WNM1P0SR
| URI | m2://inv/72WNM1P0SR |
|---|---|
| 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.19356#9HB7, Profile-robust pair moments (statement). In 2B5QA28NCX/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Casimir invariant 72WVBVT383
| URI | m2://inv/72WVBVT383 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1047475, Casimir invariant (concept). Also MathWorld CasimirOperator
- wikipedia: Wikipedia Casimir element, Casimir element (definition). Also Wikidata Q1047475
History
- 2026-10-26: add by m2/dev
MBR replicates MCF in $\mathbb{R}^n$ 72WYWXPZ4F
| URI | m2://inv/72WYWXPZ4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37803#075Y, MBR replicates MCF in $\mathbb{R}^n$ (statement). In 2RN6YVQD0Z/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Near-logarithmic rate 72WZWH6JYK
| URI | m2://inv/72WZWH6JYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03811#F9M9, Near-logarithmic rate (statement). In DHQWFJW02X/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.12
Piero della Francesca 72X8NFFCYC
| URI | m2://inv/72X8NFFCYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#QG1P, Piero della Francesca (unknown)
History
- 2026-11-02: add by m2/dev
Abacus Data 72X9WZ6SK8
| URI | m2://inv/72X9WZ6SK8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#F1U0, Abacus Data (unknown)
History
- 2026-11-02: add by m2/dev
72XHMQYFV1 72XHMQYFV1
| URI | m2://inv/72XHMQYFV1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#M876 (definition). In WD2NCBV9F0/e1, definition 14.3
History
- 2026-10-27: add by m2/v0.3.5
72XMA1Z8BF 72XMA1Z8BF
| URI | m2://inv/72XMA1Z8BF |
|---|---|
| Kind | definition |
| 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#81BC (definition). In 7V2PVZS04C/e1, definition 1.6
History
- 2026-10-31: add by m2/v0.5.6
Plesiohedron 72XPC5V0QW
| URI | m2://inv/72XPC5V0QW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plesiohedron, Plesiohedron (object). Also Wikidata Q30593755
History
- 2026-11-02: add by m2/dev
72XVMJ01AA 72XVMJ01AA
| URI | m2://inv/72XVMJ01AA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#7IOK (statement). In 44DQ7W1NW9/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
Examples 72Y4K9MA28
| URI | m2://inv/72Y4K9MA28 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iwahori subgroup#G0W9, Examples (example)
History
- 2026-11-02: add by m2/dev
72Y5V2NCW5 72Y5V2NCW5
| URI | m2://inv/72Y5V2NCW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31300#1V4T (statement). In ERHQDB8M41/e1, corollary 3.13
History
- 2026-10-31: add by m2/v0.5.6
Loop 72YASWGJWE
| URI | m2://inv/72YASWGJWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop (topology), Loop (definition). Also Wikidata Q4558786
History
- 2026-11-02: add by m2/dev
=*{Theorem 0.2 72YCNYN5YH
| URI | m2://inv/72YCNYN5YH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36922#7Q8D, =*{Theorem 0.2 (statement). In BMHWE5QTTR/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
72YGC6QCRS 72YGC6QCRS
| URI | m2://inv/72YGC6QCRS |
|---|---|
| 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.03555#829M (statement). In 9JZJTRRVR1/e1, lemma 8.4
History
- 2026-10-29: add by m2/v0.4.12
Twisted K-theory 72YPGBY8GB
| URI | m2://inv/72YPGBY8GB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#DDLZ, Twisted K-theory (definition)
History
- 2026-11-02: add by m2/dev
Definition 72YRZFXWZQ
| URI | m2://inv/72YRZFXWZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct product of groups#P3LT, Definition (definition)
History
- 2026-11-02: add by m2/dev
72YX0KRVV0 72YX0KRVV0
| URI | m2://inv/72YX0KRVV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20606#TZBJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
72Z2DEHBGR 72Z2DEHBGR
| URI | m2://inv/72Z2DEHBGR |
|---|---|
| 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.25656#0QO8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Global Existence "Boundedness" 72Z3ZX762T
| URI | m2://inv/72Z3ZX762T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.08210#QHNX, Global Existence "Boundedness" (statement). In D4VDVX74FT/e1, theorem 0.2
History
- 2026-10-27: add by m2/v0.3.6
Compact stencil 72ZA6CN5NM
| URI | m2://inv/72ZA6CN5NM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact stencil, Compact stencil (definition). Also Wikidata Q5155319
History
- 2026-11-02: add by m2/dev
Guido Mislin 72ZCZNB64D
| URI | m2://inv/72ZCZNB64D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guido Mislin, Guido Mislin (topic). Also Wikidata Q102160399
History
- 2026-11-02: add by m2/dev
Terminology 72ZG4XD49C
| URI | m2://inv/72ZG4XD49C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peano–Jordan measure#IGKK, Terminology (definition)
History
- 2026-11-02: add by m2/dev
72ZTAH1JMN 72ZTAH1JMN
| URI | m2://inv/72ZTAH1JMN |
|---|---|
| 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.33578#0WBR (statement). In 3XTDDKY6YE/e1, lemma 4.10
History
- 2026-10-30: add by m2/v0.4.12