Inventory rows SV
The cards of the rows of the inventory whose ids start with SV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Lemma 2 SV07W3H9MT
| URI | m2://inv/SV07W3H9MT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Waerden's theorem#LFDH, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
SV0931ENTW SV0931ENTW
| URI | m2://inv/SV0931ENTW |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#1FDG (problem). In GQQZNRYK15/e1, problem 5.16
History
- 2026-10-31: add by m2/v0.5.6
Non-examples SV0B7FY99J
| URI | m2://inv/SV0B7FY99J |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic variety#IC7O, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Elongated pentagonal gyrobicupola SV0CTT6Y9V
| URI | m2://inv/SV0CTT6Y9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#HS57, Elongated pentagonal gyrobicupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#TDW6, Elongated pentagonal gyrobicupola (definition)
History
- 2026-11-02: add by m2/dev
SV0E205FZ8 SV0E205FZ8
| URI | m2://inv/SV0E205FZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21969#NK2C (statement)
History
- 2026-11-02: add by m2/v0.6.17
7-cube SV0MC1QE40
| URI | m2://inv/SV0MC1QE40 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#PQ0H, 7-cube (object)
History
- 2026-11-02: add by m2/dev
Recursion (linguistics) SV0NP430RN
| URI | m2://inv/SV0NP430RN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursion#VTHR, Recursion (linguistics) (unknown)
History
- 2026-11-02: add by m2/dev
SV0QN55JN4 SV0QN55JN4
| URI | m2://inv/SV0QN55JN4 |
|---|---|
| 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 0807.1652#MYGZ (statement). In 6RC18PTSTT/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Ruth Silverman SV0W2ZF59Y
| URI | m2://inv/SV0W2ZF59Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Silverman, Ruth Silverman (topic). Also Wikidata Q48494852
History
- 2026-11-02: add by m2/dev
Autoregressive moving-average model SV0WWYWHES
| URI | m2://inv/SV0WWYWHES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoregressive moving-average model, Autoregressive moving-average model (definition). Also Wikidata Q290467
History
- 2026-11-02: add by m2/dev
SV10VF6WHZ SV10VF6WHZ
| URI | m2://inv/SV10VF6WHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-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.14278#ND1S (statement). In RTE2C0PH4S/e1, corollary 6.4
History
- 2026-10-28: add by m2/v0.4.2
d'Alembert operator SV12FVRP62
| URI | m2://inv/SV12FVRP62 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q911268, d'Alembert operator (concept). Also EoM D'Alembert_operator, MathWorld dAlembertian
- wikipedia: Wikipedia D'Alembert operator, D'Alembert operator (definition). Also Wikidata Q911268
History
- 2026-10-26: add by m2/dev
William A. Massey SV13RJHV44
| URI | m2://inv/SV13RJHV44 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BNGI, William A. Massey (topic)
History
- 2026-11-02: add by m2/dev
Joseph Wedderburn SV14ZRJP3M
| URI | m2://inv/SV14ZRJP3M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Wedderburn, Joseph Wedderburn (topic). Also Wikidata Q667683
History
- 2026-11-02: add by m2/dev
SV18YJ72YC SV18YJ72YC
| URI | m2://inv/SV18YJ72YC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#9NQG (statement)
History
- 2026-11-02: add by m2/v0.6.17
matching, stable SV1DVJP136
| URI | m2://inv/SV1DVJP136 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.4/matching-stable, matching, stable (concept). In QKM9DD2H56, index, section 16.4
History
- 2026-11-01: add by m2/v0.6.13
Earth SV1DWT7TFA
| URI | m2://inv/SV1DWT7TFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2, Earth (definition). Also ProofWiki Definition:Earth
History
- 2026-10-26: add by m2/dev
Helene Stähelin SV1NFYAN94
| URI | m2://inv/SV1NFYAN94 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helene Stähelin, Helene Stähelin (topic). Also Wikidata Q30583472
History
- 2026-11-02: add by m2/dev
SV1Q0ESWX1 SV1Q0ESWX1
| URI | m2://inv/SV1Q0ESWX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#23N3 (statement). In N5ZM8MXJXH/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
SV1QGCEW92 SV1QGCEW92
| URI | m2://inv/SV1QGCEW92 |
|---|---|
| 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.21649#X5XW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Transfer principle SV1SN1CBEC
| URI | m2://inv/SV1SN1CBEC |
|---|---|
| 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.19908#1XB8, Transfer principle (statement)
History
- 2026-11-02: add by m2/v0.6.18
SV1ZTTE8SB SV1ZTTE8SB
| URI | m2://inv/SV1ZTTE8SB |
|---|---|
| Kind | example |
| 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.29748#KRUQ (example)
History
- 2026-11-01: add by m2/v0.6.15
Nakajima quiver variety SV2176M0RZ
| URI | m2://inv/SV2176M0RZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65553548, Nakajima quiver variety (unknown). Also MathWorld NakajimaQuiverVariety, nLab quiver varieties
History
- 2026-10-26: add by m2/dev
Compact quantum group SV21QYFQN0
| URI | m2://inv/SV21QYFQN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact quantum group, Compact quantum group (definition). Also Wikidata Q5155316
History
- 2026-11-02: add by m2/dev
Double torus knot SV26P3GS5M
| URI | m2://inv/SV26P3GS5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torus knot#44UT, Double torus knot (unknown)
History
- 2026-11-02: add by m2/dev
Félix Alcan SV26VV759H
| URI | m2://inv/SV26VV759H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#F3S6, Félix Alcan (unknown)
History
- 2026-11-02: add by m2/dev
SV28X1FGX1 SV28X1FGX1
| URI | m2://inv/SV28X1FGX1 |
|---|---|
| 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 2411.10658#CKZN (statement). In 3PY22ABV4Y/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
SV2GKSXFS1 SV2GKSXFS1
| URI | m2://inv/SV2GKSXFS1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise:L2cauchyschwarz (exercise). In E59CDZA4DP, exercise, section 1.8.7
History
- 2026-11-01: add by m2/v0.6.13
SV2HZAVZB8 SV2HZAVZB8
| URI | m2://inv/SV2HZAVZB8 |
|---|---|
| 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.11487#M6WC (statement). In 8S0K3Y25HM/e1, theorem 11.3
History
- 2026-10-28: add by m2/v0.4.3
Supersingular isogeny graph SV2N027Z34
| URI | m2://inv/SV2N027Z34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersingular isogeny graph, Supersingular isogeny graph (definition). Also Wikidata Q60790741
History
- 2026-11-02: add by m2/dev
SV2PEQ34MJ SV2PEQ34MJ
| URI | m2://inv/SV2PEQ34MJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12777#A9S6 (statement). In 1YFK2FB3JY/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Digon SV2R7RTB2C
| URI | m2://inv/SV2R7RTB2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#5XVN, Digon (definition)
History
- 2026-11-02: add by m2/dev
Applications SV2Y05PN5Z
| URI | m2://inv/SV2Y05PN5Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling numbers of the second kind#0IDA, Applications (example)
History
- 2026-11-02: add by m2/dev
SV31JM6R0E SV31JM6R0E
| URI | m2://inv/SV31JM6R0E |
|---|---|
| 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.19249#3H7N (statement). In 2X586J6KQ1/e1, corollary 3.4
History
- 2026-10-28: add by m2/v0.4.2
SV33FMZB1B SV33FMZB1B
| URI | m2://inv/SV33FMZB1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#NO71 (statement). In 5KR3MHYVV6/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
SV3798FSR3 SV3798FSR3
| URI | m2://inv/SV3798FSR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#CFH5 (statement). In CC6S1HVK0T/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
SV3EGR1JQ2 SV3EGR1JQ2
| URI | m2://inv/SV3EGR1JQ2 |
|---|---|
| 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.36622#KB3X (statement). In 9704QPRPR6/e1, lemma 5.7
History
- 2026-10-30: add by m2/v0.4.12
One Loudoun, Virginia SV3MCMH4Z6
| URI | m2://inv/SV3MCMH4Z6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#5LNJ, One Loudoun, Virginia (unknown)
History
- 2026-11-02: add by m2/dev
Utilization distribution SV3XVNTZ55
| URI | m2://inv/SV3XVNTZ55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Utilization distribution, Utilization distribution (definition). Also Wikidata Q7902863
History
- 2026-11-02: add by m2/dev
SV411C6V4C SV411C6V4C
| URI | m2://inv/SV411C6V4C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#mv:example:unitsquarepath (example). In E59CDZA4DP, example, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
Conditional measure-theoretic $\mathrm{MTP}_2$ SV42S5Z354
| URI | m2://inv/SV42S5Z354 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14318#N5GU, Conditional measure-theoretic $\mathrm{MTP}_2$ (definition). In HA4SZZJ831/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Raman Parimala SV4BZSQ5N8
| URI | m2://inv/SV4BZSQ5N8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raman Parimala, Raman Parimala (topic). Also Wikidata Q450277
History
- 2026-11-02: add by m2/dev
SV4D0F8NED SV4D0F8NED
| URI | m2://inv/SV4D0F8NED |
|---|---|
| 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.26500#FT6Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Subshift of finite type SV4DG0ZHEG
| URI | m2://inv/SV4DG0ZHEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subshift of finite type, Subshift of finite type (definition). Also Wikidata Q7631990
History
- 2026-11-02: add by m2/dev
Sasha Sodin SV4G3MJE7Z
| URI | m2://inv/SV4G3MJE7Z |
|---|---|
| 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#6NUO, Sasha Sodin (unknown)
History
- 2026-11-02: add by m2/dev
Golay pair SV4GXAMB5Q
| URI | m2://inv/SV4GXAMB5Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complementary sequences#2RH0, Golay pair (unknown)
History
- 2026-11-02: add by m2/dev
electronics SV4ZMDF483
| URI | m2://inv/SV4ZMDF483 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11650, electronics (definition). Also ProofWiki Definition:Electronics
History
- 2026-10-26: add by m2/dev
SV5321T82Z SV5321T82Z
| URI | m2://inv/SV5321T82Z |
|---|---|
| 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#L2M1 (statement). In PQGGCD09KP/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
SV53DGRMP9 SV53DGRMP9
| URI | m2://inv/SV53DGRMP9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16180#PWLR (statement). In FCFD59D3T6/e1, lemma B.3
History
- 2026-10-28: add by m2/v0.4.2
SV53T9ZXTP SV53T9ZXTP
| URI | m2://inv/SV53T9ZXTP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.21670#HH84 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition SV54Q7YW93
| URI | m2://inv/SV54Q7YW93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamma function#LJ0Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
Prime Number Theorem SV54STFBFG
| URI | m2://inv/SV54STFBFG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 5, Prime Number Theorem (statement)
History
- 2026-10-26: add by m2/dev
Gyroelongated pentagonal birotunda SV58SY4E2N
| URI | m2://inv/SV58SY4E2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#JSJ3, Gyroelongated pentagonal birotunda (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#1EKN, Gyroelongated pentagonal birotunda (definition)
History
- 2026-11-02: add by m2/dev
Homogeneous polynomial values SV5BRXK2BG
| URI | m2://inv/SV5BRXK2BG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33327#EC7H, Homogeneous polynomial values (statement). In A5R31P82BK/e1, corollary 8.8
History
- 2026-10-30: add by m2/v0.4.12
SV5F746M23 SV5F746M23
| URI | m2://inv/SV5F746M23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.14956#5GNZ (statement). In T8BQ6HHZYT/e1, proposition 6.22
History
- 2026-10-27: add by m2/v0.3.5
SV5Q139K15 SV5Q139K15
| URI | m2://inv/SV5Q139K15 |
|---|---|
| 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.39992#25JG (statement). In WF64CGYVK1/e1, lemma S10
History
- 2026-10-30: add by m2/v0.4.12
SV5T8SVZ55 SV5T8SVZ55
| URI | m2://inv/SV5T8SVZ55 |
|---|---|
| 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.15460#X0OU (statement). In T2Z3D2VQ9B/e1, proposition A.4
History
- 2026-10-28: add by m2/v0.4.2
SV69DSRZXZ SV69DSRZXZ
| URI | m2://inv/SV69DSRZXZ |
|---|---|
| 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 1907.01440#H8N0 (statement). In QDRYC6WJJ7/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
SV6FS8ZZ6J SV6FS8ZZ6J
| URI | m2://inv/SV6FS8ZZ6J |
|---|---|
| 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.18252#ATGT (statement). In PSQ3CNVK2D/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Stouffer, Samuel A. SV6JJBHPFD
| URI | m2://inv/SV6JJBHPFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#SQL7, Stouffer, Samuel A. (unknown)
History
- 2026-11-02: add by m2/dev
SV6Y3CQAJR SV6Y3CQAJR
| URI | m2://inv/SV6Y3CQAJR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#BEM1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
SV6Z2BHH12 SV6Z2BHH12
| URI | m2://inv/SV6Z2BHH12 |
|---|---|
| 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 2205.15365#B1QS (statement). In R2XC1SC9NZ/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
SV7089KKHE SV7089KKHE
| URI | m2://inv/SV7089KKHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.14380#M25D (statement). In 2ZRQP063HP/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
Lüroth's theorem SV73R93G2D
| URI | m2://inv/SV73R93G2D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational variety#Z651, Lüroth's theorem (statement)
History
- 2026-11-02: add by m2/dev
SV74D793J5 SV74D793J5
| URI | m2://inv/SV74D793J5 |
|---|---|
| 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 1408.1555#NX7P (statement). In S1F2QW24YW/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.3.5
Definition SV79KCXYCQ
| URI | m2://inv/SV79KCXYCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant manifold#PG5V, Definition (definition)
History
- 2026-11-02: add by m2/dev
P-chart SV7ENZ1RWS
| URI | m2://inv/SV7ENZ1RWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0A45, P-chart (definition)
- wikipedia: Wikipedia List of graphical methods#L2WW, P-chart (definition)
History
- 2026-11-02: add by m2/dev
SV7NT47AKQ SV7NT47AKQ
| URI | m2://inv/SV7NT47AKQ |
|---|---|
| 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#280W (statement). In GMRT5GHBZS/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.10
Example SV8H1XH9AJ
| URI | m2://inv/SV8H1XH9AJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arbitrage#WG1I, Example (example)
History
- 2026-11-02: add by m2/dev
SV8HW8A1JP SV8HW8A1JP
| URI | m2://inv/SV8HW8A1JP |
|---|---|
| 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.08104#NAT1 (statement). In AH6BX8RZTW/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
SV8HXV2T9B SV8HXV2T9B
| URI | m2://inv/SV8HXV2T9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#CFX2 (statement). In KP0X1RKKKB/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.0
Properties SV8J3WW5CR
| URI | m2://inv/SV8J3WW5CR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobson radical#O5F4, Properties (statement)
History
- 2026-11-02: add by m2/dev
SV8KFR3ZER SV8KFR3ZER
| URI | m2://inv/SV8KFR3ZER |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#MCMM (definition). In X88HPQ0W8C/e1, definition 2.19
History
- 2026-10-27: add by m2/v0.3.5
Effective domain SV8PFQMW82
| URI | m2://inv/SV8PFQMW82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective domain, Effective domain (definition). Also Wikidata Q5347254
History
- 2026-11-02: add by m2/dev
Irreversible exclusion front SV8T0MP7GZ
| URI | m2://inv/SV8T0MP7GZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39633#SSS6, Irreversible exclusion front (statement). In B339AJZP2S/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
SV8WJXRVMF SV8WJXRVMF
| URI | m2://inv/SV8WJXRVMF |
|---|---|
| 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 2507.12309#Y1ET (statement). In ZR53K3E0FR/e1, proposition 27
History
- 2026-10-27: add by m2/v0.3.6
Pintz, János SV911VHYD7
| URI | m2://inv/SV911VHYD7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#CIIV, Pintz, János (topic)
History
- 2026-11-02: add by m2/dev
Other statements of the theorem SV99Q27XKM
| URI | m2://inv/SV99Q27XKM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pappus's hexagon theorem#LU7L, Other statements of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalizations SV9CK674JG
| URI | m2://inv/SV9CK674JG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor conjecture (K-theory)#EO8U, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
SV9PM2S69M SV9PM2S69M
| URI | m2://inv/SV9PM2S69M |
|---|---|
| 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 2210.11778#AMGA (definition). In PPAJZ2JBCE/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Tarski–Grothendieck set theory SV9VEYKQDK
| URI | m2://inv/SV9VEYKQDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#TS85, Tarski–Grothendieck set theory (definition)
History
- 2026-11-02: add by m2/dev
Statement SV9Y1WM4ZR
| URI | m2://inv/SV9Y1WM4ZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass M-test#615K, Statement (statement)
History
- 2026-11-02: add by m2/dev
CVE-2014-0224 SVA5FCTXX2
| URI | m2://inv/SVA5FCTXX2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OpenSSL#CEBI, CVE-2014-0224 (unknown)
History
- 2026-11-02: add by m2/dev
SVA8AVPZ8B SVA8AVPZ8B
| URI | m2://inv/SVA8AVPZ8B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#exer:cubes_vs_open (exercise). In RZP28ERRZV, exercise, section 63.5
History
- 2026-11-01: add by m2/v0.6.13
megaflops SVAB7KBGAR
| URI | m2://inv/SVAB7KBGAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q66778809, megaflops (definition). Also ProofWiki Definition:Megaflop
History
- 2026-10-26: add by m2/dev
Generalizations SVAEHG54VR
| URI | m2://inv/SVAEHG54VR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite difference#4FKE, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
SVAH7BY6Q2 SVAH7BY6Q2
| URI | m2://inv/SVAH7BY6Q2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.06338#GFTB (statement). In F1CYVYK7YB/e1, theorem 7.4
History
- 2026-10-29: add by m2/v0.4.10
Unit-span continuation SVAP16E8YZ
| URI | m2://inv/SVAP16E8YZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40077#IGWD, Unit-span continuation (statement). In F0HMNYB8WB/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Algorithms SVAT74YNZ1
| URI | m2://inv/SVAT74YNZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia All-or-nothing transform#M3P4, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
SVATKHWFSH SVATKHWFSH
| URI | m2://inv/SVATKHWFSH |
|---|---|
| Kind | example |
| 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.36827#9096 (example). In VSHAQTB2CA/e1, example 4.1
History
- 2026-10-30: add by m2/v0.4.12
Quantum cryptography SVB0ZRFD3M
| URI | m2://inv/SVB0ZRFD3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#U9OA, Quantum cryptography (definition)
History
- 2026-11-02: add by m2/dev
Proj construction SVB2B3AT67
| URI | m2://inv/SVB2B3AT67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#LMWC, Proj construction (definition)
History
- 2026-11-02: add by m2/dev
Simon Donaldson SVB2EBB9P7
| URI | m2://inv/SVB2EBB9P7 |
|---|---|
| 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 Q334039, Simon Donaldson (unknown). Also nLab Simon Donaldson
- wikipedia: Wikipedia Simon Donaldson, Simon Donaldson (topic). Also Wikidata Q334039
History
- 2026-10-26: add by m2/dev
SVB6SMEP9B SVB6SMEP9B
| URI | m2://inv/SVB6SMEP9B |
|---|---|
| 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.20521#WV60 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications SVB8FG06RF
| URI | m2://inv/SVB8FG06RF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khatri–Rao product#RJ34, Applications (example)
History
- 2026-11-02: add by m2/dev
Open vertices and edges SVBB2Q7ZVJ
| URI | m2://inv/SVBB2Q7ZVJ |
|---|---|
| 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 2610.18312#5TEW, Open vertices and edges (definition). In NPEVE32HFP/e1, definition 7.3
History
- 2026-10-28: add by m2/v0.4.2
List of trigonometric identities SVBHQ7H1N6
| URI | m2://inv/SVBHQ7H1N6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of trigonometric identities, List of trigonometric identities (topic). Also Wikidata Q273008
History
- 2026-11-02: add by m2/dev
Properties SVBHXG3A2C
| URI | m2://inv/SVBHXG3A2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz polynomial#YZ4T, Properties (statement)
History
- 2026-11-02: add by m2/dev
SVBT4SCHND SVBT4SCHND
| URI | m2://inv/SVBT4SCHND |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34382#P094 (definition). In MEF2VCAYXS/e1, definition 2.7
History
- 2026-10-30: add by m2/v0.4.12
SVBVS1PGJB SVBVS1PGJB
| URI | m2://inv/SVBVS1PGJB |
|---|---|
| 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.31327#1R9U (statement). In F605BQ3AYX/e1, corollary 6.3
History
- 2026-10-31: add by m2/v0.5.6
SVC2447FTT SVC2447FTT
| URI | m2://inv/SVC2447FTT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/halting-problem.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 86.7
History
- 2026-11-01: add by m2/v0.6.13
Results SVC2GYJAFC
| URI | m2://inv/SVC2GYJAFC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Endre Boros#NCOW, Results (statement)
History
- 2026-11-02: add by m2/dev
Matrix scale-Gaussian decomposition SVC57AB53W
| URI | m2://inv/SVC57AB53W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#GZS0, Matrix scale-Gaussian decomposition (statement). In HTWSDDAWGS/e1, lemma D.2
History
- 2026-10-29: add by m2/v0.4.10
SVC82EWRFH SVC82EWRFH
| URI | m2://inv/SVC82EWRFH |
|---|---|
| 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.39104#2OYS (statement). In V2NTW27MSJ/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
SVC8Q029CY SVC8Q029CY
| URI | m2://inv/SVC8Q029CY |
|---|---|
| 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.09390#2S5L (statement). In 7SSKW778T8/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Monoglaciation SVC8S6XTKX
| URI | m2://inv/SVC8S6XTKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#YKY4, Monoglaciation (unknown)
History
- 2026-11-02: add by m2/dev
Schoof's algorithm SVC90YXPX7
| URI | m2://inv/SVC90YXPX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schoof's algorithm, Schoof's algorithm (definition). Also Wikidata Q2835817
History
- 2026-11-02: add by m2/dev
Auxiliary normed spaces SVCA1NJGBE
| URI | m2://inv/SVCA1NJGBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#Q04W, Auxiliary normed spaces (definition)
History
- 2026-11-02: add by m2/dev
Stanley, Edward SVCA68KT4K
| URI | m2://inv/SVCA68KT4K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#HBGU, Stanley, Edward (unknown)
History
- 2026-11-02: add by m2/dev
Applications SVCG0GDAA2
| URI | m2://inv/SVCG0GDAA2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian epistemology#ADVK, Applications (example)
History
- 2026-11-02: add by m2/dev
Three Valley Gap SVCGM2HWSD
| URI | m2://inv/SVCGM2HWSD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VQGD, Three Valley Gap (unknown)
History
- 2026-11-02: add by m2/dev
Phase dispersion minimization SVCJ0Y37QE
| URI | m2://inv/SVCJ0Y37QE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase dispersion minimization, Phase dispersion minimization (definition). Also Wikidata Q2085283
History
- 2026-11-02: add by m2/dev
Affine segments and the bordered solve SVCJR4XXW2
| URI | m2://inv/SVCJR4XXW2 |
|---|---|
| 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.25704#4JE1, Affine segments and the bordered solve (statement)
History
- 2026-11-01: add by m2/v0.6.15
SVCNTQ4Q3M SVCNTQ4Q3M
| URI | m2://inv/SVCNTQ4Q3M |
|---|---|
| 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.06081#DR89 (statement). In 7Z3KQRFEVG/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
Construction in the compatible energy space SVCRKPWRER
| URI | m2://inv/SVCRKPWRER |
|---|---|
| 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.34202#7KM9, Construction in the compatible energy space (statement). In 57CRGWHT13/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Measured-sample error SVDE2MG3XK
| URI | m2://inv/SVDE2MG3XK |
|---|---|
| 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.10484#85SC, Measured-sample error (statement). In 5B4AX4SF88/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
SVDFDN786R SVDFDN786R
| URI | m2://inv/SVDFDN786R |
|---|---|
| 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#2599 (statement). In 9YAE8FNQST/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
SVDJVJTHT2 SVDJVJTHT2
| URI | m2://inv/SVDJVJTHT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#PL3O (statement)
History
- 2026-11-01: add by m2/v0.6.15
divisor SVDS343X66
| URI | m2://inv/SVDS343X66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#51UY, divisor (definition)
History
- 2026-11-02: add by m2/dev
SVDW459TY6 SVDW459TY6
| URI | m2://inv/SVDW459TY6 |
|---|---|
| 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.21668#1R7D (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lower bound determinant ratio SVDWJ1JX3E
| URI | m2://inv/SVDWJ1JX3E |
|---|---|
| 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.21972#4WKT, Lower bound determinant ratio (statement)
History
- 2026-11-02: add by m2/v0.6.17
Thurstone, Louis Leon SVDXQG13ME
| URI | m2://inv/SVDXQG13ME |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BBZB, Thurstone, Louis Leon (unknown)
History
- 2026-11-02: add by m2/dev
Helical repetition code $H(a,-b)$ SVE4AS6A8Z
| URI | m2://inv/SVE4AS6A8Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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.04834#V9S7, Helical repetition code $H(a,-b)$ (definition). In YZNK67K060/e1, definition 7.11
History
- 2026-10-29: add by m2/v0.4.12
Advances in Group Theory and Applications SVE5KJKPGT
| URI | m2://inv/SVE5KJKPGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advances in Group Theory and Applications, Advances in Group Theory and Applications (definition). Also Wikidata Q48965535
History
- 2026-11-02: add by m2/dev
SVE90E5MHY SVE90E5MHY
| URI | m2://inv/SVE90E5MHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#defn-9 (definition). In E59CDZA4DP, defn, section 4.3.1
History
- 2026-11-01: add by m2/v0.6.13
Dmitrii Treschev SVEG1BSSAS
| URI | m2://inv/SVEG1BSSAS |
|---|---|
| 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#XGL7, Dmitrii Treschev (topic)
History
- 2026-11-02: add by m2/dev
SVENZMAJ6W SVENZMAJ6W
| URI | m2://inv/SVENZMAJ6W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/introduction/natural-deduction.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 32.1.6
History
- 2026-11-01: add by m2/v0.6.13
SVEVHR3RCA SVEVHR3RCA
| URI | m2://inv/SVEVHR3RCA |
|---|---|
| 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.01596#RMZU (statement). In 40VTEP7WH8/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Lie bialgebroid SVEWQS6ZQR
| URI | m2://inv/SVEWQS6ZQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25303680, Lie bialgebroid (unknown). Also nLab Lie bialgebroid
- wikipedia: Wikipedia Lie bialgebroid, Lie bialgebroid (definition). Also Wikidata Q25303680
History
- 2026-10-26: add by m2/dev
SVF0C4Y7ZN SVF0C4Y7ZN
| URI | m2://inv/SVF0C4Y7ZN |
|---|---|
| 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.20881#KXB8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
SVFA4P4JP5 SVFA4P4JP5
| URI | m2://inv/SVFA4P4JP5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.08123#O5AR (statement). In TAAB0QAKAG/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
SVFRX0FMZG SVFRX0FMZG
| URI | m2://inv/SVFRX0FMZG |
|---|---|
| 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.17677#5OT0 (statement). In 5E9G06XJKC/e1, lemma G.9
History
- 2026-10-28: add by m2/v0.4.2
SVFW5QGN8H SVFW5QGN8H
| URI | m2://inv/SVFW5QGN8H |
|---|---|
| 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 2306.08237#4V0F (statement). In E22A2MFR4Y/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.6
SVG0R7Z0T5 SVG0R7Z0T5
| URI | m2://inv/SVG0R7Z0T5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-2-1-elem-rules.xml#example-4 (example). In 907G4C4EJ1, example, section 2.1.4
History
- 2026-11-01: add by m2/v0.6.13
Example SVG2EKT1FC
| URI | m2://inv/SVG2EKT1FC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance#QAFS, Example (example)
History
- 2026-11-02: add by m2/dev
Reproducing property for the derivative SVG6MPZ8AH
| URI | m2://inv/SVG6MPZ8AH |
|---|---|
| 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.19861#ZKW8, Reproducing property for the derivative (statement). In 5ZPQ60TM6J/e1, proposition 22
History
- 2026-10-28: add by m2/v0.4.2
Weinstein's tubular neighbourhood theorem SVG6Q3N1ST
| URI | m2://inv/SVG6Q3N1ST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weinstein's neighbourhood theorem#MY1C, Weinstein's tubular neighbourhood theorem (statement)
History
- 2026-11-02: add by m2/dev
SVGCENJK9A SVGCENJK9A
| URI | m2://inv/SVGCENJK9A |
|---|---|
| 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 0902.4887#KRG0 (statement). In MYQ05J9R20/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.3.5
SVGH97P379 SVGH97P379
| URI | m2://inv/SVGH97P379 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-84 (exercise). In E9HS8K3A52, exercise, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
Theorem on zeros of a polynomial SVGJVBZ1C5
| URI | m2://inv/SVGJVBZ1C5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Hilton Grace#EAZ8, Theorem on zeros of a polynomial (statement)
History
- 2026-11-02: add by m2/dev
Ring action SVGM2QTDD6
| URI | m2://inv/SVGM2QTDD6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Module (mathematics)#VD8M, Ring action (unknown)
History
- 2026-11-02: add by m2/dev
SVGM872RYD SVGM872RYD
| URI | m2://inv/SVGM872RYD |
|---|---|
| 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.33124#DWQA (statement). In P27HYGQDAN/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
362 (number) SVGSJX3F7K
| URI | m2://inv/SVGSJX3F7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#CQ2Q, 362 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Marginal-Pointwise identity SVGYNBKG5W
| URI | m2://inv/SVGYNBKG5W |
|---|---|
| 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.19573#RMMG, Marginal-Pointwise identity (statement). In NM6Z2R61CN/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
SVH02G5EVC SVH02G5EVC
| URI | m2://inv/SVH02G5EVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03745#3K69 (statement). In YWXVX6AX8F/e1, corollary 8.4
History
- 2026-10-29: add by m2/v0.4.12
16-cell honeycomb SVH0JV0641
| URI | m2://inv/SVH0JV0641 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 16-cell honeycomb, 16-cell honeycomb (definition). Also Wikidata Q4551084
History
- 2026-11-02: add by m2/dev
Example SVH6RZAH92
| URI | m2://inv/SVH6RZAH92 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Las Vegas algorithm#L0JS, Example (example)
History
- 2026-11-02: add by m2/dev
SVHJ2RKD45 SVHJ2RKD45
| URI | m2://inv/SVHJ2RKD45 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.16605#ZNLJ (statement). In KZ175036B5/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
dual basis, covector basis, or reciprocal basis SVHRWM4WWD
| URI | m2://inv/SVHRWM4WWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance and contravariance of vectors#I9D4, dual basis, covector basis, or reciprocal basis (definition)
History
- 2026-11-02: add by m2/dev
Rule Language SVHVWW6ZBY
| URI | m2://inv/SVHVWW6ZBY |
|---|---|
| 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 math/0003117#CX1R, Rule Language (statement). In WD2NCBV9F0/e1, theorem 15
History
- 2026-10-27: add by m2/v0.3.5
relative homology SVJ83RQ5FN
| URI | m2://inv/SVJ83RQ5FN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Relative homology 4BVWH0BN28 |
Mentions
- wikidata: Wikidata Q1959911, relative homology (unknown). Also EoM Relative_homology, nLab relative homology
- wikipedia: Wikipedia Relative homology, Relative homology (definition). Also Wikidata Q1959911
History
- 2026-10-26: add by m2/dev
SVJAV9ABQN SVJAV9ABQN
| URI | m2://inv/SVJAV9ABQN |
|---|---|
| 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 2409.20170#A2MP (statement). In QXJP79APHN/e1, theorem 2.16
History
- 2026-10-27: add by m2/v0.3.5
SVJEK7MFFV SVJEK7MFFV
| URI | m2://inv/SVJEK7MFFV |
|---|---|
| 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 2605.30679#EJCU (statement). In Z31GMHMG7B/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
partial homomorphism SVJHET2WPS
| URI | m2://inv/SVJHET2WPS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#RFFX, partial homomorphism (definition). In 9ZSNSJRJ5N/e1, definition 2
History
- 2026-10-27: add by m2/v0.4.2
Procedure SVJHW8E56E
| URI | m2://inv/SVJHW8E56E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feige–Fiat–Shamir identification scheme#KCYQ, Procedure (definition)
History
- 2026-11-02: add by m2/dev
SVJQYQHM43 SVJQYQHM43
| URI | m2://inv/SVJQYQHM43 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#example-9 (example). In RZP28ERRZV, example, section 32.6
History
- 2026-11-01: add by m2/v0.6.13
SCS SVJTZ4MMHG
| URI | m2://inv/SVJTZ4MMHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#AJBI, SCS (definition)
History
- 2026-11-02: add by m2/dev
Independent and identically distributed random variables SVJZEB1GGM
| URI | m2://inv/SVJZEB1GGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independent and identically distributed random variables, Independent and identically distributed random variables (definition). Also Wikidata Q378542
History
- 2026-11-02: add by m2/dev
SVJZRMH07R SVJZRMH07R
| URI | m2://inv/SVJZRMH07R |
|---|---|
| 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 alg-geom/9506022#18LV (statement). In AQGEM4XAKD/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.3.5
Christel Rotthaus SVK505W8W7
| URI | m2://inv/SVK505W8W7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christel Rotthaus, Christel Rotthaus (topic). Also Wikidata Q19665300
History
- 2026-11-02: add by m2/dev
unibranch SVK5F3GRYF
| URI | m2://inv/SVK5F3GRYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#43EC, unibranch (definition)
History
- 2026-11-02: add by m2/dev
All same-side means SVKACDH9FJ
| URI | m2://inv/SVKACDH9FJ |
|---|---|
| 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.24931#WE1H, All same-side means (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elementwise preservation of relative smallness SVKB1JFRMD
| URI | m2://inv/SVKB1JFRMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#19CW, Elementwise preservation of relative smallness (statement). In HX63A1PH1W/e1, proposition 5.22
History
- 2026-10-28: add by m2/v0.4.3
SVKF4FNHRR SVKF4FNHRR
| URI | m2://inv/SVKF4FNHRR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#TRZB (definition)
History
- 2026-11-01: add by m2/v0.6.15
SVKH91K23R SVKH91K23R
| URI | m2://inv/SVKH91K23R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/function-basics.tex#ex-2 (example). In PKGMM3P5QY, ex, section 78.9
History
- 2026-11-01: add by m2/v0.6.13
SVKVG7AJJX SVKVG7AJJX
| URI | m2://inv/SVKVG7AJJX |
|---|---|
| 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.02751#RKAL (statement). In MWGXPXF3BW/e1, proposition 20
History
- 2026-10-29: add by m2/v0.4.12
Example SVKVXH0RZD
| URI | m2://inv/SVKVXH0RZD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lusin's theorem#SDNE, Example (example)
History
- 2026-11-02: add by m2/dev
SVM4WJDBCX SVM4WJDBCX
| URI | m2://inv/SVM4WJDBCX |
|---|---|
| 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 2609.30018#NGMC (definition)
History
- 2026-11-01: add by m2/v0.6.15
SVMD4NAJ0S SVMD4NAJ0S
| URI | m2://inv/SVMD4NAJ0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-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.26058#B1V9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions SVMP82BZYF
| URI | m2://inv/SVMP82BZYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ringed space#I0I1, Definitions (definition)
History
- 2026-11-02: add by m2/dev
free Lie algebra SVMVAYTRSW
| URI | m2://inv/SVMVAYTRSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 17-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5499906, Shirshov–Witt theorem (statement). Also Wikidata Q5499906
- thousand_plus: thousand_plus Q5499906, Shirshov–Witt theorem (statement). Also Wikidata Q5499906, Wikipedia Shirshov–Witt theorem
- wikidata: Wikidata Q5499906, free Lie algebra (unknown). Also nLab free Lie algebra
- wikipedia: Wikipedia Free Lie algebra, Free Lie algebra (definition). Also Wikidata Q5499906
History
- 2026-10-26: add by m2/dev
Examples SVMVJHP9MS
| URI | m2://inv/SVMVJHP9MS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scattered space#MY2S, Examples (example)
History
- 2026-11-02: add by m2/dev
SVN2AT466X SVN2AT466X
| URI | m2://inv/SVN2AT466X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#YRO0 (statement). In BSWNH3NW1M/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.3.5
Aleksander Pełczyński SVN44RV4NX
| URI | m2://inv/SVN44RV4NX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WENC, Aleksander Pełczyński (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7O9Q, Aleksander Pełczyński (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FONI, Aleksander Pełczyński (topic)
History
- 2026-11-02: add by m2/dev
maximum principle SVN4BEYVF9
| URI | m2://inv/SVN4BEYVF9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.2/maximum-principle, maximum principle (concept). In VNMV985MXX, index, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Le Cam distance SVN6WNKSYP
| URI | m2://inv/SVN6WNKSYP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deficiency (statistics)#CSOK, Le Cam distance (unknown)
History
- 2026-11-02: add by m2/dev
SVNHT15V8B SVNHT15V8B
| URI | m2://inv/SVNHT15V8B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#II49 (definition). In 2QP93JHYNB/e1, definition 8.25
History
- 2026-10-27: add by m2/v0.4.2
Ringel–Hall algebra SVNPZB57VZ
| URI | m2://inv/SVNPZB57VZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ringel–Hall algebra, Ringel–Hall algebra (definition). Also Wikidata Q7334849
History
- 2026-11-02: add by m2/dev
9-cube SVNSXYFD6Y
| URI | m2://inv/SVNSXYFD6Y |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#KHJZ, 9-cube (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#OGWU, 9-cube (object)
History
- 2026-11-02: add by m2/dev
The Bethe classes of every word SVNV2768ST
| URI | m2://inv/SVNV2768ST |
|---|---|
| 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.18512#TD8B, The Bethe classes of every word (statement). In 11JNM66Z09/e1, theorem 11.6
History
- 2026-10-28: add by m2/v0.4.2
Independence of the continuum hypothesis SVNZTYC9ZN
| URI | m2://inv/SVNZTYC9ZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#H3VP, Independence of the continuum hypothesis (statement)
History
- 2026-11-02: add by m2/dev
SVPEPXXTKH SVPEPXXTKH
| URI | m2://inv/SVPEPXXTKH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
SVPPT7W2Q9 SVPPT7W2Q9
| URI | m2://inv/SVPPT7W2Q9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.16605#4RUZ (statement). In KZ175036B5/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
Properties SVPS1R4P5A
| URI | m2://inv/SVPS1R4P5A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PSL(2,7)#Q9XY, Properties (statement)
History
- 2026-11-02: add by m2/dev
semi-invariant SVPWRPYAC3
| URI | m2://inv/SVPWRPYAC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#NYQ0, semi-invariant (definition)
History
- 2026-11-02: add by m2/dev
injective module SVQH1M181G
| URI | m2://inv/SVQH1M181G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Injective module 85H7PRHDPZ |
Mentions
- wikidata: Wikidata Q2716519, injective module (definition). Also EoM Injective_module, MathWorld InjectiveModule, nLab injective module, ProofWiki Definition:Injective_Module
- wikipedia: Wikipedia Injective module, Injective module (definition). Also Wikidata Q2716519
History
- 2026-10-26: add by m2/dev
Elveden #30 SVQKJ4HYAJ
| URI | m2://inv/SVQKJ4HYAJ |
|---|---|
| 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#KF2S, Elveden #30 (unknown)
History
- 2026-11-02: add by m2/dev
Applications SVQRPXGJ54
| URI | m2://inv/SVQRPXGJ54 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brewster's angle#WS8H, Applications (example)
History
- 2026-11-02: add by m2/dev
power of three SVQXQB296K
| URI | m2://inv/SVQXQB296K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96399905, power of three (object). Also OEIS A000244
- wikipedia: Wikipedia Power of three, Power of three (definition). Also Wikidata Q96399905
History
- 2026-10-26: add by m2/dev
SVR08WB95C SVR08WB95C
| URI | m2://inv/SVR08WB95C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24008#32LV (statement)
History
- 2026-11-02: add by m2/v0.6.17
SVRAH3TVC9 SVRAH3TVC9
| URI | m2://inv/SVRAH3TVC9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#MEPP (statement). In CC6S1HVK0T/e1, corollary 5.8
History
- 2026-10-28: add by m2/v0.4.2
SVRBRH367T SVRBRH367T
| URI | m2://inv/SVRBRH367T |
|---|---|
| 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.20242#ZLCT (statement). In TAX627CRH2/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.4.2
Geometrography SVRE0B8F9Q
| URI | m2://inv/SVRE0B8F9Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrography, Geometrography (topic). Also Wikidata Q5535510
History
- 2026-11-02: add by m2/dev
codomain SVRXRKYFVX
| URI | m2://inv/SVRXRKYFVX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.6.2/codomain, codomain (concept). In 907G4C4EJ1, index, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
Linear canonical transform SVRZBPYH08
| URI | m2://inv/SVRZBPYH08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#YRDM, Linear canonical transform (definition)
- wikipedia: Wikipedia List of Fourier-related transforms#U6RX, Linear canonical transform (definition)
History
- 2026-11-02: add by m2/dev
SVSAAKCEPV SVSAAKCEPV
| URI | m2://inv/SVSAAKCEPV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#eg:suspension (example). In N54F33XE07, eg, section 7.7.1
History
- 2026-11-01: add by m2/v0.6.13
Neumann, János SVSJWYF7BV
| URI | m2://inv/SVSJWYF7BV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#4STF, Neumann, János (topic)
History
- 2026-11-02: add by m2/dev
SVT66HGJNW SVT66HGJNW
| URI | m2://inv/SVT66HGJNW |
|---|---|
| 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#CL5J (statement)
History
- 2026-11-02: add by m2/v0.6.18
Einar Hille SVT67K2CF8
| URI | m2://inv/SVT67K2CF8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einar Hille, Einar Hille (topic). Also Wikidata Q930705
History
- 2026-11-02: add by m2/dev
Survivorship bias SVTA1MWQYG
| URI | m2://inv/SVTA1MWQYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#PCNC, Survivorship bias (definition)
History
- 2026-11-02: add by m2/dev
Theorem D (groups) SVTBP9T6C9
| URI | m2://inv/SVTBP9T6C9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism theorems#WHBC, Theorem D (groups) (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Von Neumann–Bernays–Gödel set theory SVTBTF4PAW
| URI | m2://inv/SVTBTF4PAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Von Neumann–Bernays–Gödel set theory JTPZ1HZ9KK |
Mentions
- wikidata: Wikidata Q278770, Von Neumann–Bernays–Gödel set theory (unknown). Also MathWorld vonNeumann-Bernays-GoedelSetTheory
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory, Von Neumann–Bernays–Gödel set theory (definition). Also Wikidata Q278770
History
- 2026-10-26: add by m2/dev
Sato–Tate conjecture SVTP8591MP
| URI | m2://inv/SVTP8591MP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sato–Tate conjecture, Sato–Tate conjecture (statement). Also Wikidata Q2993331
History
- 2026-11-02: add by m2/dev
Properties SVTS7H7WJP
| URI | m2://inv/SVTS7H7WJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultragraph C*-algebra#I3LB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Dialectica SVTWP8Z0QY
| URI | m2://inv/SVTWP8Z0QY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#TVH9, Dialectica (definition)
History
- 2026-11-02: add by m2/dev
Degree-Choosability SVTXR7VKC6
| URI | m2://inv/SVTXR7VKC6 |
|---|---|
| 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.14374#1WA2, Degree-Choosability (statement). In YPTC532FEG/e1, theorem 15
History
- 2026-10-28: add by m2/v0.4.2
SVV0C737XM SVV0C737XM
| URI | m2://inv/SVV0C737XM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.00134#E4QP (statement). In S654779J5P/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
SVV2P8P1VZ SVV2P8P1VZ
| URI | m2://inv/SVV2P8P1VZ |
|---|---|
| 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 2609.27320#IX3Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Grothendieck local duality SVVCZGSGFZ
| URI | m2://inv/SVVCZGSGFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#Y8OV, Grothendieck local duality (definition)
History
- 2026-11-02: add by m2/dev
SVVEPVS7VM SVVEPVS7VM
| URI | m2://inv/SVVEPVS7VM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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.17139#HOVF (statement). In AQWX60Z563/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
Properly discontinuous SVVHAXH9ST
| URI | m2://inv/SVVHAXH9ST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#S9F2, Properly discontinuous (definition)
History
- 2026-11-02: add by m2/dev
Small-$s$ accuracy SVVJ9H46WZ
| URI | m2://inv/SVVJ9H46WZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.14069#SVLP, Small-$s$ accuracy (statement). In ABYRBVNC3Y/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
Algebraic matroid SVVK2P0921
| URI | m2://inv/SVVK2P0921 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic matroid, Algebraic matroid (definition). Also Wikidata Q17003565
History
- 2026-11-02: add by m2/dev
measuring SVVMEKN77R
| URI | m2://inv/SVVMEKN77R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#NTB8, measuring (definition). In 9ZSNSJRJ5N/e1, definition 3
History
- 2026-10-27: add by m2/v0.4.2
Examples and non-examples of prime ideals SVVN1T7YY1
| URI | m2://inv/SVVN1T7YY1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#example-2, Examples and non-examples of prime ideals (example). In RZP28ERRZV, example, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Hoover index SVVP5BBTC8
| URI | m2://inv/SVVP5BBTC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#E9H3, Hoover index (definition)
History
- 2026-11-02: add by m2/dev
Partition of an integer SVVPFWHCZX
| URI | m2://inv/SVVPFWHCZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#F8N6, Partition of an integer (definition)
History
- 2026-11-02: add by m2/dev
Disjunctive normal form SVVQZMZC9M
| URI | m2://inv/SVVQZMZC9M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#1JK9, Disjunctive normal form (definition)
History
- 2026-11-02: add by m2/dev
Mandart inellipse SVW457BE6M
| URI | m2://inv/SVW457BE6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#V61D, Mandart inellipse (definition)
History
- 2026-11-02: add by m2/dev
SVW6P3CXTS SVW6P3CXTS
| URI | m2://inv/SVW6P3CXTS |
|---|---|
| Kind | example |
| 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.20899#04P4 (example). In BSMDFADA39/e1, example 3.5
History
- 2026-10-27: add by m2/v0.4.2
Radial mean and second moment SVWCJK0N7J
| URI | m2://inv/SVWCJK0N7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#CPN2, Radial mean and second moment (statement). In X1FPG0KYBM/e1, lemma K.2
History
- 2026-10-28: add by m2/v0.4.2
Laws of Form SVWGQFKD2K
| URI | m2://inv/SVWGQFKD2K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q906302, Laws of Form (unknown). Also ProofWiki Book:George_Spencer-Brown/Laws_of_Form
- wikipedia: Wikipedia Laws of Form, Laws of Form (statement). Also Wikidata Q906302
History
- 2026-10-26: add by m2/dev
Multivariate gamma function SVWKNBPNTS
| URI | m2://inv/SVWKNBPNTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate gamma function, Multivariate gamma function (definition). Also Wikidata Q6935136
History
- 2026-11-02: add by m2/dev
Locality SVWQPE4H38
| URI | m2://inv/SVWQPE4H38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#UIEV, Locality (statement). In KM3Q791JY0/e1, proposition 3.30
History
- 2026-10-27: add by m2/v0.4.2
Jacqueline Hughes-Oliver SVWTKW6AAJ
| URI | m2://inv/SVWTKW6AAJ |
|---|---|
| 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#9HSO, Jacqueline Hughes-Oliver (unknown)
History
- 2026-11-02: add by m2/dev
Šidák correction SVWTYNYS87
| URI | m2://inv/SVWTYNYS87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Šidák correction, Šidák correction (definition). Also Wikidata Q17143690
History
- 2026-11-02: add by m2/dev
SVWYK5SAYN SVWYK5SAYN
| URI | m2://inv/SVWYK5SAYN |
|---|---|
| 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.30933#L0AC (statement). In KXWYE4SJY3/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
N-group theorem SVX3M3RK9J
| URI | m2://inv/SVX3M3RK9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#HHE3, N-group theorem (definition)
History
- 2026-11-02: add by m2/dev
SVX48RWHG0 SVX48RWHG0
| URI | m2://inv/SVX48RWHG0 |
|---|---|
| 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.18536#TZ4V (statement). In JM5KKNKK1J/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Definitions SVXAZJKQE2
| URI | m2://inv/SVXAZJKQE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex figure#GNWX, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Definition SVXB0BTKHP
| URI | m2://inv/SVXB0BTKHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dagum distribution#JUNX, Definition (definition)
History
- 2026-11-02: add by m2/dev
inverted arrow SVXB4VXJC4
| URI | m2://inv/SVXB4VXJC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#10BC, inverted arrow (definition)
History
- 2026-11-02: add by m2/dev
SVXBM8D36J SVXBM8D36J
| URI | m2://inv/SVXBM8D36J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02436#7O2B (statement). In J9WZBK6KAY/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
CC SVXCFDSYCQ
| URI | m2://inv/SVXCFDSYCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CC (complexity), CC (definition). Also Wikidata Q5009755
History
- 2026-11-02: add by m2/dev
SVXJ9MX0WB SVXJ9MX0WB
| URI | m2://inv/SVXJ9MX0WB |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2006.12475#BZ7Y (conjecture). In 8YWBGQQGA3/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.3.5
platonism SVY0JVHQRA
| URI | m2://inv/SVY0JVHQRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#JERK, platonism (definition)
History
- 2026-11-02: add by m2/dev
William Peddie SVY1NT22H6
| URI | m2://inv/SVY1NT22H6 |
|---|---|
| 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#801X, William Peddie (unknown)
History
- 2026-11-02: add by m2/dev
gerbe SVY2Y8K8C7
| URI | m2://inv/SVY2Y8K8C7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#J37J, gerbe (definition)
History
- 2026-11-02: add by m2/dev
Iterated conditional modes SVY7P7KTC1
| URI | m2://inv/SVY7P7KTC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterated conditional modes, Iterated conditional modes (definition). Also Wikidata Q6094388
History
- 2026-11-02: add by m2/dev
Contextual quantitative identification SVY7Z4FVR1
| URI | m2://inv/SVY7Z4FVR1 |
|---|---|
| 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.33472#TLR3, Contextual quantitative identification (statement). In WBQQBZ4FCJ/e1, corollary G.2
History
- 2026-10-30: add by m2/v0.4.12
Scale analysis SVYJ87F5XE
| URI | m2://inv/SVYJ87F5XE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale analysis (mathematics), Scale analysis (definition). Also Wikidata Q2845204
History
- 2026-11-02: add by m2/dev
SVYT0470BK SVYT0470BK
| URI | m2://inv/SVYT0470BK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#UBFW (statement). In 7CK21JGM5A/e1, lemma 3.13
History
- 2026-10-27: add by m2/v0.4.2
Depth (ring theory) SVZ0G2CKPR
| URI | m2://inv/SVZ0G2CKPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#T6XT, Depth (ring theory) (definition)
History
- 2026-11-02: add by m2/dev
Carlo Miranda SVZ1FJEXED
| URI | m2://inv/SVZ1FJEXED |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#LU5D, Carlo Miranda (topic)
History
- 2026-11-02: add by m2/dev
Omnipotent SVZ2TNRCH7
| URI | m2://inv/SVZ2TNRCH7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#I8ZA, Omnipotent (unknown)
History
- 2026-11-02: add by m2/dev
Strictly characteristic subgroup SVZ39NB02F
| URI | m2://inv/SVZ39NB02F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic subgroup#XX8W, Strictly characteristic subgroup (unknown)
History
- 2026-11-02: add by m2/dev
Peercoin SVZ5AJR4KC
| URI | m2://inv/SVZ5AJR4KC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peercoin, Peercoin (definition). Also Wikidata Q15177466
History
- 2026-11-02: add by m2/dev
SVZ7E8ZCD3 SVZ7E8ZCD3
| URI | m2://inv/SVZ7E8ZCD3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19533#QHDC (statement). In RG4Z9C6ANS/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Yale shooting problem SVZ7XE9JPJ
| URI | m2://inv/SVZ7XE9JPJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yale shooting problem, Yale shooting problem (problem). Also Wikidata Q8047443
History
- 2026-11-02: add by m2/dev
SVZ7Y4AW1S SVZ7Y4AW1S
| URI | m2://inv/SVZ7Y4AW1S |
|---|---|
| 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.32383#C9CY (statement). In 94GZYA55Q5/e1, lemma 10
History
- 2026-10-31: add by m2/v0.5.6
SVZA4GZE7P SVZA4GZE7P
| URI | m2://inv/SVZA4GZE7P |
|---|---|
| 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.28961#DKZK (statement)
History
- 2026-11-01: add by m2/v0.6.15
SVZDMY0CKC SVZDMY0CKC
| URI | m2://inv/SVZDMY0CKC |
|---|---|
| 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 2411.13671#N3PI (statement). In PN02WN5AA6/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
Eustachio Manfredi SVZFG7Y5D0
| URI | m2://inv/SVZFG7Y5D0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eustachio Manfredi, Eustachio Manfredi (topic). Also Wikidata Q3541151
History
- 2026-11-02: add by m2/dev
SVZGQNF9Q9 SVZGQNF9Q9
| URI | m2://inv/SVZGQNF9Q9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#BK2D (statement). In WSG1ZW956E/e1, theorem 6.7
History
- 2026-10-30: add by m2/v0.4.12
Examples SVZGTB6HQQ
| URI | m2://inv/SVZGTB6HQQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy of composition#RJEX, Examples (example)
History
- 2026-11-02: add by m2/dev
Pareto efficiency SVZPK5C0B3
| URI | m2://inv/SVZPK5C0B3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto efficiency, Pareto efficiency (definition). Also Wikidata Q36829
History
- 2026-11-02: add by m2/dev
Martin Löb SVZZ2BN5T0
| URI | m2://inv/SVZZ2BN5T0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Löb, Martin Löb (topic). Also Wikidata Q68539
History
- 2026-11-02: add by m2/dev