Inventory rows Z0
The cards of the rows of the inventory whose ids start with Z0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Z000AGPGNN Z000AGPGNN
| URI | m2://inv/Z000AGPGNN |
|---|---|
| Kind | conjecture |
| 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.13798#I6HZ (conjecture). In GF2MA6Y29D/e1, conjecture 4.1
History
- 2026-10-28: add by m2/v0.4.2
Z00543MTQZ Z00543MTQZ
| URI | m2://inv/Z00543MTQZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-6 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
Heredity of bounds for a short time Z00EW6JQA4
| URI | m2://inv/Z00EW6JQA4 |
|---|---|
| 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#ERFH, Heredity of bounds for a short time (statement). In KM3Q791JY0/e1, lemma 4.30
History
- 2026-10-27: add by m2/v0.4.2
Z00GZXTF73 Z00GZXTF73
| URI | m2://inv/Z00GZXTF73 |
|---|---|
| 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.36306#X05H (statement). In NHQEAVMJE1/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Topology of the universe Z00N0G50ZK
| URI | m2://inv/Z00N0G50ZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#YTCH, Topology of the universe (unknown)
History
- 2026-11-02: add by m2/dev
Positive threshold Z00S3SC3N3
| URI | m2://inv/Z00S3SC3N3 |
|---|---|
| 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.29524#3B2R, Positive threshold (statement)
History
- 2026-11-01: add by m2/v0.6.15
Iosif Shklovsky Z00WYK9Q7Y
| URI | m2://inv/Z00WYK9Q7Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#EQLK, Iosif Shklovsky (unknown)
History
- 2026-11-02: add by m2/dev
Definition Z014STCJH1
| URI | m2://inv/Z014STCJH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bateman–Horn conjecture#2526, Definition (definition)
History
- 2026-11-02: add by m2/dev
complex unit circle Z01KKN0KD3
| URI | m2://inv/Z01KKN0KD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Circle group 04EAFVFTF7 |
Mentions
- wikidata: Wikidata Q105356493, complex unit circle (unknown). Also nLab circle group
- wikipedia: Wikipedia Circle group, Circle group (definition). Also Wikidata Q105356493
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Boyd Crumrine Patterson Z01MFHNHY3
| URI | m2://inv/Z01MFHNHY3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boyd Crumrine Patterson, Boyd Crumrine Patterson (topic). Also Wikidata Q15485421
History
- 2026-11-02: add by m2/dev
Single-letter per-time constrained capacity Z01NHQKXCM
| URI | m2://inv/Z01NHQKXCM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05712#2CRT, Single-letter per-time constrained capacity (definition). In 44Q2H3DWNW/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.10
Reyes rendering Z01SA9P9P6
| URI | m2://inv/Z01SA9P9P6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#9WRD, Reyes rendering (unknown)
History
- 2026-11-02: add by m2/dev
Conjunctive query Z022Z8A75F
| URI | m2://inv/Z022Z8A75F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjunctive query, Conjunctive query (definition). Also Wikidata Q1781706
History
- 2026-11-02: add by m2/dev
Henk Broer Z02451525R
| URI | m2://inv/Z02451525R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henk Broer, Henk Broer (topic). Also Wikidata Q15455062
History
- 2026-11-02: add by m2/dev
integral equation Z026KJP742
| URI | m2://inv/Z026KJP742 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 45-XX |
| Sources | 2 |
| Outcome | open |
| Node | Integral equation R3SG1SN7JQ |
Mentions
- wikidata: Wikidata Q580101, integral equation (topic). Also EoM Integral_equation
- wikipedia: Wikipedia Integral equation, Integral equation (definition). Also Wikidata Q580101
History
- 2026-10-26: add by m2/dev
Z027GD5E56 Z027GD5E56
| URI | m2://inv/Z027GD5E56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.28337#UJN1 (statement). In 7ZJFWBTBKM/e1, proposition 3.1.3
History
- 2026-10-27: add by m2/v0.3.6
Z028CQCHY0 Z028CQCHY0
| URI | m2://inv/Z028CQCHY0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#7VI1 (example). In 9H45HQE7AZ/e1, example 8.6
History
- 2026-10-27: add by m2/v0.3.5
Z02DYNBQKA Z02DYNBQKA
| URI | m2://inv/Z02DYNBQKA |
|---|---|
| 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.11388#VYRM (statement). In PC1SZ68BPZ/e1, proposition D.3
History
- 2026-10-28: add by m2/v0.4.3
Steinberg symbol Z02GEYSVTG
| URI | m2://inv/Z02GEYSVTG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7606831, Steinberg symbol (unknown). Also EoM Steinberg_symbol
- wikipedia: Wikipedia Steinberg symbol, Steinberg symbol (definition). Also Wikidata Q7606831
History
- 2026-10-26: add by m2/dev
Z02MHR383T Z02MHR383T
| URI | m2://inv/Z02MHR383T |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-symmetric graph#CI8E (problem)
History
- 2026-11-02: add by m2/dev
Gaussian quadrature Z02N420SWC
| URI | m2://inv/Z02N420SWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#IRQ4, Gaussian quadrature (definition)
History
- 2026-11-02: add by m2/dev
Asymptotics of the Bernoulli parameters Z02S313QRF
| URI | m2://inv/Z02S313QRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00614#Y7UU, Asymptotics of the Bernoulli parameters (statement). In NC5Z77F6H4/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Applications Z02WK8XBK5
| URI | m2://inv/Z02WK8XBK5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neyer d-optimal test#U3RR, Applications (example)
History
- 2026-11-02: add by m2/dev
Z02WW8MV8C Z02WW8MV8C
| URI | m2://inv/Z02WW8MV8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#AFLD (statement). In PREJREM4BB/e1, corollary 3.10
History
- 2026-10-28: add by m2/v0.4.2
Canonical map Z02Y3T2JFB
| URI | m2://inv/Z02Y3T2JFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical map, Canonical map (definition). Also Wikidata Q19596244
History
- 2026-11-02: add by m2/dev
Affinity separation Z02ZNSNCY6
| URI | m2://inv/Z02ZNSNCY6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10080#KQ93, Affinity separation (statement). In N6EBNRZCYX/e1, lemma A.10
History
- 2026-10-29: add by m2/v0.4.10
nilpotent Z030DG9C4B
| URI | m2://inv/Z030DG9C4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#ZOI3, nilpotent (definition)
History
- 2026-11-02: add by m2/dev
KL divergence Z033PYTD27
| URI | m2://inv/Z033PYTD27 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#3T7Y, KL divergence (definition). In 7D5MMP8XB5/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Z038QDP0YD Z038QDP0YD
| URI | m2://inv/Z038QDP0YD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-5.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
By integral formula Z03E87B85E
| URI | m2://inv/Z03E87B85E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centroid#2YDT, By integral formula (statement)
History
- 2026-11-02: add by m2/dev
Kevin M. Short Z03KRYJFDB
| URI | m2://inv/Z03KRYJFDB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kevin M. Short, Kevin M. Short (topic). Also Wikidata Q27929384
History
- 2026-11-02: add by m2/dev
Examples Z04C2BZ4FX
| URI | m2://inv/Z04C2BZ4FX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Creep (deformation)#U291, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications Z04DBHWV65
| URI | m2://inv/Z04DBHWV65 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unscented transform#5OJZ, Applications (example)
History
- 2026-11-02: add by m2/dev
Z04EM501C4 Z04EM501C4
| URI | m2://inv/Z04EM501C4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#9GJ1 (statement). In KAYGQMQPGS/e1, theorem 5.11
History
- 2026-10-29: add by m2/v0.4.12
Z04GQC1B5Q Z04GQC1B5Q
| URI | m2://inv/Z04GQC1B5Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#F5YI (statement). In F3BKXXPR3K/e1, lemma B.10
History
- 2026-10-27: add by m2/v0.4.2
Z04M6HHXXD Z04M6HHXXD
| URI | m2://inv/Z04M6HHXXD |
|---|---|
| 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 2403.16814#EFKG (statement). In MN03Z3PRFT/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Z04SJEM8PF Z04SJEM8PF
| URI | m2://inv/Z04SJEM8PF |
|---|---|
| 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.21632#G3Q9 (statement). In Q4RZTN2EX6/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.4.2
Definition Z04SW43DN5
| URI | m2://inv/Z04SW43DN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence coloring#LOP2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Robert J. Plemmons Z04Y844SDC
| URI | m2://inv/Z04Y844SDC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert J. Plemmons, Robert J. Plemmons (topic). Also Wikidata Q56224464
History
- 2026-11-02: add by m2/dev
markov's principle Z050P4ZR9X
| URI | m2://inv/Z050P4ZR9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#SNHR, markov's principle (definition)
History
- 2026-11-02: add by m2/dev
Achievability Z05J8QY35M
| URI | m2://inv/Z05J8QY35M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11960#54ZR, Achievability (statement). In 7BB4XJNM9F/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.3
The spiral outside its regime Z05JC8HWQQ
| URI | m2://inv/Z05JC8HWQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#3QUE, The spiral outside its regime (statement). In 65TJENWK7X/e1, proposition 41
History
- 2026-10-29: add by m2/v0.4.10
Z05PYWPPY8 Z05PYWPPY8
| URI | m2://inv/Z05PYWPPY8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-4.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Double zugzwang Z05SCBSYG9
| URI | m2://inv/Z05SCBSYG9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zugzwang#KA4H, Double zugzwang (unknown)
History
- 2026-11-02: add by m2/dev
Octacontagon Z05TX4SHB4
| URI | m2://inv/Z05TX4SHB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#QYAN, Octacontagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Z3IC, Octacontagon (definition)
History
- 2026-11-02: add by m2/dev
Erdős, Pál Z05WHC32KX
| URI | m2://inv/Z05WHC32KX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#TD6B, Erdős, Pál (topic)
History
- 2026-11-02: add by m2/dev
Tail of a cube envelope outside a fixed neighborhood Z05ZK1EM4R
| URI | m2://inv/Z05ZK1EM4R |
|---|---|
| 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.06372#VCU4, Tail of a cube envelope outside a fixed neighborhood (statement). In G3E1P350Z6/e1, lemma D.6
History
- 2026-10-29: add by m2/v0.4.10
Microfunction Z067ZRZNX8
| URI | m2://inv/Z067ZRZNX8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic analysis#BR0V, Microfunction (unknown)
History
- 2026-11-02: add by m2/dev
Serre subcategory Z06DF6079B
| URI | m2://inv/Z06DF6079B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#OMJ5, Serre subcategory (definition)
History
- 2026-11-02: add by m2/dev
Gabor filter Z06FFVYKKP
| URI | m2://inv/Z06FFVYKKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabor filter, Gabor filter (definition). Also Wikidata Q2447890
History
- 2026-11-02: add by m2/dev
isosceles right triangle Z06R5ZHNX1
| URI | m2://inv/Z06R5ZHNX1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20524281, isosceles right triangle (unknown). Also MathWorld IsoscelesRightTriangle
History
- 2026-10-26: add by m2/dev
Z078AFYQTZ Z078AFYQTZ
| URI | m2://inv/Z078AFYQTZ |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
Z07FJQ0HME Z07FJQ0HME
| URI | m2://inv/Z07FJQ0HME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#FLYO (statement). In C8JAGP8VCQ/e1, proposition 8.4
History
- 2026-10-27: add by m2/v0.3.5
Z07JBGSZ6X Z07JBGSZ6X
| URI | m2://inv/Z07JBGSZ6X |
|---|---|
| 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#Z2ON (statement). In P27HYGQDAN/e1, lemma 19
History
- 2026-10-30: add by m2/v0.4.12
Z07TN8705E Z07TN8705E
| URI | m2://inv/Z07TN8705E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#ZGDC (statement). In Q1XJ5VWE1N/e1, corollary 3.5
History
- 2026-10-29: add by m2/v0.4.10
Applications Z07XB8HE5X
| URI | m2://inv/Z07XB8HE5X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paraconsistent logic#T5VM, Applications (example)
History
- 2026-11-02: add by m2/dev
supersingular elliptic curve Z086K6GTTE
| URI | m2://inv/Z086K6GTTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7644139, supersingular elliptic curve (unknown). Also nLab supersingular elliptic curve
- wikipedia: Wikipedia Supersingular elliptic curve, Supersingular elliptic curve (definition). Also Wikidata Q7644139
History
- 2026-10-26: add by m2/dev
Burnett equations Z08EMY014K
| URI | m2://inv/Z08EMY014K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burnett equations, Burnett equations (definition). Also Wikidata Q127103118
History
- 2026-11-02: add by m2/dev
Z08F5EHVFE Z08F5EHVFE
| URI | m2://inv/Z08F5EHVFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#9WA5 (statement). In XYCBKM4WKY/e1, theorem 24
History
- 2026-10-27: add by m2/v0.3.5
Z08M18GV1N Z08M18GV1N
| URI | m2://inv/Z08M18GV1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26515#NGR2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z08RKHVCPH Z08RKHVCPH
| URI | m2://inv/Z08RKHVCPH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38556#G67O (statement). In GC2H0HS7ZM/e1, theorem 6.4
History
- 2026-10-30: add by m2/v0.4.12
Z0902BGDM9 Z0902BGDM9
| URI | m2://inv/Z0902BGDM9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#JR62 (example)
History
- 2026-11-02: add by m2/v0.6.18
Yael Tauman Kalai Z098N5XMPV
| URI | m2://inv/Z098N5XMPV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yael Tauman Kalai, Yael Tauman Kalai (topic). Also Wikidata Q56065688
History
- 2026-11-02: add by m2/dev
Z09B797Y5Q Z09B797Y5Q
| URI | m2://inv/Z09B797Y5Q |
|---|---|
| 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 2108.03672#OIDZ (definition). In EZZSZ1F071/e1, definition 4.19
History
- 2026-10-27: add by m2/v0.4.0
Tightness of the coverage guarantee Z09BYWYDVA
| URI | m2://inv/Z09BYWYDVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26951#W0DH, Tightness of the coverage guarantee (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z09H5Q6DX9 Z09H5Q6DX9
| URI | m2://inv/Z09H5Q6DX9 |
|---|---|
| Kind | definition |
| 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.37450#JGWC (definition). In FP05Z6EBV4/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Construction Z09MRQ3F5M
| URI | m2://inv/Z09MRQ3F5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf construction#KCHK, Construction (definition)
History
- 2026-11-02: add by m2/dev
Z09S24N6SA Z09S24N6SA
| URI | m2://inv/Z09S24N6SA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#FNP5 (definition). In GHKR740SG3/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
card Z09SB1S0GB
| URI | m2://inv/Z09SB1S0GB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#5PKI, card (definition)
History
- 2026-11-02: add by m2/dev
Z0AFPK5WC0 Z0AFPK5WC0
| URI | m2://inv/Z0AFPK5WC0 |
|---|---|
| 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.08370#09DL (statement). In EQN3EZRZYQ/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Mysterious duality Z0AG7DP9WK
| URI | m2://inv/Z0AG7DP9WK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#48EN, Mysterious duality (definition)
History
- 2026-11-02: add by m2/dev
Aronszajn tree Z0AKPMR3Y8
| URI | m2://inv/Z0AKPMR3Y8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aronszajn tree, Aronszajn tree (definition). Also Wikidata Q1192020
History
- 2026-11-02: add by m2/dev
Symmetry Z0AM8BEYSH
| URI | m2://inv/Z0AM8BEYSH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated triheptagonal tiling#P4V0, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Determinantal conjecture Z0AMJQ2RVA
| URI | m2://inv/Z0AMJQ2RVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinantal conjecture, Determinantal conjecture (statement). Also Wikidata Q5265690
History
- 2026-11-02: add by m2/dev
Z0AX7ASJVW Z0AX7ASJVW
| URI | m2://inv/Z0AX7ASJVW |
|---|---|
| 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 2310.09889#M5EP (statement). In BMNZKPSC48/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Schinzel's hypothesis H Z0AXZ4PXNR
| URI | m2://inv/Z0AXZ4PXNR |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#WMDX, Schinzel's hypothesis H (conjecture)
History
- 2026-11-02: add by m2/dev
Z0AZG2R0C2 Z0AZG2R0C2
| URI | m2://inv/Z0AZG2R0C2 |
|---|---|
| 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 2501.12834#HYJ6 (statement). In 25JX9GN5TE/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
Z0AZJB6ENS Z0AZJB6ENS
| URI | m2://inv/Z0AZJB6ENS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#WKKA (definition)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations Z0B22E5B6P
| URI | m2://inv/Z0B22E5B6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy-continuous function#7SLP, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Geometry of code-based frames Z0B4F7MT1X
| URI | m2://inv/Z0B4F7MT1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#5WZP, Geometry of code-based frames (statement). In XYCBKM4WKY/e1, theorem 60
History
- 2026-10-27: add by m2/v0.3.5
Transitivity of $<:_i$ Z0B6CK5DAF
| URI | m2://inv/Z0B6CK5DAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#WW0J, Transitivity of $<:_i$ (statement). In CPYWHRTPKC/e1, lemma 6.16
History
- 2026-10-27: add by m2/v0.4.2
Use Z0B8D70VK0
| URI | m2://inv/Z0B8D70VK0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guess value#FLQR, Use (example)
History
- 2026-11-02: add by m2/dev
Z0B9TANR6M Z0B9TANR6M
| URI | m2://inv/Z0B9TANR6M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#proof-1 (proof). In RZP28ERRZV, proof, section 97.2
History
- 2026-11-01: add by m2/v0.6.13
Moore–Penrose inverse Z0BK2ZVY1Y
| URI | m2://inv/Z0BK2ZVY1Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Moore–Penrose inverse 0PSRCMCM5X |
Mentions
- wikidata: Wikidata Q43219517, Moore–Penrose inverse (concept). Also MathWorld Moore-PenroseMatrixInverse
- wikipedia: Wikipedia Moore–Penrose inverse, Moore–Penrose inverse (definition). Also Wikidata Q43219517
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Z0BQQHS94G Z0BQQHS94G
| URI | m2://inv/Z0BQQHS94G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.01345#HKT3 (statement). In PT5PBPCS3P/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Theorem Z0BTY8KPQ0
| URI | m2://inv/Z0BTY8KPQ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Szemerédi theorem#9OZN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Z0BW1B8K5N Z0BW1B8K5N
| URI | m2://inv/Z0BW1B8K5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#6NRY (statement). In W0ZHX9DHPV/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.10
Z0C6FPM2H1 Z0C6FPM2H1
| URI | m2://inv/Z0C6FPM2H1 |
|---|---|
| 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#8IMB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Z0C7JSCAW9 Z0C7JSCAW9
| URI | m2://inv/Z0C7JSCAW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07340#KIJS (statement). In 2HSB99DW4M/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.6
Z0CB143PQD Z0CB143PQD
| URI | m2://inv/Z0CB143PQD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06108#S17B (statement). In D3WKY1PW64/e1, proposition 3.17
History
- 2026-10-29: add by m2/v0.4.10
Rasiowa-Sikorski lemma Z0CEJ4GWP8
| URI | m2://inv/Z0CEJ4GWP8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#lemma-1, Rasiowa-Sikorski lemma (statement). In RZP28ERRZV, lemma, section 90.2
History
- 2026-11-01: add by m2/v0.6.13
SciEngines GmbH Z0CN0WHMAD
| URI | m2://inv/Z0CN0WHMAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SciEngines GmbH, SciEngines GmbH (definition). Also Wikidata Q7433387
History
- 2026-11-02: add by m2/dev
Z0CN1C309E Z0CN1C309E
| URI | m2://inv/Z0CN1C309E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00271#WFC0 (statement). In T1NSCAZS28/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
Equivocation Z0CTB135K6
| URI | m2://inv/Z0CTB135K6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivocation, Equivocation (definition). Also Wikidata Q10797615
History
- 2026-11-02: add by m2/dev
Z0CTQ6GPE7 Z0CTQ6GPE7
| URI | m2://inv/Z0CTQ6GPE7 |
|---|---|
| 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.06326#WUY3 (statement). In DPR6B6X0JX/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.10
Z0CVP8S3H0 Z0CVP8S3H0
| URI | m2://inv/Z0CVP8S3H0 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17897#IH9L (problem). In G116A4SMS4/e1, problem
History
- 2026-10-28: add by m2/v0.4.2
Michael Dorff Z0DB71RQ21
| URI | m2://inv/Z0DB71RQ21 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Dorff, Michael Dorff (topic). Also Wikidata Q19667118
History
- 2026-11-02: add by m2/dev
Z0DFD46632 Z0DFD46632
| URI | m2://inv/Z0DFD46632 |
|---|---|
| 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.01247#V9PP (statement). In 6EVNCRZ118/e1, theorem 23
History
- 2026-10-29: add by m2/v0.4.12
Inequality between any two power means Z0DFQHTRYE
| URI | m2://inv/Z0DFQHTRYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized mean#SGO0, Inequality between any two power means (statement)
History
- 2026-11-02: add by m2/dev
Z0DG2H8J9E Z0DG2H8J9E
| URI | m2://inv/Z0DG2H8J9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13618#4CC7 (statement). In XDQAEGH345/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Circular statistics Z0DP4KA9W0
| URI | m2://inv/Z0DP4KA9W0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9D4Y, Circular statistics (definition)
History
- 2026-11-02: add by m2/dev
Z0DP9DPMSY Z0DP9DPMSY
| URI | m2://inv/Z0DP9DPMSY |
|---|---|
| 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.19464#UEN0 (statement). In G8JCZ109A9/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
Square tiling Z0DPDTNTGQ
| URI | m2://inv/Z0DPDTNTGQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6NK7, Square tiling (object)
- wikipedia: Wikipedia List of mathematical shapes#IRGP, Square tiling (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#1VG9, Square tiling (object)
History
- 2026-11-02: add by m2/dev
Z0DWFEHY9C Z0DWFEHY9C
| URI | m2://inv/Z0DWFEHY9C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-2 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
Z0DWPPWYEN Z0DWPPWYEN
| URI | m2://inv/Z0DWPPWYEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17626#ABEK (statement). In 54ATJS74DT/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Z0E01664FF Z0E01664FF
| URI | m2://inv/Z0E01664FF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/rice-theorem.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 3.13
History
- 2026-11-01: add by m2/v0.6.13
Daniel Rider Z0E1XMNKS4
| URI | m2://inv/Z0E1XMNKS4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Rider, Daniel Rider (topic). Also Wikidata Q25340110
History
- 2026-11-02: add by m2/dev
Z0EFCDVZFX Z0EFCDVZFX
| URI | m2://inv/Z0EFCDVZFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08708#LRAN (statement). In TMMJKY66KY/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Properties Z0EVFV1R4F
| URI | m2://inv/Z0EVFV1R4F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner integral#P7G5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Z0F2XRJ5G3 Z0F2XRJ5G3
| URI | m2://inv/Z0F2XRJ5G3 |
|---|---|
| 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.08288#NQ6Q (statement). In CHVWYJM7RM/e1, lemma D.4
History
- 2026-10-29: add by m2/v0.4.10
chromatic spectral sequence Z0F6NHX89C
| URI | m2://inv/Z0F6NHX89C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5113734, chromatic spectral sequence (unknown). Also nLab chromatic spectral sequence
- wikipedia: Wikipedia Chromatic spectral sequence, Chromatic spectral sequence (definition). Also Wikidata Q5113734
History
- 2026-10-26: add by m2/dev
Cubic function Z0FBDJMCME
| URI | m2://inv/Z0FBDJMCME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic function, Cubic function (definition). Also Wikidata Q16667694
History
- 2026-11-02: add by m2/dev
Pooled rare-boundary lower bound Z0FC3K9F0X
| URI | m2://inv/Z0FC3K9F0X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21363#L9GP, Pooled rare-boundary lower bound (statement). In YPH7NS5AAQ/e1, theorem C.1
History
- 2026-10-27: add by m2/v0.4.2
Definition Z0FF19V8SQ
| URI | m2://inv/Z0FF19V8SQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex network#RBS3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bailey's lemma Z0FFATVH1W
| URI | m2://inv/Z0FFATVH1W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bailey pair#FNFK, Bailey's lemma (statement)
History
- 2026-11-02: add by m2/dev
Construction Z0FTVN4A7X
| URI | m2://inv/Z0FTVN4A7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pappus chain#E6ZX, Construction (definition)
History
- 2026-11-02: add by m2/dev
Z0FVTR5MMM Z0FVTR5MMM
| URI | m2://inv/Z0FVTR5MMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24599#IBD4 (statement). In VG8QFWTT8S/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.6
Disk-complement hard-wall ratio Z0FWM6AHDS
| URI | m2://inv/Z0FWM6AHDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#CTO8, Disk-complement hard-wall ratio (statement)
History
- 2026-11-01: add by m2/v0.6.15
Size of the projected confusion set Z0G4T494BQ
| URI | m2://inv/Z0G4T494BQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15631#A7PL, Size of the projected confusion set (statement). In AF465QFRGQ/e1, lemma II.7
History
- 2026-10-28: add by m2/v0.4.2
Z0G5CDPAD5 Z0G5CDPAD5
| URI | m2://inv/Z0G5CDPAD5 |
|---|---|
| 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 2609.35858#A0PJ (statement). In R2K4HZN8RW/e1, theorem 5.8
History
- 2026-10-30: add by m2/v0.4.12
Examples Z0G7V4W9KN
| URI | m2://inv/Z0G7V4W9KN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maharam algebra#OOG7, Examples (example)
History
- 2026-11-02: add by m2/dev
Z0GEQ3S1M3 Z0GEQ3S1M3
| URI | m2://inv/Z0GEQ3S1M3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22161#NTBQ (statement). In FVM35KPN8C/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
Examples Z0GEQCB22V
| URI | m2://inv/Z0GEQCB22V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebra representation#HQ0V, Examples (example)
History
- 2026-11-02: add by m2/dev
Z0GRBVQ9GY Z0GRBVQ9GY
| URI | m2://inv/Z0GRBVQ9GY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.03517#0OB9 (statement). In 3CGS9GSKTQ/e1, lemma 7.8
History
- 2026-10-29: add by m2/v0.4.12
Z0GX3N4ZTC Z0GX3N4ZTC
| URI | m2://inv/Z0GX3N4ZTC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00021#CQC2 (definition). In EX42AVA7CV/e1, definition 7.1
History
- 2026-10-30: add by m2/v0.4.12
De moneta Z0H71JQVT4
| URI | m2://inv/Z0H71JQVT4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicole Oresme#QBE0, De moneta (unknown)
History
- 2026-11-02: add by m2/dev
Heinz Neudecker Z0HF2JTN0F
| URI | m2://inv/Z0HF2JTN0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinz Neudecker, Heinz Neudecker (topic). Also Wikidata Q61899050
History
- 2026-11-02: add by m2/dev
inscribed angle theorem Z0HFY4QEFK
| URI | m2://inv/Z0HFY4QEFK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124419940, inscribed angle theorem (statement). Also ProofWiki Inscribed_Angle_Theorem
History
- 2026-10-26: add by m2/dev
Z0HVQ2M85Q Z0HVQ2M85Q
| URI | m2://inv/Z0HVQ2M85Q |
|---|---|
| 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 2303.10963#9FG8 (statement). In F32XWYWG8E/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Low-variation interval bound Z0HX4NBX2D
| URI | m2://inv/Z0HX4NBX2D |
|---|---|
| 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.20187#GV18, Low-variation interval bound (statement). In N280AVNNBY/e1, lemma B.9
History
- 2026-10-27: add by m2/v0.4.2
Z0J292Q2VY Z0J292Q2VY
| URI | m2://inv/Z0J292Q2VY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#9CHV (statement). In EZZSZ1F071/e1, lemma 1.16
History
- 2026-10-27: add by m2/v0.4.0
$C^1$ weighted $C^{(1,2)}$ Penrose singularity theorem Z0J6WFG99J
| URI | m2://inv/Z0J6WFG99J |
|---|---|
| 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.11911#0LBY, $C^1$ weighted $C^{(1,2)}$ Penrose singularity theorem (statement). In 5BYE5NYB89/e1, theorem 1.9
History
- 2026-10-28: add by m2/v0.4.3
Covariance inequality Z0J754ZR0G
| URI | m2://inv/Z0J754ZR0G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Schwarz inequality#E86N, Covariance inequality (unknown)
History
- 2026-11-02: add by m2/dev
Definition Z0JAAB65D8
| URI | m2://inv/Z0JAAB65D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Totally disconnected space#Z3CD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cramér–Rao inequality Z0JCJ0PA4C
| URI | m2://inv/Z0JCJ0PA4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#P89E, Cramér–Rao inequality (definition)
History
- 2026-11-02: add by m2/dev
Sullivan Z0JE3BSWCP
| URI | m2://inv/Z0JE3BSWCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#Y0Q3, Sullivan (definition)
History
- 2026-11-02: add by m2/dev
Z0JEVFPMNW Z0JEVFPMNW
| URI | m2://inv/Z0JEVFPMNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#I4ZC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pascal's theorem Z0JHW8GWXJ
| URI | m2://inv/Z0JHW8GWXJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#T12X, Pascal's theorem (statement)
History
- 2026-11-02: add by m2/dev
Jean Baptiste Joseph Delambre Z0JMBCSHW9
| URI | m2://inv/Z0JMBCSHW9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Baptiste Joseph Delambre, Jean Baptiste Joseph Delambre (topic). Also Wikidata Q246517
History
- 2026-11-02: add by m2/dev
Example Z0JXKDZ9MT
| URI | m2://inv/Z0JXKDZ9MT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Backward stochastic differential equation#FPXC, Example (example)
History
- 2026-11-02: add by m2/dev
Poincaré metric Z0K2N1D30F
| URI | m2://inv/Z0K2N1D30F |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q377798, Poincaré metric (unknown). Also MathWorld HyperbolicMetric
- wikipedia: Wikipedia Poincaré metric, Poincaré metric (object). Also Wikidata Q377798
History
- 2026-10-26: add by m2/dev
Admissible ordinal Z0K3N04RWK
| URI | m2://inv/Z0K3N04RWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Admissible ordinal, Admissible ordinal (definition). Also Wikidata Q4683804
History
- 2026-11-02: add by m2/dev
North Bay Shore Z0KAP9T56M
| URI | m2://inv/Z0KAP9T56M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#FF0L, North Bay Shore (unknown)
History
- 2026-11-02: add by m2/dev
Moessner's theorem Z0KCT42J4Q
| URI | m2://inv/Z0KCT42J4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107634572, Moessner's theorem (statement). Also MathWorld MoessnersTheorem
- wikipedia: Wikipedia Moessner's theorem, Moessner's theorem (statement). Also Wikidata Q107634572
History
- 2026-10-26: add by m2/dev
Compact-open topology Z0KEYVBAFP
| URI | m2://inv/Z0KEYVBAFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#94RV, Compact-open topology (definition)
History
- 2026-11-02: add by m2/dev
Annals of Pure and Applied Logic Z0KGPT46JG
| URI | m2://inv/Z0KGPT46JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#WRKB, Annals of Pure and Applied Logic (definition)
History
- 2026-11-02: add by m2/dev
Cyclic Z0KVQJH11R
| URI | m2://inv/Z0KVQJH11R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#FI1V, Cyclic (definition)
History
- 2026-11-02: add by m2/dev
Retsef Levi Z0KWEHMAB8
| URI | m2://inv/Z0KWEHMAB8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Retsef Levi, Retsef Levi (topic). Also Wikidata Q102279169
History
- 2026-11-02: add by m2/dev
Ross Ihaka Z0KYZNJ8C3
| URI | m2://inv/Z0KYZNJ8C3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ross Ihaka, Ross Ihaka (topic). Also Wikidata Q7369420
History
- 2026-11-02: add by m2/dev
Z0M6T53ZJE Z0M6T53ZJE
| URI | m2://inv/Z0M6T53ZJE |
|---|---|
| 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-114 (exercise). In E9HS8K3A52, exercise, section 4.8.3
History
- 2026-11-01: add by m2/v0.6.13
Z0MABY9MDT Z0MABY9MDT
| URI | m2://inv/Z0MABY9MDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27715#6ZCK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z0MBZ2DRKK Z0MBZ2DRKK
| URI | m2://inv/Z0MBZ2DRKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04583#L8AC (statement). In Y6774ZB8TE/e1, theorem G.1
History
- 2026-10-29: add by m2/v0.4.12
Finite-block fractional contraction Z0MPHDTA3D
| URI | m2://inv/Z0MPHDTA3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21268#ETDR, Finite-block fractional contraction (statement). In 9W2YX5X4AX/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
The Open Network Z0MVHR88H7
| URI | m2://inv/Z0MVHR88H7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q53252126, The Open Network (unknown). Also nLab Telegram Open Network
History
- 2026-10-26: add by m2/dev
Z0MVV63WRD Z0MVV63WRD
| URI | m2://inv/Z0MVV63WRD |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#BL7D (problem). In NGZ5AZ70NN/e1, problem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Galois correspondence Z0MX59NBR1
| URI | m2://inv/Z0MX59NBR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#4DRW, Galois correspondence (statement)
History
- 2026-11-01: add by m2/v0.6.15
polarization Z0N7TD53X5
| URI | m2://inv/Z0N7TD53X5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#T5DC, polarization (definition)
History
- 2026-11-02: add by m2/dev
unit square Z0NA8ERR13
| URI | m2://inv/Z0NA8ERR13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1307838, unit square (unknown). Also MathWorld UnitSquare
- wikipedia: Wikipedia Unit square, Unit square (definition). Also Wikidata Q1307838
History
- 2026-10-26: add by m2/dev
Z0NG4S4RF7 Z0NG4S4RF7
| URI | m2://inv/Z0NG4S4RF7 |
|---|---|
| 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 2509.10268#8MA3 (statement). In YR15TN4V4F/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Z0NH0QD8PZ Z0NH0QD8PZ
| URI | m2://inv/Z0NH0QD8PZ |
|---|---|
| Kind | example |
| 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.15489#H43V (example). In 5BCTP0B6Q1/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
Circle graph Z0NWVHE1A1
| URI | m2://inv/Z0NWVHE1A1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle graph, Circle graph (definition). Also Wikidata Q5121450
History
- 2026-11-02: add by m2/dev
Z0NZ4ACX2C Z0NZ4ACX2C
| URI | m2://inv/Z0NZ4ACX2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#CW5R (statement). In Z5SP3NW41S/e1, proposition 3.11
History
- 2026-10-30: add by m2/v0.4.12
Z0P3NDXZB9 Z0P3NDXZB9
| URI | m2://inv/Z0P3NDXZB9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#IXYQ (definition). In 9H45HQE7AZ/e1, definition 2.12
History
- 2026-10-27: add by m2/v0.3.5
Implementation Z0P7RABKXE
| URI | m2://inv/Z0P7RABKXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network-based diffusion analysis#OPBI, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Z0P8M07RSA Z0P8M07RSA
| URI | m2://inv/Z0P8M07RSA |
|---|---|
| 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.27689#90SM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition Z0P98WPBAK
| URI | m2://inv/Z0P98WPBAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz potential#3W3Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
complete quadrangle Z0PH9BQR3S
| URI | m2://inv/Z0PH9BQR3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3412598, complete quadrangle (unknown). Also MathWorld CompleteQuadrangle
- wikipedia: Wikipedia Complete quadrangle, Complete quadrangle (definition). Also Wikidata Q3412598
History
- 2026-10-26: add by m2/dev
Mac Lane set theory Z0PJ97J33V
| URI | m2://inv/Z0PJ97J33V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#SG55, Mac Lane set theory (definition)
History
- 2026-11-02: add by m2/dev
Z0PMJK2C96 Z0PMJK2C96
| URI | m2://inv/Z0PMJK2C96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#defn-2 (definition). In E59CDZA4DP, defn, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Z0PNZHRDR0 Z0PNZHRDR0
| URI | m2://inv/Z0PNZHRDR0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/syntax-and-semantics/matrices.tex#ex-1 (example). In PKGMM3P5QY, ex, section 41.5
History
- 2026-11-01: add by m2/v0.6.13
Z0PP647A78 Z0PP647A78
| URI | m2://inv/Z0PP647A78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21358#VBFQ (statement). In XV70TXYS5A/e1, proposition 2.21
History
- 2026-10-27: add by m2/v0.4.2
Z0PS2PNTGV Z0PS2PNTGV
| URI | m2://inv/Z0PS2PNTGV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/sequences.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Z0PT963X7H Z0PT963X7H
| URI | m2://inv/Z0PT963X7H |
|---|---|
| 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.04876#8XOG (statement). In 2TNAKVC0YP/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Example Z0PWK60K88
| URI | m2://inv/Z0PWK60K88 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew-symmetric matrix#LAU5, Example (example)
History
- 2026-11-02: add by m2/dev
Z0Q23RB5EV Z0Q23RB5EV
| URI | m2://inv/Z0Q23RB5EV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#Q4MX (statement). In CGA36VE1C5/e1, fact 5.2.4
History
- 2026-10-27: add by m2/v0.3.6
Z0Q3TN3XAE Z0Q3TN3XAE
| URI | m2://inv/Z0Q3TN3XAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17276#2DA7 (statement). In EWKHA675JY/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Barry R. Davis Z0Q7NEA4V3
| URI | m2://inv/Z0Q7NEA4V3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#EBZM, Barry R. Davis (topic)
History
- 2026-11-02: add by m2/dev
Z0QA4NSXMJ Z0QA4NSXMJ
| URI | m2://inv/Z0QA4NSXMJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#KDX9 (definition). In CY1FE8W1ZW/e1, definition 0.30
History
- 2026-10-27: add by m2/v0.3.5
Proof that a function is surjective Z0QHPYT5FY
| URI | m2://inv/Z0QHPYT5FY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#skeleton-2, Proof that a function is surjective (proof). In P1C114YBXG, skeleton, section D
History
- 2026-11-01: add by m2/v0.6.13
Examples Z0QJFBPF1S
| URI | m2://inv/Z0QJFBPF1S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering space#RAHX, Examples (example)
History
- 2026-11-02: add by m2/dev
Z0QQ9B8VHG Z0QQ9B8VHG
| URI | m2://inv/Z0QQ9B8VHG |
|---|---|
| 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#H3OJ (statement). In T2Z3D2VQ9B/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.2
Z0QQG2BFJE Z0QQG2BFJE
| URI | m2://inv/Z0QQG2BFJE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26738#V5W3 (example)
History
- 2026-11-01: add by m2/v0.6.15
Definition Z0QXGTJ2KC
| URI | m2://inv/Z0QXGTJ2KC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-unit#KPE8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Z0R22QAP7V Z0R22QAP7V
| URI | m2://inv/Z0R22QAP7V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/WellOrderingPrinciple.tex#thm:generalized WOP (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Z0R6VHN0R6 Z0R6VHN0R6
| URI | m2://inv/Z0R6VHN0R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#8USZ (statement). In G70Q2FB591/e1, lemma 4.19
History
- 2026-10-28: add by m2/v0.4.2
Compound of twelve pentagonal antiprisms with rotational freedom Z0RE4091XC
| URI | m2://inv/Z0RE4091XC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of twelve pentagonal antiprisms with rotational freedom, Compound of twelve pentagonal antiprisms with rotational freedom (definition). Also Wikidata Q5156897
History
- 2026-11-02: add by m2/dev
flag variety Z0RM15VYC8
| URI | m2://inv/Z0RM15VYC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#B913, flag variety (definition)
History
- 2026-11-02: add by m2/dev
Power laws Z0RWAVB3FE
| URI | m2://inv/Z0RWAVB3FE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential flow#PCFT, Power laws (statement)
History
- 2026-11-02: add by m2/dev
Z0S7MKD9BJ Z0S7MKD9BJ
| URI | m2://inv/Z0S7MKD9BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#ZV4O (statement). In ABS9M47F4K/e1, corollary 2.7
History
- 2026-10-27: add by m2/v0.3.6
Newmarch, William Z0SG75MAEW
| URI | m2://inv/Z0SG75MAEW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#UJ43, Newmarch, William (unknown)
History
- 2026-11-02: add by m2/dev
Z0SSHQ3ZB0 Z0SSHQ3ZB0
| URI | m2://inv/Z0SSHQ3ZB0 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#1F9I (problem). In HXFA55BREZ/e1, problem 1.20
History
- 2026-10-29: add by m2/v0.4.10
Z0SVKX2EA9 Z0SVKX2EA9
| URI | m2://inv/Z0SVKX2EA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16877#N6VX (statement). In YY4KFNMPC0/e1, corollary 3.7
History
- 2026-10-28: add by m2/v0.4.2
cases Z0SY4GAQAS
| URI | m2://inv/Z0SY4GAQAS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.2.5/cases, cases (concept). In Y91XFCEVHQ, index, section 4.2.5
History
- 2026-11-01: add by m2/v0.6.13
Credo quia absurdum Z0T04QY5XG
| URI | m2://inv/Z0T04QY5XG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Credo quia absurdum, Credo quia absurdum (definition). Also Wikidata Q644804
History
- 2026-11-02: add by m2/dev
simplicial localization Z0T80ZZ8AA
| URI | m2://inv/Z0T80ZZ8AA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16935521, simplicial localization (unknown). Also nLab simplicial localization
- wikipedia: Wikipedia Simplicial localization, Simplicial localization (definition). Also Wikidata Q16935521
History
- 2026-10-26: add by m2/dev
Z0TC37WHFB Z0TC37WHFB
| URI | m2://inv/Z0TC37WHFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#F0PC (statement). In H7DMRWBBJN/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Applications Z0TC6D91S1
| URI | m2://inv/Z0TC6D91S1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pathwidth#MEN2, Applications (example)
History
- 2026-11-02: add by m2/dev
Z0TD2B0PJN Z0TD2B0PJN
| URI | m2://inv/Z0TD2B0PJN |
|---|---|
| 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#ZUMJ (statement). In 5E9G06XJKC/e1, lemma G.2
History
- 2026-10-28: add by m2/v0.4.2
forest Z0TKSWX89N
| URI | m2://inv/Z0TKSWX89N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/forest, forest (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
compound statement Z0TQV1982Z
| URI | m2://inv/Z0TQV1982Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#U71R, compound statement (definition)
History
- 2026-11-02: add by m2/dev
Kummer's congruence Z0TT3T69C5
| URI | m2://inv/Z0TT3T69C5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kummer's congruence, Kummer's congruence (definition). Also Wikidata Q6443977
History
- 2026-11-02: add by m2/dev
Unit-weighted regression Z0TZJ1DBJX
| URI | m2://inv/Z0TZJ1DBJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J8GX, Unit-weighted regression (definition)
History
- 2026-11-02: add by m2/dev
Generalization Z0V1977S8S
| URI | m2://inv/Z0V1977S8S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange's theorem (number theory)#72OG, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Z0V1RPGMZE Z0V1RPGMZE
| URI | m2://inv/Z0V1RPGMZE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16381#XNHA (definition). In 304QK565QF/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Deduction theorem Z0VH4BM497
| URI | m2://inv/Z0VH4BM497 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#BPIV, Deduction theorem (statement)
History
- 2026-11-02: add by m2/dev
Z0W3VW9V13 Z0W3VW9V13
| URI | m2://inv/Z0W3VW9V13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21489#V2QW (statement). In R0Q0RV8XCF/e1, theorem 4.20
History
- 2026-10-27: add by m2/v0.4.2
Z0W8HQM92G Z0W8HQM92G
| URI | m2://inv/Z0W8HQM92G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.09812#20VQ (statement). In NWWKD8YX57/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
Random index distribution Z0WAQYPQST
| URI | m2://inv/Z0WAQYPQST |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.07061#ZFI3, Random index distribution (definition). In S988ZVA1QE/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.6
Z0WJ359XFY Z0WJ359XFY
| URI | m2://inv/Z0WJ359XFY |
|---|---|
| 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.32977#N7TQ (statement). In 4KT9TK3MG4/e1, corollary F.6
History
- 2026-10-31: add by m2/v0.5.6
Curie–Weiss law Z0WKD8HC8M
| URI | m2://inv/Z0WKD8HC8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curie–Weiss law, Curie–Weiss law (statement). Also Wikidata Q1144548
History
- 2026-11-02: add by m2/dev
Z0WNH7KDVY Z0WNH7KDVY
| URI | m2://inv/Z0WNH7KDVY |
|---|---|
| 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.20170#MQHZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Z0WRQAJ280 Z0WRQAJ280
| URI | m2://inv/Z0WRQAJ280 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#NO7G (statement). In GW23NX78SB/e1, lemma 4.12
History
- 2026-10-28: add by m2/v0.4.2
Pseudo-abelian envelope Z0WT3NNR80
| URI | m2://inv/Z0WT3NNR80 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-abelian category#BT3P, Pseudo-abelian envelope (unknown)
History
- 2026-11-02: add by m2/dev
Function approximation Z0X0428E2T
| URI | m2://inv/Z0X0428E2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function approximation, Function approximation (definition). Also Wikidata Q3445816
History
- 2026-11-02: add by m2/dev
Turing computable function Z0XCCMKE97
| URI | m2://inv/Z0XCCMKE97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#EJJT, Turing computable function (definition)
History
- 2026-11-02: add by m2/dev
Hilbert basis theorem Z0XF0N89K2
| URI | m2://inv/Z0XF0N89K2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#thm:hilbert_basis, Hilbert basis theorem (statement). In RZP28ERRZV, theorem, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
James Milne Z0XJ73CE6H
| URI | m2://inv/Z0XJ73CE6H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EDTU, James Milne (topic)
History
- 2026-11-02: add by m2/dev
Z0XNCJJ0Y5 Z0XNCJJ0Y5
| URI | m2://inv/Z0XNCJJ0Y5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#N8RC (statement). In GM3S19KFDH/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
300 Z0XP6B3Y2H
| URI | m2://inv/Z0XP6B3Y2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number), 300 (definition). Also Wikidata Q1384187
History
- 2026-11-02: add by m2/dev
Superrationality Z0Y2E724T2
| URI | m2://inv/Z0Y2E724T2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superrationality, Superrationality (definition). Also Wikidata Q1300745
History
- 2026-11-02: add by m2/dev
Z0YCD96X8W Z0YCD96X8W
| URI | m2://inv/Z0YCD96X8W |
|---|---|
| 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#GQRY (statement). In 2ZRQP063HP/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
shuffling Z0YE19RDVP
| URI | m2://inv/Z0YE19RDVP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1930567, shuffling (unknown). Also MathWorld Shuffle
History
- 2026-10-26: add by m2/dev
Hadi Sabzavari Z0YF1S2A36
| URI | m2://inv/Z0YF1S2A36 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadi Sabzavari, Hadi Sabzavari (topic). Also Wikidata Q3660738
History
- 2026-11-02: add by m2/dev
Z0YYA5HBNM Z0YYA5HBNM
| URI | m2://inv/Z0YYA5HBNM |
|---|---|
| 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 2609.21060#KOK1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
H-closed Z0ZE331A5N
| URI | m2://inv/Z0ZE331A5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#I58T, H-closed (definition)
History
- 2026-11-02: add by m2/dev
Theorem Z0ZK8Y5KH1
| URI | m2://inv/Z0ZK8Y5KH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-adjoint operator#HCEV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Misunderstandings of basic terms and principles Z0ZQMN1225
| URI | m2://inv/Z0ZQMN1225 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Wundt#7Y7S, Misunderstandings of basic terms and principles (statement)
History
- 2026-11-02: add by m2/dev
Togliatti surface Z0ZQQT8K7H
| URI | m2://inv/Z0ZQQT8K7H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1847, Togliatti surface (concept). Also MathWorld TogliattiSurface
- wikipedia: Wikipedia Togliatti surface, Togliatti surface (definition). Also Wikidata Q1847
History
- 2026-10-26: add by m2/dev
Nathan Mantel Z0ZVFN41BN
| URI | m2://inv/Z0ZVFN41BN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#QLVS, Nathan Mantel (topic)
History
- 2026-11-02: add by m2/dev