Inventory rows 70
The cards of the rows of the inventory whose ids start with 70. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Filtered algebra 7001CP4KSN
| URI | m2://inv/7001CP4KSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#DHYU, Filtered algebra (definition)
History
- 2026-11-02: add by m2/dev
7002Y0F9PZ 7002Y0F9PZ
| URI | m2://inv/7002Y0F9PZ |
|---|---|
| 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#E53W (statement). In E7W2HDNEKJ/e1, proposition 12.1
History
- 2026-10-30: add by m2/v0.4.12
Multidimensional panel data 7003KFNKFX
| URI | m2://inv/7003KFNKFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multidimensional panel data, Multidimensional panel data (definition). Also Wikidata Q10853832
History
- 2026-11-02: add by m2/dev
Burkhardt quartic 7007KS9V6J
| URI | m2://inv/7007KS9V6J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4999000, Burkhardt quartic (concept). Also MathWorld BurkhardtQuartic
History
- 2026-10-26: add by m2/dev
700FQ0GGJY 700FQ0GGJY
| URI | m2://inv/700FQ0GGJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20725#ZO4L (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mark Sainsbury 700HQM6B07
| URI | m2://inv/700HQM6B07 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark Sainsbury (philosopher), Mark Sainsbury (topic). Also Wikidata Q3481130
History
- 2026-11-02: add by m2/dev
Zolotarev polynomials 700NGD3RP4
| URI | m2://inv/700NGD3RP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zolotarev polynomials, Zolotarev polynomials (definition). Also Wikidata Q104845847
History
- 2026-11-02: add by m2/dev
Stabbing line problem 700YETPHBA
| URI | m2://inv/700YETPHBA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#8SU3, Stabbing line problem (unknown)
History
- 2026-11-02: add by m2/dev
7017QA46RH 7017QA46RH
| URI | m2://inv/7017QA46RH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#QVLI (definition). In 160PQ7F1AS/e1, definition 4.13
History
- 2026-10-29: add by m2/v0.4.12
701AFY8NSJ 701AFY8NSJ
| URI | m2://inv/701AFY8NSJ |
|---|---|
| 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.26600#HVL1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
701APXG2MG 701APXG2MG
| URI | m2://inv/701APXG2MG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#ADBO (example)
History
- 2026-11-02: add by m2/v0.6.18
701BNNMD9X 701BNNMD9X
| URI | m2://inv/701BNNMD9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#definition-4 (definition). In RZP28ERRZV, definition, section 22.6
History
- 2026-11-01: add by m2/v0.6.13
701ETDKE6Z 701ETDKE6Z
| URI | m2://inv/701ETDKE6Z |
|---|---|
| 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.13850#QW97 (statement). In KJY735KSMF/e1, proposition 8.5
History
- 2026-10-28: add by m2/v0.4.2
Hopf link 701HW6Q0SY
| URI | m2://inv/701HW6Q0SY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#2SJU, Hopf link (definition)
History
- 2026-11-02: add by m2/dev
701KG2SDR9 701KG2SDR9
| URI | m2://inv/701KG2SDR9 |
|---|---|
| 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.18270#96SO (statement). In CPDMYJ0NJV/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
out-degree 701VVYP9NZ
| URI | m2://inv/701VVYP9NZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#81JW, out-degree (definition)
History
- 2026-11-02: add by m2/dev
701WC7A21X 701WC7A21X
| URI | m2://inv/701WC7A21X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19449#HFV7 (statement). In 8ZKPJ3CBDF/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
Siegfried Becher 701WKC0E2F
| URI | m2://inv/701WKC0E2F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegfried Becher, Siegfried Becher (topic). Also Wikidata Q2283233
History
- 2026-11-02: add by m2/dev
Terminology 7021RRBDNP
| URI | m2://inv/7021RRBDNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flux#OEHM, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Special cases 7026SEPPH1
| URI | m2://inv/7026SEPPH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl equation#V6A0, Special cases (statement)
History
- 2026-11-02: add by m2/dev
702A01BZVQ 702A01BZVQ
| URI | m2://inv/702A01BZVQ |
|---|---|
| Kind | example |
| 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.10546#7PFC (example). In K5R5RRPMQ5/e1, example 4.1
History
- 2026-10-29: add by m2/v0.4.10
Properties 702C4VZRWF
| URI | m2://inv/702C4VZRWF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential map (Riemannian geometry)#32S8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Characterization 702HXNJQTW
| URI | m2://inv/702HXNJQTW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visibility graph#BG7Y, Characterization (statement)
History
- 2026-11-02: add by m2/dev
702Q9FHTZT 702Q9FHTZT
| URI | m2://inv/702Q9FHTZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.14455#8DLQ (statement). In VDE5R8HBS1/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
702RDW1F1D 702RDW1F1D
| URI | m2://inv/702RDW1F1D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.0068#TMJ8 (definition). In MBKYGM01FK/e1, definition 1.13
History
- 2026-10-27: add by m2/v0.3.5
702STSBGZ2 702STSBGZ2
| URI | m2://inv/702STSBGZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.18242#YZO6 (statement). In VVC2FHQZZR/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Statement 702WZ8VZ3F
| URI | m2://inv/702WZ8VZ3F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krasner's lemma#GT2C, Statement (statement)
History
- 2026-11-02: add by m2/dev
explicit bases 70320FVZJ0
| URI | m2://inv/70320FVZJ0 |
|---|---|
| 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.22667#OFZI, explicit bases (statement)
History
- 2026-11-02: add by m2/v0.6.17
The Quarterly Journal of Pure and Applied Mathematics 7033DC5EXG
| URI | m2://inv/7033DC5EXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7758901, The Quarterly Journal of Pure and Applied Mathematics (unknown). Also ProofWiki Book:Journal/The_Quarterly_Journal_of_Pure_and_Applied_Mathematics
History
- 2026-10-26: add by m2/dev
Yacine Aït-Sahalia 7033PTS00F
| URI | m2://inv/7033PTS00F |
|---|---|
| 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#V24K, Yacine Aït-Sahalia (unknown)
History
- 2026-11-02: add by m2/dev
70362JV1V1 70362JV1V1
| URI | m2://inv/70362JV1V1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#SGZ6 (definition). In G02N9D40B9/e1, definition 1.4.2
History
- 2026-10-29: add by m2/v0.4.10
Weisner's Lemma 70363HESKK
| URI | m2://inv/70363HESKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#S8QM, Weisner's Lemma (statement). In 7V3HG30ZGW/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.0
7037D32GHH 7037D32GHH
| URI | m2://inv/7037D32GHH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#CYQ6 (definition). In 9DQKY7KGE8/e1, definition 6.38
History
- 2026-10-27: add by m2/v0.3.5
Definitions 703C6DMY1Y
| URI | m2://inv/703C6DMY1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set-theoretic limit#1EO7, Definitions (definition)
History
- 2026-11-02: add by m2/dev
KY-3 703F2XQ0HA
| URI | m2://inv/703F2XQ0HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KY-3, KY-3 (definition). Also Wikidata Q6341716
History
- 2026-11-02: add by m2/dev
Stability of the probability integral transform 703K3RCET0
| URI | m2://inv/703K3RCET0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08766#6JF9, Stability of the probability integral transform (statement). In QA4JM9SHPA/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
7040P6FGNY 7040P6FGNY
| URI | m2://inv/7040P6FGNY |
|---|---|
| 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 2609.27360#Q4DI (statement)
History
- 2026-11-01: add by m2/v0.6.15
70445C6FA1 70445C6FA1
| URI | m2://inv/70445C6FA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25897#AXG9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
7044Q35KXW 7044Q35KXW
| URI | m2://inv/7044Q35KXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04382#UHJZ (statement). In 7VW8XD28G1/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
*{Definition 5.9 7046QEBX4C
| URI | m2://inv/7046QEBX4C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#YVU4, *{Definition 5.9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition 7047XQ9K8W
| URI | m2://inv/7047XQ9K8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inversive congruential generator#7MRJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ramsey test 70480GRDVX
| URI | m2://inv/70480GRDVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramsey test, Ramsey test (definition). Also Wikidata Q137798479
History
- 2026-11-02: add by m2/dev
7049822JGR 7049822JGR
| URI | m2://inv/7049822JGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23339#JVWA (statement)
History
- 2026-11-02: add by m2/v0.6.17
70499EBFS9 70499EBFS9
| URI | m2://inv/70499EBFS9 |
|---|---|
| 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.23975#LQE7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
bundle map 704BBQ2X73
| URI | m2://inv/704BBQ2X73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4997547, bundle map (unknown). Also MathWorld BundleMap
- wikipedia: Wikipedia Bundle map, Bundle map (definition). Also Wikidata Q4997547
History
- 2026-10-26: add by m2/dev
Jo Hardin 704C1T1599
| URI | m2://inv/704C1T1599 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jo Hardin, Jo Hardin (topic). Also Wikidata Q43839134
History
- 2026-11-02: add by m2/dev
a special case 704GVHKEE1
| URI | m2://inv/704GVHKEE1 |
|---|---|
| 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.17875#3948, a special case (statement). In AQX7DGD360/e1, lemma 5.9
History
- 2026-10-28: add by m2/v0.4.2
704MMTMAD6 704MMTMAD6
| URI | m2://inv/704MMTMAD6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#SB1Z (definition). In ZA6XNBA90V/e1, definition 1.13
History
- 2026-10-27: add by m2/v0.3.5
Implicit function theorem 704NMK1KVD
| URI | m2://inv/704NMK1KVD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit function#JDDD, Implicit function theorem (statement)
History
- 2026-11-02: add by m2/dev
Statements of belief or opinion 704SARJHRY
| URI | m2://inv/704SARJHRY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple non-inferential passage#ERUM, Statements of belief or opinion (unknown)
History
- 2026-11-02: add by m2/dev
704VC996CY 704VC996CY
| URI | m2://inv/704VC996CY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.07061#BWF7 (example). In G2PA4KAGRP/e1, example 2.22
History
- 2026-10-27: add by m2/v0.3.6
704W962J2W 704W962J2W
| URI | m2://inv/704W962J2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12810#6XZN (statement). In DR35633CPN/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Sturm's theorem 7052Z9DTFC
| URI | m2://inv/7052Z9DTFC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#CPTY, Sturm's theorem (statement)
History
- 2026-11-02: add by m2/dev
Main Verification Lemma 7054DCSWVR
| URI | m2://inv/7054DCSWVR |
|---|---|
| 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.21047#DNP5, Main Verification Lemma (statement)
History
- 2026-11-02: add by m2/v0.6.18
70564BGT68 70564BGT68
| URI | m2://inv/70564BGT68 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#SF6V (definition). In JY50YXMH5N/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
Truth-conditional semantics 705DXW87M4
| URI | m2://inv/705DXW87M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth-conditional semantics, Truth-conditional semantics (definition). Also Wikidata Q7848251
History
- 2026-11-02: add by m2/dev
705GYAJNB1 705GYAJNB1
| URI | m2://inv/705GYAJNB1 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
705K68CTXM 705K68CTXM
| URI | m2://inv/705K68CTXM |
|---|---|
| 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 2609.20675#ZY3F (statement)
History
- 2026-11-02: add by m2/v0.6.18
705N37EB9D 705N37EB9D
| URI | m2://inv/705N37EB9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#UZDY (statement). In GMRT5GHBZS/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
Subadditivity effect 705YW8ZM5C
| URI | m2://inv/705YW8ZM5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#7VAA, Subadditivity effect (definition)
History
- 2026-11-02: add by m2/dev
Cuspidal upper bound 7062J7T3PK
| URI | m2://inv/7062J7T3PK |
|---|---|
| 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.33027#CK1F, Cuspidal upper bound (statement). In E2AF84709B/e1, proposition 18
History
- 2026-10-31: add by m2/v0.5.6
Green function of the no-flux problem in $\Omega$ 7064XNG1BT
| URI | m2://inv/7064XNG1BT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32585#DIA5, Green function of the no-flux problem in $\Omega$ (statement). In FJFJ3WR1SS/e1, theorem 8.6
History
- 2026-10-31: add by m2/v0.5.6
Examples 7065H2MAQT
| URI | m2://inv/7065H2MAQT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number field#9W6N, Examples (example)
History
- 2026-11-02: add by m2/dev
Cauchy–Schwarz inequality for positive functionals on C*-algebras 706B8J5FC8
| URI | m2://inv/706B8J5FC8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Schwarz inequality#48QD, Cauchy–Schwarz inequality for positive functionals on C*-algebras (statement)
History
- 2026-11-02: add by m2/dev
General definition 706KF9N3GX
| URI | m2://inv/706KF9N3GX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum group#SPL5, General definition (definition)
History
- 2026-11-02: add by m2/dev
Estimation of covariance matrices 706MQ1QW87
| URI | m2://inv/706MQ1QW87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XL7A, Estimation of covariance matrices (definition)
- wikipedia: Wikipedia List of mathematical proofs#7DQM, Estimation of covariance matrices (definition)
History
- 2026-11-02: add by m2/dev
Morisita's overlap index 706NBCKEZV
| URI | m2://inv/706NBCKEZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OZF0, Morisita's overlap index (definition)
History
- 2026-11-02: add by m2/dev
In law 706R2FT2E8
| URI | m2://inv/706R2FT2E8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trilemma#DDP4, In law (statement)
History
- 2026-11-02: add by m2/dev
706ZVF6Q1W 706ZVF6Q1W
| URI | m2://inv/706ZVF6Q1W |
|---|---|
| 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.36714#69UL (statement). In Z2BKQBEMTQ/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
Construction 707QRGV68Z
| URI | m2://inv/707QRGV68Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vicsek fractal#XULR, Construction (definition)
History
- 2026-11-02: add by m2/dev
Raymond Louis Wilder 707RE33122
| URI | m2://inv/707RE33122 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#73SB, Raymond Louis Wilder (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QKKI, Raymond Louis Wilder (topic)
History
- 2026-11-02: add by m2/dev
Importance sampling 707WN47KPB
| URI | m2://inv/707WN47KPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JEO2, Importance sampling (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#IP6X, Importance sampling (definition)
History
- 2026-11-02: add by m2/dev
Oriented KCM 7081Z22JH7
| URI | m2://inv/7081Z22JH7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30585#6YKJ, Oriented KCM (definition). In 15CVBWJDNQ/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
70849VV791 70849VV791
| URI | m2://inv/70849VV791 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#DDYJ (statement). In 8H0KHK7AMN/e1, proposition 3.9
History
- 2026-10-30: add by m2/v0.4.12
Continuum 7084EJE3SY
| URI | m2://inv/7084EJE3SY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuum (measurement), Continuum (definition). Also Wikidata Q3251388
History
- 2026-11-02: add by m2/dev
7087CF85GY 7087CF85GY
| URI | m2://inv/7087CF85GY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#proof-6 (proof). In N54F33XE07, proof, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
mass 70897VD276
| URI | m2://inv/70897VD276 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.3.2/mass, mass (concept). In 907G4C4EJ1, index, section 6.3.2
History
- 2026-11-01: add by m2/v0.6.13
Attribute blocks 708CZTJ195
| URI | m2://inv/708CZTJ195 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Attribute blocks, Attribute blocks (definition). Also Wikidata Q123751977
History
- 2026-11-02: add by m2/dev
Monika Ludwig 708MXVZ7JD
| URI | m2://inv/708MXVZ7JD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monika Ludwig, Monika Ludwig (topic). Also Wikidata Q6900206
History
- 2026-11-02: add by m2/dev
708NXVQNJE 708NXVQNJE
| URI | m2://inv/708NXVQNJE |
|---|---|
| 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.21367#IDXG (statement)
History
- 2026-11-02: add by m2/v0.6.18
universally 708ZGNCD32
| URI | m2://inv/708ZGNCD32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#YV5N, universally (definition)
History
- 2026-11-02: add by m2/dev
element 7092AR8B1N
| URI | m2://inv/7092AR8B1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#33YE, element (definition)
History
- 2026-11-02: add by m2/dev
Yao's minimax principle 7093N5A43F
| URI | m2://inv/7093N5A43F |
|---|---|
| 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#VDT8, Yao's minimax principle (statement)
History
- 2026-11-02: add by m2/v0.6.17
7095QMDC74 7095QMDC74
| URI | m2://inv/7095QMDC74 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39776#FDZX (statement). In Y6GZV15AJC/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
709S1TPF71 709S1TPF71
| URI | m2://inv/709S1TPF71 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#24LC (definition)
History
- 2026-11-01: add by m2/v0.6.15
Adams Prize 709V7VBBC3
| URI | m2://inv/709V7VBBC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adams Prize, Adams Prize (definition). Also Wikidata Q351723
History
- 2026-11-02: add by m2/dev
Jun-Muk Hwang 709XVY8QRP
| URI | m2://inv/709XVY8QRP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KV36, Jun-Muk Hwang (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WQDM, Jun-Muk Hwang (topic)
History
- 2026-11-02: add by m2/dev
Applications 70A6Q5WJJM
| URI | m2://inv/70A6Q5WJJM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius geometry#YZX0, Applications (example)
History
- 2026-11-02: add by m2/dev
Decomposition of time series 70AB2FBDB7
| URI | m2://inv/70AB2FBDB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N80M, Decomposition of time series (definition)
History
- 2026-11-02: add by m2/dev
Definition 70AMW8GWEG
| URI | m2://inv/70AMW8GWEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PLS (complexity)#TNPB, Definition (definition)
History
- 2026-11-02: add by m2/dev
70ARJ0ZXVE 70ARJ0ZXVE
| URI | m2://inv/70ARJ0ZXVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25457#S700 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chain complete 70ASAX12HD
| URI | m2://inv/70ASAX12HD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domain theory#ZD2T, Chain complete (unknown)
History
- 2026-11-02: add by m2/dev
Appeal to loyalty 70AZKNGSDF
| URI | m2://inv/70AZKNGSDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to loyalty, Appeal to loyalty (definition). Also Wikidata Q4780976
History
- 2026-11-02: add by m2/dev
theorem, Feit--Thompson 70AZZJWBAP
| URI | m2://inv/70AZZJWBAP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u5/theorem-feit-thompson, theorem, Feit--Thompson (concept). In N54F33XE07, index, section u1.u5
History
- 2026-11-01: add by m2/v0.6.13
Definitions 70B7QJG7H9
| URI | m2://inv/70B7QJG7H9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaplygin's Theorem and Method for Solving ODE#G734, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Investigation of 2025 Czech government Bitcoin scandal 70BA73EKDR
| URI | m2://inv/70BA73EKDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Investigation of 2025 Czech government Bitcoin scandal, Investigation of 2025 Czech government Bitcoin scandal (definition). Also Wikidata Q137773800
History
- 2026-11-02: add by m2/dev
Retuning does not close the scale gap 70BD74EHCR
| URI | m2://inv/70BD74EHCR |
|---|---|
| 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.15543#VEUT, Retuning does not close the scale gap (statement). In TQSHQZFCS5/e1, proposition F.1
History
- 2026-10-28: add by m2/v0.4.2
Spectral facts 70BG2254JK
| URI | m2://inv/70BG2254JK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#0D5E, Spectral facts (statement). In NKXTXH59P1/e1, lemma E.19
History
- 2026-10-29: add by m2/v0.4.10
Index ellipsoid 70BQ6BM5GZ
| URI | m2://inv/70BQ6BM5GZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index ellipsoid, Index ellipsoid (definition). Also Wikidata Q453471
History
- 2026-11-02: add by m2/dev
homeomorphisms 70BVQD2TBH
| URI | m2://inv/70BVQD2TBH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > homeomorphisms, homeomorphisms (unknown). Also Mathlib Homeomorph
History
- 2026-10-26: add by m2/dev
monomorphism 70C2AMGGSC
| URI | m2://inv/70C2AMGGSC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.2/monomorphism, monomorphism (concept). In N54F33XE07, index, section C.1.2
History
- 2026-11-01: add by m2/v0.6.13
Doubly connected edge list 70C5TFND4H
| URI | m2://inv/70C5TFND4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doubly connected edge list, Doubly connected edge list (definition). Also Wikidata Q1251544
History
- 2026-11-02: add by m2/dev
70C6CKY036 70C6CKY036
| URI | m2://inv/70C6CKY036 |
|---|---|
| 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.20466#TH5B (statement). In M4ZVJWM8YA/e1, lemma 3.20
History
- 2026-10-27: add by m2/v0.4.2
Relative noise estimate 70D1M7D350
| URI | m2://inv/70D1M7D350 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.16069#UHPY, Relative noise estimate (statement). In MBJA03ES8N/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Difference 70D8BKZN67
| URI | m2://inv/70D8BKZN67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#defn-5, Difference (definition). In PKGMM3P5QY, defn, section 83.2
History
- 2026-11-01: add by m2/v0.6.13
Examples 70DBNV8MTE
| URI | m2://inv/70DBNV8MTE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner product space#2TH6, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties 70DPY1MTC9
| URI | m2://inv/70DPY1MTC9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neumann series#GO40, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition 70DR4Z4ZYN
| URI | m2://inv/70DR4Z4ZYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal (model checking)#U8N2, Definition (definition)
History
- 2026-11-02: add by m2/dev
70DV3XAW50 70DV3XAW50
| URI | m2://inv/70DV3XAW50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07530#R3CF (statement). In C7QZ0VPBC8/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
70EBHA8JT7 70EBHA8JT7
| URI | m2://inv/70EBHA8JT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#G5C4 (statement). In 5ZPSZFE08Q/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
70ECNCSHVR 70ECNCSHVR
| URI | m2://inv/70ECNCSHVR |
|---|---|
| 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.35323#HW3K (statement). In 5CKPXBWSCX/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
70EF0Z83NA 70EF0Z83NA
| URI | m2://inv/70EF0Z83NA |
|---|---|
| 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.06340#DW6E (statement). In PKNZPECH82/e1, corollary 10.6
History
- 2026-10-29: add by m2/v0.4.10
70EX2MJM5Y 70EX2MJM5Y
| URI | m2://inv/70EX2MJM5Y |
|---|---|
| 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#P85P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Isomorphism of line bundles 70FCPMV4VN
| URI | m2://inv/70FCPMV4VN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/line-bundles.tex#definition-4, Isomorphism of line bundles (definition). In RZP28ERRZV, definition, section 85.4
History
- 2026-11-01: add by m2/v0.6.13
Pieter Hendrik Schoute 70FM7Q9B6J
| URI | m2://inv/70FM7Q9B6J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pieter Hendrik Schoute, Pieter Hendrik Schoute (topic). Also Wikidata Q441255
History
- 2026-11-02: add by m2/dev
overdot 70FMKZQA9F
| URI | m2://inv/70FMKZQA9F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16798246, overdot (unknown). Also MathWorld Overdot
History
- 2026-10-26: add by m2/dev
Invariant of a binary form 70FNQW51WG
| URI | m2://inv/70FNQW51WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant of a binary form, Invariant of a binary form (definition). Also Wikidata Q17098178
History
- 2026-11-02: add by m2/dev
Uniform conditional gap 70FS00K6GD
| URI | m2://inv/70FS00K6GD |
|---|---|
| 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.03683#3BF3, Uniform conditional gap (statement). In 14AMXF6X2V/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Angle of parallelism 70FWBNA0FV
| URI | m2://inv/70FWBNA0FV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#0WFT, Angle of parallelism (definition)
History
- 2026-11-02: add by m2/dev
70GCJKFDVB 70GCJKFDVB
| URI | m2://inv/70GCJKFDVB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07530#RPQG (definition). In C7QZ0VPBC8/e1, definition 2.10
History
- 2026-10-29: add by m2/v0.4.10
8900 70GKEGGHF2
| URI | m2://inv/70GKEGGHF2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 8000 (number)#Q47X, 8900 (unknown)
History
- 2026-11-02: add by m2/dev
Porphyry 70GXDY9CAA
| URI | m2://inv/70GXDY9CAA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#QU19, Porphyry (topic)
History
- 2026-11-02: add by m2/dev
Stability 70H1EGG13T
| URI | m2://inv/70H1EGG13T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stability (algebraic geometry), Stability (definition). Also Wikidata Q113630209
History
- 2026-11-02: add by m2/dev
Generalizations 70HEHS63ET
| URI | m2://inv/70HEHS63ET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient theorem#B7QL, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Enumeration 70HPB4R5K2
| URI | m2://inv/70HPB4R5K2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prismatic uniform polyhedron#GDY8, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
Chain linking 70HRCMSYGS
| URI | m2://inv/70HRCMSYGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain linking, Chain linking (definition). Also Wikidata Q5067930
History
- 2026-11-02: add by m2/dev
70HVNP71Y7 70HVNP71Y7
| URI | m2://inv/70HVNP71Y7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.00811#7DOO (statement). In 9T4X83HHQS/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.3.5
70HVXNTZVS 70HVXNTZVS
| URI | m2://inv/70HVXNTZVS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#WYXH (statement). In 9VPMHV0M4R/e1, theorem 1.19
History
- 2026-10-27: add by m2/v0.3.5
Disturbance-budget safety of a switching filter 70HW4KGCCK
| URI | m2://inv/70HW4KGCCK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28364#7UHJ, Disturbance-budget safety of a switching filter (statement)
History
- 2026-11-01: add by m2/v0.6.15
70HW7JNARD 70HW7JNARD
| URI | m2://inv/70HW7JNARD |
|---|---|
| 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 2607.28337#327H (statement). In 7ZJFWBTBKM/e1, lemma 3.5.3
History
- 2026-10-27: add by m2/v0.3.6
70J9FDG773 70J9FDG773
| URI | m2://inv/70J9FDG773 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.02556#NLCW (statement). In 78QQZYTGTD/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
70JAP2NGHP 70JAP2NGHP
| URI | m2://inv/70JAP2NGHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.00856#JGPK (statement). In W6VHD4QBY4/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
Properties 70JEJDY0RZ
| URI | m2://inv/70JEJDY0RZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer–Wall group#5HJI, Properties (statement)
History
- 2026-11-02: add by m2/dev
70JES75X8E 70JES75X8E
| URI | m2://inv/70JES75X8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05403#V0SH (statement). In PQGGCD09KP/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.10
Examples 70JTXVMPQF
| URI | m2://inv/70JTXVMPQF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial isometry#4TBZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Supercommutative algebra 70K1RNCXM6
| URI | m2://inv/70K1RNCXM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#UBTU, Supercommutative algebra (definition)
History
- 2026-11-02: add by m2/dev
morphism 70K5YRHVN8
| URI | m2://inv/70K5YRHVN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Morphism 859F0TFVA3 |
Mentions
- wikidata: Wikidata Q1948412, morphism (definition). Also MathWorld Morphism, nLab morphism, ProofWiki Definition:Morphism
- wikipedia: Wikipedia Morphism, Morphism (definition). Also Wikidata Q1948412
History
- 2026-10-26: add by m2/dev
Jerzy Neyman 70K6XZ38KP
| URI | m2://inv/70K6XZ38KP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jerzy Neyman, Jerzy Neyman (topic). Also Wikidata Q539544
History
- 2026-11-02: add by m2/dev
Example 70KC6BENHM
| URI | m2://inv/70KC6BENHM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abramov's algorithm#A7BA, Example (example)
History
- 2026-11-02: add by m2/dev
exterior derivative 70KHYD4XYE
| URI | m2://inv/70KHYD4XYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Exterior derivative 004FRCXH6M |
Mentions
- wikidata: Wikidata Q1754547, exterior derivative (definition). Also MathWorld ExteriorDerivative, ProofWiki Definition:Exterior_Derivative
- wikipedia: Wikipedia Exterior derivative, Exterior derivative (definition). Also Wikidata Q1754547
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Properties 70KJ51XWZR
| URI | m2://inv/70KJ51XWZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia X̅ and R chart#M1TJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Grothendieck's relative point of view 70KJX6AFCX
| URI | m2://inv/70KJX6AFCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#YW7V, Grothendieck's relative point of view (definition)
History
- 2026-11-02: add by m2/dev
Michael G. Crandall 70KMFF02BJ
| URI | m2://inv/70KMFF02BJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael G. Crandall, Michael G. Crandall (topic). Also Wikidata Q1496707
History
- 2026-11-02: add by m2/dev
superstrong (n≥2) 70KNWHHFPD
| URI | m2://inv/70KNWHHFPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of large cardinal properties#FZ6Y, superstrong (n≥2) (definition)
History
- 2026-11-02: add by m2/dev
Applications 70KPND1A9Z
| URI | m2://inv/70KPND1A9Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Precision bias#SQTX, Applications (example)
History
- 2026-11-02: add by m2/dev
Symmetry-breaking constraints 70KY2G6MV2
| URI | m2://inv/70KY2G6MV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry-breaking constraints, Symmetry-breaking constraints (definition). Also Wikidata Q25053828
History
- 2026-11-02: add by m2/dev
70M3WV3JJN 70M3WV3JJN
| URI | m2://inv/70M3WV3JJN |
|---|---|
| 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.21388#65Q8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
70M5KYEFQ5 70M5KYEFQ5
| URI | m2://inv/70M5KYEFQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00786#MLKQ (statement). In XKEE0DK6N3/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Addition theorems 70MBX2AWDQ
| URI | m2://inv/70MBX2AWDQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi elliptic functions#1CW0, Addition theorems (statement)
History
- 2026-11-02: add by m2/dev
Ternary operation 70MTE9BHG2
| URI | m2://inv/70MTE9BHG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ternary operation, Ternary operation (definition). Also Wikidata Q1524945
History
- 2026-11-02: add by m2/dev
70N7H0BBPF 70N7H0BBPF
| URI | m2://inv/70N7H0BBPF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.02158#ZN9C (definition). In PCV12VAD47/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
Exponential stability of the closed-loop system 70N8ZK9HZB
| URI | m2://inv/70N8ZK9HZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34938#99D0, Exponential stability of the closed-loop system (statement). In N57GZ5N6E1/e1, theorem 11
History
- 2026-10-30: add by m2/v0.4.12
70NBAEG5ZN 70NBAEG5ZN
| URI | m2://inv/70NBAEG5ZN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
70NC4A6QAJ 70NC4A6QAJ
| URI | m2://inv/70NC4A6QAJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#TZI9 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Kirillov character formula 70NC9A1Q6T
| URI | m2://inv/70NC9A1Q6T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbit method#LC1M, Kirillov character formula (statement)
History
- 2026-11-02: add by m2/dev
Marshall Harvey Stone 70NSSDZ1ZF
| URI | m2://inv/70NSSDZ1ZF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W655, Marshall Harvey Stone (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MLNV, Marshall Harvey Stone (topic)
History
- 2026-11-02: add by m2/dev
type III domain 70PFCE4S71
| URI | m2://inv/70PFCE4S71 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/5.6/type-iii-domain, type III domain (concept). In E59CDZA4DP, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
The algorithm 70PGKQFAFH
| URI | m2://inv/70PGKQFAFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GOST (block cipher)#EV6Z, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
70PQ6KMEEW 70PQ6KMEEW
| URI | m2://inv/70PQ6KMEEW |
|---|---|
| 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.31910#9FTN (statement). In E4EK1XXPY4/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
Missing not at random 70PQJC1W1X
| URI | m2://inv/70PQJC1W1X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Missing data#9OQ0, Missing not at random (unknown)
History
- 2026-11-02: add by m2/dev
Donald Cram 70PX15E6C7
| URI | m2://inv/70PX15E6C7 |
|---|---|
| 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#VGBH, Donald Cram (unknown)
History
- 2026-11-02: add by m2/dev
70Q0BR1RJP 70Q0BR1RJP
| URI | m2://inv/70Q0BR1RJP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17602#IMI2 (definition). In BH62508WHJ/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Grothendieck duality 70Q3VT43G3
| URI | m2://inv/70Q3VT43G3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5610723, Grothendieck duality (unknown). Also nLab Grothendieck duality
History
- 2026-10-26: add by m2/dev
70QA3SWKAT 70QA3SWKAT
| URI | m2://inv/70QA3SWKAT |
|---|---|
| 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.08335#NR9K (statement). In HK3YR0QKCV/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Homotopy extension property 70QBDB5CW4
| URI | m2://inv/70QBDB5CW4 |
|---|---|
| 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.04516#KAZT, Homotopy extension property (statement). In GZZBR0FX50/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
Algorithm 70QBTFV9JF
| URI | m2://inv/70QBTFV9JF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Watts–Strogatz model#XTQP, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
70QMW1B8PA 70QMW1B8PA
| URI | m2://inv/70QMW1B8PA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#S9MC (definition)
History
- 2026-11-01: add by m2/v0.6.15
Dirichlet space 70QP874434
| URI | m2://inv/70QP874434 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet space, Dirichlet space (definition). Also Wikidata Q5280767
History
- 2026-11-02: add by m2/dev
70QS45D47H 70QS45D47H
| URI | m2://inv/70QS45D47H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#WG2W (statement). In NAM9ZMPHZ9/e1, proposition 4.14
History
- 2026-10-30: add by m2/v0.4.12
70QY3M63D2 70QY3M63D2
| URI | m2://inv/70QY3M63D2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15744#U7RN (definition). In NV3PBZGBB7/e1, definition 6.9
History
- 2026-10-28: add by m2/v0.4.2
70QZCEDTCJ 70QZCEDTCJ
| URI | m2://inv/70QZCEDTCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2010.04617#8A8N (statement). In P7PSTS3735/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
type theory, extensional 70R3N1CAK9
| URI | m2://inv/70R3N1CAK9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/type-theory-extensional, type theory, extensional (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Seifert state and Seifert resolution 70R3SNMDD6
| URI | m2://inv/70R3SNMDD6 |
|---|---|
| Kind | definition |
| 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.08583#O5KR, Seifert state and Seifert resolution (definition). In 5EKTECQ2P1/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.10
Classical projective geometry 70R4P80F6D
| URI | m2://inv/70R4P80F6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#XXCM, Classical projective geometry (definition)
History
- 2026-11-02: add by m2/dev
James Simons 70R6SM0555
| URI | m2://inv/70R6SM0555 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#EKPN, James Simons (topic)
History
- 2026-11-02: add by m2/dev
70R6TWA0WX 70R6TWA0WX
| URI | m2://inv/70R6TWA0WX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23660#VKIP (statement)
History
- 2026-11-02: add by m2/v0.6.17
Application 70RD83E203
| URI | m2://inv/70RD83E203 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff maximal principle#WJBB, Application (example)
History
- 2026-11-02: add by m2/dev
70REC7X1Q9 70REC7X1Q9
| URI | m2://inv/70REC7X1Q9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.02017#343V (statement). In F6C80AEXC1/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.12
Extension is Well-Typed 70RR945NJF
| URI | m2://inv/70RR945NJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#67FJ, Extension is Well-Typed (statement). In CPYWHRTPKC/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
Exact shared-data identities 70RXNPP2KD
| URI | m2://inv/70RXNPP2KD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.16069#M03K, Exact shared-data identities (statement). In MBJA03ES8N/e1, proposition 8.6
History
- 2026-10-28: add by m2/v0.4.2
Examples 70SD180ZRR
| URI | m2://inv/70SD180ZRR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic Fuchsian group#ZJJQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Charles Julien Brianchon 70SKSGTV3K
| URI | m2://inv/70SKSGTV3K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Julien Brianchon, Charles Julien Brianchon (topic). Also Wikidata Q931339
History
- 2026-11-02: add by m2/dev
Product nets for tangent candidates 70SQQ26811
| URI | m2://inv/70SQQ26811 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31458#W5N5, Product nets for tangent candidates (statement). In SNWC76WKWT/e1, lemma G.1
History
- 2026-10-31: add by m2/v0.5.6
Quasi-projective variety 70SWP29DJG
| URI | m2://inv/70SWP29DJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-projective variety, Quasi-projective variety (definition). Also Wikidata Q7269519
History
- 2026-11-02: add by m2/dev
Efron, Bradley 70SY6N3QX8
| URI | m2://inv/70SY6N3QX8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LKLF, Efron, Bradley (topic)
History
- 2026-11-02: add by m2/dev
70TFN6EDKD 70TFN6EDKD
| URI | m2://inv/70TFN6EDKD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-38 (exercise). In E59CDZA4DP, exercise, section 1.4.4
History
- 2026-11-01: add by m2/v0.6.13
70TJ3BCH81 70TJ3BCH81
| URI | m2://inv/70TJ3BCH81 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 95.5
History
- 2026-11-01: add by m2/v0.6.13
Mechanical equilibrium 70TJ793054
| URI | m2://inv/70TJ793054 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mechanical equilibrium, Mechanical equilibrium (definition). Also Wikidata Q716915
History
- 2026-11-02: add by m2/dev
Rate function 70TKBTA0XB
| URI | m2://inv/70TKBTA0XB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate function, Rate function (definition). Also Wikidata Q7295534
History
- 2026-11-02: add by m2/dev
Cohen's h 70TMXMMB06
| URI | m2://inv/70TMXMMB06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen's h, Cohen's h (definition). Also Wikidata Q22907338
History
- 2026-11-02: add by m2/dev
Applications 70TNJ5KQJV
| URI | m2://inv/70TNJ5KQJV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neural network (machine learning)#67P1, Applications (example)
History
- 2026-11-02: add by m2/dev
70TQ69FV2M 70TQ69FV2M
| URI | m2://inv/70TQ69FV2M |
|---|---|
| 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.25307#DUEN (statement)
History
- 2026-11-01: add by m2/v0.6.15
70TR4ND6RQ 70TR4ND6RQ
| URI | m2://inv/70TR4ND6RQ |
|---|---|
| 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.02663#DRUY (statement). In PGAZ70WGMG/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.12
Belief propagation 70VE1Y04J4
| URI | m2://inv/70VE1Y04J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belief propagation, Belief propagation (definition). Also Wikidata Q4060686
History
- 2026-11-02: add by m2/dev
70VF24MSF4 70VF24MSF4
| URI | m2://inv/70VF24MSF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#ZBRE (statement). In S26QVW5613/e1, lemma 4.6.2
History
- 2026-10-30: add by m2/v0.4.12
Matrix normal distribution 70VFC6X80B
| URI | m2://inv/70VFC6X80B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JVPN, Matrix normal distribution (definition)
History
- 2026-11-02: add by m2/dev
526 (number) 70VX68VW6B
| URI | m2://inv/70VX68VW6B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#UFM2, 526 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Flat algebra 70VY8BE3D9
| URI | m2://inv/70VY8BE3D9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flat module#382E, Flat algebra (unknown)
History
- 2026-11-02: add by m2/dev
70W8PZHFWT 70W8PZHFWT
| URI | m2://inv/70W8PZHFWT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/interpolation.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 57.1
History
- 2026-11-01: add by m2/v0.6.13
Griffiths' theorem 70WDSDQA67
| URI | m2://inv/70WDSDQA67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123561960, Griffiths' theorem (statement). Also MathWorld GriffithsTheorem
- wikipedia: Wikipedia Griffiths' theorem, Griffiths' theorem (statement). Also Wikidata Q123561960
History
- 2026-10-26: add by m2/dev
70X4GXZS3Q 70X4GXZS3Q
| URI | m2://inv/70X4GXZS3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.18483#XZ47 (statement). In FF4HDVF1DC/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Construction 70XSVG0JH2
| URI | m2://inv/70XSVG0JH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flower snark#NO53, Construction (definition)
History
- 2026-11-02: add by m2/dev
70XW8NRC4H 70XW8NRC4H
| URI | m2://inv/70XW8NRC4H |
|---|---|
| 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.31365#X870 (statement). In 19GENJ3NCP/e1, theorem 5.5
History
- 2026-10-31: add by m2/v0.5.6
70Y2TNPS11 70Y2TNPS11
| URI | m2://inv/70Y2TNPS11 |
|---|---|
| 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#RATL (statement). In 43TBS9P2PX/e1, theorem 9.4
History
- 2026-10-28: add by m2/v0.4.2
Diffusionless transformation 70YBFCF9T4
| URI | m2://inv/70YBFCF9T4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffusionless transformation, Diffusionless transformation (definition). Also Wikidata Q1977001
History
- 2026-11-02: add by m2/dev
Axioms 70YHVBVTJC
| URI | m2://inv/70YHVBVTJC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łukasiewicz logic#BRDP, Axioms (statement)
History
- 2026-11-02: add by m2/dev
70YKKPQZME 70YKKPQZME
| URI | m2://inv/70YKKPQZME |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.05118#R7U3 (example). In BT0T0QS2TN/e1, example 4.7
History
- 2026-10-27: add by m2/v0.4.0
Masato Tsujii 70YP8BF303
| URI | m2://inv/70YP8BF303 |
|---|---|
| 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#QGCF, Masato Tsujii (unknown)
History
- 2026-11-02: add by m2/dev
70YPGCMYTP 70YPGCMYTP
| URI | m2://inv/70YPGCMYTP |
|---|---|
| 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.07299#GP6R (statement). In M70KP0BZ99/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
70YSW8XD1H 70YSW8XD1H
| URI | m2://inv/70YSW8XD1H |
|---|---|
| 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.22040#NY3F (statement). In 2QP93JHYNB/e1, corollary 5.11
History
- 2026-10-27: add by m2/v0.4.2
Word absorption up to its square 70YXGV0KM0
| URI | m2://inv/70YXGV0KM0 |
|---|---|
| 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.27641#3AQI, Word absorption up to its square (statement)
History
- 2026-11-01: add by m2/v0.6.15
Maurice Auslander 70YXPH1VB7
| URI | m2://inv/70YXPH1VB7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maurice Auslander, Maurice Auslander (topic). Also Wikidata Q2354086
History
- 2026-11-02: add by m2/dev
Euler–Jacobi pseudoprime 70ZC33DBPC
| URI | m2://inv/70ZC33DBPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Jacobi pseudoprime, Euler–Jacobi pseudoprime (definition). Also Wikidata Q3343104
History
- 2026-11-02: add by m2/dev
Consistency dichotomy 70ZD0Z5WG0
| URI | m2://inv/70ZD0Z5WG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37375#RAL9, Consistency dichotomy (statement). In PV4Z2FRXRZ/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
Polish notation 70ZEADC6CE
| URI | m2://inv/70ZEADC6CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Q9IN, Polish notation (definition)
History
- 2026-11-02: add by m2/dev
70ZWWVTMA6 70ZWWVTMA6
| URI | m2://inv/70ZWWVTMA6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-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.30033#VNLY (definition)
History
- 2026-11-01: add by m2/v0.6.15
graph, perfect 70ZXQX3BQA
| URI | m2://inv/70ZXQX3BQA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.4.3/graph-perfect, graph, perfect (concept). In QKM9DD2H56, index, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13