Inventory rows 95
The cards of the rows of the inventory whose ids start with 95. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Theorem 950KGPQK1V
| URI | m2://inv/950KGPQK1V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outer measure#WRI8, Theorem (statement)
History
- 2026-11-02: add by m2/dev
950QCSQ48Y 950QCSQ48Y
| URI | m2://inv/950QCSQ48Y |
|---|---|
| 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 2202.03009#1ILE (statement). In GYEQJ534W1/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Correctness via Psatz 9517T406JW
| URI | m2://inv/9517T406JW |
|---|---|
| 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.09634#AN90, Correctness via Psatz (statement). In FH42QK814C/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
astrology 9518ERRBGE
| URI | m2://inv/9518ERRBGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#6OM5, astrology (unknown)
History
- 2026-11-02: add by m2/dev
Jacob Korevaar 9519QG73BR
| URI | m2://inv/9519QG73BR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EER6, Jacob Korevaar (topic)
History
- 2026-11-02: add by m2/dev
Bessel differential equation 951K5VADWN
| URI | m2://inv/951K5VADWN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1055071, Bessel differential equation (unknown). Also EoM Bessel_equation, MathWorld BesselDifferentialEquation
History
- 2026-10-26: add by m2/dev
951MGH6QE2 951MGH6QE2
| URI | m2://inv/951MGH6QE2 |
|---|---|
| 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.05193#JZFQ (statement). In XDMM0KNNZ9/e1, lemma 46
History
- 2026-10-29: add by m2/v0.4.10
Supergravity 951PA9V2W2
| URI | m2://inv/951PA9V2W2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#YEE5, Supergravity (definition)
- wikipedia: Wikipedia List of string theory topics#XPH2, Supergravity (definition)
History
- 2026-11-02: add by m2/dev
951TXVNYP1 951TXVNYP1
| URI | m2://inv/951TXVNYP1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#678A (definition). In JQH3FHYPW3/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Law Enforcement Data Collections 951VNVPSNN
| URI | m2://inv/951VNVPSNN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform Crime Reports#82N6, Law Enforcement Data Collections (statement)
History
- 2026-11-02: add by m2/dev
Alex Wilkie 951WHXXFKT
| URI | m2://inv/951WHXXFKT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H09J, Alex Wilkie (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2V5J, Alex Wilkie (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AQU0, Alex Wilkie (topic)
History
- 2026-11-02: add by m2/dev
9523BBEPHC 9523BBEPHC
| URI | m2://inv/9523BBEPHC |
|---|---|
| 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.20568#AJ1O (statement). In BCD0ATARNZ/e1, lemma A.4
History
- 2026-10-27: add by m2/v0.4.2
952C9ZAZR4 952C9ZAZR4
| URI | m2://inv/952C9ZAZR4 |
|---|---|
| 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.33185#W9ZG (statement). In QX30H2WNA7/e1, proposition 7.6
History
- 2026-10-30: add by m2/v0.4.12
ADMM and sGS--ADMM 952GQJY04F
| URI | m2://inv/952GQJY04F |
|---|---|
| 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.20270#J56O, ADMM and sGS--ADMM (statement). In GV0QGZH67P/e1, corollary 5.1
History
- 2026-10-27: add by m2/v0.4.2
direct sum 952H466NH2
| URI | m2://inv/952H466NH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#4NJQ, direct sum (definition)
History
- 2026-11-02: add by m2/dev
953437S2ZY 953437S2ZY
| URI | m2://inv/953437S2ZY |
|---|---|
| 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.39449#B1V0 (statement). In GWC70X14RG/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Holomorphicity of the dual kernel line 9536XGGJ9D
| URI | m2://inv/9536XGGJ9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#OWRF, Holomorphicity of the dual kernel line (statement)
History
- 2026-11-01: add by m2/v0.6.15
Strong law of small numbers 953CAGKWWQ
| URI | m2://inv/953CAGKWWQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PCD8, Strong law of small numbers (statement)
History
- 2026-11-02: add by m2/dev
Microstate 953CEXYEN8
| URI | m2://inv/953CEXYEN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microstate (statistical mechanics), Microstate (definition). Also Wikidata Q611952
History
- 2026-11-02: add by m2/dev
I. Richard Savage 953KM1SND4
| URI | m2://inv/953KM1SND4 |
|---|---|
| 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#YUPB, I. Richard Savage (topic)
History
- 2026-11-02: add by m2/dev
Properties 953MJ4MD0G
| URI | m2://inv/953MJ4MD0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor K-theory#SYOO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Unified super-fast analytic Richardson rate 953V48M823
| URI | m2://inv/953V48M823 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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.16094#1NA9, Unified super-fast analytic Richardson rate (statement). In RHBS9QDHC3/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
953V6FG9RJ 953V6FG9RJ
| URI | m2://inv/953V6FG9RJ |
|---|---|
| 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.22311#RK79 (statement)
History
- 2026-11-02: add by m2/v0.6.17
equiaffine 953XA2M2CD
| URI | m2://inv/953XA2M2CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#FS8G, equiaffine (definition)
History
- 2026-11-02: add by m2/dev
953XANXNJ8 953XANXNJ8
| URI | m2://inv/953XANXNJ8 |
|---|---|
| Kind | conjecture |
| 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 1709.00677#36V9 (conjecture). In G83TVA8HYR/e1, conjecture 1.4
History
- 2026-10-27: add by m2/v0.3.5
953ZZ1G6A9 953ZZ1G6A9
| URI | m2://inv/953ZZ1G6A9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#definition-3 (definition). In RZP28ERRZV, definition, section 21.3
History
- 2026-11-01: add by m2/v0.6.13
Ross's paradox 9547E6RT1B
| URI | m2://inv/9547E6RT1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imperative logic#9KBD, Ross's paradox (statement)
History
- 2026-11-02: add by m2/dev
Anatoli N. Andrianov 954G6XF4F8
| URI | m2://inv/954G6XF4F8 |
|---|---|
| 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#7DKB, Anatoli N. Andrianov (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W5O8, Anatoli N. Andrianov (topic)
History
- 2026-11-02: add by m2/dev
954GFMAYN2 954GFMAYN2
| URI | m2://inv/954GFMAYN2 |
|---|---|
| Kind | definition |
| 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 2405.01860#6OOE (definition). In 8HYS0MFE25/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.3.5
9554C4XXK0 9554C4XXK0
| URI | m2://inv/9554C4XXK0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#MBMW (definition). In 7V2PVZS04C/e1, definition 1.8
History
- 2026-10-31: add by m2/v0.5.6
Fallacy of composition (economics) 9554X21EEJ
| URI | m2://inv/9554X21EEJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy of composition#BJAG, Fallacy of composition (economics) (unknown)
History
- 2026-11-02: add by m2/dev
Histoire de l'académie royale des sciences. Avec les mémoires de mathématique & de physique 9556KGX0YA
| URI | m2://inv/9556KGX0YA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5898790, Histoire de l'académie royale des sciences. Avec les mémoires de mathématique & de physique (unknown). Also ProofWiki Book:Journal/Histoire_de_l'Académie_Royale_des_Sciences,_avec_les_Mémoires_de_Mathématique_et_de_Physique
History
- 2026-10-26: add by m2/dev
Selector closure from full FEI bounds 9559G2VYAA
| URI | m2://inv/9559G2VYAA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16069#4ZYG, Selector closure from full FEI bounds (statement). In MBJA03ES8N/e1, corollary 8.3
History
- 2026-10-28: add by m2/v0.4.2
Examples 9559WJS1HM
| URI | m2://inv/9559WJS1HM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computable function#MMYX, Examples (example)
History
- 2026-11-02: add by m2/dev
Pinsker's inequality 955CSETX9E
| URI | m2://inv/955CSETX9E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pinsker's inequality, Pinsker's inequality (statement). Also Wikidata Q7196482
History
- 2026-11-02: add by m2/dev
955DPPDD8R 955DPPDD8R
| URI | m2://inv/955DPPDD8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/kleene.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 42.4
History
- 2026-11-01: add by m2/v0.6.13
Size of subtrees of $\varnothing$ 955EN9FQJ3
| URI | m2://inv/955EN9FQJ3 |
|---|---|
| Kind | definition |
| 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.30098#Q34F, Size of subtrees of $\varnothing$ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Example 955PZER2YC
| URI | m2://inv/955PZER2YC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of modules#ORHS, Example (example)
History
- 2026-11-02: add by m2/dev
Roland Weitzenböck 955XAYJ0N0
| URI | m2://inv/955XAYJ0N0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roland Weitzenböck, Roland Weitzenböck (topic). Also Wikidata Q2163091
History
- 2026-11-02: add by m2/dev
9560W5315E 9560W5315E
| URI | m2://inv/9560W5315E |
|---|---|
| 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 2407.05730#TBN4 (statement). In VQ7STN4KDC/e1, fact 1.4
History
- 2026-10-27: add by m2/v0.3.5
Finiteness of stable lattices 9561CFDM15
| URI | m2://inv/9561CFDM15 |
|---|---|
| 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.26318#LLVF, Finiteness of stable lattices (statement)
History
- 2026-11-01: add by m2/v0.6.15
deviation 9564M7JZQP
| URI | m2://inv/9564M7JZQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#YH1O, deviation (definition)
History
- 2026-11-02: add by m2/dev
95676N3BF6 95676N3BF6
| URI | m2://inv/95676N3BF6 |
|---|---|
| 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.10546#4E0V (statement). In K5R5RRPMQ5/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Properties 9567809XA3
| URI | m2://inv/9567809XA3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford torus#QUEG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Weighted Thue equations 956PXB61TZ
| URI | m2://inv/956PXB61TZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17589#8T4O, Weighted Thue equations (statement). In GSTK4569X1/e1, corollary 7.4
History
- 2026-10-28: add by m2/v0.4.2
Closed formula for the affine Wang--Sun sum 956S466B9D
| URI | m2://inv/956S466B9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02806#WWD4, Closed formula for the affine Wang--Sun sum (statement). In F4A354Y5NC/e1, corollary 7.2
History
- 2026-10-29: add by m2/v0.4.12
Examples 956WK2AHVW
| URI | m2://inv/956WK2AHVW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice model (physics)#36RP, Examples (example)
History
- 2026-11-02: add by m2/dev
Keisha Cook 956ZCRFDSG
| URI | m2://inv/956ZCRFDSG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keisha Cook, Keisha Cook (topic). Also Wikidata Q103362338
History
- 2026-11-02: add by m2/dev
Reflection identity 9577MEFRRP
| URI | m2://inv/9577MEFRRP |
|---|---|
| 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.22305#A0N4, Reflection identity (statement). In P6FTXTV09Q/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.0
Example 957BN1GAMG
| URI | m2://inv/957BN1GAMG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scenario optimization#OJVH, Example (example)
History
- 2026-11-02: add by m2/dev
Transverse-field Ising model 957FXGV5KY
| URI | m2://inv/957FXGV5KY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transverse-field Ising model, Transverse-field Ising model (definition). Also Wikidata Q85810512
History
- 2026-11-02: add by m2/dev
957J0ZTS7E 957J0ZTS7E
| URI | m2://inv/957J0ZTS7E |
|---|---|
| Kind | definition |
| 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 1809.06512#JJ5U (definition). In RY2X22P6XW/e1, definition 14
History
- 2026-10-27: add by m2/v0.3.5
957KJB37TP 957KJB37TP
| URI | m2://inv/957KJB37TP |
|---|---|
| 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.03062#704V (statement). In 5H7985A5SD/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
957QF97633 957QF97633
| URI | m2://inv/957QF97633 |
|---|---|
| Kind | example |
| 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.22759#2DQY (example)
History
- 2026-11-02: add by m2/v0.6.17
Bounded differences inequality 957X34JERG
| URI | m2://inv/957X34JERG |
|---|---|
| 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.27673#XG4A, Bounded differences inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
sqrt 957Z8V1Q2M
| URI | m2://inv/957Z8V1Q2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#OPLR, sqrt (definition)
History
- 2026-11-02: add by m2/dev
958037QE63 958037QE63
| URI | m2://inv/958037QE63 |
|---|---|
| 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.02628#W6HP (statement). In G4S9C5M1A4/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
958ESKHA1P 958ESKHA1P
| URI | m2://inv/958ESKHA1P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#WNPS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Strassen algorithm 958MB7S6P2
| URI | m2://inv/958MB7S6P2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Strassen algorithm 3CVWXDS4JQ |
Mentions
- wikidata: Wikidata Q728507, Strassen algorithm (unknown). Also MathWorld StrassenFormulas
- wikipedia: Wikipedia Strassen algorithm, Strassen algorithm (definition). Also Wikidata Q728507
History
- 2026-10-26: add by m2/dev
Weierstrass function 958Y5C4Q14
| URI | m2://inv/958Y5C4Q14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Weierstrass function 01A0MK1730 |
Mentions
- wikidata: Wikidata Q94491, Weierstrass function (unknown). Also MathWorld WeierstrassFunction
- wikipedia: Wikipedia Weierstrass function (nowhere-differentiable function), Weierstrass function (definition). Also Wikidata Q94491
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
9590BRBVWZ 9590BRBVWZ
| URI | m2://inv/9590BRBVWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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 2610.22109#AOLW (statement). In MZ60NP20BH/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.0
prime factorization algorithm 95964ZJ8C5
| URI | m2://inv/95964ZJ8C5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2835821, prime factorization algorithm (unknown). Also MathWorld PrimeFactorizationAlgorithms
History
- 2026-10-26: add by m2/dev
9598ZRMVVX 9598ZRMVVX
| URI | m2://inv/9598ZRMVVX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02244#KA6Z (statement). In 3REM2EXQK7/e1, corollary 3.10
History
- 2026-10-29: add by m2/v0.4.12
Oracle comparison for joint memory choices 959B2J8RM5
| URI | m2://inv/959B2J8RM5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15543#XV46, Oracle comparison for joint memory choices (statement). In TQSHQZFCS5/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
959FNQJBDW 959FNQJBDW
| URI | m2://inv/959FNQJBDW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#JJQQ (definition). In S8NB83KQX3/e1, definition 2
History
- 2026-10-31: add by m2/v0.5.6
959K6QP2Q3 959K6QP2Q3
| URI | m2://inv/959K6QP2Q3 |
|---|---|
| Kind | example |
| 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.01802#AMUD (example). In XGPZ0G9E1Q/e1, example 3.4
History
- 2026-10-29: add by m2/v0.4.12
Weighted inequality 959QCWFS4D
| URI | m2://inv/959QCWFS4D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Popoviciu's inequality#7JF1, Weighted inequality (statement)
History
- 2026-11-02: add by m2/dev
959QFRE0CP 959QFRE0CP
| URI | m2://inv/959QFRE0CP |
|---|---|
| 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.26496#XV55 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Multi-conformal symplectic structure of Brinkman-penalised multi-symplectic PDEs 959YZHC3GD
| URI | m2://inv/959YZHC3GD |
|---|---|
| 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.29847#6K0H, Multi-conformal symplectic structure of Brinkman-penalised multi-symplectic PDEs (statement)
History
- 2026-11-01: add by m2/v0.6.15
module spectrum 95A4HS5JPC
| URI | m2://inv/95A4HS5JPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#WG0B, module spectrum (definition)
History
- 2026-11-02: add by m2/dev
Mesopotamia Secunda 95A9NTAFNS
| URI | m2://inv/95A9NTAFNS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#E6CU, Mesopotamia Secunda (unknown)
History
- 2026-11-02: add by m2/dev
Non-parametric statistics 95ADR380X9
| URI | m2://inv/95ADR380X9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2NAQ, Non-parametric statistics (definition)
History
- 2026-11-02: add by m2/dev
95AEFNFQ1X 95AEFNFQ1X
| URI | m2://inv/95AEFNFQ1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#RG7R (statement). In 4WPYBTARS2/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Linear forest 95AG07SRCV
| URI | m2://inv/95AG07SRCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear forest, Linear forest (definition). Also Wikidata Q25303651
History
- 2026-11-02: add by m2/dev
Properties 95AG9DCMR9
| URI | m2://inv/95AG9DCMR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur polynomial#B3UN, Properties (statement)
History
- 2026-11-02: add by m2/dev
geometric multiplicity 95ANP1VBBT
| URI | m2://inv/95ANP1VBBT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#POA5, geometric multiplicity (definition)
History
- 2026-11-02: add by m2/dev
95ASM6BVRB 95ASM6BVRB
| URI | m2://inv/95ASM6BVRB |
|---|---|
| Kind | definition |
| 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 2309.15424#KYAW (definition). In NXYZ1EAWKN/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Cox ring 95ATWDDMDD
| URI | m2://inv/95ATWDDMDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cox ring, Cox ring (definition). Also Wikidata Q16930905
History
- 2026-11-02: add by m2/dev
Actuarial present value 95B2Q2DMN7
| URI | m2://inv/95B2Q2DMN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Actuarial present value, Actuarial present value (definition). Also Wikidata Q4677848
History
- 2026-11-02: add by m2/dev
Applications 95B5YP6RHM
| URI | m2://inv/95B5YP6RHM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isothermal–isobaric ensemble#SW6N, Applications (example)
History
- 2026-11-02: add by m2/dev
String field theory 95BEDKKSDY
| URI | m2://inv/95BEDKKSDY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#BJJ9, String field theory (unknown)
History
- 2026-11-02: add by m2/dev
Crossed hexagonal antiprism 95BKYVCA30
| URI | m2://inv/95BKYVCA30 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal antiprism#JHPD, Crossed hexagonal antiprism (unknown)
History
- 2026-11-02: add by m2/dev
Horace Hahn 95BZFENDM7
| URI | m2://inv/95BZFENDM7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#RL30, Horace Hahn (unknown)
History
- 2026-11-02: add by m2/dev
Uses 95C5VZ7SRY
| URI | m2://inv/95C5VZ7SRY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eddy covariance#F7YU, Uses (example)
History
- 2026-11-02: add by m2/dev
comprehension schema 95CBEXQQ15
| URI | m2://inv/95CBEXQQ15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LZEV, comprehension schema (definition)
History
- 2026-11-02: add by m2/dev
Bounded analytic multipliers 95CFWJ7EQC
| URI | m2://inv/95CFWJ7EQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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.16094#4IK3, Bounded analytic multipliers (statement). In RHBS9QDHC3/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Dickson polynomial of the first kind 95CY8YAW0N
| URI | m2://inv/95CY8YAW0N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dickson polynomial#0Z61, Dickson polynomial of the first kind (unknown)
History
- 2026-11-02: add by m2/dev
computer science 95DA6C0A11
| URI | m2://inv/95DA6C0A11 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21198, computer science (topic). Also ProofWiki Definition:Computer_Science
History
- 2026-10-26: add by m2/dev
95DG374V71 95DG374V71
| URI | m2://inv/95DG374V71 |
|---|---|
| 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.35631#N3RW (statement). In 9NCX0S6MTP/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
Friedrich Böhm 95DNP2TAPZ
| URI | m2://inv/95DNP2TAPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#ITAL, Friedrich Böhm (unknown)
History
- 2026-11-02: add by m2/dev
Nonarchimedean dynamics 95DQ9W73HP
| URI | m2://inv/95DQ9W73HP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#DKJI, Nonarchimedean dynamics (definition)
History
- 2026-11-02: add by m2/dev
Theorem 95DQPXQGJA
| URI | m2://inv/95DQPXQGJA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#DGVK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Machine learning 95DVK5H1Z5
| URI | m2://inv/95DVK5H1Z5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q30R, Machine learning (definition)
History
- 2026-11-02: add by m2/dev
operator theory 95DXJF280J
| URI | m2://inv/95DXJF280J |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 47-XX |
| Sources | 2 |
| Outcome | open |
| Node | Operator theory YG9NR68ZH3 |
Mentions
- wikidata: Wikidata Q1198874, operator theory (topic). Also MathWorld OperatorTheory, ProofWiki Definition:Operator_Theory
- wikipedia: Wikipedia Operator theory, Operator theory (definition). Also Wikidata Q1198874
History
- 2026-10-26: add by m2/dev
Ostrowski–Hadamard gap theorem 95DYCMXF0V
| URI | m2://inv/95DYCMXF0V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4454910, Ostrowski–Hadamard gap theorem (statement). Also Wikidata Q4454910
- thousand_plus: thousand_plus Q4454910, Ostrowski–Hadamard gap theorem (statement). Also Wikidata Q4454910, Wikipedia Ostrowski–Hadamard gap theorem
- wikidata: Wikidata Q4454910, Ostrowski–Hadamard gap theorem (statement). Also MathWorld Ostrowski-HadamardGapTheorem
- wikipedia: Wikipedia Hadamard gap theorem, Hadamard gap theorem (statement). Also Wikidata Q4454910
History
- 2026-10-26: add by m2/dev
Akshay Venkatesh 95E0GN1A43
| URI | m2://inv/95E0GN1A43 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#7ZRT, Akshay Venkatesh (topic)
History
- 2026-11-02: add by m2/dev
Sign of zero 95ECJ23SEZ
| URI | m2://inv/95ECJ23SEZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sign (mathematics)#EEJJ, Sign of zero (unknown)
History
- 2026-11-02: add by m2/dev
Properties 95EDRFAQXT
| URI | m2://inv/95EDRFAQXT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gallai–Edmonds decomposition#GOPG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bloch space 95F3HMMB5K
| URI | m2://inv/95F3HMMB5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch space, Bloch space (definition). Also Wikidata Q4927106
History
- 2026-11-02: add by m2/dev
95F7J9BQYC 95F7J9BQYC
| URI | m2://inv/95F7J9BQYC |
|---|---|
| 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 2503.16884#RQZI (definition). In B984KNW591/e1, definition 1.4
History
- 2026-10-27: add by m2/v0.3.5
95FCKVGA82 95FCKVGA82
| URI | m2://inv/95FCKVGA82 |
|---|---|
| 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#89ZJ (statement). In YPTC532FEG/e1, theorem 32
History
- 2026-10-28: add by m2/v0.4.2
scientific notation 95FHBQFBG3
| URI | m2://inv/95FHBQFBG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q219142, scientific notation (unknown). Also MathWorld ScientificNotation
- wikipedia: Wikipedia Scientific notation, Scientific notation (definition). Also Wikidata Q219142
History
- 2026-10-26: add by m2/dev
Vladimir Gribov 95FW37VQDT
| URI | m2://inv/95FW37VQDT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2587331, Vladimir Gribov (unknown). Also nLab Vladimir Gribov
History
- 2026-10-26: add by m2/dev
Census block group 95FYR9Z9K4
| URI | m2://inv/95FYR9Z9K4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census block group, Census block group (definition). Also Wikidata Q5058963
History
- 2026-11-02: add by m2/dev
Mezhgorye, Bashkortostan 95FYRR4D9X
| URI | m2://inv/95FYRR4D9X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#L4L3, Mezhgorye, Bashkortostan (unknown)
History
- 2026-11-02: add by m2/dev
Adequate diagrams 95G1GJXRW8
| URI | m2://inv/95G1GJXRW8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#LZXT, Adequate diagrams (definition). In 5EKTECQ2P1/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.10
95G1HVYJ7C 95G1HVYJ7C
| URI | m2://inv/95G1HVYJ7C |
|---|---|
| Kind | definition |
| 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#PYN7 (definition). In HX63A1PH1W/e1, definition 8.16
History
- 2026-10-28: add by m2/v0.4.3
95GD8QA7R8 95GD8QA7R8
| URI | m2://inv/95GD8QA7R8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-6.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Gyroelongated square pyramid 95GGN01EV6
| URI | m2://inv/95GGN01EV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#SOB6, Gyroelongated square pyramid (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#6TKX, Gyroelongated square pyramid (definition)
History
- 2026-11-02: add by m2/dev
95GHD25DBE 95GHD25DBE
| URI | m2://inv/95GHD25DBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#5C2Z (statement). In RYWAX33Z51/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Consistency 95GNKWRA4D
| URI | m2://inv/95GNKWRA4D |
|---|---|
| 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.34066#AF8R, Consistency (statement). In F0Y3DZCEH0/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Feedback vertex set 95GQZZ7WK2
| URI | m2://inv/95GQZZ7WK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feedback vertex set, Feedback vertex set (definition). Also Wikidata Q1400918
History
- 2026-11-02: add by m2/dev
Arbitrariness 95GT3VBCK4
| URI | m2://inv/95GT3VBCK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arbitrariness, Arbitrariness (definition). Also Wikidata Q629962
History
- 2026-11-02: add by m2/dev
William R. Steiger 95GZWVT8R7
| URI | m2://inv/95GZWVT8R7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#L8IJ, William R. Steiger (unknown)
History
- 2026-11-02: add by m2/dev
Examples 95H1HJYQFY
| URI | m2://inv/95H1HJYQFY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance#ROXS, Examples (example)
History
- 2026-11-02: add by m2/dev
95H2GSA12H 95H2GSA12H
| URI | m2://inv/95H2GSA12H |
|---|---|
| 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.17585#00UQ (statement). In FBWDPA01XY/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Baudet's conjecture 95H2JB4KNE
| URI | m2://inv/95H2JB4KNE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105332761, Baudet's conjecture (concept). Also MathWorld BaudetsConjecture
History
- 2026-10-26: add by m2/dev
95HB1H13Z4 95HB1H13Z4
| URI | m2://inv/95HB1H13Z4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#defn-5 (definition). In E59CDZA4DP, defn, section 2.4.1
History
- 2026-11-01: add by m2/v0.6.13
Test validity 95HH4Z93GR
| URI | m2://inv/95HH4Z93GR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Test validity, Test validity (definition). Also Wikidata Q5372350
History
- 2026-11-02: add by m2/dev
95HSWN6HY5 95HSWN6HY5
| URI | m2://inv/95HSWN6HY5 |
|---|---|
| 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 2502.08738#S0NK (statement). In 9GMTVSTAVN/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
Symmetry 95J5XMDTD2
| URI | m2://inv/95J5XMDTD2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized logistic distribution#WW2Z, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Disjunction property of Wallman 95J9BWAX3J
| URI | m2://inv/95J9BWAX3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunction property of Wallman, Disjunction property of Wallman (definition). Also Wikidata Q5282266
History
- 2026-11-02: add by m2/dev
95JNSXJ5P8 95JNSXJ5P8
| URI | m2://inv/95JNSXJ5P8 |
|---|---|
| Kind | definition |
| 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.30067#FXEB (definition)
History
- 2026-11-01: add by m2/v0.6.15
Picard iterate 95JWJKKCKP
| URI | m2://inv/95JWJKKCKP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/9.3.2/picard-iterate, Picard iterate (concept). In E59CDZA4DP, index, section 9.3.2
History
- 2026-11-01: add by m2/v0.6.13
Properties 95JYNK9QV8
| URI | m2://inv/95JYNK9QV8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unilateral shift operator#AL4D, Properties (statement)
History
- 2026-11-02: add by m2/dev
95K1EZR4SY 95K1EZR4SY
| URI | m2://inv/95K1EZR4SY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05776#OE2W (statement). In AFSG70BF7S/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.10
95K3AYR2T5 95K3AYR2T5
| URI | m2://inv/95K3AYR2T5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#thm-2 (statement). In N54F33XE07, thm, section B.3.4
History
- 2026-11-01: add by m2/v0.6.13
carry 95K7DZA509
| URI | m2://inv/95K7DZA509 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1333956, carry (concept). Also MathWorld Carry
- wikipedia: Wikipedia Carry (arithmetic), Carry (definition). Also Wikidata Q1333956
History
- 2026-10-26: add by m2/dev
Maier's theorem 95K9MDN9HC
| URI | m2://inv/95K9MDN9HC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#EFB1, Maier's theorem (statement)
History
- 2026-11-02: add by m2/dev
95K9Z7H0P3 95K9Z7H0P3
| URI | m2://inv/95K9Z7H0P3 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.05688#12RJ (proof). In M8F4PDHH3S/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Uniform finite-prefix existence 95KHXTY6EX
| URI | m2://inv/95KHXTY6EX |
|---|---|
| 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.28791#SBDJ, Uniform finite-prefix existence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dorothea Wagner 95KRG1CR96
| URI | m2://inv/95KRG1CR96 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Z4YO, Dorothea Wagner (unknown)
History
- 2026-11-02: add by m2/dev
Generator 95KZJZWMFM
| URI | m2://inv/95KZJZWMFM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07855#5MZO, Generator (definition). In 1VT8CVVCM7/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
95MG3XQMSQ 95MG3XQMSQ
| URI | m2://inv/95MG3XQMSQ |
|---|---|
| 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.20740#Q20T (statement)
History
- 2026-11-02: add by m2/v0.6.18
95MGNHXR4S 95MGNHXR4S
| URI | m2://inv/95MGNHXR4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.15344#PHU7 (statement). In B9EX6K51RD/e1, corollary 2.27
History
- 2026-10-28: add by m2/v0.4.2
special orthogonal group 95MHF4WQT8
| URI | m2://inv/95MHF4WQT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3117934, special orthogonal group (definition). Also MathWorld SpecialOrthogonalGroup, nLab special orthogonal group, ProofWiki Definition:Special_Orthogonal_Group
History
- 2026-10-26: add by m2/dev
Scharnhorst effect 95MQJXYDW4
| URI | m2://inv/95MQJXYDW4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#2DIX, Scharnhorst effect (unknown)
History
- 2026-11-02: add by m2/dev
Jean Helen Thompson 95MRNS7CBM
| URI | m2://inv/95MRNS7CBM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Helen Thompson, Jean Helen Thompson (topic). Also Wikidata Q18731124
History
- 2026-11-02: add by m2/dev
Definition 95MW97KF4D
| URI | m2://inv/95MW97KF4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion#BLXH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statement of the theorem 95MZQTWZ9E
| URI | m2://inv/95MZQTWZ9E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geiringer–Laman theorem#U245, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
95MZVJA76H 95MZVJA76H
| URI | m2://inv/95MZVJA76H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-5.xml#activity-6 (exercise). In 649HGZKE96, activity, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
Properties 95N2Y6P7BF
| URI | m2://inv/95N2Y6P7BF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fidelity of quantum states#7TQ0, Properties (statement)
History
- 2026-11-02: add by m2/dev
95N2ZN6JYD 95N2ZN6JYD
| URI | m2://inv/95N2ZN6JYD |
|---|---|
| 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 2609.29537#4D0T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formulation 95ND5RPWTH
| URI | m2://inv/95ND5RPWTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional principal component analysis#XFPS, Formulation (definition)
History
- 2026-11-02: add by m2/dev
95NDVXTAB8 95NDVXTAB8
| URI | m2://inv/95NDVXTAB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.21090#2L69 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Path bound 95NQ799K43
| URI | m2://inv/95NQ799K43 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#IEJT, Path bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
95NXC8X0F8 95NXC8X0F8
| URI | m2://inv/95NXC8X0F8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#Q2J5 (statement). In 4H727T2YAS/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
95P3NQEZC4 95P3NQEZC4
| URI | m2://inv/95P3NQEZC4 |
|---|---|
| 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-5 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
Predictable mean budget 95PAEE7CFG
| URI | m2://inv/95PAEE7CFG |
|---|---|
| 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.28791#9MN9, Predictable mean budget (statement)
History
- 2026-11-01: add by m2/v0.6.15
95PAH7P08B 95PAH7P08B
| URI | m2://inv/95PAH7P08B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#2VBK (statement). In DAMYG8BFAK/e1, lemma 4.9
History
- 2026-10-30: add by m2/v0.4.12
Concentration of the full Gram matrix 95PAYHGET0
| URI | m2://inv/95PAYHGET0 |
|---|---|
| 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.06875#2G2G, Concentration of the full Gram matrix (statement). In ZDT5J9KQVQ/e1, lemma F.5
History
- 2026-10-29: add by m2/v0.4.10
Closed negatively curved manifolds 95PBDZ4DWA
| URI | m2://inv/95PBDZ4DWA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-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.18530#G2LL, Closed negatively curved manifolds (example). In HSXWVKPCQV/e1, example 3.2
History
- 2026-10-28: add by m2/v0.4.2
Julius Heldman 95PCTDTGFB
| URI | m2://inv/95PCTDTGFB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#050B, Julius Heldman (unknown)
History
- 2026-11-02: add by m2/dev
Carré du champ operator 95PHPCT3V3
| URI | m2://inv/95PHPCT3V3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carré du champ operator, Carré du champ operator (definition). Also Wikidata Q115162204
History
- 2026-11-02: add by m2/dev
95PJ4AA41Y 95PJ4AA41Y
| URI | m2://inv/95PJ4AA41Y |
|---|---|
| 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 2509.21444#5MBV (statement). In CTVPA2FQT1/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.0
95PMPDQCJE 95PMPDQCJE
| URI | m2://inv/95PMPDQCJE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#6YD1 (definition). In TB1294GY5X/e1, definition 3.18
History
- 2026-10-27: add by m2/v0.4.2
Cubefree 95PRA8SXC0
| URI | m2://inv/95PRA8SXC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of small groups#WZL1, Cubefree (definition)
History
- 2026-11-02: add by m2/dev
EKG sequence 95PTPFC1RW
| URI | m2://inv/95PTPFC1RW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9362250, EKG sequence (object). Also OEIS A064413
History
- 2026-10-26: add by m2/dev
Definition 95PVA5PH26
| URI | m2://inv/95PVA5PH26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebra over a field#OFC3, Definition (definition)
History
- 2026-11-02: add by m2/dev
95PYSBACRF 95PYSBACRF
| URI | m2://inv/95PYSBACRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35691#ZGVG (statement). In G7R61RPWE2/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
Ulla Pursiheimo 95Q8W4NVGE
| URI | m2://inv/95Q8W4NVGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulla Pursiheimo, Ulla Pursiheimo (topic). Also Wikidata Q29418887
History
- 2026-11-02: add by m2/dev
Generalized Franchetta Conjecture 95QC50PS0Y
| URI | m2://inv/95QC50PS0Y |
|---|---|
| Kind | conjecture |
| 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.36909#C5VI, Generalized Franchetta Conjecture (conjecture). In S5SKFZB5WH/e1, conjecture 1.1
History
- 2026-10-30: add by m2/v0.4.12
Notation 95QCBPZY5V
| URI | m2://inv/95QCBPZY5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surreal number#QO5I, Notation (definition)
History
- 2026-11-02: add by m2/dev
95QH3RMBQ8 95QH3RMBQ8
| URI | m2://inv/95QH3RMBQ8 |
|---|---|
| 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.11386#4V7S (statement). In RH7T1S3MAD/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.3
95QNXNFWNG 95QNXNFWNG
| URI | m2://inv/95QNXNFWNG |
|---|---|
| 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.12108#QSMN (statement). In JQH3FHYPW3/e1, theorem 2.25
History
- 2026-10-28: add by m2/v0.4.2
Effective Sample Size 95QR2C9AZQ
| URI | m2://inv/95QR2C9AZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Design effect#H9O7, Effective Sample Size (unknown)
History
- 2026-11-02: add by m2/dev
Elliptic geometry 95QTBAFVWE
| URI | m2://inv/95QTBAFVWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#V8ZU, Elliptic geometry (definition)
History
- 2026-11-02: add by m2/dev
Rank 95QXJR8NEZ
| URI | m2://inv/95QXJR8NEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank (differential topology), Rank (definition). Also Wikidata Q2128223
History
- 2026-11-02: add by m2/dev
95QZYRRWYW 95QZYRRWYW
| URI | m2://inv/95QZYRRWYW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-recurrence.ptx#example-6 (example). In Y91XFCEVHQ, example, section 3.4.1
History
- 2026-11-01: add by m2/v0.6.13
95R9SDG8NV 95R9SDG8NV
| URI | m2://inv/95R9SDG8NV |
|---|---|
| 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.00676#JL1Y (statement). In 5351H04TJY/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.4.0
95RBXRR6NR 95RBXRR6NR
| URI | m2://inv/95RBXRR6NR |
|---|---|
| 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.20285#5V2O (statement). In RQA728RB77/e1, proposition 26
History
- 2026-10-27: add by m2/v0.4.2
95RGXEQFNP 95RGXEQFNP
| URI | m2://inv/95RGXEQFNP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_partitions-integer.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
95RHVXN0G7 95RHVXN0G7
| URI | m2://inv/95RHVXN0G7 |
|---|---|
| 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.04844#4EN0 (statement). In 5MX3N62ENP/e1, theorem 18
History
- 2026-10-29: add by m2/v0.4.12
95RMF6XNGF 95RMF6XNGF
| URI | m2://inv/95RMF6XNGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#1LJT (statement). In GHKR740SG3/e1, theorem 19.1
History
- 2026-10-31: add by m2/v0.5.6
Paul Lazarsfeld 95RP4MDEE2
| URI | m2://inv/95RP4MDEE2 |
|---|---|
| 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#674Y, Paul Lazarsfeld (unknown)
History
- 2026-11-02: add by m2/dev
95RQXZYGD0 95RQXZYGD0
| URI | m2://inv/95RQXZYGD0 |
|---|---|
| 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 math/9801068#9IUL (statement). In PMMWXCJVAZ/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
95RZMW8W16 95RZMW8W16
| URI | m2://inv/95RZMW8W16 |
|---|---|
| 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 2510.02019#SLIY (statement). In PD607VXPY3/e1, theorem 27
History
- 2026-10-27: add by m2/v0.3.5
95SBSA9QAH 95SBSA9QAH
| URI | m2://inv/95SBSA9QAH |
|---|---|
| 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.38772#2C9S (statement). In 1C3R5NAQAP/e1, lemma 7.5
History
- 2026-10-30: add by m2/v0.4.12
Lou van den Dries 95SQE91DFD
| URI | m2://inv/95SQE91DFD |
|---|---|
| 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 Q24471410, Lou van den Dries (unknown). Also nLab Lou van den Dries
- wikipedia: Wikipedia Lou van den Dries, Lou van den Dries (topic). Also Wikidata Q24471410
History
- 2026-10-26: add by m2/dev
Value network 95SYF49Q1B
| URI | m2://inv/95SYF49Q1B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#BQNH, Value network (unknown)
History
- 2026-11-02: add by m2/dev
Polynomial long division 95T1KZBEAN
| URI | m2://inv/95T1KZBEAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#DXIM, Polynomial long division (definition)
History
- 2026-11-02: add by m2/dev
Variations 95T3QKK8Y3
| URI | m2://inv/95T3QKK8Y3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AC (complexity)#XFK4, Variations (statement)
History
- 2026-11-02: add by m2/dev
Uniform Boundedness Conjecture for $x^2+c$ 95T7RVVZ35
| URI | m2://inv/95T7RVVZ35 |
|---|---|
| Kind | conjecture |
| 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 2105.03715#IL40, Uniform Boundedness Conjecture for $x^2+c$ (conjecture). In H3FWT3Z0J4/e1, conjecture 2
History
- 2026-10-27: add by m2/v0.3.5
95TAFR122C 95TAFR122C
| URI | m2://inv/95TAFR122C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 52.2
History
- 2026-11-01: add by m2/v0.6.13
95TS2HD242 95TS2HD242
| URI | m2://inv/95TS2HD242 |
|---|---|
| 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 1709.04968#H8HP (statement). In BEX59Q3DE4/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
95TWQTH6J1 95TWQTH6J1
| URI | m2://inv/95TWQTH6J1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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.22514#BRBP (definition)
History
- 2026-11-02: add by m2/v0.6.17
Journal of Formalized Reasoning 95TZ0CEJ7D
| URI | m2://inv/95TZ0CEJ7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Formalized Reasoning, Journal of Formalized Reasoning (definition). Also Wikidata Q6295233
History
- 2026-11-02: add by m2/dev
95TZNGBVPW 95TZNGBVPW
| URI | m2://inv/95TZNGBVPW |
|---|---|
| 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 2404.18690#DP93 (statement). In MDCJJJRQ2X/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
95TZWPW9H1 95TZWPW9H1
| URI | m2://inv/95TZWPW9H1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#7VWD (definition)
History
- 2026-11-02: add by m2/v0.6.17
95VGAHR2YD 95VGAHR2YD
| URI | m2://inv/95VGAHR2YD |
|---|---|
| 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.22304#3NMT (statement)
History
- 2026-11-02: add by m2/v0.6.17
block matrix 95VN171XXT
| URI | m2://inv/95VN171XXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Block matrix 01AXG9KZQF |
Mentions
- wikidata: Wikidata Q884772, block matrix (unknown). Also MathWorld BlockMatrix
- wikipedia: Wikipedia Block matrix, Block matrix (definition). Also Wikidata Q884772
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
subgraph 95VQ93AJQH
| URI | m2://inv/95VQ93AJQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#WMSC, subgraph (definition)
History
- 2026-11-02: add by m2/dev
Webster Wells 95VSN6G3KX
| URI | m2://inv/95VSN6G3KX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Webster Wells, Webster Wells (topic). Also Wikidata Q7978979
History
- 2026-11-02: add by m2/dev
95W4E59VHV 95W4E59VHV
| URI | m2://inv/95W4E59VHV |
|---|---|
| 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.39706#YJNA (statement). In 79Y8JJMKP4/e1, lemma 6.4
History
- 2026-10-30: add by m2/v0.4.12
95WBSDH1QJ 95WBSDH1QJ
| URI | m2://inv/95WBSDH1QJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 10.7
History
- 2026-11-01: add by m2/v0.6.13
95WFZ576G8 95WFZ576G8
| URI | m2://inv/95WFZ576G8 |
|---|---|
| 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.01737#0KEQ (statement). In M4JGP708F4/e1, fact 3.27
History
- 2026-10-29: add by m2/v0.4.12
95WJ31Y4B0 95WJ31Y4B0
| URI | m2://inv/95WJ31Y4B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/lambda-definability.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 37.2
History
- 2026-11-01: add by m2/v0.6.13
95WJVC2YW0 95WJVC2YW0
| URI | m2://inv/95WJVC2YW0 |
|---|---|
| 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.27200#SIVX (statement)
History
- 2026-11-01: add by m2/v0.6.15
95WXPW34RF 95WXPW34RF
| URI | m2://inv/95WXPW34RF |
|---|---|
| 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 2405.10580#Z4TA (statement). In FXEJE0PWEP/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
95XFVXZXTT 95XFVXZXTT
| URI | m2://inv/95XFVXZXTT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
95XMTE6VN5 95XMTE6VN5
| URI | m2://inv/95XMTE6VN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02983#YLFK (statement). In HMNKENER22/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
95XP51FATG 95XP51FATG
| URI | m2://inv/95XP51FATG |
|---|---|
| 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.12908#JGDR (statement). In TNC658NVMQ/e1, proposition 7.9
History
- 2026-10-28: add by m2/v0.4.2
95XXF2717M 95XXF2717M
| URI | m2://inv/95XXF2717M |
|---|---|
| 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.16002#N7KJ (statement). In MWXDTQ7XC4/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
95XYW79FYJ 95XYW79FYJ
| URI | m2://inv/95XYW79FYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#IM33 (statement). In 1R7H0ZAHWA/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
SinPi/18 95Y3V2G5XF
| URI | m2://inv/95Y3V2G5XF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of trigonometric identities#L3HB, SinPi/18 (unknown)
History
- 2026-11-02: add by m2/dev
95YB5AT583 95YB5AT583
| URI | m2://inv/95YB5AT583 |
|---|---|
| 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#AVSQ (statement). In ZR53K3E0FR/e1, proposition 11
History
- 2026-10-27: add by m2/v0.3.6
95YB5E3KP3 95YB5E3KP3
| URI | m2://inv/95YB5E3KP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#IVIC (statement). In XXN6KKXPYF/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
Sufficient conditions for local sample uphill availability 95YE3F4JSW
| URI | m2://inv/95YE3F4JSW |
|---|---|
| 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.01050#Z7F9, Sufficient conditions for local sample uphill availability (statement). In 48NN33SAH7/e1, proposition G.1
History
- 2026-10-29: add by m2/v0.4.12
Primitive compatible families 95YV18X76S
| URI | m2://inv/95YV18X76S |
|---|---|
| Kind | definition |
| 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.30301#EVEQ, Primitive compatible families (definition). In 7NS75J7HAM/e1, definition 1.1
History
- 2026-10-31: add by m2/v0.5.6
95YVYZWZX2 95YVYZWZX2
| URI | m2://inv/95YVYZWZX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16388#4Y6J (statement). In Q62MDENP26/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
Special case 95Z4D90998
| URI | m2://inv/95Z4D90998 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Babel function#5DKZ, Special case (statement)
History
- 2026-11-02: add by m2/dev
Reuleaux tetrahedron 95Z4STZ6R3
| URI | m2://inv/95Z4STZ6R3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of solids derived from the sphere#2LXK, Reuleaux tetrahedron (definition)
History
- 2026-11-02: add by m2/dev
Representations 95ZPM4PVQG
| URI | m2://inv/95ZPM4PVQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monster group#11UF, Representations (definition)
History
- 2026-11-02: add by m2/dev
95ZVF4FDX7 95ZVF4FDX7
| URI | m2://inv/95ZVF4FDX7 |
|---|---|
| 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.37897#0KMC (statement). In RBQ5FNCVNZ/e1, corollary B.10
History
- 2026-10-30: add by m2/v0.4.12
Definition 95ZZ4SA0VZ
| URI | m2://inv/95ZZ4SA0VZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient category#0M1Q, Definition (definition)
History
- 2026-11-02: add by m2/dev