Inventory rows 74
The cards of the rows of the inventory whose ids start with 74. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Politics 7405YEV205
| URI | m2://inv/7405YEV205 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#D4VT, Politics (unknown)
History
- 2026-11-02: add by m2/dev
740CVW3W53 740CVW3W53
| URI | m2://inv/740CVW3W53 |
|---|---|
| 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.05506#B3N4 (statement). In FT53PMB1TE/e1, theorem 6.3.1
History
- 2026-10-29: add by m2/v0.4.10
Applications 740JVBY0SA
| URI | m2://inv/740JVBY0SA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary icosahedral group#K5UD, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples 740M9ZKMQZ
| URI | m2://inv/740M9ZKMQZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel summation#XSVZ, Examples (example)
History
- 2026-11-02: add by m2/dev
740PN7HFZN 740PN7HFZN
| URI | m2://inv/740PN7HFZN |
|---|---|
| Kind | example |
| 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.18205#9K56 (example). In Y37VAPDKE4/e1, example 3.1
History
- 2026-10-28: add by m2/v0.4.2
Exact constants over $\Z$ 741313A8FA
| URI | m2://inv/741313A8FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23922#AK85, Exact constants over $\Z$ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Thomas Bond Sprague Prize 741603F86H
| URI | m2://inv/741603F86H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Bond Sprague Prize, Thomas Bond Sprague Prize (definition). Also Wikidata Q7787740
History
- 2026-11-02: add by m2/dev
7419Q6CC34 7419Q6CC34
| URI | m2://inv/7419Q6CC34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15974#G9GX (statement). In 61ZHQ7BTKP/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
741AMT1Q9M 741AMT1Q9M
| URI | m2://inv/741AMT1Q9M |
|---|---|
| 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 1903.07030#9YZQ (definition). In 9H45HQE7AZ/e1, definition 3.19
History
- 2026-10-27: add by m2/v0.3.5
Model checking 741CYWQXFX
| URI | m2://inv/741CYWQXFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model checking, Model checking (definition). Also Wikidata Q1569697
History
- 2026-11-02: add by m2/dev
Poincaré group 741FSVGBBD
| URI | m2://inv/741FSVGBBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#4V9B, Poincaré group (definition)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#EY7V, Poincaré group (definition)
- wikipedia: Wikipedia List of mathematical topics in relativity#WOLJ, Poincaré group (definition)
History
- 2026-11-02: add by m2/dev
Well-Posed Problem 741P8HV12S
| URI | m2://inv/741P8HV12S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.22321#1018, Well-Posed Problem (definition)
History
- 2026-11-02: add by m2/v0.6.17
741SAYFW23 741SAYFW23
| URI | m2://inv/741SAYFW23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.13883#P18Y (statement). In F3PQ8P7R2B/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
741XFK0GRX 741XFK0GRX
| URI | m2://inv/741XFK0GRX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#definition-2 (definition). In RZP28ERRZV, definition, section 100.2
History
- 2026-11-01: add by m2/v0.6.13
Peirce, Charles Sanders 742BV0QG5Z
| URI | m2://inv/742BV0QG5Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#2DDM, Peirce, Charles Sanders (topic)
- wikipedia: Wikipedia List of Boolean algebra topics#0W5S, Peirce, Charles Sanders (topic)
History
- 2026-11-02: add by m2/dev
742H224NHK 742H224NHK
| URI | m2://inv/742H224NHK |
|---|---|
| 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.02506#JKO0 (statement). In 3JKRBZWJ33/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.12
742S7T6Y3S 742S7T6Y3S
| URI | m2://inv/742S7T6Y3S |
|---|---|
| Kind | example |
| 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#UKYP (example). In KM2FWKP93A/e1, example 7.10
History
- 2026-10-27: add by m2/v0.4.0
742ZJHTBP8 742ZJHTBP8
| URI | m2://inv/742ZJHTBP8 |
|---|---|
| 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.15525#FPKG (statement). In EFDRME13PT/e1, proposition 8.3
History
- 2026-10-28: add by m2/v0.4.2
James P. Pierpont 742ZTG9FKY
| URI | m2://inv/742ZTG9FKY |
|---|---|
| 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#3L4U, James P. Pierpont (topic)
History
- 2026-11-02: add by m2/dev
Hyperelliptic surface 7430E3H05W
| URI | m2://inv/7430E3H05W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#MP08, Hyperelliptic surface (definition)
History
- 2026-11-02: add by m2/dev
great dodecahemidodecacron 7431BRMNJP
| URI | m2://inv/7431BRMNJP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600349, great dodecahemidodecacron (unknown). Also MathWorld GreatDodecahemidodecacron
- wikipedia: Wikipedia Great dodecahemidodecacron, Great dodecahemidodecacron (object). Also Wikidata Q5600349
History
- 2026-10-26: add by m2/dev
Maschke's theorem 74335GCCMY
| URI | m2://inv/74335GCCMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#V98B, Maschke's theorem (definition)
History
- 2026-11-02: add by m2/dev
Properties 7433ZFQCX1
| URI | m2://inv/7433ZFQCX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff distance#S9M4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties 743756WWJQ
| URI | m2://inv/743756WWJQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf invariant#AYZ1, Properties (statement)
History
- 2026-11-02: add by m2/dev
7437YEZT8D 7437YEZT8D
| URI | m2://inv/7437YEZT8D |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#QWT2 (conjecture). In CGA36VE1C5/e1, conjecture 5
History
- 2026-10-27: add by m2/v0.3.6
74396P5A6X 74396P5A6X
| URI | m2://inv/74396P5A6X |
|---|---|
| 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.12810#X6UF (statement). In DR35633CPN/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.2
7441TAP4T0 7441TAP4T0
| URI | m2://inv/7441TAP4T0 |
|---|---|
| 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.28024#FQEE (statement)
History
- 2026-11-01: add by m2/v0.6.15
74424D7G1F 74424D7G1F
| URI | m2://inv/74424D7G1F |
|---|---|
| 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.23872#HBET (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition 744W3J15H8
| URI | m2://inv/744W3J15H8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rankin–Cohen bracket#HIBF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sommerfeld constant 744WN8H6N3
| URI | m2://inv/744WN8H6N3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#9BNT, Sommerfeld constant (unknown)
History
- 2026-11-02: add by m2/dev
Pigeonhole Principle 74590KYKPB
| URI | m2://inv/74590KYKPB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FiniteSets.tex#theorem-2, Pigeonhole Principle (statement). In P1C114YBXG, theorem, section B
History
- 2026-11-01: add by m2/v0.6.13
745JP1WM87 745JP1WM87
| URI | m2://inv/745JP1WM87 |
|---|---|
| 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.24206#B5SH (statement)
History
- 2026-11-01: add by m2/v0.6.15
745K7TXFX4 745K7TXFX4
| URI | m2://inv/745K7TXFX4 |
|---|---|
| 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 2609.29925#NYLO (example)
History
- 2026-11-01: add by m2/v0.6.15
First Bianchi contractions 745MDK58CS
| URI | m2://inv/745MDK58CS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.25762#6UZK, First Bianchi contractions (statement)
History
- 2026-11-01: add by m2/v0.6.15
745P0PASN0 745P0PASN0
| URI | m2://inv/745P0PASN0 |
|---|---|
| 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.31276#5HAM (statement). In WYDHWYFRFK/e1, lemma 5.9
History
- 2026-10-31: add by m2/v0.5.6
745PE13ANP 745PE13ANP
| URI | m2://inv/745PE13ANP |
|---|---|
| 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 2609.25291#Q4SW (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition 745TTQSJGR
| URI | m2://inv/745TTQSJGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area (graph drawing)#6DCB, Definition (definition)
History
- 2026-11-02: add by m2/dev
745W9V7VWS 745W9V7VWS
| URI | m2://inv/745W9V7VWS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/sylow.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 7.2.4
History
- 2026-11-01: add by m2/v0.6.13
Juan Mario Restrepo 745WBQA0RP
| URI | m2://inv/745WBQA0RP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Juan Mario Restrepo, Juan Mario Restrepo (topic). Also Wikidata Q42079064
History
- 2026-11-02: add by m2/dev
746AS9XT9N 746AS9XT9N
| URI | m2://inv/746AS9XT9N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
746E5PJ86V 746E5PJ86V
| URI | m2://inv/746E5PJ86V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30664#2D0V (statement). In ZZGDNKDVJW/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
746QMTCMZX 746QMTCMZX
| URI | m2://inv/746QMTCMZX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#5JNY (definition). In BDN507RN7J/e1, definition 4.1.10
History
- 2026-10-30: add by m2/v0.4.12
746RP5QCSA 746RP5QCSA
| URI | m2://inv/746RP5QCSA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-6 (exercise). In PKGMM3P5QY, prob, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
Kepler-22 746YXWJGPB
| URI | m2://inv/746YXWJGPB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#BKVJ, Kepler-22 (unknown)
History
- 2026-11-02: add by m2/dev
Infinite-dimensional Lebesgue measure 747JQDG5PZ
| URI | m2://inv/747JQDG5PZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-dimensional Lebesgue measure, Infinite-dimensional Lebesgue measure (definition). Also Wikidata Q6029715
History
- 2026-11-02: add by m2/dev
747P0VVGRQ 747P0VVGRQ
| URI | m2://inv/747P0VVGRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39389#G3O2 (statement). In PP5RE0W4D8/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
747YS6H402 747YS6H402
| URI | m2://inv/747YS6H402 |
|---|---|
| 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.28181#HOSK (statement)
History
- 2026-11-01: add by m2/v0.6.15
748026XK9M 748026XK9M
| URI | m2://inv/748026XK9M |
|---|---|
| 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#5VQY (statement)
History
- 2026-11-01: add by m2/v0.6.15
74832B2B9B 74832B2B9B
| URI | m2://inv/74832B2B9B |
|---|---|
| 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 2404.14312#PSVC (statement). In SEPBZN2DRH/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Female education in Russia 7484GHAKF3
| URI | m2://inv/7484GHAKF3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Female education#1DVU, Female education in Russia (unknown)
History
- 2026-11-02: add by m2/dev
Patrick Suppes 748BN4DN1K
| URI | m2://inv/748BN4DN1K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NRVX, Patrick Suppes (topic)
History
- 2026-11-02: add by m2/dev
748WP1EECJ 748WP1EECJ
| URI | m2://inv/748WP1EECJ |
|---|---|
| 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.01928#3NDK (statement). In BSJRRHKGX0/e1, corollary 5.3
History
- 2026-10-29: add by m2/v0.4.12
7490G3FDZE 7490G3FDZE
| URI | m2://inv/7490G3FDZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#2N82 (statement). In KP0X1RKKKB/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.4.0
749CPH0XS2 749CPH0XS2
| URI | m2://inv/749CPH0XS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#CPJ6 (statement). In BDN507RN7J/e1, proposition 4.4.2
History
- 2026-10-30: add by m2/v0.4.12
Hall's Theorem 749JFSCHYD
| URI | m2://inv/749JFSCHYD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_flowapplications_bip-match.ptx#thm_flowapplications_hall, Hall's Theorem (statement). In QKM9DD2H56, theorem, section 14.2
History
- 2026-11-01: add by m2/v0.6.13
749KYC202R 749KYC202R
| URI | m2://inv/749KYC202R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20285#JZRY (statement). In RQA728RB77/e1, lemma 13
History
- 2026-10-27: add by m2/v0.4.2
Dyakis dodecahedron 749QJT3KGC
| URI | m2://inv/749QJT3KGC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyakis dodecahedron, Dyakis dodecahedron (object). Also Wikidata Q124244299
History
- 2026-11-02: add by m2/dev
Demographics of Glasgow 749SNR3HAN
| URI | m2://inv/749SNR3HAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Glasgow, Demographics of Glasgow (definition). Also Wikidata Q21997529
History
- 2026-11-02: add by m2/dev
setoid 749Y8S9Y8N
| URI | m2://inv/749Y8S9Y8N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7456758, setoid (concept). Also nLab setoid
- wikipedia: Wikipedia Setoid, Setoid (definition). Also Wikidata Q7456758
History
- 2026-10-26: add by m2/dev
Applications 74A6H42TCQ
| URI | m2://inv/74A6H42TCQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Audit study#RY5N, Applications (example)
History
- 2026-11-02: add by m2/dev
74ABEEHKVR 74ABEEHKVR
| URI | m2://inv/74ABEEHKVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/normal-modal-logics.tex#defn:modal-logic (definition). In PKGMM3P5QY, defn, section 54.5
History
- 2026-11-01: add by m2/v0.6.13
Definition 74AC33820K
| URI | m2://inv/74AC33820K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magma (algebra)#E931, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition 74ADAD9GNZ
| URI | m2://inv/74ADAD9GNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steiner point (triangle)#7JAH, Definition (definition)
History
- 2026-11-02: add by m2/dev
74AN0BSFDY 74AN0BSFDY
| URI | m2://inv/74AN0BSFDY |
|---|---|
| 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 2609.36509#Z2XF (statement). In DPJ15KW23C/e1, corollary 7.12
History
- 2026-10-30: add by m2/v0.4.12
Cubic honeycomb 74AW03W63P
| URI | m2://inv/74AW03W63P |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#4SH5, Cubic honeycomb (object)
- wikipedia: Wikipedia List of mathematical shapes#97TL, Cubic honeycomb (object)
- wikipedia: Wikipedia List of mathematical shapes#ZRM6, Cubic honeycomb (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#MX8W, Cubic honeycomb (object)
History
- 2026-11-02: add by m2/dev
Uniform polytope 74AZ3PBVJ9
| URI | m2://inv/74AZ3PBVJ9 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform polytope, Uniform polytope (object). Also Wikidata Q3887718
History
- 2026-11-02: add by m2/dev
One or two basic defects 74BDSSRBY6
| URI | m2://inv/74BDSSRBY6 |
|---|---|
| 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.02216#122T, One or two basic defects (statement). In 34JGRZ2M5F/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.12
Applications 74BGG06X2T
| URI | m2://inv/74BGG06X2T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian process#K2JW, Applications (example)
History
- 2026-11-02: add by m2/dev
74BGVZEPAC 74BGVZEPAC
| URI | m2://inv/74BGVZEPAC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.14455#O0L6 (statement). In VDE5R8HBS1/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
74BM5H0RVT 74BM5H0RVT
| URI | m2://inv/74BM5H0RVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#Q8X2 (statement). In 5KR3MHYVV6/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
amenable 74BNBTBAJE
| URI | m2://inv/74BNBTBAJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#RVO1, amenable (definition)
History
- 2026-11-02: add by m2/dev
Definition 74BSNDJMWN
| URI | m2://inv/74BSNDJMWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mask generation function#7KJW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Localized fractional Riesz virial identity 74BTE2AW1E
| URI | m2://inv/74BTE2AW1E |
|---|---|
| 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.10188#7G0G, Localized fractional Riesz virial identity (statement). In S608Z3ZBP6/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
74C1E0WNBN 74C1E0WNBN
| URI | m2://inv/74C1E0WNBN |
|---|---|
| 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.36877#C8O3 (statement). In FYS6VV5M99/e1, theorem 2.8
History
- 2026-10-30: add by m2/v0.4.12
74CF1MFAK2 74CF1MFAK2
| URI | m2://inv/74CF1MFAK2 |
|---|---|
| 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.21724#VXTY (statement). In EDDJCSBMXN/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
Oswald Leroy 74CV3KRAH4
| URI | m2://inv/74CV3KRAH4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oswald Leroy, Oswald Leroy (topic). Also Wikidata Q16935149
History
- 2026-11-02: add by m2/dev
74CWQ0E9TH 74CWQ0E9TH
| URI | m2://inv/74CWQ0E9TH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-71 (exercise). In E9HS8K3A52, exercise, section 10.7.2
History
- 2026-11-01: add by m2/v0.6.13
74CYZBQCBX 74CYZBQCBX
| URI | m2://inv/74CYZBQCBX |
|---|---|
| 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.20316#WJ1N (statement). In YRJS76169Z/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
differentiable map 74DCN0E7HQ
| URI | m2://inv/74DCN0E7HQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77989741, differentiable map (unknown). Also nLab differentiable map
History
- 2026-10-26: add by m2/dev
Esfandiar Maasoumi 74DG031SG5
| URI | m2://inv/74DG031SG5 |
|---|---|
| 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#VUE6, Esfandiar Maasoumi (unknown)
History
- 2026-11-02: add by m2/dev
Geometric acyclic-fibration criterion 74DGR4WAWK
| URI | m2://inv/74DGR4WAWK |
|---|---|
| Kind | statement |
| 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#FMSZ, Geometric acyclic-fibration criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
74DVZX4HMV 74DVZX4HMV
| URI | m2://inv/74DVZX4HMV |
|---|---|
| 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.02141#WU70 (statement). In 5AB8YPS19N/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
24947 Hausdorff 74E7R2VV22
| URI | m2://inv/74E7R2VV22 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Hausdorff#70O9, 24947 Hausdorff (unknown)
History
- 2026-11-02: add by m2/dev
A worst configuration exists, and may be taken maximal 74EEE04YRH
| URI | m2://inv/74EEE04YRH |
|---|---|
| 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.25120#28OL, A worst configuration exists, and may be taken maximal (statement)
History
- 2026-11-01: add by m2/v0.6.15
Claude Ambrose Rogers 74EG7VY5GP
| URI | m2://inv/74EG7VY5GP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claude Ambrose Rogers, Claude Ambrose Rogers (topic). Also Wikidata Q1097115
History
- 2026-11-02: add by m2/dev
74EM6JDYPV 74EM6JDYPV
| URI | m2://inv/74EM6JDYPV |
|---|---|
| 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.18744#JM10 (statement). In AE07JDH5D3/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Sparse sets need not be fibers 74F3AX5VCZ
| URI | m2://inv/74F3AX5VCZ |
|---|---|
| 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.26201#35WL, Sparse sets need not be fibers (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michel Kervaire 74F8VB18FY
| URI | m2://inv/74F8VB18FY |
|---|---|
| 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 Q116336, Michel Kervaire (unknown). Also nLab Michel Kervaire
- wikipedia: Wikipedia Michel Kervaire, Michel Kervaire (topic). Also Wikidata Q116336
History
- 2026-10-26: add by m2/dev
Traveling salesman problem 74FY2TJMX0
| URI | m2://inv/74FY2TJMX0 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#YPUR, Traveling salesman problem (problem)
History
- 2026-11-02: add by m2/dev
uniform return domination 74G2WJVHJK
| URI | m2://inv/74G2WJVHJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2608.08190#LAQ6, uniform return domination (statement). In AC1NA254DB/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Invariance of the subvariety $\MM$ 74G8JM0SAZ
| URI | m2://inv/74G8JM0SAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#I18J, Invariance of the subvariety $\MM$ (statement). In XK6H7F2F13/e1, proposition 4.10
History
- 2026-10-30: add by m2/v0.4.12
Archimedes's lemmas 74GEFDWDRX
| URI | m2://inv/74GEFDWDRX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#G1KT, Archimedes's lemmas (statement)
History
- 2026-11-02: add by m2/dev
Kerala school of astronomy and mathematics 74GJ8ZEYAY
| URI | m2://inv/74GJ8ZEYAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kerala school of astronomy and mathematics, Kerala school of astronomy and mathematics (definition). Also Wikidata Q1765138
History
- 2026-11-02: add by m2/dev
Shrinkage estimator 74GNYBW9BR
| URI | m2://inv/74GNYBW9BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NEKX, Shrinkage estimator (definition)
History
- 2026-11-02: add by m2/dev
outlier 74GSQEACCZ
| URI | m2://inv/74GSQEACCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#7J3G, outlier (definition)
History
- 2026-11-02: add by m2/dev
Texture mapping 74GT44Y99F
| URI | m2://inv/74GT44Y99F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#CTWX, Texture mapping (unknown)
History
- 2026-11-02: add by m2/dev
Convergence-group extension 74GXEAX5NZ
| URI | m2://inv/74GXEAX5NZ |
|---|---|
| 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.36098#9HXZ, Convergence-group extension (statement). In NRP62VNE58/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Bandlimiting 74H9WM2SB2
| URI | m2://inv/74H9WM2SB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bandlimiting, Bandlimiting (definition). Also Wikidata Q806263
History
- 2026-11-02: add by m2/dev
74HAEVV1YN 74HAEVV1YN
| URI | m2://inv/74HAEVV1YN |
|---|---|
| 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.40054#QH05 (statement). In CA4C9PFM1E/e1, lemma 3.1.3
History
- 2026-10-30: add by m2/v0.4.12
74HBYRNSRP 74HBYRNSRP
| URI | m2://inv/74HBYRNSRP |
|---|---|
| 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 2609.23660#OAHK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Digamma function 74HPE7K5J1
| URI | m2://inv/74HPE7K5J1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#NNEL, Digamma function (definition)
History
- 2026-11-02: add by m2/dev
Divisor summatory function 74HPHY607T
| URI | m2://inv/74HPHY607T |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor summatory function, Divisor summatory function (conjecture). Also Wikidata Q5284648
History
- 2026-11-02: add by m2/dev
cone 74HR709PE1
| URI | m2://inv/74HR709PE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 34B18 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q42344, cone (topic). Also MathWorld Cone
- wikipedia: Wikipedia Cone, Cone (definition). Also Wikidata Q42344
History
- 2026-10-26: add by m2/dev
74HT0YBCEN 74HT0YBCEN
| URI | m2://inv/74HT0YBCEN |
|---|---|
| Kind | definition |
| 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.31783#GJVK (definition). In CGNVT4C47F/e1, definition 1.6
History
- 2026-10-31: add by m2/v0.5.6
74HWJ14Y03 74HWJ14Y03
| URI | m2://inv/74HWJ14Y03 |
|---|---|
| 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#UO71 (statement). In H21X3FHNYJ/e1, corollary 5.6
History
- 2026-10-27: add by m2/v0.4.2
Space and states 74J4BM611C
| URI | m2://inv/74J4BM611C |
|---|---|
| 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#K7CU, Space and states (definition). In WD2NCBV9F0/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Antiholomorphic function 74J5E4M5A2
| URI | m2://inv/74J5E4M5A2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#TFBN, Antiholomorphic function (definition)
History
- 2026-11-02: add by m2/dev
Non-Cartesian polynomials 74JDVFCZ4Q
| URI | m2://inv/74JDVFCZ4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33327#PMFP, Non-Cartesian polynomials (statement). In A5R31P82BK/e1, corollary 8.1
History
- 2026-10-30: add by m2/v0.4.12
Properties 74JGQXRJ8T
| URI | m2://inv/74JGQXRJ8T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral domain#VS0Q, Properties (statement)
History
- 2026-11-02: add by m2/dev
74JPPGD3XY 74JPPGD3XY
| URI | m2://inv/74JPPGD3XY |
|---|---|
| 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.12810#5Q65 (statement). In DR35633CPN/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
Benjamín Grinstein 74JQRCR2CA
| URI | m2://inv/74JQRCR2CA |
|---|---|
| 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 Q50992408, Benjamín Grinstein (unknown). Also nLab Benjamin Grinstein
History
- 2026-10-26: add by m2/dev
74JV6ASPCQ 74JV6ASPCQ
| URI | m2://inv/74JV6ASPCQ |
|---|---|
| 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#7RE3 (statement). In XDQAEGH345/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Stephens, Matthew 74JXKEZ3FQ
| URI | m2://inv/74JXKEZ3FQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#QHWU, Stephens, Matthew (topic)
History
- 2026-11-02: add by m2/dev
Non-examples 74KKKQ9C96
| URI | m2://inv/74KKKQ9C96 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square-integrable function#39WO, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
74KPAQQ178 74KPAQQ178
| URI | m2://inv/74KPAQQ178 |
|---|---|
| Kind | definition |
| 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.35605#1LIL (definition). In X1KWTAA3M2/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Éva Tardos 74KPRYEX25
| URI | m2://inv/74KPRYEX25 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QAQ8, Éva Tardos (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#51KY, Éva Tardos (topic)
History
- 2026-11-02: add by m2/dev
74KVNM148Q 74KVNM148Q
| URI | m2://inv/74KVNM148Q |
|---|---|
| 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.28540#5LJV (statement)
History
- 2026-11-01: add by m2/v0.6.15
First and second law 74M0GX5C9Z
| URI | m2://inv/74M0GX5C9Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy production#EGRG, First and second law (statement)
History
- 2026-11-02: add by m2/dev
Finger ternary 74MB3AR1DY
| URI | m2://inv/74MB3AR1DY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finger binary#ZZ7F, Finger ternary (unknown)
History
- 2026-11-02: add by m2/dev
74MBHJN9SY 74MBHJN9SY
| URI | m2://inv/74MBHJN9SY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36089#2Q3I (statement). In AK4F10SNC0/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
Emilio Elizalde 74MCXTZDA4
| URI | m2://inv/74MCXTZDA4 |
|---|---|
| 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 Q16728803, Emilio Elizalde (unknown). Also nLab Emilio Elizalde
History
- 2026-10-26: add by m2/dev
Statement 74MDYFKH1J
| URI | m2://inv/74MDYFKH1J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézout's theorem#M6UP, Statement (statement)
History
- 2026-11-02: add by m2/dev
line 74MFZY6TGJ
| URI | m2://inv/74MFZY6TGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#I1WU, line (definition)
History
- 2026-11-02: add by m2/dev
Example 74MG41B0CY
| URI | m2://inv/74MG41B0CY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-invariant of a quiver#22SS, Example (example)
History
- 2026-11-02: add by m2/dev
Linear extension 74MHF7QEZK
| URI | m2://inv/74MHF7QEZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear extension, Linear extension (definition). Also Wikidata Q6553442
History
- 2026-11-02: add by m2/dev
Lemmings 74MSKQ77V2
| URI | m2://inv/74MSKQ77V2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#X9OJ, Lemmings (unknown)
History
- 2026-11-02: add by m2/dev
Half rank log-bound 74MX38MSEW
| URI | m2://inv/74MX38MSEW |
|---|---|
| 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 2609.30561#WRIB, Half rank log-bound (statement). In EHQBEXHF9W/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
Yobuko 74N3JH87Q4
| URI | m2://inv/74N3JH87Q4 |
|---|---|
| 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.35467#N35Q, Yobuko (statement). In FK89DQ9J4S/e1, theorem 2.12
History
- 2026-10-30: add by m2/v0.4.12
Observable-side converse 74N9YKSSZZ
| URI | m2://inv/74N9YKSSZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#FV3B, Observable-side converse (statement)
History
- 2026-11-01: add by m2/v0.6.15
mysticism 74NE12Q5E1
| URI | m2://inv/74NE12Q5E1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q45996, mysticism (unknown). Also nLab mysticism
History
- 2026-10-26: add by m2/dev
74NKXJNM5T 74NKXJNM5T
| URI | m2://inv/74NKXJNM5T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#I58S (definition)
History
- 2026-11-02: add by m2/v0.6.18
Encryption and the law: the broader landscape 74NMC4FG6S
| URI | m2://inv/74NMC4FG6S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Human rights and encryption#5GLE, Encryption and the law: the broader landscape (statement)
History
- 2026-11-02: add by m2/dev
Examples 74NQN76RHK
| URI | m2://inv/74NQN76RHK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acute and obtuse triangles#O08T, Examples (example)
History
- 2026-11-02: add by m2/dev
Justification by initial-density approximation 74NS74P2XE
| URI | m2://inv/74NS74P2XE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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 2609.28611#5OL8, Justification by initial-density approximation (statement)
History
- 2026-11-01: add by m2/v0.6.15
closure 74NVKPN05P
| URI | m2://inv/74NVKPN05P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4720939, closure (concept). Also MathWorld Closure
- wikipedia: Wikipedia Closure (mathematics), Closure (definition). Also Wikidata Q4720939
History
- 2026-10-26: add by m2/dev
74NVNM5V7P 74NVNM5V7P
| URI | m2://inv/74NVNM5V7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-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 2111.14699#G5K9 (statement). In ES1CVGG59Y/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Derivation from Newton's laws of motion 74NW21CYFE
| URI | m2://inv/74NW21CYFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamilton's principle#S2Z4, Derivation from Newton's laws of motion (statement)
History
- 2026-11-02: add by m2/dev
Syzygy module 74NWQZPYXK
| URI | m2://inv/74NWQZPYXK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's syzygy theorem#9D8Q, Syzygy module (unknown)
History
- 2026-11-02: add by m2/dev
Definition 74NY8MZ6YZ
| URI | m2://inv/74NY8MZ6YZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plünnecke–Ruzsa inequality#T7JX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Platonic graph 74NZ4NHZ7Q
| URI | m2://inv/74NZ4NHZ7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19598654, Platonic graph (definition). Also MathWorld PlatonicGraph, ProofWiki Definition:Platonic_Graph
History
- 2026-10-26: add by m2/dev
74P0Y2FNM6 74P0Y2FNM6
| URI | m2://inv/74P0Y2FNM6 |
|---|---|
| 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.38725#34VL (statement). In 2Q5WSEAKGP/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Alon 74P4WNQ3QE
| URI | m2://inv/74P4WNQ3QE |
|---|---|
| Kind | problem |
| 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.29623#K6BU, Alon (problem)
History
- 2026-11-01: add by m2/v0.6.15
Computation 74P9BEQMTW
| URI | m2://inv/74P9BEQMTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential function#1C8B, Computation (definition)
History
- 2026-11-02: add by m2/dev
74PC0CPRMV 74PC0CPRMV
| URI | m2://inv/74PC0CPRMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29878#WG3Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
74PEQAZ4NC 74PEQAZ4NC
| URI | m2://inv/74PEQAZ4NC |
|---|---|
| Kind | problem |
| 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.21060#8RB7 (problem)
History
- 2026-11-02: add by m2/v0.6.18
Kleetope 74PK4R4C0T
| URI | m2://inv/74PK4R4C0T |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#29G4, Kleetope (object)
History
- 2026-11-02: add by m2/dev
rank transfer 74PMMXSN0Z
| URI | m2://inv/74PMMXSN0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02289#IJNZ, rank transfer (statement). In 67BZ87CQ74/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Grothendieck's relative point of view 74PNBENPF9
| URI | m2://inv/74PNBENPF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck's relative point of view, Grothendieck's relative point of view (definition). Also Wikidata Q810248
History
- 2026-11-02: add by m2/dev
74PWP5C0W2 74PWP5C0W2
| URI | m2://inv/74PWP5C0W2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/beta-reduction.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 35.2
History
- 2026-11-01: add by m2/v0.6.13
Francis Galton 74PX3RQRKR
| URI | m2://inv/74PX3RQRKR |
|---|---|
| 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 Q191026, Francis Galton (unknown). Also EoM Galton,_Francis
- wikipedia: Wikipedia Francis Galton, Francis Galton (topic). Also Wikidata Q191026
History
- 2026-10-26: add by m2/dev
Hironaka theorem 74PXVCYQ9V
| URI | m2://inv/74PXVCYQ9V |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#CN24, Hironaka theorem (conjecture)
History
- 2026-11-02: add by m2/dev
74QC3P96RE 74QC3P96RE
| URI | m2://inv/74QC3P96RE |
|---|---|
| Kind | problem |
| 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 2309.17091#QX6M (problem). In N0JJM098W2/e1, problem 32
History
- 2026-10-27: add by m2/v0.4.0
Relevant corollaries of the Gagliardo-Nirenberg inequality 74QFCPTM3K
| URI | m2://inv/74QFCPTM3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gagliardo–Nirenberg interpolation inequality#IBSJ, Relevant corollaries of the Gagliardo-Nirenberg inequality (statement)
History
- 2026-11-02: add by m2/dev
74QQ5ZMXV2 74QQ5ZMXV2
| URI | m2://inv/74QQ5ZMXV2 |
|---|---|
| Kind | definition |
| 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.13489#WVO1 (definition). In R4CJ28GP2T/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Modding out 74QRMBXD7X
| URI | m2://inv/74QRMBXD7X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulo (mathematics)#2CEP, Modding out (unknown)
History
- 2026-11-02: add by m2/dev
74QVAX5XAR 74QVAX5XAR
| URI | m2://inv/74QVAX5XAR |
|---|---|
| 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.07164#GLXI (statement). In Q1XJ5VWE1N/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
74QYWSJ315 74QYWSJ315
| URI | m2://inv/74QYWSJ315 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#example-8 (example). In RZP28ERRZV, example, section 55.4
History
- 2026-11-01: add by m2/v0.6.13
confounder 74R3W7WQ6Y
| URI | m2://inv/74R3W7WQ6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#7R9A, confounder (definition)
History
- 2026-11-02: add by m2/dev
Gamma function–Legendre formula 74R5B70MF9
| URI | m2://inv/74R5B70MF9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#R8XV, Gamma function–Legendre formula (statement)
History
- 2026-11-02: add by m2/dev
Axioms of a Minkowski plane 74RA265PDF
| URI | m2://inv/74RA265PDF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski plane#21GA, Axioms of a Minkowski plane (statement)
History
- 2026-11-02: add by m2/dev
James Dugundji 74RQMV8TJK
| URI | m2://inv/74RQMV8TJK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Dugundji, James Dugundji (topic). Also Wikidata Q11099716
History
- 2026-11-02: add by m2/dev
Extensions 74S4EXAMVZ
| URI | m2://inv/74S4EXAMVZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching pursuit#B6CV, Extensions (statement)
History
- 2026-11-02: add by m2/dev
The End of Average 74SA0TE8AZ
| URI | m2://inv/74SA0TE8AZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The End of Average, The End of Average (definition). Also Wikidata Q23013600
History
- 2026-11-02: add by m2/dev
74SA6TE4K4 74SA6TE4K4
| URI | m2://inv/74SA6TE4K4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#dproblem-3 (exercise). In RZP28ERRZV, dproblem, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Osborn's rule 74SGJD4WBZ
| URI | m2://inv/74SGJD4WBZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105529160, Osborn's rule (unknown). Also MathWorld OsbornsRule
History
- 2026-10-26: add by m2/dev
74SKQQ3YZZ 74SKQQ3YZZ
| URI | m2://inv/74SKQQ3YZZ |
|---|---|
| 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.10262#KF7L (statement). In MVSGDTN2PB/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
Height function 74T5B09GZX
| URI | m2://inv/74T5B09GZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#WCXD, Height function (definition)
History
- 2026-11-02: add by m2/dev
74T8DN3A66 74T8DN3A66
| URI | m2://inv/74T8DN3A66 |
|---|---|
| Kind | statement |
| 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 2010.04617#DIY9 (statement). In P7PSTS3735/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
74T9S51VS8 74T9S51VS8
| URI | m2://inv/74T9S51VS8 |
|---|---|
| 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 2405.02275#9NHI (statement). In 1QXCNGRWV1/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
74TF0N3PFV 74TF0N3PFV
| URI | m2://inv/74TF0N3PFV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_flowapplications_exercises.ptx#exercise-1 (exercise). In QKM9DD2H56, exercise, section 14
History
- 2026-11-01: add by m2/v0.6.13
74TFT3AQ4Z 74TFT3AQ4Z
| URI | m2://inv/74TFT3AQ4Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/equinumerous-sets.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 83.6
History
- 2026-11-01: add by m2/v0.6.13
Mladen Bestvina 74TKGNZY91
| URI | m2://inv/74TKGNZY91 |
|---|---|
| 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#BL9P, Mladen Bestvina (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CL4M, Mladen Bestvina (topic)
History
- 2026-11-02: add by m2/dev
74TX09XEBM 74TX09XEBM
| URI | m2://inv/74TX09XEBM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#6T4V (definition). In A1GWWGRXPA/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.4.2
Inertial frame of reference 74TZRRMAQF
| URI | m2://inv/74TZRRMAQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inertial frame of reference, Inertial frame of reference (definition). Also Wikidata Q192735
History
- 2026-11-02: add by m2/dev
William Braikenridge 74VB4ANBX9
| URI | m2://inv/74VB4ANBX9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Braikenridge, William Braikenridge (topic). Also Wikidata Q15994322
History
- 2026-11-02: add by m2/dev
Notation 74VG28WDCX
| URI | m2://inv/74VG28WDCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Union (set theory)#BT08, Notation (definition)
History
- 2026-11-02: add by m2/dev
74VJKWERWN 74VJKWERWN
| URI | m2://inv/74VJKWERWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22240#ZGK2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition 74VMTGEE0M
| URI | m2://inv/74VMTGEE0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rees decomposition#WVEZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
74VTPTP66Q 74VTPTP66Q
| URI | m2://inv/74VTPTP66Q |
|---|---|
| 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 1709.01658#BYRV (statement). In 90A5Q9HRQK/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Raymond head-pair candidate 74W6C0ZKVE
| URI | m2://inv/74W6C0ZKVE |
|---|---|
| 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.37164#N4WI, Raymond head-pair candidate (statement). In B2PG75FSQJ/e1, theorem 8.3
History
- 2026-10-30: add by m2/v0.4.12
74W8B7T00V 74W8B7T00V
| URI | m2://inv/74W8B7T00V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 58.8
History
- 2026-11-01: add by m2/v0.6.13
74WF4RYEW2 74WF4RYEW2
| URI | m2://inv/74WF4RYEW2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#problem-2 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
Centralizer and normalizer 74WG5VQRB3
| URI | m2://inv/74WG5VQRB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#0PVF, Centralizer and normalizer (definition)
History
- 2026-11-02: add by m2/dev
74WH5J0KA1 74WH5J0KA1
| URI | m2://inv/74WH5J0KA1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/tarski-thm.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 28.6
History
- 2026-11-01: add by m2/v0.6.13
74WHFJG3Q1 74WHFJG3Q1
| URI | m2://inv/74WHFJG3Q1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25062#XBFK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Skew Boolean algebra 74WKVEWHGJ
| URI | m2://inv/74WKVEWHGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#WZRT, Skew Boolean algebra (definition)
History
- 2026-11-02: add by m2/dev
Population proportion 74WKZNH1G9
| URI | m2://inv/74WKZNH1G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population proportion, Population proportion (definition). Also Wikidata Q25304804
History
- 2026-11-02: add by m2/dev
Definition 74WNW0M2C4
| URI | m2://inv/74WNW0M2C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stieltjes–Wigert polynomials#P0SK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Brightness theorem 74WQJ8R93H
| URI | m2://inv/74WQJ8R93H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Etendue#TOE3, Brightness theorem (statement)
History
- 2026-11-02: add by m2/dev
Continuation cost 74WW4DB4TN
| URI | m2://inv/74WW4DB4TN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31535#K5ZI, Continuation cost (statement). In BAWCMJQGVA/e1, lemma 6.1
History
- 2026-10-31: add by m2/v0.5.6
74XA1ETEHK 74XA1ETEHK
| URI | m2://inv/74XA1ETEHK |
|---|---|
| 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 2609.29450#1IR3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform classical stability bounds 74XBSBDFY4
| URI | m2://inv/74XBSBDFY4 |
|---|---|
| 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.05652#ML2K, Uniform classical stability bounds (statement). In 8BNPFYQDQX/e1, theorem 1.12
History
- 2026-10-29: add by m2/v0.4.10
Conductor lower bounds 74XE5AN5MR
| URI | m2://inv/74XE5AN5MR |
|---|---|
| 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.30301#LQSO, Conductor lower bounds (statement). In 7NS75J7HAM/e1, lemma 7.14
History
- 2026-10-31: add by m2/v0.5.6
74XFN9W1YS 74XFN9W1YS
| URI | m2://inv/74XFN9W1YS |
|---|---|
| Kind | definition |
| 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 2304.02722#HHXY (definition). In AH7D55D3WV/e1, definition 20.3
History
- 2026-10-27: add by m2/v0.3.5
74XJ372VCX 74XJ372VCX
| URI | m2://inv/74XJ372VCX |
|---|---|
| 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 2203.06854#67XC (statement). In 7NE5NVT9KH/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
theorem 74XMY6C9FX
| URI | m2://inv/74XMY6C9FX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#AJ8J, theorem (definition)
History
- 2026-11-02: add by m2/dev
74XSHTE6MJ 74XSHTE6MJ
| URI | m2://inv/74XSHTE6MJ |
|---|---|
| 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.12169#6E28 (statement). In 645GF9SFWM/e1, lemma 22
History
- 2026-10-28: add by m2/v0.4.2
74XYABB0W7 74XYABB0W7
| URI | m2://inv/74XYABB0W7 |
|---|---|
| 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.31615#TTK6 (statement). In TNV6XTEWEG/e1, lemma 3.6
History
- 2026-10-31: add by m2/v0.5.6
David Hilbert 74Y1H85A0H
| URI | m2://inv/74Y1H85A0H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#M6J0, David Hilbert (topic)
History
- 2026-11-02: add by m2/dev
Theorem GF4 74Y1XWF7ER
| URI | m2://inv/74Y1XWF7ER |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#BJIB, Theorem GF4 (statement)
History
- 2026-11-02: add by m2/dev
Well-ordering theorem 74Y5BZB43Q
| URI | m2://inv/74Y5BZB43Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#K315, Well-ordering theorem (statement)
History
- 2026-11-02: add by m2/dev
74Y8ABFZJ8 74Y8ABFZJ8
| URI | m2://inv/74Y8ABFZJ8 |
|---|---|
| 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 2108.03672#TEPK (statement). In EZZSZ1F071/e1, lemma 3.14
History
- 2026-10-27: add by m2/v0.4.0
symmetric spectrum 74YA0ERC3P
| URI | m2://inv/74YA0ERC3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#NQEC, symmetric spectrum (definition)
History
- 2026-11-02: add by m2/dev
Terminology 74YDPVWMM6
| URI | m2://inv/74YDPVWMM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfer (group theory)#TU10, Terminology (definition)
History
- 2026-11-02: add by m2/dev
74YEC86HQQ 74YEC86HQQ
| URI | m2://inv/74YEC86HQQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1009.2043#2RYP (definition). In 7DCNHRBK5A/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
74YM1ZR86Q 74YM1ZR86Q
| URI | m2://inv/74YM1ZR86Q |
|---|---|
| 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.39539#SJYR (statement). In GVR218P3ZR/e1, corollary 7.3.3
History
- 2026-10-30: add by m2/v0.4.12
74YR06TTE8 74YR06TTE8
| URI | m2://inv/74YR06TTE8 |
|---|---|
| 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 2608.00864#4BCB (statement). In PRF0P3D637/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
74YY432Y22 74YY432Y22
| URI | m2://inv/74YY432Y22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.16606#5AIU (statement). In A798V7TX99/e1, lemma 5.14
History
- 2026-10-28: add by m2/v0.4.2
74Z7ZRG8RQ 74Z7ZRG8RQ
| URI | m2://inv/74Z7ZRG8RQ |
|---|---|
| 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.36309#ZCPP (statement). In FAJ10EJMYE/e1, lemma 12
History
- 2026-10-30: add by m2/v0.4.12
Real number 74ZDZPDBVH
| URI | m2://inv/74ZDZPDBVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#IPH2, Real number (definition)
History
- 2026-11-02: add by m2/dev
Construction 74ZEQ9TV7B
| URI | m2://inv/74ZEQ9TV7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass function (nowhere-differentiable function)#8DQD, Construction (definition)
History
- 2026-11-02: add by m2/dev
74ZEZE1HJW 74ZEZE1HJW
| URI | m2://inv/74ZEZE1HJW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01694#R0R9 (definition). In EBMHYN0XK9/e1, definition 4.8
History
- 2026-10-29: add by m2/v0.4.12