Inventory rows RN
The cards of the rows of the inventory whose ids start with RN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Exact balance RN0H2Q9X5N
| URI | m2://inv/RN0H2Q9X5N |
|---|---|
| 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#RLX3, Exact balance (statement)
History
- 2026-11-02: add by m2/v0.6.17
Computational number theory RN0HYBP563
| URI | m2://inv/RN0HYBP563 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#PJ3M, Computational number theory (definition)
History
- 2026-11-02: add by m2/dev
Nonabelian algebraic topology RN0J7BC33E
| URI | m2://inv/RN0J7BC33E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonabelian algebraic topology, Nonabelian algebraic topology (definition). Also Wikidata Q85789394
History
- 2026-11-02: add by m2/dev
Donoho, David RN0K4JQSWC
| URI | m2://inv/RN0K4JQSWC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TBMT, Donoho, David (topic)
History
- 2026-11-02: add by m2/dev
non-proper to proper learning RN0RVYJ0DE
| URI | m2://inv/RN0RVYJ0DE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21033#N187, non-proper to proper learning (statement). In A8C1M9BSWH/e1, lemma H.1
History
- 2026-10-27: add by m2/v0.4.2
RN0YJ4DS7J RN0YJ4DS7J
| URI | m2://inv/RN0YJ4DS7J |
|---|---|
| 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.23810#HNYS (statement)
History
- 2026-11-02: add by m2/v0.6.17
RN0ZE50WV7 RN0ZE50WV7
| URI | m2://inv/RN0ZE50WV7 |
|---|---|
| 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.25568#Y50V (statement)
History
- 2026-11-01: add by m2/v0.6.15
right angle RN14KED3JX
| URI | m2://inv/RN14KED3JX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q210, right angle (definition). Also MathWorld RightAngle, ProofWiki Definition:Right_Angle
- wikipedia: Wikipedia Right angle, Right angle (definition). Also Wikidata Q210
History
- 2026-10-26: add by m2/dev
Examples RN15A1AA4R
| URI | m2://inv/RN15A1AA4R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pfaffian function#2RD0, Examples (example)
History
- 2026-11-02: add by m2/dev
RN1G125K6V RN1G125K6V
| URI | m2://inv/RN1G125K6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#O20H (statement). In S8NB83KQX3/e1, lemma 3
History
- 2026-10-31: add by m2/v0.5.6
Definition RN1HHAP9JZ
| URI | m2://inv/RN1HHAP9JZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbifold#OUTB, Definition (definition)
History
- 2026-11-02: add by m2/dev
National Numeracy Strategy RN2816S5BR
| URI | m2://inv/RN2816S5BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Numeracy Strategy, National Numeracy Strategy (definition). Also Wikidata Q6974599
History
- 2026-11-02: add by m2/dev
RN2PRJH6KD RN2PRJH6KD
| URI | m2://inv/RN2PRJH6KD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18632#B7N1 (statement). In PTM5MVD4M0/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
RN2VXACHCN RN2VXACHCN
| URI | m2://inv/RN2VXACHCN |
|---|---|
| Kind | definition |
| 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 2304.03611#GYCX (definition). In 75E8ZB1CBV/e1, definition 5.1.1
History
- 2026-10-27: add by m2/v0.4.0
Theorem (Coburn) RN37QBHHNM
| URI | m2://inv/RN37QBHHNM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wold's decomposition#PT22, Theorem (Coburn) (statement)
History
- 2026-11-02: add by m2/dev
Helly family RN38G21B4M
| URI | m2://inv/RN38G21B4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#PCXM, Helly family (definition)
History
- 2026-11-02: add by m2/dev
Universal discriminant RN3CQ86BC2
| URI | m2://inv/RN3CQ86BC2 |
|---|---|
| Kind | conjecture |
| 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.31189#ICN0, Universal discriminant (conjecture). In 2D061MTT04/e1, conjecture 10.3
History
- 2026-10-31: add by m2/v0.5.6
RN3SAMZZFQ RN3SAMZZFQ
| URI | m2://inv/RN3SAMZZFQ |
|---|---|
| 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.26307#EMSP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coloring algorithm RN3T0ZSAAA
| URI | m2://inv/RN3T0ZSAAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#CV7N, Coloring algorithm (definition)
History
- 2026-11-02: add by m2/dev
RN3THKKWMR RN3THKKWMR
| URI | m2://inv/RN3THKKWMR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#6PWU (statement). In 9ZSNSJRJ5N/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.2
Formal definition RN3W4VGDMY
| URI | m2://inv/RN3W4VGDMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complexification#IP43, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Properties RN3YP0JGCW
| URI | m2://inv/RN3YP0JGCW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromov product#KKBW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Jürgen Neukirch RN40WM5K9P
| URI | m2://inv/RN40WM5K9P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#7GQA, Jürgen Neukirch (topic)
History
- 2026-11-02: add by m2/dev
Marangoni effect RN4HAC9BSH
| URI | m2://inv/RN4HAC9BSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marangoni effect, Marangoni effect (definition). Also Wikidata Q1960173
History
- 2026-11-02: add by m2/dev
Denoising suboptimality, informal RN4HHVXES7
| URI | m2://inv/RN4HHVXES7 |
|---|---|
| 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.10875#KBJE, Denoising suboptimality, informal (statement). In N91F15MHW1/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
RN4PND59DQ RN4PND59DQ
| URI | m2://inv/RN4PND59DQ |
|---|---|
| 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.13846#W52H (statement). In DN3HGHGRYJ/e1, theorem 6.8
History
- 2026-10-28: add by m2/v0.4.2
RN4R8WPNM3 RN4R8WPNM3
| URI | m2://inv/RN4R8WPNM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37634#M17S (statement). In NTWNXKDBKK/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
Nathalie Sinclair RN4V6YC2TY
| URI | m2://inv/RN4V6YC2TY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nathalie Sinclair, Nathalie Sinclair (topic). Also Wikidata Q25755998
History
- 2026-11-02: add by m2/dev
one-to-one RN4ZTSAVVZ
| URI | m2://inv/RN4ZTSAVVZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.6.2/one-to-one, one-to-one (concept). In 907G4C4EJ1, index, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
RN50E7NXCD RN50E7NXCD
| URI | m2://inv/RN50E7NXCD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23522#11KZ (definition)
History
- 2026-11-02: add by m2/v0.6.17
iota RN514SC6YK
| URI | m2://inv/RN514SC6YK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14399, iota (unknown). Also ProofWiki Symbols:Greek/Iota
History
- 2026-10-26: add by m2/dev
constructive, analysis RN57N7PDRC
| URI | m2://inv/RN57N7PDRC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/constructive-analysis, constructive, analysis (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
RN57T4SZ1W RN57T4SZ1W
| URI | m2://inv/RN57T4SZ1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05914#EUV0 (statement). In V8MYP6MBAZ/e1, theorem 10
History
- 2026-10-29: add by m2/v0.4.10
Pulation square RN5931QGJW
| URI | m2://inv/RN5931QGJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pulation square, Pulation square (definition). Also Wikidata Q7259225
History
- 2026-11-02: add by m2/dev
Original stationary distance RN5AXFRJ5F
| URI | m2://inv/RN5AXFRJ5F |
|---|---|
| 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.15202#27OE, Original stationary distance (statement). In X1FPG0KYBM/e1, corollary R.5
History
- 2026-10-28: add by m2/v0.4.2
RN5G629R24 RN5G629R24
| URI | m2://inv/RN5G629R24 |
|---|---|
| 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.26713#57ON (statement)
History
- 2026-11-01: add by m2/v0.6.15
Strait of Anian RN5GN0AYZ4
| URI | m2://inv/RN5GN0AYZ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#PSNA, Strait of Anian (unknown)
History
- 2026-11-02: add by m2/dev
Examples RN5NVVBYMC
| URI | m2://inv/RN5NVVBYMC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branched covering#CT1E, Examples (example)
History
- 2026-11-02: add by m2/dev
RN5R894GSM RN5R894GSM
| URI | m2://inv/RN5R894GSM |
|---|---|
| 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.19533#0IDS (statement). In RG4Z9C6ANS/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Property P conjecture RN5REPFE1R
| URI | m2://inv/RN5REPFE1R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Property P conjecture, Property P conjecture (statement). Also Wikidata Q7250222
History
- 2026-11-02: add by m2/dev
RN5ZQFZFH2 RN5ZQFZFH2
| URI | m2://inv/RN5ZQFZFH2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-13 (example). In E9HS8K3A52, example, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Thomsen graph RN61MEAS41
| URI | m2://inv/RN61MEAS41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#U9NS, Thomsen graph (definition)
History
- 2026-11-02: add by m2/dev
Donor star RN61WHM1FV
| URI | m2://inv/RN61WHM1FV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roche lobe#WUG7, Donor star (unknown)
History
- 2026-11-02: add by m2/dev
RN628MKRSP RN628MKRSP
| URI | m2://inv/RN628MKRSP |
|---|---|
| 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.40251#UMNL (statement). In 9J7TJYKGYX/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
RN6G7S55QS RN6G7S55QS
| URI | m2://inv/RN6G7S55QS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 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.13532#NH5V (statement). In 9B0X8YPF3P/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
Naomi B. Robbins RN6JXVSHKV
| URI | m2://inv/RN6JXVSHKV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#BERA, Naomi B. Robbins (topic)
History
- 2026-11-02: add by m2/dev
Intersection (Line) Graphs of hypergraphs RN6S9QJS8Y
| URI | m2://inv/RN6S9QJS8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#Y2F4, Intersection (Line) Graphs of hypergraphs (definition)
History
- 2026-11-02: add by m2/dev
RN73530HN0 RN73530HN0
| URI | m2://inv/RN73530HN0 |
|---|---|
| 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 2604.23212#YEVG (definition). In 4X12V9RS0D/e1, definition A.1
History
- 2026-10-27: add by m2/v0.3.5
Graded Nakayama lemma RN7425F9FT
| URI | m2://inv/RN7425F9FT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nakayama's lemma#DM4P, Graded Nakayama lemma (unknown)
History
- 2026-11-02: add by m2/dev
RN7463AEV0 RN7463AEV0
| URI | m2://inv/RN7463AEV0 |
|---|---|
| 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.10660#ES3Y (statement). In 1T12A2H411/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.3
Bruce Givner RN787BQTKV
| URI | m2://inv/RN787BQTKV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#VAJW, Bruce Givner (unknown)
History
- 2026-11-02: add by m2/dev
Chevalley--Weil formula for $\Gamma\triangleleft \mathrm{PSL}_2(\mathbb{Z})$ RN7BN7MCNF
| URI | m2://inv/RN7BN7MCNF |
|---|---|
| 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 1712.02437#MDKM, Chevalley--Weil formula for $\Gamma\triangleleft \mathrm{PSL}_2(\mathbb{Z})$ (statement). In GZDFK652T9/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Cocircuit reconstruction RN7BTW5K83
| URI | m2://inv/RN7BTW5K83 |
|---|---|
| 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 2610.20649#TNPM, Cocircuit reconstruction (statement). In XDTM624YPE/e1, theorem 14.1
History
- 2026-10-27: add by m2/v0.4.2
Definition RN7G1Z80RT
| URI | m2://inv/RN7G1Z80RT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graham's number#P5CV, Definition (definition)
History
- 2026-11-02: add by m2/dev
RN7N35CVA5 RN7N35CVA5
| URI | m2://inv/RN7N35CVA5 |
|---|---|
| Kind | example |
| 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 2212.06621#3IBW (example). In DB223AABTH/e1, example 5.8
History
- 2026-10-27: add by m2/v0.3.5
Multiplicative calculus RN7R26NZF2
| URI | m2://inv/RN7R26NZF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#7WFZ, Multiplicative calculus (definition)
History
- 2026-11-02: add by m2/dev
RN7SJJ65TP RN7SJJ65TP
| URI | m2://inv/RN7SJJ65TP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#87ML (statement)
History
- 2026-11-01: add by m2/v0.6.15
RN7T42TDQQ RN7T42TDQQ
| URI | m2://inv/RN7T42TDQQ |
|---|---|
| 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.10365#A0SK (statement). In PRVQPSBVHK/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
RN7VR8AVSP RN7VR8AVSP
| URI | m2://inv/RN7VR8AVSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#0OQX (statement). In ESDKTYDHC8/e1, corollary 19
History
- 2026-10-29: add by m2/v0.4.12
RN7WBVCAZY RN7WBVCAZY
| URI | m2://inv/RN7WBVCAZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06141#ZQRS (statement). In YA6JD3JHQS/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Triangle formula RN7Y8GNXSK
| URI | m2://inv/RN7Y8GNXSK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shoelace formula#KG65, Triangle formula (statement)
History
- 2026-11-02: add by m2/dev
Trefoil knot RN838550YB
| URI | m2://inv/RN838550YB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16514#JIZA, Trefoil knot (example). In 7RSA1AZ4XK/e1, example 4.2
History
- 2026-10-28: add by m2/v0.4.2
RN845VXRM5 RN845VXRM5
| URI | m2://inv/RN845VXRM5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#LR8Z (definition). In 3KTZ6Z615H/e1, definition 5.15
History
- 2026-10-30: add by m2/v0.4.12
RN84F07T4R RN84F07T4R
| URI | m2://inv/RN84F07T4R |
|---|---|
| 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 2606.01011#3XWW (statement). In RPG6EAXX68/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Mean-independent uniform factor RN87Q0K3WH
| URI | m2://inv/RN87Q0K3WH |
|---|---|
| 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#6V9U, Mean-independent uniform factor (statement). In 9YAE8FNQST/e1, lemma 10.6
History
- 2026-10-30: add by m2/v0.4.12
Terminology RN8H9ZK6KM
| URI | m2://inv/RN8H9ZK6KM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic equation#R0WZ, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Experiment graph RN8M8S0XJB
| URI | m2://inv/RN8M8S0XJB |
|---|---|
| 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.22564#KE85, Experiment graph (definition)
History
- 2026-11-02: add by m2/v0.6.17
RN8NXJK2MP RN8NXJK2MP
| URI | m2://inv/RN8NXJK2MP |
|---|---|
| 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 2411.01837#PZQ9 (statement). In 2XBYZ1QP22/e1, theorem F
History
- 2026-10-27: add by m2/v0.3.5
Implementation RN8QK78556
| URI | m2://inv/RN8QK78556 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve of Pritchard#TLHO, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Arnold conjecture and Hamiltonian Floer homology RN8THW1KJQ
| URI | m2://inv/RN8THW1KJQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral invariants#7O4F, Arnold conjecture and Hamiltonian Floer homology (statement)
History
- 2026-11-02: add by m2/dev
RN8WBAAFQW RN8WBAAFQW
| URI | m2://inv/RN8WBAAFQW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29759#AV4X (definition)
History
- 2026-11-01: add by m2/v0.6.15
Lisa Mantini RN92Q2XHAN
| URI | m2://inv/RN92Q2XHAN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lisa Mantini, Lisa Mantini (topic). Also Wikidata Q102192390
History
- 2026-11-02: add by m2/dev
Delores Conway RN93BP4APT
| URI | m2://inv/RN93BP4APT |
|---|---|
| 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#W4DC, Delores Conway (unknown)
History
- 2026-11-02: add by m2/dev
Hausdorff RN93Q3BRBF
| URI | m2://inv/RN93Q3BRBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#SIBR, Hausdorff (definition)
History
- 2026-11-02: add by m2/dev
Power laws with RN9C1PSS88
| URI | m2://inv/RN9C1PSS88 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential flow#1JYV, Power laws with (statement)
History
- 2026-11-02: add by m2/dev
RN9HW35A15 RN9HW35A15
| URI | m2://inv/RN9HW35A15 |
|---|---|
| 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 0903.1569#Q96V (statement). In ZM7WZ2A9H2/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
RN9JN0YBBD RN9JN0YBBD
| URI | m2://inv/RN9JN0YBBD |
|---|---|
| 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.03081#RN0I (statement). In TX0H26X4VX/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.12
weight RN9WC953HV
| URI | m2://inv/RN9WC953HV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/12.1/weight, weight (concept). In QKM9DD2H56, index, section 12.1
History
- 2026-11-01: add by m2/v0.6.13
Rick Durrett RN9Y3KKT3A
| URI | m2://inv/RN9Y3KKT3A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#17XI, Rick Durrett (topic)
History
- 2026-11-02: add by m2/dev
Noise: A Flaw in Human Judgment RNA1RP1DFH
| URI | m2://inv/RNA1RP1DFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noise: A Flaw in Human Judgment, Noise: A Flaw in Human Judgment (definition). Also Wikidata Q107108766
History
- 2026-11-02: add by m2/dev
James Moffat RNA4PWZ7HG
| URI | m2://inv/RNA4PWZ7HG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Moffat (mathematician), James Moffat (topic). Also Wikidata Q41787919
History
- 2026-11-02: add by m2/dev
Jean-Paul Benzécri RNA5H9KA4W
| URI | m2://inv/RNA5H9KA4W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Paul Benzécri, Jean-Paul Benzécri (topic). Also Wikidata Q2721731
History
- 2026-11-02: add by m2/dev
RNA5PC1VJ6 RNA5PC1VJ6
| URI | m2://inv/RNA5PC1VJ6 |
|---|---|
| Kind | conjecture |
| 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 2404.05451#PGTA (conjecture). In 5YMFYAFFJ7/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.3.5
Properties RNAERPKVQ0
| URI | m2://inv/RNAERPKVQ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Traveling plane wave#70L7, Properties (statement)
History
- 2026-11-02: add by m2/dev
higher category theory RNAETC8ZCG
| URI | m2://inv/RNAETC8ZCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Higher category theory 3A1NMGJKJ3 |
Mentions
- wikidata: Wikidata Q5758318, higher category theory (topic). Also nLab higher category theory
- wikipedia: Wikipedia Higher category theory, Higher category theory (definition). Also Wikidata Q5758318
History
- 2026-10-26: add by m2/dev
RNAG4N34AV RNAG4N34AV
| URI | m2://inv/RNAG4N34AV |
|---|---|
| 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.21278#5QKY (statement). In DCH1JJGGYH/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.2
Applications RNAGZGDYWP
| URI | m2://inv/RNAGZGDYWP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huber loss#MKWQ, Applications (example)
History
- 2026-11-02: add by m2/dev
RNAPBRQ6K6 RNAPBRQ6K6
| URI | m2://inv/RNAPBRQ6K6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#5PZ6 (statement). In 6KR7Z5ETRY/e1, theorem 3.19
History
- 2026-10-27: add by m2/v0.3.5
RNAVRSJHBN RNAVRSJHBN
| URI | m2://inv/RNAVRSJHBN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-5 (example). In E59CDZA4DP, example, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
RNB6QAES72 RNB6QAES72
| URI | m2://inv/RNB6QAES72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16580#8EMS (statement). In MQPBZX4DR6/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
Reproducible research RNBBY9MG2P
| URI | m2://inv/RNBBY9MG2P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reproducibility#NLU5, Reproducible research (unknown)
History
- 2026-11-02: add by m2/dev
RNBGD5NZDH RNBGD5NZDH
| URI | m2://inv/RNBGD5NZDH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#P1BY (statement). In F3BKXXPR3K/e1, corollary 4.14
History
- 2026-10-27: add by m2/v0.4.2
RNBM5ATGHM RNBM5ATGHM
| URI | m2://inv/RNBM5ATGHM |
|---|---|
| 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.28075#SACH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Malliavin--Stein kernel estimate RNBS72DZY5
| URI | m2://inv/RNBS72DZY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#RBNK, Malliavin--Stein kernel estimate (statement). In HTWSDDAWGS/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.10
contractible, type RNBZ947VWD
| URI | m2://inv/RNBZ947VWD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.11/contractible-type, contractible, type (concept). In N54F33XE07, index, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Developable roller RNC129WQKX
| URI | m2://inv/RNC129WQKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Developable roller, Developable roller (definition). Also Wikidata Q97355309
History
- 2026-11-02: add by m2/dev
music and mathematics RNC1M763TD
| URI | m2://inv/RNC1M763TD |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 00A65 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2237415, music and mathematics (topic)
- wikipedia: Wikipedia Music and mathematics, Music and mathematics (definition). Also Wikidata Q2237415
History
- 2026-10-26: add by m2/dev
RNC5SZC9H7 RNC5SZC9H7
| URI | m2://inv/RNC5SZC9H7 |
|---|---|
| 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.35180#SKVT (statement). In ZA34B1CR9M/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Carvajal and Panthee RNCDWY1Z7F
| URI | m2://inv/RNCDWY1Z7F |
|---|---|
| Kind | problem |
| 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.03288#V4UM, Carvajal and Panthee (problem). In ZHP1MFSACN/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.12
Hodge–Tate module RNCMQGC5AY
| URI | m2://inv/RNCMQGC5AY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodge–Tate module, Hodge–Tate module (definition). Also Wikidata Q5876144
History
- 2026-11-02: add by m2/dev
Pentagonal bifrustum RNCPC3P49E
| URI | m2://inv/RNCPC3P49E |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal bifrustum, Pentagonal bifrustum (object). Also Wikidata Q7164981
History
- 2026-11-02: add by m2/dev
Schulz–Zimm distribution RNCQ6YYFHJ
| URI | m2://inv/RNCQ6YYFHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schulz–Zimm distribution, Schulz–Zimm distribution (definition). Also Wikidata Q116947428
History
- 2026-11-02: add by m2/dev
RNCX55NQ3E RNCX55NQ3E
| URI | m2://inv/RNCX55NQ3E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#corollary-1 (statement). In RZP28ERRZV, corollary, section 21.5
History
- 2026-11-01: add by m2/v0.6.13
RNCYDJ24GF RNCYDJ24GF
| URI | m2://inv/RNCYDJ24GF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#1UU3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Related conjectures RND9Z4NQ3C
| URI | m2://inv/RND9Z4NQ3C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comon's conjecture#WH4H, Related conjectures (statement)
History
- 2026-11-02: add by m2/dev
effect algebra RNDAVJCAQW
| URI | m2://inv/RNDAVJCAQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25101846, effect algebra (unknown). Also nLab effect algebra
- wikipedia: Wikipedia Effect algebra, Effect algebra (definition). Also Wikidata Q25101846
History
- 2026-10-26: add by m2/dev
RNDME2KDGS RNDME2KDGS
| URI | m2://inv/RNDME2KDGS |
|---|---|
| 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.21461#MSI1 (statement). In DWQANBV7B7/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
RNDPBD3SK1 RNDPBD3SK1
| URI | m2://inv/RNDPBD3SK1 |
|---|---|
| Kind | definition |
| 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.37026#FRCY (definition). In QGZPH9W8GY/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
RNDPQFYF00 RNDPQFYF00
| URI | m2://inv/RNDPQFYF00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16362#WPTJ (statement). In 4NJ4T3DEQB/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
RNDRWF8DF5 RNDRWF8DF5
| URI | m2://inv/RNDRWF8DF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17897#432Z (statement). In G116A4SMS4/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
RNE0W4M45A RNE0W4M45A
| URI | m2://inv/RNE0W4M45A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-68 (exercise). In E9HS8K3A52, exercise, section 5.6.2
History
- 2026-11-01: add by m2/v0.6.13
RNE375MN18 RNE375MN18
| URI | m2://inv/RNE375MN18 |
|---|---|
| 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.28501#YFMS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties RNE3E70PNQ
| URI | m2://inv/RNE3E70PNQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyrobifastigium#4EER, Properties (statement)
History
- 2026-11-02: add by m2/dev
surreal numbers RNEDPTBAH7
| URI | m2://inv/RNEDPTBAH7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/surreal-numbers, surreal numbers (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
RNETV5RHKZ RNETV5RHKZ
| URI | m2://inv/RNETV5RHKZ |
|---|---|
| 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.10029#RB9D (statement). In K7EAM152B0/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
RNEV9VQJ69 RNEV9VQJ69
| URI | m2://inv/RNEV9VQJ69 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21508#OUFF (definition)
History
- 2026-11-02: add by m2/v0.6.18
RNEZDAXMYF RNEZDAXMYF
| URI | m2://inv/RNEZDAXMYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21005#NWT7 (statement). In E63NRC7MBE/e1, lemma 2.23
History
- 2026-10-27: add by m2/v0.4.2
RNF24T6CX5 RNF24T6CX5
| URI | m2://inv/RNF24T6CX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#KI6Z (statement). In N5ZM8MXJXH/e1, fact 5.2
History
- 2026-10-29: add by m2/v0.4.10
Retracts of stacks are stacks RNF96Q8WTF
| URI | m2://inv/RNF96Q8WTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#8JN1, Retracts of stacks are stacks (statement). In G3D1YR20BJ/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
RNFDBFFXGE RNFDBFFXGE
| URI | m2://inv/RNFDBFFXGE |
|---|---|
| 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.20028#WKO5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Extended Polymatroid RNFQ14DSSS
| URI | m2://inv/RNFQ14DSSS |
|---|---|
| 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.33946#IXI4, Extended Polymatroid (definition). In T61D8EZH24/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
RNFRGR61GX RNFRGR61GX
| URI | m2://inv/RNFRGR61GX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.09796#45W9 (statement). In NAA7WFQN20/e1, theorem 6.6
History
- 2026-10-27: add by m2/v0.3.5
Viviane Baladi RNG4A8BSCJ
| URI | m2://inv/RNG4A8BSCJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viviane Baladi, Viviane Baladi (topic). Also Wikidata Q21173871
History
- 2026-11-02: add by m2/dev
RNG8GCX92W RNG8GCX92W
| URI | m2://inv/RNG8GCX92W |
|---|---|
| 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#J5IX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Genus (mathematics) RNGAYZTKDH
| URI | m2://inv/RNGAYZTKDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#46NL, Genus (mathematics) (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#NWNF, Genus (mathematics) (definition)
- wikipedia: Wikipedia List of curves topics#6DSS, Genus (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Icositrigon RNGF9SJ7JE
| URI | m2://inv/RNGF9SJ7JE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#XV22, Icositrigon (definition)
History
- 2026-11-02: add by m2/dev
k-invariant RNGFERS3F2
| URI | m2://inv/RNGFERS3F2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#Q68A, k-invariant (definition)
History
- 2026-11-02: add by m2/dev
William A. Fowler RNGGGWQRPR
| URI | m2://inv/RNGGGWQRPR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#VOXH, William A. Fowler (unknown)
History
- 2026-11-02: add by m2/dev
Statement RNGNV557KG
| URI | m2://inv/RNGNV557KG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singmaster's conjecture#12SO, Statement (statement)
History
- 2026-11-02: add by m2/dev
Madeline Early RNGNVZ7P18
| URI | m2://inv/RNGNVZ7P18 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Madeline Early, Madeline Early (topic). Also Wikidata Q90911704
History
- 2026-11-02: add by m2/dev
RNGQD29KTC RNGQD29KTC
| URI | m2://inv/RNGQD29KTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-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.03305#NQ3H (statement). In WAJ5AZHF62/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.12
Nondegenerate regular point RNGTX7H1XY
| URI | m2://inv/RNGTX7H1XY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15180#KMH3, Nondegenerate regular point (definition). In AMRWRJDNKJ/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Cable theory RNGX1X01E0
| URI | m2://inv/RNGX1X01E0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cable theory, Cable theory (definition). Also Wikidata Q1327423
History
- 2026-11-02: add by m2/dev
Correlation inequality RNH3VRDZQX
| URI | m2://inv/RNH3VRDZQX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#CPIH, Correlation inequality (statement)
History
- 2026-11-02: add by m2/v0.6.17
Shunting-yard algorithm RNH44BA3DF
| URI | m2://inv/RNH44BA3DF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#XUMM, Shunting-yard algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Éric Vasserot RNH66VDP3M
| URI | m2://inv/RNH66VDP3M |
|---|---|
| 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#LD8F, Éric Vasserot (unknown)
History
- 2026-11-02: add by m2/dev
RNH6CWZWNQ RNH6CWZWNQ
| URI | m2://inv/RNH6CWZWNQ |
|---|---|
| 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.35180#PJZY (statement). In ZA34B1CR9M/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
RNH6VVCJ85 RNH6VVCJ85
| URI | m2://inv/RNH6VVCJ85 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16853#4WRW (statement). In Y43AAKZ7E6/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.2
Estimate on the Busemann sum RNH7PQ9CXK
| URI | m2://inv/RNH7PQ9CXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#QYGQ, Estimate on the Busemann sum (statement). In VCHH2AC34R/e1, proposition 3.14
History
- 2026-10-29: add by m2/v0.4.10
RNHG3F7E0P RNHG3F7E0P
| URI | m2://inv/RNHG3F7E0P |
|---|---|
| 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.00076#OYAF (statement). In 2VQ90WEZKB/e1, proposition 8.3
History
- 2026-10-30: add by m2/v0.4.12
RNHPBNKFRF RNHPBNKFRF
| URI | m2://inv/RNHPBNKFRF |
|---|---|
| Kind | example |
| 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 2108.10246#PZDT (example). In XD0YT3XCW2/e1, example 3.15
History
- 2026-10-27: add by m2/v0.3.5
Key escrow RNHREV519B
| URI | m2://inv/RNHREV519B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key escrow, Key escrow (definition). Also Wikidata Q1367345
History
- 2026-11-02: add by m2/dev
Corollary RNJ9D1CFYD
| URI | m2://inv/RNJ9D1CFYD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kantorovich theorem#YYKR, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Proto-cuneiform RNJA29G1YZ
| URI | m2://inv/RNJA29G1YZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proto-cuneiform, Proto-cuneiform (definition). Also Wikidata Q1650699
History
- 2026-11-02: add by m2/dev
Einstein gravitational constant RNJFH4PF7N
| URI | m2://inv/RNJFH4PF7N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein field equations#LWUD, Einstein gravitational constant (unknown)
History
- 2026-11-02: add by m2/dev
RNJH5799YV RNJH5799YV
| URI | m2://inv/RNJH5799YV |
|---|---|
| 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.16883#WPAJ (statement). In TYS9N30M63/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
RNJMCEMJRF RNJMCEMJRF
| URI | m2://inv/RNJMCEMJRF |
|---|---|
| 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 2006.05158#KQRG (statement). In 4VCW6SZQXK/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Harish-Chandra RNJPSE9K1Q
| URI | m2://inv/RNJPSE9K1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#X9O2, Harish-Chandra (topic)
History
- 2026-11-02: add by m2/dev
RNJWS5N3EQ RNJWS5N3EQ
| URI | m2://inv/RNJWS5N3EQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#E4I4 (statement). In P8KT6JV9N1/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.12
Levi's theorem RNK5QAEFH7
| URI | m2://inv/RNK5QAEFH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4JBF, Levi's theorem (definition)
History
- 2026-11-02: add by m2/dev
Jeans's theorem RNK92TNB78
| URI | m2://inv/RNK92TNB78 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeans's theorem, Jeans's theorem (statement). Also Wikidata Q6172415
History
- 2026-11-02: add by m2/dev
Globalizing auxiliary RNK9X064AB
| URI | m2://inv/RNK9X064AB |
|---|---|
| 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.01812#X28M, Globalizing auxiliary (statement). In FQPVSYXAGC/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
RNKC1XQ15E RNKC1XQ15E
| URI | m2://inv/RNKC1XQ15E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#351Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
universally RNKC3B2933
| URI | m2://inv/RNKC3B2933 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#RN1D, universally (definition)
History
- 2026-11-02: add by m2/dev
Definition RNKG7K98NX
| URI | m2://inv/RNKG7K98NX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PPP (complexity)#PTF5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Grelling paradox RNKMDBST29
| URI | m2://inv/RNKMDBST29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#B448, Grelling paradox (definition)
History
- 2026-11-02: add by m2/dev
RNKXM2D552 RNKXM2D552
| URI | m2://inv/RNKXM2D552 |
|---|---|
| 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.20028#DQZV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tetsuo Asano RNM1BFXJ5M
| URI | m2://inv/RNM1BFXJ5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M40B, Tetsuo Asano (unknown)
History
- 2026-11-02: add by m2/dev
Third law RNM62RJDW4
| URI | m2://inv/RNM62RJDW4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole thermodynamics#RJRM, Third law (statement)
History
- 2026-11-02: add by m2/dev
RNMW3M9AV8 RNMW3M9AV8
| URI | m2://inv/RNMW3M9AV8 |
|---|---|
| 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 2610.03327#T1C5 (statement). In EBNXA84CPM/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.12
Dale W. Jorgenson RNMY69EWCE
| URI | m2://inv/RNMY69EWCE |
|---|---|
| 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#A6UP, Dale W. Jorgenson (unknown)
History
- 2026-11-02: add by m2/dev
Applications RNN2Z6JHWS
| URI | m2://inv/RNN2Z6JHWS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RLC circuit#Y7U6, Applications (example)
History
- 2026-11-02: add by m2/dev
RNNBX480T0 RNNBX480T0
| URI | m2://inv/RNNBX480T0 |
|---|---|
| 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 2610.12330#J4I2 (statement). In XHSKEPT3VD/e1, theorem 6.5
History
- 2026-10-28: add by m2/v0.4.2
Statistics Bureau RNNCHEMSVS
| URI | m2://inv/RNNCHEMSVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics Bureau (Japan), Statistics Bureau (definition). Also Wikidata Q11606829
History
- 2026-11-02: add by m2/dev
RNNNM63C97 RNNNM63C97
| URI | m2://inv/RNNNM63C97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#TCUY (statement). In CY1FE8W1ZW/e1, lemma 0.99
History
- 2026-10-27: add by m2/v0.4.0
Generalized max-flow min-cut theorem RNNTJ33CRA
| URI | m2://inv/RNNTJ33CRA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max-flow min-cut theorem#MS8L, Generalized max-flow min-cut theorem (statement)
History
- 2026-11-02: add by m2/dev
Compactly supported Euclidean marginals RNNW30EV2J
| URI | m2://inv/RNNW30EV2J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10257#HBZX, Compactly supported Euclidean marginals (statement). In BQD9MJHKV8/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.10
Least $p$-divisible values RNP204XVM8
| URI | m2://inv/RNP204XVM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15262#6I62, Least $p$-divisible values (statement). In C44HVXWYRF/e1, corollary 4.8
History
- 2026-10-28: add by m2/v0.4.2
Paul Painlevé RNP2BT72ZC
| URI | m2://inv/RNP2BT72ZC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#0M1J, Paul Painlevé (topic)
History
- 2026-11-02: add by m2/dev
SPSS Clementine RNP444XC86
| URI | m2://inv/RNP444XC86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ED56, SPSS Clementine (definition)
History
- 2026-11-02: add by m2/dev
GCD Reduction RNP8W71QM3
| URI | m2://inv/RNP8W71QM3 |
|---|---|
| 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.02495#KL91, GCD Reduction (statement). In T4S7XVAJJC/e1, theorem 13.3
History
- 2026-10-29: add by m2/v0.4.12
RNPC3G9SGZ RNPC3G9SGZ
| URI | m2://inv/RNPC3G9SGZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-30 (exercise). In E9HS8K3A52, exercise, section 8.4.1
History
- 2026-11-01: add by m2/v0.6.13
Thick set RNPGNBDFPH
| URI | m2://inv/RNPGNBDFPH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#3WPU, Thick set (unknown)
History
- 2026-11-02: add by m2/dev
Symmetry RNPVXBGT49
| URI | m2://inv/RNPVXBGT49 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub order-6 square tiling#6VIU, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
An unknown-parameter guarantee RNPW90E6ZY
| URI | m2://inv/RNPW90E6ZY |
|---|---|
| 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.40077#UH4C, An unknown-parameter guarantee (statement). In F0HMNYB8WB/e1, theorem 6.3
History
- 2026-10-30: add by m2/v0.4.12
Series acceleration RNPW9ZVQM9
| URI | m2://inv/RNPW9ZVQM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#AAGS, Series acceleration (definition)
History
- 2026-11-02: add by m2/dev
List of mathematics books RNQ2N2QYFH
| URI | m2://inv/RNQ2N2QYFH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books, List of mathematics books (topic). Also Wikidata Q138544742
History
- 2026-11-02: add by m2/dev
Urszula Alicja Foryś RNQB2T6X3K
| URI | m2://inv/RNQB2T6X3K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urszula Alicja Foryś, Urszula Alicja Foryś (topic). Also Wikidata Q103037764
History
- 2026-11-02: add by m2/dev
RNQCP2BK4Z RNQCP2BK4Z
| URI | m2://inv/RNQCP2BK4Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.24307#2262 (statement)
History
- 2026-11-01: add by m2/v0.6.15
∼ RNQNH7GRKC
| URI | m2://inv/RNQNH7GRKC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tilde#EYBK, ∼ (unknown)
History
- 2026-11-02: add by m2/dev
Mathematical sciences RNQQ2QE27D
| URI | m2://inv/RNQQ2QE27D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#ACGX, Mathematical sciences (definition)
History
- 2026-11-02: add by m2/dev
AKS primality test RNQT5YPEVQ
| URI | m2://inv/RNQT5YPEVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | AKS primality test XMHQCDWZW1 |
Mentions
- wikidata: Wikidata Q294284, AKS primality test (unknown). Also MathWorld AKSPrimalityTest
- wikipedia: Wikipedia AKS primality test, AKS primality test (definition). Also Wikidata Q294284
History
- 2026-10-26: add by m2/dev
Perfect cuboid RNQWCVN552
| URI | m2://inv/RNQWCVN552 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#3CZI, Perfect cuboid (conjecture)
History
- 2026-11-02: add by m2/dev
Moreau Envelope Preserves Weak Quasar-Convexity RNQYNAYQ4W
| URI | m2://inv/RNQYNAYQ4W |
|---|---|
| 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.10927#FM3L, Moreau Envelope Preserves Weak Quasar-Convexity (statement). In DHEJP3YATV/e1, theorem 17
History
- 2026-10-28: add by m2/v0.4.3
PERT distribution RNQZYE7Z76
| URI | m2://inv/RNQZYE7Z76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PERT distribution, PERT distribution (definition). Also Wikidata Q39055254
History
- 2026-11-02: add by m2/dev
Spin-changing operators of mathematical physics RNR12P5X9N
| URI | m2://inv/RNR12P5X9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13892#YEEL, Spin-changing operators of mathematical physics (statement). In HV9KKEBBDD/e1, proposition VI.8
History
- 2026-10-28: add by m2/v0.4.2
RNR3JTYZTP RNR3JTYZTP
| URI | m2://inv/RNR3JTYZTP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.11800#RMRW (statement). In 8TSZ2E32K3/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.3
Algebraic closure RNR4KNXVQ4
| URI | m2://inv/RNR4KNXVQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic closure (convex analysis), Algebraic closure (definition). Also Wikidata Q131578575
History
- 2026-11-02: add by m2/dev
Isodrosotherm RNR79WTX9G
| URI | m2://inv/RNR79WTX9G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contour line#5O5Y, Isodrosotherm (unknown)
History
- 2026-11-02: add by m2/dev
Resolving the paradox RNRBXR05Z7
| URI | m2://inv/RNRBXR05Z7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parrondo's paradox#F71M, Resolving the paradox (statement)
History
- 2026-11-02: add by m2/dev
RNRCX3T3RP RNRCX3T3RP
| URI | m2://inv/RNRCX3T3RP |
|---|---|
| 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 2501.17009#ZOFD (statement). In PESAKD6SSW/e1, theorem 5.20
History
- 2026-10-27: add by m2/v0.3.6
Definition RNRH8VXNQE
| URI | m2://inv/RNRH8VXNQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional variance#BRFE, Definition (definition)
History
- 2026-11-02: add by m2/dev
RNRKNJG0S5 RNRKNJG0S5
| URI | m2://inv/RNRKNJG0S5 |
|---|---|
| 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.28489#CYWP (statement)
History
- 2026-11-01: add by m2/v0.6.15
The distribution axiom RNRNX8VNH2
| URI | m2://inv/RNRNX8VNH2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epistemic modal logic#62EG, The distribution axiom (statement)
History
- 2026-11-02: add by m2/dev
RNRQ8AY83D RNRQ8AY83D
| URI | m2://inv/RNRQ8AY83D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#Y6C6 (statement). In E7W2HDNEKJ/e1, theorem 6.28
History
- 2026-10-30: add by m2/v0.4.12
Variations RNRQ9S09RD
| URI | m2://inv/RNRQ9S09RD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal arithmetic#H3SK, Variations (statement)
History
- 2026-11-02: add by m2/dev
RNRR9CNV53 RNRR9CNV53
| URI | m2://inv/RNRR9CNV53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:nconn-to-ntype-const (statement). In N54F33XE07, cor, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
RNRXSKHZBE RNRXSKHZBE
| URI | m2://inv/RNRXSKHZBE |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon capacity of a graph#K7GV (problem)
History
- 2026-11-02: add by m2/dev
RNS84CT8AT RNS84CT8AT
| URI | m2://inv/RNS84CT8AT |
|---|---|
| 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 2610.20956#VRIY (statement). In X9WFC1D9ZS/e1, proposition 49
History
- 2026-10-27: add by m2/v0.4.2
Theorem RNSDT81QDA
| URI | m2://inv/RNSDT81QDA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical semigroup#0JUA, Theorem (statement)
History
- 2026-11-02: add by m2/dev
RNSFBXKR22 RNSFBXKR22
| URI | m2://inv/RNSFBXKR22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08211#Q4O6 (statement). In 1QRK9HXJWT/e1, theorem 2.8
History
- 2026-10-29: add by m2/v0.4.10
RNSFKY3B2Y RNSFKY3B2Y
| URI | m2://inv/RNSFKY3B2Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#4KFG (definition). In G1RP4JY5PE/e1, definition 2.3.1
History
- 2026-10-31: add by m2/v0.5.6
RNSPN1A8J4 RNSPN1A8J4
| URI | m2://inv/RNSPN1A8J4 |
|---|---|
| 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.14616#XJ9T (statement). In 17ACAG0N9C/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
RNSTQCP3PN RNSTQCP3PN
| URI | m2://inv/RNSTQCP3PN |
|---|---|
| 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#NS2S (statement). In MVSGDTN2PB/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.10
RNSV25S7NY RNSV25S7NY
| URI | m2://inv/RNSV25S7NY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-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 2505.05539#7X0D (statement). In 8SVVEVGMNE/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
RNSZJ0M01R RNSZJ0M01R
| URI | m2://inv/RNSZJ0M01R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18618#7JC2 (statement). In C8VC86B6H8/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Leading complexity at the small-gap scale RNT24VNP1X
| URI | m2://inv/RNT24VNP1X |
|---|---|
| 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.03633#7IPE, Leading complexity at the small-gap scale (statement). In X3E4D61X4V/e1, corollary C.6
History
- 2026-10-29: add by m2/v0.4.12
Rayleigh's Formula RNT7W7BXDH
| URI | m2://inv/RNT7W7BXDH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel function#DLO4, Rayleigh's Formula (unknown)
History
- 2026-11-02: add by m2/dev
Two-proportion Z-test RNT8K3MAMQ
| URI | m2://inv/RNT8K3MAMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-proportion Z-test, Two-proportion Z-test (definition). Also Wikidata Q131544290
History
- 2026-11-02: add by m2/dev
Properties RNTBNW5MNA
| URI | m2://inv/RNTBNW5MNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-algebraically closed field#4H26, Properties (statement)
History
- 2026-11-02: add by m2/dev
RNTGW503N9 RNTGW503N9
| URI | m2://inv/RNTGW503N9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05850#6V5U (statement). In D424GB5MAW/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
RNTHZY8BW3 RNTHZY8BW3
| URI | m2://inv/RNTHZY8BW3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#AF7L (statement). In JS5FKV1S9T/e1, theorem E.1
History
- 2026-10-27: add by m2/v0.3.5
Blattner's conjecture RNTNMW3N72
| URI | m2://inv/RNTNMW3N72 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blattner's conjecture, Blattner's conjecture (statement). Also Wikidata Q4925528
History
- 2026-11-02: add by m2/dev
semimagic square RNTZ5DK610
| URI | m2://inv/RNTZ5DK610 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78155703, semimagic square (unknown). Also MathWorld SemimagicSquare
History
- 2026-10-26: add by m2/dev
Ziggurat algorithm RNV1NCN3MM
| URI | m2://inv/RNV1NCN3MM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#83IM, Ziggurat algorithm (definition)
History
- 2026-11-02: add by m2/dev
first assertion RNV2KG9ZQA
| URI | m2://inv/RNV2KG9ZQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#PPKZ, first assertion (statement). In GHKR740SG3/e1, corollary 3.14
History
- 2026-10-31: add by m2/v0.5.6
RNV37Z5SBT RNV37Z5SBT
| URI | m2://inv/RNV37Z5SBT |
|---|---|
| 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.10581#MGQB (statement). In 6V42A71SPC/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
RNV54QP8WH RNV54QP8WH
| URI | m2://inv/RNV54QP8WH |
|---|---|
| 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 2412.14956#X5V7 (statement). In T8BQ6HHZYT/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Iatromathematicians RNVDE6K235
| URI | m2://inv/RNVDE6K235 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iatromathematicians, Iatromathematicians (definition). Also Wikidata Q4539609
History
- 2026-11-02: add by m2/dev
Tarski monster group RNVEREMSP7
| URI | m2://inv/RNVEREMSP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski monster group, Tarski monster group (definition). Also Wikidata Q7686763
History
- 2026-11-02: add by m2/dev
Robust affinity test RNVJNK92GY
| URI | m2://inv/RNVJNK92GY |
|---|---|
| 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.21363#XC2A, Robust affinity test (statement). In YPH7NS5AAQ/e1, lemma B.4
History
- 2026-10-27: add by m2/v0.4.2
Dym equation RNVMHE3SNM
| URI | m2://inv/RNVMHE3SNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5318827, Dym equation (unknown). Also EoM Harry_Dym_equation, MathWorld HarryDymEquation
- wikipedia: Wikipedia Dym equation, Dym equation (definition). Also Wikidata Q5318827
History
- 2026-10-26: add by m2/dev
Properties RNW1ZX7ZJJ
| URI | m2://inv/RNW1ZX7ZJJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy#6Y26, Properties (statement)
History
- 2026-11-02: add by m2/dev
Abraham Zacuto RNW2X2KDWN
| URI | m2://inv/RNW2X2KDWN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#0X8E, Abraham Zacuto (unknown)
History
- 2026-11-02: add by m2/dev
bounded quantifier RNW3R2S6SZ
| URI | m2://inv/RNW3R2S6SZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#RF6R, bounded quantifier (definition)
History
- 2026-11-02: add by m2/dev
RNW4VY72Q9 RNW4VY72Q9
| URI | m2://inv/RNW4VY72Q9 |
|---|---|
| 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.28365#L2EC (statement)
History
- 2026-11-01: add by m2/v0.6.15
RNWB21ZWFR RNWB21ZWFR
| URI | m2://inv/RNWB21ZWFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#688C (statement)
History
- 2026-11-01: add by m2/v0.6.15
RNWFW3XNBG RNWFW3XNBG
| URI | m2://inv/RNWFW3XNBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.06433#XC3X (statement). In 628PJKD3EV/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.3.5
Ruth Barcan Marcus RNWHWWPT4C
| URI | m2://inv/RNWHWWPT4C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#FEKE, Ruth Barcan Marcus (topic)
History
- 2026-11-02: add by m2/dev
Port-Royal Logic RNWJSM3HQ2
| URI | m2://inv/RNWJSM3HQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Port-Royal Logic, Port-Royal Logic (definition). Also Wikidata Q1264592
History
- 2026-11-02: add by m2/dev
RNWSG2W2DG RNWSG2W2DG
| URI | m2://inv/RNWSG2W2DG |
|---|---|
| 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.33231#LRQF (statement). In WPDRT63QNW/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
RNWYG8VSBM RNWYG8VSBM
| URI | m2://inv/RNWYG8VSBM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 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.28552#4B9A (definition)
History
- 2026-11-01: add by m2/v0.6.15
Wilkie investment model RNX16V783V
| URI | m2://inv/RNX16V783V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilkie investment model, Wilkie investment model (definition). Also Wikidata Q8002498
History
- 2026-11-02: add by m2/dev
RNX3RWB0DZ RNX3RWB0DZ
| URI | m2://inv/RNX3RWB0DZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#RV5R (statement). In P8KT6JV9N1/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.12
Solar symbol RNX502DF2B
| URI | m2://inv/RNX502DF2B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of circle topics#0I6P, Solar symbol (unknown)
History
- 2026-11-02: add by m2/dev
RNX723PCS5 RNX723PCS5
| URI | m2://inv/RNX723PCS5 |
|---|---|
| Kind | example |
| 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.16875#PY0F (example). In KS30K5JXGB/e1, example 5.5
History
- 2026-10-28: add by m2/v0.4.2
RNXPPP80XV RNXPPP80XV
| URI | m2://inv/RNXPPP80XV |
|---|---|
| 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.23004#25TJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Zero-variation noise-dominated branch, informal RNXR6P3NBM
| URI | m2://inv/RNXR6P3NBM |
|---|---|
| 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.03633#FMY5, Zero-variation noise-dominated branch, informal (statement). In X3E4D61X4V/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.12
RNXR6ZM3TV RNXR6ZM3TV
| URI | m2://inv/RNXR6ZM3TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20416#7UYM (statement). In P603M3M91A/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.2
Modal substitution theorem RNXYF4WQM6
| URI | m2://inv/RNXYF4WQM6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural deduction#3SS5, Modal substitution theorem (statement)
History
- 2026-11-02: add by m2/dev
Ernest Kurnow RNXYWS69HQ
| URI | m2://inv/RNXYWS69HQ |
|---|---|
| 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#VK4O, Ernest Kurnow (unknown)
History
- 2026-11-02: add by m2/dev
Counting measure RNY0GYVM4B
| URI | m2://inv/RNY0GYVM4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#N0I6, Counting measure (definition)
History
- 2026-11-02: add by m2/dev
RNY1AQZJE4 RNY1AQZJE4
| URI | m2://inv/RNY1AQZJE4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35678#O2T9 (example). In 4X4ZS7CEKD/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
Formal definition RNYAJP5NA5
| URI | m2://inv/RNYAJP5NA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plurisubharmonic function#H8BO, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
RNYEA9FASQ RNYEA9FASQ
| URI | m2://inv/RNYEA9FASQ |
|---|---|
| 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 2507.13548#GV1F (statement). In 4NVVK50D1P/e1, fact 2.3
History
- 2026-10-27: add by m2/v0.3.5
RNYFXPGEDM RNYFXPGEDM
| URI | m2://inv/RNYFXPGEDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#ZRFO (statement). In 1MPH7GCFJ2/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
Ciprian Foias RNYJRRKMF9
| URI | m2://inv/RNYJRRKMF9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZGX7, Ciprian Foias (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IET3, Ciprian Foias (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#X30J, Ciprian Foias (topic)
History
- 2026-11-02: add by m2/dev
George Bergman RNYPWTADWT
| URI | m2://inv/RNYPWTADWT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Bergman, George Bergman (topic). Also Wikidata Q16198978
History
- 2026-11-02: add by m2/dev
RNZ498EMAS RNZ498EMAS
| URI | m2://inv/RNZ498EMAS |
|---|---|
| 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.32104#EDNN (statement). In YRJSYFXNM8/e1, corollary 4.4
History
- 2026-10-31: add by m2/v0.5.6
Held group RNZC6FPJR4
| URI | m2://inv/RNZC6FPJR4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3117685, Held group (unknown). Also MathWorld HeldGroup
- wikipedia: Wikipedia Held group, Held group (object). Also Wikidata Q3117685
History
- 2026-10-26: add by m2/dev
RNZFR12MHZ RNZFR12MHZ
| URI | m2://inv/RNZFR12MHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#42TT (statement). In 43TBS9P2PX/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
RNZKXQG9QX RNZKXQG9QX
| URI | m2://inv/RNZKXQG9QX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#1DF0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statement RNZPQAMTNY
| URI | m2://inv/RNZPQAMTNY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong subadditivity of quantum entropy#YY7O, Statement (statement)
History
- 2026-11-02: add by m2/dev
Monotonicity of the excess RNZV98RV6E
| URI | m2://inv/RNZV98RV6E |
|---|---|
| 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.25084#LN2D, Monotonicity of the excess (statement)
History
- 2026-11-01: add by m2/v0.6.15
RNZXTGAK0J RNZXTGAK0J
| URI | m2://inv/RNZXTGAK0J |
|---|---|
| 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.20577#PYU5 (statement). In 3P13XJQSVK/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2