Inventory rows 12
The cards of the rows of the inventory whose ids start with 12. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
1206DB4ZH7 1206DB4ZH7
| URI | m2://inv/1206DB4ZH7 |
|---|---|
| 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.38548#GRNR (statement). In Z7ZFV3HM1S/e1, proposition 5.8
History
- 2026-10-30: add by m2/v0.4.12
120BETAH78 120BETAH78
| URI | m2://inv/120BETAH78 |
|---|---|
| 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.21403#IOFK (statement)
History
- 2026-11-02: add by m2/v0.6.18
subgroup generated by a subset 120ECZQBX2
| URI | m2://inv/120ECZQBX2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Subgroup generated by a subset 0RG9SPQSWM |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > subgroup generated by a subset, subgroup generated by a subset (unknown). Also Mathlib Subgroup.closure
- mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > subgroup generated by a subset, subgroup generated by a subset (unknown). Also Mathlib Subgroup.closure
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Theorem 120GCBT8EG
| URI | m2://inv/120GCBT8EG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bohr compactification#Q3PZ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Mojżesz Presburger 120JMSS2VW
| URI | m2://inv/120JMSS2VW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mojżesz Presburger, Mojżesz Presburger (topic). Also Wikidata Q473841
History
- 2026-11-02: add by m2/dev
Spark 120K7DPGQ2
| URI | m2://inv/120K7DPGQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spark (mathematics), Spark (definition). Also Wikidata Q7573622
History
- 2026-11-02: add by m2/dev
120M6232N7 120M6232N7
| URI | m2://inv/120M6232N7 |
|---|---|
| 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.20025#L3QV (statement). In 4W1WR4JB89/e1, lemma 2.18
History
- 2026-10-27: add by m2/v0.4.2
120PAJ0X11 120PAJ0X11
| URI | m2://inv/120PAJ0X11 |
|---|---|
| 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.29521#XDP2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kolmogorov zero--one law 120XY4YYVC
| URI | m2://inv/120XY4YYVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 1912.02769#1E8D, Kolmogorov zero--one law (statement). In JH7VQ2EC16/e1, corollary 6.1
History
- 2026-10-27: add by m2/v0.3.5
linear form 1210P2GDZY
| URI | m2://inv/1210P2GDZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#2T1Q, linear form (definition)
History
- 2026-11-02: add by m2/dev
Strong trajectory 121338BCG6
| URI | m2://inv/121338BCG6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#RCQ9, Strong trajectory (definition). In WD2NCBV9F0/e1, definition 7.10
History
- 2026-10-27: add by m2/v0.3.5
Exponential smoothing 1213F3EFAQ
| URI | m2://inv/1213F3EFAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential smoothing, Exponential smoothing (definition). Also Wikidata Q775837
History
- 2026-11-02: add by m2/dev
× 121RZFHBKZ
| URI | m2://inv/121RZFHBKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#GG5Z, × (definition)
History
- 2026-11-02: add by m2/dev
1221EQJ6DZ 1221EQJ6DZ
| URI | m2://inv/1221EQJ6DZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#0BI5 (statement). In NBMA6DBKJG/e1, proposition 2.8
History
- 2026-10-28: add by m2/v0.4.2
Henry F. Baker 1221PB9FHV
| URI | m2://inv/1221PB9FHV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry F. Baker, Henry F. Baker (topic). Also Wikidata Q1389320
History
- 2026-11-02: add by m2/dev
Gene Howard Golub 1226AKWZ91
| URI | m2://inv/1226AKWZ91 |
|---|---|
| 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#5BBU, Gene Howard Golub (topic)
History
- 2026-11-02: add by m2/dev
characteristically simple group 1227CHD509
| URI | m2://inv/1227CHD509 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 4966729) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#OZKB, characteristically simple group (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Persi Diaconis 12284S8Y6N
| URI | m2://inv/12284S8Y6N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2061471, Persi Diaconis (unknown). Also nLab Persi Diaconis
- wikipedia: Wikipedia Persi Diaconis, Persi Diaconis (topic). Also Wikidata Q2061471
History
- 2026-10-26: add by m2/dev
122EKTGN1H 122EKTGN1H
| URI | m2://inv/122EKTGN1H |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-23 (proof). In N54F33XE07, proof, section 3.7
History
- 2026-11-01: add by m2/v0.6.13
The linear operator $\mathcal{X}^*$ 122F1937WR
| URI | m2://inv/122F1937WR |
|---|---|
| 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 2610.00770#YUVG, The linear operator $\mathcal{X}^*$ (definition). In AYGRJSRG1M/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
mapping class group 122FEVRT5X
| URI | m2://inv/122FEVRT5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Mapping class group JV5NYG913V |
Mentions
- wikidata: Wikidata Q3845212, mapping class group (unknown). Also nLab mapping class group
- wikipedia: Wikipedia Mapping class group, Mapping class group (definition). Also Wikidata Q3845212
History
- 2026-10-26: add by m2/dev
Transfer 122G0VVJDA
| URI | m2://inv/122G0VVJDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfer (group theory), Transfer (definition). Also Wikidata Q3537483
History
- 2026-11-02: add by m2/dev
Hindman's theorem 122GXDQKPH
| URI | m2://inv/122GXDQKPH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Ramsey theory > Hindman's theorem, Hindman's theorem (unknown). Also Mathlib Hindman.FS_partition_regular
History
- 2026-10-26: add by m2/dev
122JASS0RN 122JASS0RN
| URI | m2://inv/122JASS0RN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1010.3284#CI95 (statement). In 7D3VBRZGMY/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Treatment and control groups 122TV8M747
| URI | m2://inv/122TV8M747 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Treatment and control groups, Treatment and control groups (definition). Also Wikidata Q7836899
History
- 2026-11-02: add by m2/dev
122XVG4E1W 122XVG4E1W
| URI | m2://inv/122XVG4E1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13618#V7WY (statement). In XDQAEGH345/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
judgmental equality 12371YBCCN
| URI | m2://inv/12371YBCCN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/sec:formal-prelim/judgmental-equality, judgmental equality (concept). In N54F33XE07, index, section sec:formal-prelim
History
- 2026-11-01: add by m2/v0.6.13
123M721W3E 123M721W3E
| URI | m2://inv/123M721W3E |
|---|---|
| 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#FY7Q (statement). In CY1FE8W1ZW/e1, lemma 0.105
History
- 2026-10-27: add by m2/v0.4.0
theory of metric spaces 123SG80ETH
| URI | m2://inv/123SG80ETH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114737644, theory of metric spaces (topic). Also ProofWiki Definition:Metric_Spaces_(Mathematical_Branch)
History
- 2026-10-26: add by m2/dev
Stone duality 1240HD1E5A
| URI | m2://inv/1240HD1E5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#PPV7, Stone duality (definition)
- wikipedia: Wikipedia List of general topology topics#XXEO, Stone duality (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#8DQL, Stone duality (definition)
History
- 2026-11-02: add by m2/dev
Church–Turing thesis 124323YJPE
| URI | m2://inv/124323YJPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#5CZ4, Church–Turing thesis (definition)
History
- 2026-11-02: add by m2/dev
Convolution random number generator 12467HMEEW
| URI | m2://inv/12467HMEEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution random number generator, Convolution random number generator (definition). Also Wikidata Q5166606
History
- 2026-11-02: add by m2/dev
1248XH1Y3T 1248XH1Y3T
| URI | m2://inv/1248XH1Y3T |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Abelian variety of CM-type 124DJS7VMQ
| URI | m2://inv/124DJS7VMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#97JT, Abelian variety of CM-type (definition)
History
- 2026-11-02: add by m2/dev
Hecke character 124EZ3R7J7
| URI | m2://inv/124EZ3R7J7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hecke character, Hecke character (definition). Also Wikidata Q1948965
History
- 2026-11-02: add by m2/dev
Applications 124S3SBDXY
| URI | m2://inv/124S3SBDXY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polytope#GM2B, Applications (example)
History
- 2026-11-02: add by m2/dev
124XGFSZCX 124XGFSZCX
| URI | m2://inv/124XGFSZCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07292#5IRB (statement). In PZ17NHGAKX/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Camille-Christophe Gerono 1251VQWE9A
| URI | m2://inv/1251VQWE9A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Camille-Christophe Gerono, Camille-Christophe Gerono (topic). Also Wikidata Q1029105
History
- 2026-11-02: add by m2/dev
Lemma 1252W6MANK
| URI | m2://inv/1252W6MANK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levi-Civita connection#T4AZ, Lemma (statement)
History
- 2026-11-02: add by m2/dev
1254FZ837G 1254FZ837G
| URI | m2://inv/1254FZ837G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136147653 (unknown). Also House of Graphs 538
History
- 2026-10-26: add by m2/dev
Sinusoidal spiral 1259ZH2DAM
| URI | m2://inv/1259ZH2DAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#Q0Y0, Sinusoidal spiral (definition)
- wikipedia: Wikipedia List of curves#91IZ, Sinusoidal spiral (definition)
History
- 2026-11-02: add by m2/dev
125A3S33TB 125A3S33TB
| URI | m2://inv/125A3S33TB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.09544#P0RC (statement). In DYBM6Q2K6R/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Univariate analysis 125CVY7Y9K
| URI | m2://inv/125CVY7Y9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F50D, Univariate analysis (definition)
History
- 2026-11-02: add by m2/dev
Nash–Moser theorem 125D71VA1K
| URI | m2://inv/125D71VA1K |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6967039, Nash–Moser theorem (statement). Also Wikidata Q6967039
- thousand_plus: thousand_plus Q6967039, Nash–Moser theorem (statement). Also Wikidata Q6967039, Wikipedia Nash–Moser theorem
- wikipedia: Wikipedia Nash–Moser theorem, Nash–Moser theorem (statement). Also Wikidata Q6967039
History
- 2026-10-26: add by m2/dev
Generalizations 125G987T9E
| URI | m2://inv/125G987T9E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperarithmetical theory#KNRQ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
125XZE4GYK 125XZE4GYK
| URI | m2://inv/125XZE4GYK |
|---|---|
| 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.29023#D38S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Löwenheim–Skolem theorem 125Y2TSHCT
| URI | m2://inv/125Y2TSHCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#VAEV, Löwenheim–Skolem theorem (definition)
History
- 2026-11-02: add by m2/dev
Determined game 12623WC0WV
| URI | m2://inv/12623WC0WV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinacy#0WD2, Determined game (unknown)
History
- 2026-11-02: add by m2/dev
1264KAT0WD 1264KAT0WD
| URI | m2://inv/1264KAT0WD |
|---|---|
| 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 2205.06433#A93X (example). In 628PJKD3EV/e1, example 2.2
History
- 2026-10-27: add by m2/v0.3.5
Statement of the conjecture 126AX7QJ4V
| URI | m2://inv/126AX7QJ4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rota's conjecture#PNFE, Statement of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
126ER5557F 126ER5557F
| URI | m2://inv/126ER5557F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 1912.02769#BA81 (example). In JH7VQ2EC16/e1, example 2.3
History
- 2026-10-27: add by m2/v0.3.5
126HQWQWVJ 126HQWQWVJ
| URI | m2://inv/126HQWQWVJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#LRG1 (definition). In FDYZFDHZH9/e1, definition 4.4
History
- 2026-10-31: add by m2/v0.5.6
126PQW2GGT 126PQW2GGT
| URI | m2://inv/126PQW2GGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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 2610.10377#51IA (statement). In 6HP7BR9WZM/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
Mary L. Boas 126QRBFZJV
| URI | m2://inv/126QRBFZJV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9DSY, Mary L. Boas (topic)
History
- 2026-11-02: add by m2/dev
126RCXKN23 126RCXKN23
| URI | m2://inv/126RCXKN23 |
|---|---|
| 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.13699#X9SC (statement). In ZSMAQ666K7/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
rule of inference 126Y0800YD
| URI | m2://inv/126Y0800YD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1068763, rule of inference (unknown). Also MathWorld RuleofInference
- wikipedia: Wikipedia Rule of inference, Rule of inference (definition). Also Wikidata Q1068763
History
- 2026-10-26: add by m2/dev
Norm stability under fermionic extension 126YTE0B6R
| URI | m2://inv/126YTE0B6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#3O56, Norm stability under fermionic extension (statement). In N06J7GC05Q/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Jacob Lurie 1270AM65P8
| URI | m2://inv/1270AM65P8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#HSWF, Jacob Lurie (topic)
History
- 2026-11-02: add by m2/dev
Formal definitions 1270MX2F85
| URI | m2://inv/1270MX2F85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ciphertext indistinguishability#839N, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Fractions 1271DEMHK4
| URI | m2://inv/1271DEMHK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#K9EH, Fractions (definition)
History
- 2026-11-02: add by m2/dev
Representation 1274VC9A35
| URI | m2://inv/1274VC9A35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Climograph#IK9Q, Representation (definition)
History
- 2026-11-02: add by m2/dev
127P0QFHGH 127P0QFHGH
| URI | m2://inv/127P0QFHGH |
|---|---|
| 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.11047#296C (statement). In MNQAZ70XTH/e1, lemma 15.2
History
- 2026-10-28: add by m2/v0.4.3
Octal 127RFEF044
| URI | m2://inv/127RFEF044 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral system topics#6DV2, Octal (definition)
History
- 2026-11-02: add by m2/dev
Subrahmanyan Chandrasekhar 127X7VD1J8
| URI | m2://inv/127X7VD1J8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#0ITU, Subrahmanyan Chandrasekhar (topic)
History
- 2026-11-02: add by m2/dev
Hodge conjecture 1280ZZCW3M
| URI | m2://inv/1280ZZCW3M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hodge conjecture XAEEDWV3PM |
Mentions
- wikidata: Wikidata Q1143138, Hodge conjecture (conjecture). Also MathWorld HodgeConjecture, ProofWiki Hodge_Conjecture
- wikipedia: Wikipedia Hodge conjecture, Hodge conjecture (statement). Also Wikidata Q1143138
History
- 2026-10-26: add by m2/dev
Jonathan Lear 128HEXHTDB
| URI | m2://inv/128HEXHTDB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonathan Lear, Jonathan Lear (topic). Also Wikidata Q3809934
History
- 2026-11-02: add by m2/dev
Trend surface analysis 128PRMW5GJ
| URI | m2://inv/128PRMW5GJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trend surface analysis, Trend surface analysis (definition). Also Wikidata Q1817734
History
- 2026-11-02: add by m2/dev
Examples 128Q616GCM
| URI | m2://inv/128Q616GCM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual system#4P1D, Examples (example)
History
- 2026-11-02: add by m2/dev
128RKT9KEJ 128RKT9KEJ
| URI | m2://inv/128RKT9KEJ |
|---|---|
| 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 2108.10246#KT1T (statement). In XD0YT3XCW2/e1, lemma 2.25
History
- 2026-10-27: add by m2/v0.3.5
Theorem 12917CET0S
| URI | m2://inv/12917CET0S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trakhtenbrot's theorem#LQE7, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Unregularized exact TD--PMD 1293VW8W7T
| URI | m2://inv/1293VW8W7T |
|---|---|
| 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.39837#UTK5, Unregularized exact TD--PMD (statement). In MDQXTBEK0F/e1, corollary 3.7
History
- 2026-10-30: add by m2/v0.4.12
alternating knot 129Q7P0F2W
| URI | m2://inv/129Q7P0F2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4736417, alternating knot (unknown). Also MathWorld AlternatingKnot
- wikipedia: Wikipedia Alternating knot, Alternating knot (definition). Also Wikidata Q4736417
History
- 2026-10-26: add by m2/dev
Redundancy check 129QGNPPB4
| URI | m2://inv/129QGNPPB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#NU9M, Redundancy check (definition)
History
- 2026-11-02: add by m2/dev
129VMBVG84 129VMBVG84
| URI | m2://inv/129VMBVG84 |
|---|---|
| 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 2610.02174#5M7Q (statement). In 7JPHSV4NXW/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Markov's inequality 129WB19EHM
| URI | m2://inv/129WB19EHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concentration inequality#9387, Markov's inequality (statement)
History
- 2026-11-02: add by m2/dev
129XEMT420 129XEMT420
| URI | m2://inv/129XEMT420 |
|---|---|
| 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.10477#5CVX (statement). In 1NZSZ241WE/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
E. B. Dynkin 129ZTV9KZQ
| URI | m2://inv/129ZTV9KZQ |
|---|---|
| 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#K74N, E. B. Dynkin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#M5MF, E. B. Dynkin (topic)
History
- 2026-11-02: add by m2/dev
normal order of an arithmetic function 12A3GZJJDM
| URI | m2://inv/12A3GZJJDM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7051823, normal order of an arithmetic function (concept). Also MathWorld NormalOrder
- wikipedia: Wikipedia Normal order of an arithmetic function, Normal order of an arithmetic function (definition). Also Wikidata Q7051823
History
- 2026-10-26: add by m2/dev
Theorem 12AF680MBV
| URI | m2://inv/12AF680MBV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix sign function#2G7E, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Norbert Straumann 12AK934M6R
| URI | m2://inv/12AK934M6R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1997242, Norbert Straumann (unknown). Also nLab Norbert Straumann
History
- 2026-10-26: add by m2/dev
12AS43PHQQ 12AS43PHQQ
| URI | m2://inv/12AS43PHQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#FP3T (statement). In CGA36VE1C5/e1, fact 3.10.3
History
- 2026-10-27: add by m2/v0.3.6
Statement 12AYZ4EC7H
| URI | m2://inv/12AYZ4EC7H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bagpipe theorem#EZEL, Statement (statement)
History
- 2026-11-02: add by m2/dev
Single-harmonic spectra 12AZJVMYNQ
| URI | m2://inv/12AZJVMYNQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#TQ17, Single-harmonic spectra (statement). In 65TJENWK7X/e1, proposition 72
History
- 2026-10-29: add by m2/v0.4.10
12B2GGJ1BQ 12B2GGJ1BQ
| URI | m2://inv/12B2GGJ1BQ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.2853#DJKT (unknown). In 32ZZ1DETCX/e1, unknown 3.1
History
- 2026-10-27: add by m2/v0.3.5
12B7T360NG 12B7T360NG
| URI | m2://inv/12B7T360NG |
|---|---|
| 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 2607.00323#DKNV (statement). In BPRFEQY7W4/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.3.6
2 theorem 12BHGGVPNC
| URI | m2://inv/12BHGGVPNC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#7HR7, 2 theorem (statement)
History
- 2026-11-02: add by m2/dev
Exponential generating function (1-x^2)^(-1/x). 12BSME93C9
| URI | m2://inv/12BSME93C9 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100193483, Exponential generating function (1-x^2)^(-1/x). (object). Also OEIS A121452
History
- 2026-10-26: add by m2/dev
first-degree entailment (FDE) 12BTK3EH85
| URI | m2://inv/12BTK3EH85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#26V4, first-degree entailment (FDE) (definition)
History
- 2026-11-02: add by m2/dev
Weighted Thue inequality 12CA4MP2AV
| URI | m2://inv/12CA4MP2AV |
|---|---|
| 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.17589#XLQU, Weighted Thue inequality (statement). In GSTK4569X1/e1, theorem 7.3
History
- 2026-10-28: add by m2/v0.4.2
Soap bubble 12CCJVEWBA
| URI | m2://inv/12CCJVEWBA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of variational topics#00XK, Soap bubble (unknown)
History
- 2026-11-02: add by m2/dev
product Brownian capacity 12CKB88JBV
| URI | m2://inv/12CKB88JBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#XRR9, product Brownian capacity (statement). In CBCCH5VTMQ/e1, lemma 3.13
History
- 2026-10-29: add by m2/v0.4.12
12CKJBHHFF 12CKJBHHFF
| URI | m2://inv/12CKJBHHFF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#JACO (definition). In CGA36VE1C5/e1, definition 3.9.1
History
- 2026-10-27: add by m2/v0.3.6
12CNKNYETK 12CNKNYETK
| URI | m2://inv/12CNKNYETK |
|---|---|
| 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 2609.20632#L74G (example)
History
- 2026-11-02: add by m2/v0.6.18
Três Barras 12D1E4VXP0
| URI | m2://inv/12D1E4VXP0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#LWVJ, Três Barras (unknown)
History
- 2026-11-02: add by m2/dev
Beta function 12DDKECR2C
| URI | m2://inv/12DDKECR2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#8JTP, Beta function (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#G525, Beta function (definition)
History
- 2026-11-02: add by m2/dev
Edwin Francis Gay 12DEEECF4V
| URI | m2://inv/12DEEECF4V |
|---|---|
| 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#1ZDJ, Edwin Francis Gay (unknown)
History
- 2026-11-02: add by m2/dev
The geometric Brascamp–Lieb inequality 12DEHBBDKW
| URI | m2://inv/12DEHBBDKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brascamp–Lieb inequality#A0JR, The geometric Brascamp–Lieb inequality (statement)
History
- 2026-11-02: add by m2/dev
Fréchet algebra 12DF1RSEA4
| URI | m2://inv/12DF1RSEA4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fréchet algebra AW4T3NQYVF |
Mentions
- wikidata: Wikidata Q5506659, Fréchet algebra (concept). Also EoM Fréchet_algebra
- wikipedia: Wikipedia Fréchet algebra, Fréchet algebra (definition). Also Wikidata Q5506659
History
- 2026-10-26: add by m2/dev
Gray code addressing 12DMR31MNS
| URI | m2://inv/12DMR31MNS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gray code#J7A0, Gray code addressing (unknown)
History
- 2026-11-02: add by m2/dev
Gödel's first incompleteness theorem 12DR15W18S
| URI | m2://inv/12DR15W18S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liar paradox#90HQ, Gödel's first incompleteness theorem (statement)
History
- 2026-11-02: add by m2/dev
Heronian triangle 12E8V3N2SY
| URI | m2://inv/12E8V3N2SY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#3L8N, Heronian triangle (definition)
- wikipedia: Wikipedia List of triangle topics#YHNK, Heronian triangle (definition)
History
- 2026-11-02: add by m2/dev
12EAF3VESX 12EAF3VESX
| URI | m2://inv/12EAF3VESX |
|---|---|
| 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 2609.35123#UZT0 (statement). In 6106R88BNE/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Yinyu Ye 12EB75PFSK
| URI | m2://inv/12EB75PFSK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yinyu Ye, Yinyu Ye (topic). Also Wikidata Q8053769
History
- 2026-11-02: add by m2/dev
12EFBPRNGY 12EFBPRNGY
| URI | m2://inv/12EFBPRNGY |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0507030#T20B (proof). In QV0QQ5ZCHX/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
12EN0G2Z2M 12EN0G2Z2M
| URI | m2://inv/12EN0G2Z2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#MZMD (statement). In JW8HH6EPG2/e1, lemma 3.21
History
- 2026-10-29: add by m2/v0.4.10
alternate angles 12EPD8RJQP
| URI | m2://inv/12EPD8RJQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11650583, alternate angles (definition). Also ProofWiki Definition:Transversal_(Geometry)/Alternate_Angles
History
- 2026-10-26: add by m2/dev
12ESPHMCGK 12ESPHMCGK
| URI | m2://inv/12ESPHMCGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20375#X8J4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
An obstruction in a real mode 12F3Y9CYHW
| URI | m2://inv/12F3Y9CYHW |
|---|---|
| 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.39895#HS69, An obstruction in a real mode (statement). In B3TZBWZNM4/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Characterization 12F4X0T9NP
| URI | m2://inv/12F4X0T9NP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor space#I5JH, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Cathy Furlong 12FG81KBCK
| URI | m2://inv/12FG81KBCK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cathy Furlong, Cathy Furlong (topic). Also Wikidata Q83129553
History
- 2026-11-02: add by m2/dev
12FP118YR6 12FP118YR6
| URI | m2://inv/12FP118YR6 |
|---|---|
| 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#LZ5S (statement). In S26QVW5613/e1, lemma 4.3.4
History
- 2026-10-30: add by m2/v0.4.12
12FPD1R2GS 12FPD1R2GS
| URI | m2://inv/12FPD1R2GS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15432#ZYF1 (statement). In D1DFM4WYEW/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Unit tangent bundle 12FPXXMP0H
| URI | m2://inv/12FPXXMP0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit tangent bundle, Unit tangent bundle (definition). Also Wikidata Q3071328
History
- 2026-11-02: add by m2/dev
12FS0C68J0 12FS0C68J0
| URI | m2://inv/12FS0C68J0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#8QYH (statement)
History
- 2026-11-02: add by m2/v0.6.18
12G4XTYANG 12G4XTYANG
| URI | m2://inv/12G4XTYANG |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit square#QM3K (problem)
History
- 2026-11-02: add by m2/dev
Torsion 12G5SD6PZN
| URI | m2://inv/12G5SD6PZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsion (algebra), Torsion (definition). Also Wikidata Q382874
History
- 2026-11-02: add by m2/dev
12GAHE0V7Q 12GAHE0V7Q
| URI | m2://inv/12GAHE0V7Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#cor:enum-nat (statement). In PKGMM3P5QY, cor, section 83.5
History
- 2026-11-01: add by m2/v0.6.13
24-cell prism 12GNM5ZKSK
| URI | m2://inv/12GNM5ZKSK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 5-polytope#BDDI, 24-cell prism (unknown)
History
- 2026-11-02: add by m2/dev
George Yuri Rainich 12GQS1PJ49
| URI | m2://inv/12GQS1PJ49 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#ONR3, George Yuri Rainich (unknown)
History
- 2026-11-02: add by m2/dev
Examples 12GSEV1EKM
| URI | m2://inv/12GSEV1EKM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway criterion#LDP6, Examples (example)
History
- 2026-11-02: add by m2/dev
Fluent calculus 12GTXW0QVW
| URI | m2://inv/12GTXW0QVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fluent calculus, Fluent calculus (definition). Also Wikidata Q5462656
History
- 2026-11-02: add by m2/dev
Reflection 12H7T2DV6T
| URI | m2://inv/12H7T2DV6T |
|---|---|
| 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.10950#75OJ, Reflection (statement). In P392PEVRAY/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.3
Rayleigh-Gans 12H9ETEN33
| URI | m2://inv/12H9ETEN33 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mie scattering#HFDP, Rayleigh-Gans (unknown)
History
- 2026-11-02: add by m2/dev
12H9QBDV8H 12H9QBDV8H
| URI | m2://inv/12H9QBDV8H |
|---|---|
| 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 2609.20798#NJ1A (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition 12HSH9S4X2
| URI | m2://inv/12HSH9S4X2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arakawa–Kaneko zeta function#9RM8, Definition (definition)
History
- 2026-11-02: add by m2/dev
National Mathematics Day 12HSV10SSW
| URI | m2://inv/12HSV10SSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Mathematics Day (India), National Mathematics Day (definition). Also Wikidata Q6974273
History
- 2026-11-02: add by m2/dev
12HZ6VA5HQ 12HZ6VA5HQ
| URI | m2://inv/12HZ6VA5HQ |
|---|---|
| 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.20801#F8GG (statement). In A1GWWGRXPA/e1, proposition 5.18
History
- 2026-10-27: add by m2/v0.4.2
$\Pi$ preserves finite products 12JAZJV8MM
| URI | m2://inv/12JAZJV8MM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.26270#F1F2, $\Pi$ preserves finite products (statement)
History
- 2026-11-01: add by m2/v0.6.15
Affine transformation 12JEWQZTF2
| URI | m2://inv/12JEWQZTF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#EABE, Affine transformation (definition)
History
- 2026-11-02: add by m2/dev
Hopf fibration 12JGG4XKJF
| URI | m2://inv/12JGG4XKJF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1627604, Hopf fibration (concept). Also MathWorld HopfMap, nLab Hopf fibration
- wikipedia: Wikipedia Hopf fibration, Hopf fibration (definition). Also Wikidata Q1627604
History
- 2026-10-26: add by m2/dev
12JKPFKGXP 12JKPFKGXP
| URI | m2://inv/12JKPFKGXP |
|---|---|
| Kind | definition |
| 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.08202#L2DQ (definition). In N7XJ16700B/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
12JMDQ4G4J 12JMDQ4G4J
| URI | m2://inv/12JMDQ4G4J |
|---|---|
| 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.20656#93VU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Distribution for composite hypothesis 12JPFHB05J
| URI | m2://inv/12JPFHB05J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-value#TPON, Distribution for composite hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Charles Méray 12JT0S0XDD
| URI | m2://inv/12JT0S0XDD |
|---|---|
| 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#E0JD, Charles Méray (topic)
History
- 2026-11-02: add by m2/dev
C. F. Jeff Wu 12JTXXKMXF
| URI | m2://inv/12JTXXKMXF |
|---|---|
| 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#MXTH, C. F. Jeff Wu (unknown)
History
- 2026-11-02: add by m2/dev
Fibonorial 12JYFPPN03
| URI | m2://inv/12JYFPPN03 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8042660, Fibonorial (concept). Also MathWorld Fibonorial
- wikipedia: Wikipedia Fibonorial, Fibonorial (definition). Also Wikidata Q8042660
History
- 2026-10-26: add by m2/dev
integral curves 12K3S0RZWP
| URI | m2://inv/12K3S0RZWP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > integral curves, integral curves (unknown). Also Mathlib IsMIntegralCurve
History
- 2026-10-26: add by m2/dev
12K3Y7H48Q 12K3Y7H48Q
| URI | m2://inv/12K3Y7H48Q |
|---|---|
| Kind | example |
| 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.31274#YI5B (example). In RK0ZMDJ23T/e1, example 4.1.12
History
- 2026-10-31: add by m2/v0.5.6
Bruno N Rémillard 12KD97X2GH
| URI | m2://inv/12KD97X2GH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruno N Rémillard, Bruno N Rémillard (topic). Also Wikidata Q55725549
History
- 2026-11-02: add by m2/dev
12KF7D279E 12KF7D279E
| URI | m2://inv/12KF7D279E |
|---|---|
| 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#A3LQ (statement). In V8MYP6MBAZ/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
Elveden #25 12KHR22G0X
| URI | m2://inv/12KHR22G0X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#PFYQ, Elveden #25 (unknown)
History
- 2026-11-02: add by m2/dev
4700 12KKFNQZ01
| URI | m2://inv/12KKFNQZ01 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4000 (number)#TYKK, 4700 (unknown)
History
- 2026-11-02: add by m2/dev
Maria Gaetana Agnesi 12M1N99B3V
| URI | m2://inv/12M1N99B3V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#KW1Q, Maria Gaetana Agnesi (topic)
History
- 2026-11-02: add by m2/dev
Luis Davidson San Juan 12M3PRPFGE
| URI | m2://inv/12M3PRPFGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luis Davidson San Juan, Luis Davidson San Juan (topic). Also Wikidata Q16019027
History
- 2026-11-02: add by m2/dev
Applications 12M3VC5BV1
| URI | m2://inv/12M3VC5BV1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-Archimedean ordered field#Y9VP, Applications (example)
History
- 2026-11-02: add by m2/dev
12MDTAJ25P 12MDTAJ25P
| URI | m2://inv/12MDTAJ25P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08385#JSAA (statement). In D979582ST2/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Declination 12ME6D9MSK
| URI | m2://inv/12ME6D9MSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Declination, Declination (definition). Also Wikidata Q76287
History
- 2026-11-02: add by m2/dev
truncated Witt graph 12MMQ07PEG
| URI | m2://inv/12MMQ07PEG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115616, truncated Witt graph (unknown). Also MathWorld TruncatedWittGraph
History
- 2026-10-26: add by m2/dev
12MSA2M4EV 12MSA2M4EV
| URI | m2://inv/12MSA2M4EV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/multivar.tex#corollary-1 (statement). In RZP28ERRZV, corollary, section 45.4
History
- 2026-11-01: add by m2/v0.6.13
converges, function 12MVP06D66
| URI | m2://inv/12MVP06D66 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.5.1/converges-function, converges, function (concept). In E59CDZA4DP, index, section 2.5.1
History
- 2026-11-01: add by m2/v0.6.13
Source estimates without derivative loss 12MZTBAGJB
| URI | m2://inv/12MZTBAGJB |
|---|---|
| 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.13248#QYMK, Source estimates without derivative loss (statement). In MGMC5SREP3/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
12N7RCTDZC 12N7RCTDZC
| URI | m2://inv/12N7RCTDZC |
|---|---|
| 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.14803#G8S1 (statement). In VAEVDTBD3B/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Examples 12NNPFBHJM
| URI | m2://inv/12NNPFBHJM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straw man#UE4D, Examples (example)
History
- 2026-11-02: add by m2/dev
Joint frequency distribution 12NQ3E1YDC
| URI | m2://inv/12NQ3E1YDC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency (statistics)#68XG, Joint frequency distribution (unknown)
History
- 2026-11-02: add by m2/dev
12NXACH0KA 12NXACH0KA
| URI | m2://inv/12NXACH0KA |
|---|---|
| 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 2304.09819#W3FY (statement). In FYKSPSVT37/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.4.0
12PA4VNAST 12PA4VNAST
| URI | m2://inv/12PA4VNAST |
|---|---|
| Kind | statement |
| 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.17626#HG2T (statement). In 54ATJS74DT/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
quod erat demonstrandum (QED) 12PB8WVBA2
| URI | m2://inv/12PB8WVBA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#161N, quod erat demonstrandum (QED) (definition)
History
- 2026-11-02: add by m2/dev
Floating point error 12PJR38PAF
| URI | m2://inv/12PJR38PAF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floating-point arithmetic#7S6C, Floating point error (unknown)
History
- 2026-11-02: add by m2/dev
excluded middle 12PM6HQ4ZC
| URI | m2://inv/12PM6HQ4ZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#UURM, excluded middle (definition)
History
- 2026-11-02: add by m2/dev
Prismatic $F$-gauges 12PN42JFW3
| URI | m2://inv/12PN42JFW3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#PLB2, Prismatic $F$-gauges (definition). In 328KGRNN0W/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Examples 12PY4YHN91
| URI | m2://inv/12PY4YHN91 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum of a sentence#URK1, Examples (example)
History
- 2026-11-02: add by m2/dev
Baruch Lindau 12PZQEFJJY
| URI | m2://inv/12PZQEFJJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4F3Q, Baruch Lindau (topic)
History
- 2026-11-02: add by m2/dev
Definition 12Q9HXDP4C
| URI | m2://inv/12Q9HXDP4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perrin number#DT2G, Definition (definition)
History
- 2026-11-02: add by m2/dev
12QFPW2VXV 12QFPW2VXV
| URI | m2://inv/12QFPW2VXV |
|---|---|
| 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#W0Q9 (statement). In S8NB83KQX3/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
Gaston Julia 12QS5HQNNA
| URI | m2://inv/12QS5HQNNA |
|---|---|
| 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#7NV3, Gaston Julia (topic)
History
- 2026-11-02: add by m2/dev
12QYNQYEZ3 12QYNQYEZ3
| URI | m2://inv/12QYNQYEZ3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#EZCR (definition). In SVJYA0171G/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Rotation scheme 12RDV900PH
| URI | m2://inv/12RDV900PH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial map#4SZD, Rotation scheme (unknown)
History
- 2026-11-02: add by m2/dev
Xiao-Li Meng 12RKQQCB0F
| URI | m2://inv/12RKQQCB0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#TGTF, Xiao-Li Meng (topic)
History
- 2026-11-02: add by m2/dev
Covering set 12RMQQVG34
| URI | m2://inv/12RMQQVG34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering set, Covering set (definition). Also Wikidata Q5179262
History
- 2026-11-02: add by m2/dev
N conjecture 12RMYNN783
| URI | m2://inv/12RMYNN783 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N conjecture, N conjecture (conjecture). Also Wikidata Q25304001
History
- 2026-11-02: add by m2/dev
12RVNNYKSD 12RVNNYKSD
| URI | m2://inv/12RVNNYKSD |
|---|---|
| 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 2506.18195#I0HR (statement). In 6B8FNCHF1Z/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.6
12S7S1B64A 12S7S1B64A
| URI | m2://inv/12S7S1B64A |
|---|---|
| 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.27715#SMYK (statement)
History
- 2026-11-01: add by m2/v0.6.15
XOR 12S8DA0SSH
| URI | m2://inv/12S8DA0SSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of rules of inference#26GO, XOR (definition)
History
- 2026-11-02: add by m2/dev
Levi Eshkol 12S9CFH1VY
| URI | m2://inv/12S9CFH1VY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#WB0S, Levi Eshkol (unknown)
History
- 2026-11-02: add by m2/dev
¬ 12SQKH0D7Z
| URI | m2://inv/12SQKH0D7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#W0TI, ¬ (definition)
History
- 2026-11-02: add by m2/dev
Admissible genera 12SRH2QPWE
| URI | m2://inv/12SRH2QPWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26701#GC4M, Admissible genera (statement)
History
- 2026-11-01: add by m2/v0.6.15
12T5ZEK2AR 12T5ZEK2AR
| URI | m2://inv/12T5ZEK2AR |
|---|---|
| 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 2608.24599#Q8VK (statement). In VG8QFWTT8S/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.6
Preliminary density criterion 12T9BJFAK7
| URI | m2://inv/12T9BJFAK7 |
|---|---|
| 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.32937#1FUP, Preliminary density criterion (statement). In RB0SJRQP6X/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
Symmetric output from a larger nonsymmetric input 12TE80W2M5
| URI | m2://inv/12TE80W2M5 |
|---|---|
| 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#R09O, Symmetric output from a larger nonsymmetric input (statement). In 9YAE8FNQST/e1, corollary 14.13
History
- 2026-10-30: add by m2/v0.4.12
Arnold Scheibel 12TP7K6V5Z
| URI | m2://inv/12TP7K6V5Z |
|---|---|
| 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#OQNQ, Arnold Scheibel (unknown)
History
- 2026-11-02: add by m2/dev
Propagation of boundedness away from $\{\rho=1\}$ 12TPTB6MVT
| URI | m2://inv/12TPTB6MVT |
|---|---|
| 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.08434#8GQ0, Propagation of boundedness away from $\{\rho=1\}$ (statement). In VN8087G2FC/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.10
Hilbert's sixteenth problem 12TV7GS5DW
| URI | m2://inv/12TV7GS5DW |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's sixteenth problem, Hilbert's sixteenth problem (conjecture). Also Wikidata Q2509489
History
- 2026-11-02: add by m2/dev
Principles 12TXY3TSB6
| URI | m2://inv/12TXY3TSB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum likelihood estimation#7Z0L, Principles (statement)
History
- 2026-11-02: add by m2/dev
12V3Z1H62N 12V3Z1H62N
| URI | m2://inv/12V3Z1H62N |
|---|---|
| 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 2409.17318#CHUS (definition). In 2P63T9MJ4P/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
12V4CKK3QX 12V4CKK3QX
| URI | m2://inv/12V4CKK3QX |
|---|---|
| Kind | definition |
| 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#IYTT (definition)
History
- 2026-11-01: add by m2/v0.6.15
Daniel Pedoe 12VDF96M49
| URI | m2://inv/12VDF96M49 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Pedoe, Daniel Pedoe (topic). Also Wikidata Q370054
History
- 2026-11-02: add by m2/dev
Emma Previato 12VN9XQY76
| URI | m2://inv/12VN9XQY76 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emma Previato, Emma Previato (topic). Also Wikidata Q19321847
History
- 2026-11-02: add by m2/dev
generalized extreme value distribution 12VW45S9KS
| URI | m2://inv/12VW45S9KS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1617240, generalized extreme value distribution (unknown). Also MathWorld ExtremeValueDistribution
- wikipedia: Wikipedia Generalized extreme value distribution, Generalized extreme value distribution (definition). Also Wikidata Q1617240
History
- 2026-10-26: add by m2/dev
Threshold theorem 12VZ2GTAMA
| URI | m2://inv/12VZ2GTAMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7269106, Quantum threshold theorem (statement). Also Wikidata Q7269106
- thousand_plus: thousand_plus Q7269106, Quantum threshold theorem (statement). Also Wikidata Q7269106, Wikipedia Quantum threshold theorem
- wikipedia: Wikipedia Threshold theorem, Threshold theorem (statement). Also Wikidata Q7269106
History
- 2026-10-26: add by m2/dev
Interlacing across Lie rank 12W2N1QSM4
| URI | m2://inv/12W2N1QSM4 |
|---|---|
| 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.24541#71B9, Interlacing across Lie rank (statement)
History
- 2026-11-01: add by m2/v0.6.15
Regular conference matrix type 12WE9PR9S0
| URI | m2://inv/12WE9PR9S0 |
|---|---|
| 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.10017#ZGTY, Regular conference matrix type (statement). In CJRBKR4JKT/e1, proposition 7.8
History
- 2026-10-29: add by m2/v0.4.10
12WJBYBT7Z 12WJBYBT7Z
| URI | m2://inv/12WJBYBT7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#GZ8O (statement). In 6M5WR7KB80/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.3
Fenchel's inequality 12WMAB4N4B
| URI | m2://inv/12WMAB4N4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#SSW9, Fenchel's inequality (definition)
- wikipedia: Wikipedia List of inequalities#67SY, Fenchel's inequality (definition)
History
- 2026-11-02: add by m2/dev
12WPC853Y3 12WPC853Y3
| URI | m2://inv/12WPC853Y3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#definition-6 (definition). In RZP28ERRZV, definition, section 97.4
History
- 2026-11-01: add by m2/v0.6.13
12WPM6W0VE 12WPM6W0VE
| URI | m2://inv/12WPM6W0VE |
|---|---|
| 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#R2P8 (statement). In 6KR7Z5ETRY/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.3.5
symmetric relation 12WQRMNFYG
| URI | m2://inv/12WQRMNFYG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.9.4/symmetric-relation, symmetric relation (concept). In E59CDZA4DP, index, section 11.9.4
History
- 2026-11-01: add by m2/v0.6.13
Newtonian potential 12WRNHSPXB
| URI | m2://inv/12WRNHSPXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newtonian potential, Newtonian potential (definition). Also Wikidata Q4328383
History
- 2026-11-02: add by m2/dev
Definition 12WVAQAEQC
| URI | m2://inv/12WVAQAEQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert transform#XWGV, Definition (definition)
History
- 2026-11-02: add by m2/dev
washer method 12WXG8HQD9
| URI | m2://inv/12WXG8HQD9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.2.2/washer-method, washer method (concept). In 907G4C4EJ1, index, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
12X2ZKANH1 12X2ZKANH1
| URI | m2://inv/12X2ZKANH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21915#T1IY (statement)
History
- 2026-11-02: add by m2/v0.6.17
12XAYA265W 12XAYA265W
| URI | m2://inv/12XAYA265W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.22073#KQXV (statement). In MVWSXXCXB7/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.2
12XJRASEDS 12XJRASEDS
| URI | m2://inv/12XJRASEDS |
|---|---|
| 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.05623#1ZTO (statement). In 7PFNKZYB7D/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Philosophiæ Naturalis Principia Mathematica 12XKYAQ90F
| URI | m2://inv/12XKYAQ90F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q205921, Philosophiæ Naturalis Principia Mathematica (unknown). Also ProofWiki Book:Isaac_Newton/Philosophiae_Naturalis_Principia_Mathematica
- wikipedia: Wikipedia Philosophiæ Naturalis Principia Mathematica, Philosophiæ Naturalis Principia Mathematica (definition). Also Wikidata Q205921
History
- 2026-10-26: add by m2/dev
Well-posedness and convergence of the discrete method 12XPVPVCHR
| URI | m2://inv/12XPVPVCHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05313#86WZ, Well-posedness and convergence of the discrete method (statement). In 8XPN1A2GR0/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Theorem 12Y2HRD0XD
| URI | m2://inv/12Y2HRD0XD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian path#HMOO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Approach to infinite-period orbits 12Y7RMPAKN
| URI | m2://inv/12Y7RMPAKN |
|---|---|
| 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 2609.34168#F4D3, Approach to infinite-period orbits (example). In 30YQV8N04M/e1, example 8.6
History
- 2026-10-30: add by m2/v0.4.12
Hindu-Arabic numerals 12YCSWA824
| URI | m2://inv/12YCSWA824 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#XJMI, Hindu-Arabic numerals (definition)
History
- 2026-11-02: add by m2/dev
12YE6HFPY3 12YE6HFPY3
| URI | m2://inv/12YE6HFPY3 |
|---|---|
| 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.20110#QGKS (statement). In 1SAMKN4477/e1, lemma 2.13
History
- 2026-10-27: add by m2/v0.4.2
Example 12YJCW1NVB
| URI | m2://inv/12YJCW1NVB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Illicit major#5650, Example (example)
History
- 2026-11-02: add by m2/dev
Hidden-coefficient support 12YPST51GG
| URI | m2://inv/12YPST51GG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10860#QEUR, Hidden-coefficient support (statement). In PBYNV2WF2H/e1, lemma 5.9
History
- 2026-10-28: add by m2/v0.4.3
tie 12YQP48QQ1
| URI | m2://inv/12YQP48QQ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1164849, tie (unknown). Also MathWorld Draw
History
- 2026-10-26: add by m2/dev
Statement 12Z0TT9AHF
| URI | m2://inv/12Z0TT9AHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin's axiom#95EV, Statement (statement)
History
- 2026-11-02: add by m2/dev
Logic Journal of the IGPL 12Z4MVH1TW
| URI | m2://inv/12Z4MVH1TW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#OQMZ, Logic Journal of the IGPL (unknown)
History
- 2026-11-02: add by m2/dev
12Z6N02NXR 12Z6N02NXR
| URI | m2://inv/12Z6N02NXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18377#KMBI (statement). In KYJJMC50SJ/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
12ZBWAKVHA 12ZBWAKVHA
| URI | m2://inv/12ZBWAKVHA |
|---|---|
| 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.31104#FR6Y (statement). In 67NFPNF39Y/e1, lemma 2.5
History
- 2026-10-31: add by m2/v0.5.6
Rate under SGC 12ZCVAAVE5
| URI | m2://inv/12ZCVAAVE5 |
|---|---|
| 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.12641#RJ8H, Rate under SGC (statement). In X5BYGZZHPF/e1, corollary K.7
History
- 2026-10-28: add by m2/v0.4.2
Definition 12ZP794SXM
| URI | m2://inv/12ZP794SXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root locus analysis#D96J, Definition (definition)
History
- 2026-11-02: add by m2/dev
Total cost function and derivation of EOQ formula 12ZQ08FWTF
| URI | m2://inv/12ZQ08FWTF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Economic order quantity#NOWJ, Total cost function and derivation of EOQ formula (statement)
History
- 2026-11-02: add by m2/dev
Hajós construction 12ZS109RT3
| URI | m2://inv/12ZS109RT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hajós construction, Hajós construction (definition). Also Wikidata Q5640281
History
- 2026-11-02: add by m2/dev