Inventory rows AP

Richard Rufus of Cornwall AP00MQWB2E

URI	`m2://inv/AP00MQWB2E`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Richard Rufus of Cornwall, Richard Rufus of Cornwall (topic). Also Wikidata Q2038445

History

2026-11-02: add by m2/dev

converse AP02NX08CC

URI	`m2://inv/AP02NX08CC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of graph theory#K90I, converse (definition)

History

2026-11-02: add by m2/dev

Definition AP06JA2X5P

URI	`m2://inv/AP06JA2X5P`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Restricted power series#7NJB, Definition (definition)

History

2026-11-02: add by m2/dev

AP07XMNWR8 AP07XMNWR8

URI	`m2://inv/AP07XMNWR8`
Kind	definition
Layer	research
MSC	03-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.22317#JN7R (definition). In 2W5Z97BBW4/e1, definition 2.28

History

2026-10-27: add by m2/v0.4.0

Statement AP09E5KT27

URI	`m2://inv/AP09E5KT27`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Berkson's paradox#FTA6, Statement (statement)

History

2026-11-02: add by m2/dev

Examples AP0G186FY4

URI	`m2://inv/AP0G186FY4`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Stackelberg competition#KV0C, Examples (example)

History

2026-11-02: add by m2/dev

Fenchel--Legendre conjugate AP0XSG7BD3

URI	`m2://inv/AP0XSG7BD3`
Kind	definition
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 2609.38741#GPF5, Fenchel--Legendre conjugate (definition). In 1SQH3PTYMD/e1, definition 7

History

2026-10-30: add by m2/v0.4.12

Explanation of the principle AP14RFZ8K2

URI	`m2://inv/AP14RFZ8K2`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Kerckhoffs's principle#M3R8, Explanation of the principle (statement)

History

2026-11-02: add by m2/dev

AP1EQ0NJFW AP1EQ0NJFW

URI	`m2://inv/AP1EQ0NJFW`
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 2610.06669#ZOAB (statement). In YXD3950ZXR/e1, theorem 3.6

History

2026-10-29: add by m2/v0.4.10

Aberth method AP1H18VXNT

URI	`m2://inv/AP1H18VXNT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Aberth method, Aberth method (definition). Also Wikidata Q4667181

History

2026-11-02: add by m2/dev

AP1PD61488 AP1PD61488

URI	`m2://inv/AP1PD61488`
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.13489#TCNV (statement). In R4CJ28GP2T/e1, lemma 1.1

History

2026-10-28: add by m2/v0.4.2

Linear and affine widths AP1Q0GBXEY

URI	`m2://inv/AP1Q0GBXEY`
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.12017#K321, Linear and affine widths (statement). In WW04MP0NAZ/e1, lemma 2.6

History

2026-10-28: add by m2/v0.4.3

AP1VJ0JF3T AP1VJ0JF3T

URI	`m2://inv/AP1VJ0JF3T`
Kind	statement
Layer	research
MSC	05-XX, 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 2609.38243#7U4U (statement). In R03K2N7FRF/e1, theorem 3.4

History

2026-10-30: add by m2/v0.4.12

AP213KCTH3 AP213KCTH3

URI	`m2://inv/AP213KCTH3`
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 1902.04230#XXJB (statement). In 22JZ68FGCW/e1, theorem 5.1

History

2026-10-27: add by m2/v0.3.5

Properties AP23AX8X81

URI	`m2://inv/AP23AX8X81`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Disphenocingulum#LIWH, Properties (statement)

History

2026-11-02: add by m2/dev

AP2633PEWF AP2633PEWF

URI	`m2://inv/AP2633PEWF`
Kind	example
Layer	research
MSC	30-XX, 32-XX, 35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25801#20HD (example)

History

2026-11-01: add by m2/v0.6.15

AP2AG4K25G AP2AG4K25G

URI	`m2://inv/AP2AG4K25G`
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.11939#72H6 (statement). In DQMEN40FZV/e1, lemma 17

History

2026-10-28: add by m2/v0.4.3

AP2K6VD71N AP2K6VD71N

URI	`m2://inv/AP2K6VD71N`
Kind	problem
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#U1Z9 (problem). In KAYGQMQPGS/e1, problem 6.4

History

2026-10-29: add by m2/v0.4.12

Theorem AP2NC4MN5S

URI	`m2://inv/AP2NC4MN5S`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Spectral theory of ordinary differential equations#1G5S, Theorem (statement)

History

2026-11-02: add by m2/dev

Consistency and order of numerical methods for ordinary differential equations AP2NFZ0Y2Y

URI	`m2://inv/AP2NFZ0Y2Y`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Numerical methods for ordinary differential equations#AEOF, Consistency and order of numerical methods for ordinary differential equations (unknown)

History

2026-11-02: add by m2/dev

Row Poincar\'e estimate AP2PS7ZK9Y

URI	`m2://inv/AP2PS7ZK9Y`
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.15199#SKRZ, Row Poincar\'e estimate (statement). In EVFTDVP4K4/e1, lemma D.1

History

2026-10-28: add by m2/v0.4.2

AP2V398N9H AP2V398N9H

URI	`m2://inv/AP2V398N9H`
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.18033#AESR (statement). In 59VRB6Y27N/e1, lemma 2.1

History

2026-10-28: add by m2/v0.4.2

Examples AP2YWG5EP6

URI	`m2://inv/AP2YWG5EP6`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Simplicial commutative ring#XNP9, Examples (example)

History

2026-11-02: add by m2/dev

AP318KZ037 AP318KZ037

URI	`m2://inv/AP318KZ037`
Kind	example
Layer	research
MSC	35-XX, 47-XX, 58-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.14310#95DU (example). In 8GSG7024NW/e1, example 7.10

History

2026-10-28: add by m2/v0.4.2

AP35YBWFS8 AP35YBWFS8

URI	`m2://inv/AP35YBWFS8`
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#U5QX (statement). In 4KT9TK3MG4/e1, lemma F.4

History

2026-10-31: add by m2/v0.5.6

AP3C99VFH0 AP3C99VFH0

URI	`m2://inv/AP3C99VFH0`
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 2610.00657#D4M6 (definition). In FF8A8FP4FB/e1, definition 3

History

2026-10-30: add by m2/v0.4.12

AP3DE168GH AP3DE168GH

URI	`m2://inv/AP3DE168GH`
Kind	example
Layer	research
MSC	35-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20060#UWFT (example)

History

2026-11-02: add by m2/v0.6.18

Example AP3GV4W6WD

URI	`m2://inv/AP3GV4W6WD`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Multiclass classification#2GSX, Example (example)

History

2026-11-02: add by m2/dev

The existence of solutions AP3NC8DRWG

URI	`m2://inv/AP3NC8DRWG`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

austin_ula: austin_ula src/section2-3.xml#ula-preview-2-3, The existence of solutions (exercise). In 649HGZKE96, exploration, section 2.3.1

History

2026-11-01: add by m2/v0.6.13

Chartered Mathematician AP3P85F5BC

URI	`m2://inv/AP3P85F5BC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Chartered Mathematician, Chartered Mathematician (definition). Also Wikidata Q5086847

History

2026-11-02: add by m2/dev

Analysis of molecular variance AP3V71NP3Z

URI	`m2://inv/AP3V71NP3Z`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Analysis of molecular variance, Analysis of molecular variance (definition). Also Wikidata Q4751104

History

2026-11-02: add by m2/dev

AP41FJ44KA AP41FJ44KA

URI	`m2://inv/AP41FJ44KA`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27957#WW77 (statement)

History

2026-11-01: add by m2/v0.6.15

AP45G7SA7P AP45G7SA7P

URI	`m2://inv/AP45G7SA7P`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.18252#N4DI (statement). In PSQ3CNVK2D/e1, lemma 3.5

History

2026-10-28: add by m2/v0.4.2

AP47MBDPTE AP47MBDPTE

URI	`m2://inv/AP47MBDPTE`
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.24790#L8I6 (statement)

History

2026-11-01: add by m2/v0.6.15

Elias M. Stein AP4E3TFYJZ

URI	`m2://inv/AP4E3TFYJZ`
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 Q1329182, Elias M. Stein (unknown). Also ProofWiki Mathematician:Elias_Menachem_Stein
wikipedia: Wikipedia Elias M. Stein, Elias M. Stein (topic). Also Wikidata Q1329182

History

2026-10-26: add by m2/dev

Basis of finite order AP4HDG0RHR

URI	`m2://inv/AP4HDG0RHR`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Schnirelmann density#WA3C, Basis of finite order (unknown)

History

2026-11-02: add by m2/dev

De Morgan, Augustus AP4JDXWFMM

URI	`m2://inv/AP4JDXWFMM`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#39UR, De Morgan, Augustus (topic)

History

2026-11-02: add by m2/dev

Definition AP4JJQ25PA

URI	`m2://inv/AP4JJQ25PA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ascending chain condition#TT3H, Definition (definition)

History

2026-11-02: add by m2/dev

Bacon's cipher AP4VSTM786

URI	`m2://inv/AP4VSTM786`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bacon's cipher, Bacon's cipher (definition). Also Wikidata Q798585

History

2026-11-02: add by m2/dev

AP4W098ACQ AP4W098ACQ

URI	`m2://inv/AP4W098ACQ`
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 2508.08809#WETU (statement). In X5NX1YEABW/e1, corollary 5.8

History

2026-10-27: add by m2/v0.3.5

Triflake AP4WZVARVN

URI	`m2://inv/AP4WZVARVN`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical shapes#HWRE, Triflake (definition)

History

2026-11-02: add by m2/dev

contour integrals of continuous functions in $\C$ AP5DGSJ6B4

URI	`m2://inv/AP5DGSJ6B4`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > contour integrals of continuous functions in $\C$, contour integrals of continuous functions in $\C$ (unknown)

History

2026-10-26: add by m2/dev

boundary characterisation of the Ritt constant AP5H07H1GF

URI	`m2://inv/AP5H07H1GF`
Kind	statement
Layer	research
MSC	35-XX, 37-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 2609.27458#V3QL, boundary characterisation of the Ritt constant (statement)

History

2026-11-01: add by m2/v0.6.15

AP5KNNJ2GH AP5KNNJ2GH

URI	`m2://inv/AP5KNNJ2GH`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 1.3

History

2026-11-01: add by m2/v0.6.13

Babel function AP5MPS4MNB

URI	`m2://inv/AP5MPS4MNB`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Babel function, Babel function (definition). Also Wikidata Q669548

History

2026-11-02: add by m2/dev

Truncated trapezohedron AP5VJ473WY

URI	`m2://inv/AP5VJ473WY`
Kind	object
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical shapes#8CHW, Truncated trapezohedron (object)

History

2026-11-02: add by m2/dev

Variants AP5VXA1DY0

URI	`m2://inv/AP5VXA1DY0`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Set cover problem#PHNB, Variants (statement)

History

2026-11-02: add by m2/dev

The two-point lemma AP5WDV7Q5C

URI	`m2://inv/AP5WDV7Q5C`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Babenko–Beckner inequality#M0YJ, The two-point lemma (statement)

History

2026-11-02: add by m2/dev

AP5X103BKN AP5X103BKN

URI	`m2://inv/AP5X103BKN`
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 2610.18219#O4HI (statement). In X1AGBB90EH/e1, lemma 7.4

History

2026-10-28: add by m2/v0.4.2

AP5ZTXF2FX AP5ZTXF2FX

URI	`m2://inv/AP5ZTXF2FX`
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 2209.01576#BDKK (statement). In EF0X4TKTR4/e1, proposition 1.7

History

2026-10-27: add by m2/v0.3.5

Outline of algebraic structures AP5ZVJAHZ0

URI	`m2://inv/AP5ZVJAHZ0`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Outline of algebraic structures, Outline of algebraic structures (topic). Also Wikidata Q7112547

History

2026-11-02: add by m2/dev

Onsager–Machlup function AP65RGA1N4

URI	`m2://inv/AP65RGA1N4`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of stochastic processes topics#ICE2, Onsager–Machlup function (definition)

History

2026-11-02: add by m2/dev

A measure on one ray variable and its Fourier lift to the star AP65TFBMCZ

URI	`m2://inv/AP65TFBMCZ`
Kind	statement
Layer	research
MSC	05-XX, 26-XX, 35-XX, 47-XX, 58-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26066#2I3X, A measure on one ray variable and its Fourier lift to the star (statement)

History

2026-11-01: add by m2/v0.6.15

Trichotomy for the hyperplane graphs AP67SSZDJ6

URI	`m2://inv/AP67SSZDJ6`
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 2610.20649#M2AH, Trichotomy for the hyperplane graphs (statement). In XDTM624YPE/e1, lemma 17.1

History

2026-10-27: add by m2/v0.4.2

AP6EZY9RGM AP6EZY9RGM

URI	`m2://inv/AP6EZY9RGM`
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.07828#30Q8 (definition). In TWGMVT1N1G/e1, definition 2.3

History

2026-10-29: add by m2/v0.4.10

AP6JHYZD8V AP6JHYZD8V

URI	`m2://inv/AP6JHYZD8V`
Kind	definition
Layer	research
MSC	62-XX, 94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27617#VOPT (definition)

History

2026-11-01: add by m2/v0.6.15

Journal of the Australian Mathematical Society AP6NNW5WSN

URI	`m2://inv/AP6NNW5WSN`
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 Q15427297, Journal of the Australian Mathematical Society (unknown). Also ProofWiki Book:Journal/Journal_of_the_Australian_Mathematical_Society

History

2026-10-26: add by m2/dev

Perlis theorem AP6Q1TCP9Q

URI	`m2://inv/AP6Q1TCP9Q`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#9M89, Perlis theorem (definition)

History

2026-11-02: add by m2/dev

AP6XBCV99S AP6XBCV99S

URI	`m2://inv/AP6XBCV99S`
Kind	example
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.36181#KED7 (example). In 1KSE33PVS6/e1, example 54

History

2026-10-30: add by m2/v0.4.12

AP72QCGQFN AP72QCGQFN

URI	`m2://inv/AP72QCGQFN`
Kind	statement
Layer	research
MSC	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 2609.39317#A401 (statement). In QM1T8JDK4A/e1, lemma 6.9

History

2026-10-30: add by m2/v0.4.12

Quotient space of an algebraic stack AP7371M3PX

URI	`m2://inv/AP7371M3PX`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quotient space of an algebraic stack, Quotient space of an algebraic stack (definition). Also Wikidata Q30694243

History

2026-11-02: add by m2/dev

Digital data AP7BYHSKVJ

URI	`m2://inv/AP7BYHSKVJ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Digital data, Digital data (definition). Also Wikidata Q173285

History

2026-11-02: add by m2/dev

AP7E7X71TB AP7E7X71TB

URI	`m2://inv/AP7E7X71TB`
Kind	statement
Layer	research
MSC	20-XX, 46-XX, 47-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38596#VV6J (statement). In ZYGQAV8FD3/e1, proposition 2.2

History

2026-10-30: add by m2/v0.4.12

AP7G72XKXZ AP7G72XKXZ

URI	`m2://inv/AP7G72XKXZ`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

austin_ula: austin_ula src/section2-6.xml#activity-2 (exercise). In 649HGZKE96, activity, section 2.6.3

History

2026-11-01: add by m2/v0.6.13

Faithful AP7JPA3J7S

URI	`m2://inv/AP7JPA3J7S`
Kind	definition
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 2602.19452#PEEH, Faithful (definition). In 3GF75S0XJ0/e1, definition 2.4

History

2026-10-27: add by m2/v0.4.0

AP7M9NZTBY AP7M9NZTBY

URI	`m2://inv/AP7M9NZTBY`
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.20798#MNXQ (statement). In 947GFWDY7C/e1, proposition 1

History

2026-10-27: add by m2/v0.4.2

Definition and notation AP85CZQGYE

URI	`m2://inv/AP85CZQGYE`
Kind	definition
Layer	textbook
Sources	1
Outcome	deferred (the cue heading names a section and not one item)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Cyclic group#X5TO, Definition and notation (definition)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

AP889YWE4Z AP889YWE4Z

URI	`m2://inv/AP889YWE4Z`
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.23343#BD8X (statement)

History

2026-11-02: add by m2/v0.6.17

effective topos AP8G9S22Z6

URI	`m2://inv/AP8G9S22Z6`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q5347283, effective topos (unknown). Also nLab effective topos
wikipedia: Wikipedia Effective topos, Effective topos (definition). Also Wikidata Q5347283

History

2026-10-26: add by m2/dev

Finite compatibility table AP8K4NRY5X

URI	`m2://inv/AP8K4NRY5X`
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 2610.20649#W9KB, Finite compatibility table (statement). In XDTM624YPE/e1, lemma 15.5

History

2026-10-27: add by m2/v0.4.2

Pseudoinverse AP8QJZXS79

URI	`m2://inv/AP8QJZXS79`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of named matrices#2A0O, Pseudoinverse (definition)

History

2026-11-02: add by m2/dev

MLE score identity and localized score control AP8SS4111H

URI	`m2://inv/AP8SS4111H`
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.09030#1RV4, MLE score identity and localized score control (statement). In BYN44C0X0C/e1, lemma B.2

History

2026-10-29: add by m2/v0.4.10

AP8TFY3SQ2 AP8TFY3SQ2

URI	`m2://inv/AP8TFY3SQ2`
Kind	definition
Layer	research
MSC	60-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06490#8TMT (definition). In NKXTXH59P1/e1, definition

History

2026-10-29: add by m2/v0.4.10

Nikolai Bakhvalov AP8XH1EBQF

URI	`m2://inv/AP8XH1EBQF`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Nikolai Bakhvalov, Nikolai Bakhvalov (topic). Also Wikidata Q4079811

History

2026-11-02: add by m2/dev

Exponential object AP8ZJZMVPJ

URI	`m2://inv/AP8ZJZMVPJ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of exponential topics#HGRG, Exponential object (definition)

History

2026-11-02: add by m2/dev

ElGamal signature scheme AP90KNZWXJ

URI	`m2://inv/AP90KNZWXJ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia ElGamal signature scheme, ElGamal signature scheme (definition). Also Wikidata Q1328731

History

2026-11-02: add by m2/dev

Cartan formalism (physics) AP93PVY2T5

URI	`m2://inv/AP93PVY2T5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of things named after Élie Cartan#Y4VH, Cartan formalism (physics) (definition)

History

2026-11-02: add by m2/dev

Judy Zeh AP94FJWZ7A

URI	`m2://inv/AP94FJWZ7A`
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#ZI3A, Judy Zeh (topic)

History

2026-11-02: add by m2/dev

AP977A45DY AP977A45DY

URI	`m2://inv/AP977A45DY`
Kind	statement
Layer	research
MSC	13-XX, 14-XX, 17-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38068#MBHV (statement). In 67GE5M1GGD/e1, proposition 3.18

History

2026-10-30: add by m2/v0.4.12

Definition AP98CVEPEV

URI	`m2://inv/AP98CVEPEV`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Polyspectra#MPHS, Definition (definition)

History

2026-11-02: add by m2/dev

AP9CJ8WNHT AP9CJ8WNHT

URI	`m2://inv/AP9CJ8WNHT`
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#X49V (statement)

History

2026-11-01: add by m2/v0.6.15

Anthropomorphism AP9CPEPFTC

URI	`m2://inv/AP9CPEPFTC`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of cognitive biases#TAQN, Anthropomorphism (unknown)

History

2026-11-02: add by m2/dev

infinity axiom AP9H2R8MBX

URI	`m2://inv/AP9H2R8MBX`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of set theory#8XJC, infinity axiom (definition)

History

2026-11-02: add by m2/dev

AP9J8JFFJY AP9J8JFFJY

URI	`m2://inv/AP9J8JFFJY`
Kind	example
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20190#150X (example)

History

2026-11-02: add by m2/v0.6.18

AP9PNVPN14 AP9PNVPN14

URI	`m2://inv/AP9PNVPN14`
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 2609.40191#ZB0B (statement). In F0D8VSM4Z4/e1, theorem 2.5

History

2026-10-30: add by m2/v0.4.12

Dipendra Prasad AP9YWHY5XZ

URI	`m2://inv/AP9YWHY5XZ`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Indian mathematicians#AG4T, Dipendra Prasad (topic)

History

2026-11-02: add by m2/dev

Compound of four octahedra with rotational freedom APA1T9BESC

URI	`m2://inv/APA1T9BESC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical shapes#ROG0, Compound of four octahedra with rotational freedom (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#YUSY, Compound of four octahedra with rotational freedom (definition)

History

2026-11-02: add by m2/dev

APA307YCSW APA307YCSW

URI	`m2://inv/APA307YCSW`
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.36088#QQ03 (statement). In QJD3MZMJHW/e1, theorem 3.6

History

2026-10-30: add by m2/v0.4.12

Aristotelian logic APA623DXNK

URI	`m2://inv/APA623DXNK`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q615599, Aristotelian logic (definition). Also ProofWiki Definition:Aristotelian_Logic

History

2026-10-26: add by m2/dev

APAC8604RB APAC8604RB

URI	`m2://inv/APAC8604RB`
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.04382#WGS7 (definition). In 7VW8XD28G1/e1, definition 4.4

History

2026-10-29: add by m2/v0.4.12

APAJ8W1BXW APAJ8W1BXW

URI	`m2://inv/APAJ8W1BXW`
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.23522#S6F2 (statement)

History

2026-11-02: add by m2/v0.6.17

APANA26VTV APANA26VTV

URI	`m2://inv/APANA26VTV`
Kind	example
Layer	research
MSC	37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2409.19687#5F54 (example). In GWP0HYMDE3/e1, example 1

History

2026-10-27: add by m2/v0.3.6

APAZH9MDG0 APAZH9MDG0

URI	`m2://inv/APAZH9MDG0`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/calculus/differentiate.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 30.6

History

2026-11-01: add by m2/v0.6.13

APB1E5F6NF APB1E5F6NF

URI	`m2://inv/APB1E5F6NF`
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.00775#A7BZ (statement). In WVHA7H05QC/e1, corollary 2.23

History

2026-10-29: add by m2/v0.4.12

Definition APB3HWPD12

URI	`m2://inv/APB3HWPD12`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Partition function (statistical mechanics)#0UZW, Definition (definition)

History

2026-11-02: add by m2/dev

APB43PC0WF APB43PC0WF

URI	`m2://inv/APB43PC0WF`
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#1CF4 (statement)

History

2026-11-02: add by m2/v0.6.17

APB5A0Z5NR APB5A0Z5NR

URI	`m2://inv/APB5A0Z5NR`
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#QGSQ (statement). In GW23NX78SB/e1, lemma 4.6

History

2026-10-28: add by m2/v0.4.2

Methods APB929X6ZA

URI	`m2://inv/APB929X6ZA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pricing science#0E8O, Methods (definition)

History

2026-11-02: add by m2/dev

Digest access authentication APBCDAQTRP

URI	`m2://inv/APBCDAQTRP`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Digest access authentication, Digest access authentication (definition). Also Wikidata Q554318

History

2026-11-02: add by m2/dev

Mass process APBD5D9NQ6

URI	`m2://inv/APBD5D9NQ6`
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.28985#NKP9, Mass process (statement)

History

2026-11-01: add by m2/v0.6.15

No true Scotsman APBDMMP3G5

URI	`m2://inv/APBDMMP3G5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia No true Scotsman, No true Scotsman (definition). Also Wikidata Q932791

History

2026-11-02: add by m2/dev

Zvi Galil APBMZ2V90B

URI	`m2://inv/APBMZ2V90B`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Zvi Galil, Zvi Galil (topic). Also Wikidata Q8075535

History

2026-11-02: add by m2/dev

APBZG9WJAR APBZG9WJAR

URI	`m2://inv/APBZG9WJAR`
Kind	statement
Layer	research
MSC	05-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.36332#HTYV (statement). In APK7X4MFAX/e1, proposition 10

History

2026-10-30: add by m2/v0.4.12

APC9ZS153G APC9ZS153G

URI	`m2://inv/APC9ZS153G`
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.04772#NP59 (statement). In WW08CYN4D4/e1, proposition 3.7

History

2026-10-29: add by m2/v0.4.12

Gapsvp APCFJP738K

URI	`m2://inv/APCFJP738K`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Lattice problem#J7WS, Gapsvp (unknown)

History

2026-11-02: add by m2/dev

Logic and Analysis APCJQ5QTEK

URI	`m2://inv/APCJQ5QTEK`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of logic journals#F6N5, Logic and Analysis (unknown)

History

2026-11-02: add by m2/dev

APCR6YN445 APCR6YN445

URI	`m2://inv/APCR6YN445`
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.34573#9YQB (statement). In KK7EJSSPJY/e1, theorem 1.1

History

2026-10-30: add by m2/v0.4.12

APCSGVBSXZ APCSGVBSXZ

URI	`m2://inv/APCSGVBSXZ`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/methods/proofs/proof-by-contradiction.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 44.11

History

2026-11-01: add by m2/v0.6.13

converse of Wolstenholme's theorem APCXPZMWXN

URI	`m2://inv/APCXPZMWXN`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#BJ1P, converse of Wolstenholme's theorem (statement)

History

2026-11-02: add by m2/dev

Coordinate singularities APCYDH1CG6

URI	`m2://inv/APCYDH1CG6`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Singularity (mathematics)#EJC6, Coordinate singularities (unknown)

History

2026-11-02: add by m2/dev

APCZJ1YZNJ APCZJ1YZNJ

URI	`m2://inv/APCZJ1YZNJ`
Kind	definition
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27301#A968 (definition)

History

2026-11-01: add by m2/v0.6.15

Classic data sets APD0S253YX

URI	`m2://inv/APD0S253YX`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#MMEB, Classic data sets (definition)

History

2026-11-02: add by m2/dev

APD901QX9M APD901QX9M

URI	`m2://inv/APD901QX9M`
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.37706#DTIT (statement). In 6YY27KRJFN/e1, proposition 2.12

History

2026-10-30: add by m2/v0.4.12

Time evolution generated by finitely supported interactions APD93NMT4D

URI	`m2://inv/APD93NMT4D`
Kind	definition
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.12731#NT67, Time evolution generated by finitely supported interactions (definition). In 2NCV1M6WYS/e1, definition 2.5

History

2026-10-28: add by m2/v0.4.2

Jordan curve theorem APDEM5AJ1R

URI	`m2://inv/APDEM5AJ1R`
Kind	statement
Layer	textbook
MSC	54-XX
Sources	4
Outcome	open
Node	Jordan curve theorem 687RGCHBTP

Mentions

mathlib_1000: mathlib_1000 Q260928, Jordan curve theorem (statement). Also Wikidata Q260928
thousand_plus: thousand_plus Q260928, Jordan curve theorem (statement). Also Wikidata Q260928, Wikipedia Jordan curve theorem
wikidata: Wikidata Q260928, Jordan curve theorem (statement). Also MathWorld JordanCurveTheorem, nLab Jordan curve theorem, ProofWiki Jordan_Curve_Theorem
wikipedia: Wikipedia Jordan curve theorem, Jordan curve theorem (statement). Also Wikidata Q260928

History

2026-10-26: add by m2/dev

Rule of replacement APDFGVMYYD

URI	`m2://inv/APDFGVMYYD`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Rule of replacement, Rule of replacement (definition). Also Wikidata Q1361787

History

2026-11-02: add by m2/dev

APDG5CKC11 APDG5CKC11

URI	`m2://inv/APDG5CKC11`
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.28650#YT8N (statement)

History

2026-11-01: add by m2/v0.6.15

APDHDZMBHV APDHDZMBHV

URI	`m2://inv/APDHDZMBHV`
Kind	statement
Layer	research
MSC	11-XX, 14-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.24701#6ME6 (statement)

History

2026-11-01: add by m2/v0.6.15

Linear model APDMDWCPF6

URI	`m2://inv/APDMDWCPF6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#P5JR, Linear model (definition)

History

2026-11-02: add by m2/dev

$\beta$-equivalence, $\equal$ APDN5EFKPH

URI	`m2://inv/APDN5EFKPH`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/lambda-calculus/syntax/beta.tex#defn-2, $\beta$-equivalence, $\equal$ (definition). In PKGMM3P5QY, defn, section 38.10

History

2026-11-01: add by m2/v0.6.13

APDQ5F2X51 APDQ5F2X51

URI	`m2://inv/APDQ5F2X51`
Kind	example
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.19285#Z5FD (example). In 6DJR9DKY5W/e1, example 7.3

History

2026-10-28: add by m2/v0.4.2

Strong actual punctured PDE limit APDTY32X9F

URI	`m2://inv/APDTY32X9F`
Kind	statement
Layer	research
MSC	14-XX, 35-XX, 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.18788#EA6O, Strong actual punctured PDE limit (statement). In KFEASG3ZHS/e1, lemma 7.5

History

2026-10-28: add by m2/v0.4.2

Pierre Petit APDVJFSH9Q

URI	`m2://inv/APDVJFSH9Q`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pierre Petit (engineer), Pierre Petit (topic). Also Wikidata Q3386576

History

2026-11-02: add by m2/dev

Suslin homology APE0JE4QH5

URI	`m2://inv/APE0JE4QH5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Suslin homology, Suslin homology (definition). Also Wikidata Q25303660

History

2026-11-02: add by m2/dev

Census geographic units of Canada APECSCQZ4S

URI	`m2://inv/APECSCQZ4S`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Census geographic units of Canada, Census geographic units of Canada (definition). Also Wikidata Q1053463

History

2026-11-02: add by m2/dev

octadecagonal number APEDFY5G5D

URI	`m2://inv/APEDFY5G5D`
Kind	object
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q18452301, octadecagonal number (object). Also OEIS A051870

History

2026-10-26: add by m2/dev

Fuchs APEW9TZW4F

URI	`m2://inv/APEW9TZW4F`
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.17547#SN4R, Fuchs (statement). In XJ59TDP4HA/e1, lemma 2.19

History

2026-10-28: add by m2/v0.4.2

Dodecahedral conjecture APEWRSVBXQ

URI	`m2://inv/APEWRSVBXQ`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dodecahedral conjecture, Dodecahedral conjecture (statement). Also Wikidata Q5287805

History

2026-11-02: add by m2/dev

APEY11WH0F APEY11WH0F

URI	`m2://inv/APEY11WH0F`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31615#WLIK (statement). In TNV6XTEWEG/e1, theorem 2

History

2026-10-31: add by m2/v0.5.6

continuity of the height profile APF08HKXGJ

URI	`m2://inv/APF08HKXGJ`
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 2610.14050#EY9J, continuity of the height profile (statement). In RENT22YXW3/e1, lemma 3.3

History

2026-10-28: add by m2/v0.4.2

APF32X6P0J APF32X6P0J

URI	`m2://inv/APF32X6P0J`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/H113/quotient.tex#definition-1 (definition). In RZP28ERRZV, definition, section 3.1

History

2026-11-01: add by m2/v0.6.13

APF3C82BZ7 APF3C82BZ7

URI	`m2://inv/APF3C82BZ7`
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.07260#28AK (statement). In 33KABVV985/e1, proposition 2.4

History

2026-10-29: add by m2/v0.4.10

APF72JRFPE APF72JRFPE

URI	`m2://inv/APF72JRFPE`
Kind	definition
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01433#CE0V (definition). In 160PQ7F1AS/e1, definition 4.4

History

2026-10-29: add by m2/v0.4.12

E-semigroup APFQQDYTEJ

URI	`m2://inv/APFQQDYTEJ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia E-semigroup, E-semigroup (definition). Also Wikidata Q18206697

History

2026-11-02: add by m2/dev

Torelli group APFW0SGGTX

URI	`m2://inv/APFW0SGGTX`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mapping class group#UXN3, Torelli group (unknown)

History

2026-11-02: add by m2/dev

APG0RCVXTF APG0RCVXTF

URI	`m2://inv/APG0RCVXTF`
Kind	problem
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 2509.05577#R1KL (problem). In EFWBREMZAP/e1, problem 0.10

History

2026-10-27: add by m2/v0.3.5

Valentina Borok APG3V422SY

URI	`m2://inv/APG3V422SY`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Valentina Borok, Valentina Borok (topic). Also Wikidata Q522359

History

2026-11-02: add by m2/dev

Applications APG83KQ7PH

URI	`m2://inv/APG83KQ7PH`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Prime end#BR2I, Applications (example)

History

2026-11-02: add by m2/dev

Variants APGFKB0E6T

URI	`m2://inv/APGFKB0E6T`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Kappa calculus#OW88, Variants (statement)

History

2026-11-02: add by m2/dev

APGJCF4TJN APGJCF4TJN

URI	`m2://inv/APGJCF4TJN`
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.38206#2ERL (statement). In F71MS1F637/e1, theorem 3.16

History

2026-10-30: add by m2/v0.4.12

APGM2KHF0R APGM2KHF0R

URI	`m2://inv/APGM2KHF0R`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/lambda-calculus/syntax/term-revisited.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 39.1

History

2026-11-01: add by m2/v0.6.13

APGRGCR9Q7 APGRGCR9Q7

URI	`m2://inv/APGRGCR9Q7`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-1 (exercise). In QKM9DD2H56, exercise, section 8

History

2026-11-01: add by m2/v0.6.13

Poly-APX-complete APGV7HV103

URI	`m2://inv/APGV7HV103`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia APX#A3TX, Poly-APX-complete (unknown)

History

2026-11-02: add by m2/dev

Lemma APGV91S8PZ

URI	`m2://inv/APGV91S8PZ`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Vertex separator#JPSL, Lemma (statement)

History

2026-11-02: add by m2/dev

Anne Sjerp Troelstra APGY2B0FC1

URI	`m2://inv/APGY2B0FC1`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of logicians#ON01, Anne Sjerp Troelstra (topic)

History

2026-11-02: add by m2/dev

APH1YXPF2R APH1YXPF2R

URI	`m2://inv/APH1YXPF2R`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

austin_ula: austin_ula src/section4-5.xml#definition-1 (definition). In 649HGZKE96, definition, section 4.5.2

History

2026-11-01: add by m2/v0.6.13

APH7YPQ3J2 APH7YPQ3J2

URI	`m2://inv/APH7YPQ3J2`
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 2304.08231#VSN1 (statement). In A91NXD6EPX/e1, theorem 1.6

History

2026-10-27: add by m2/v0.3.5

Fourier slice theorem APHDKWZX7S

URI	`m2://inv/APHDKWZX7S`
Kind	statement
Layer	research
MSC	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 2608.16453#K4Y1, Fourier slice theorem (statement). In BG3X7ZAEK1/e1, theorem 2.1

History

2026-10-27: add by m2/v0.3.5

APHGW17Q9J APHGW17Q9J

URI	`m2://inv/APHGW17Q9J`
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.14681#0NYV (statement). In 459W0NBS5Q/e1, theorem 7

History

2026-10-28: add by m2/v0.4.2

Ultranet (math) APHHPMRWTZ

URI	`m2://inv/APHHPMRWTZ`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Net (mathematics)#PW8J, Ultranet (math) (unknown)

History

2026-11-02: add by m2/dev

APHJGF9QK1 APHJGF9QK1

URI	`m2://inv/APHJGF9QK1`
Kind	unknown
Layer	research
MSC	35-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06441#PJ42 (unknown). In YFJ62HWHVK/e1, unknown 4.5

History

2026-10-29: add by m2/v0.4.10

APHK66ADAS APHK66ADAS

URI	`m2://inv/APHK66ADAS`
Kind	statement
Layer	research
MSC	37-XX, 46-XX, 47-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16580#TXR6 (statement). In MQPBZX4DR6/e1, proposition 3.5

History

2026-10-28: add by m2/v0.4.2

Auxiliary function APHQ6T45RR

URI	`m2://inv/APHQ6T45RR`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q4827308, Auxiliary polynomial theorem (statement). Also Wikidata Q4827308
thousand_plus: thousand_plus Q4827308, Auxiliary polynomial theorem (statement). Also Wikidata Q4827308, Wikipedia Auxiliary polynomial theorem
wikipedia: Wikipedia Auxiliary function, Auxiliary function (object). Also Wikidata Q4827308

History

2026-10-26: add by m2/dev

APHV4J6TS5 APHV4J6TS5

URI	`m2://inv/APHV4J6TS5`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#example-7 (example). In E59CDZA4DP, example, section 11.1.4

History

2026-11-01: add by m2/v0.6.13

Regularized canonical correlation analysis APHWCD3FSA

URI	`m2://inv/APHWCD3FSA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Regularized canonical correlation analysis, Regularized canonical correlation analysis (definition). Also Wikidata Q17051935

History

2026-11-02: add by m2/dev

Zariski–Riemann space APJ2HMT6MM

URI	`m2://inv/APJ2HMT6MM`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#HH91, Zariski–Riemann space (definition)

History

2026-11-02: add by m2/dev

3-3 duoprism APJ3EKSNWY

URI	`m2://inv/APJ3EKSNWY`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia 3-3 duoprism, 3-3 duoprism (definition). Also Wikidata Q16001039

History

2026-11-02: add by m2/dev

APK77ZZS2Z APK77ZZS2Z

URI	`m2://inv/APK77ZZS2Z`
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.30113#PEP8 (statement)

History

2026-11-01: add by m2/v0.6.15

APK9T7AZFS APK9T7AZFS

URI	`m2://inv/APK9T7AZFS`
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 2205.09049#Q7LH (definition). In 37S7MNMZ2F/e1, definition 8

History

2026-10-27: add by m2/v0.3.5

Instantaneous acceleration APKAJZ1PWG

URI	`m2://inv/APKAJZ1PWG`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Acceleration#QHR2, Instantaneous acceleration (unknown)

History

2026-11-02: add by m2/dev

APKC1TVG6M APKC1TVG6M

URI	`m2://inv/APKC1TVG6M`
Kind	statement
Layer	research
MSC	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.03373#ZAU7 (statement). In ZA7DBT3NWR/e1, lemma 2.8

History

2026-10-29: add by m2/v0.4.12

Theorem 2 APKE9DWM77

URI	`m2://inv/APKE9DWM77`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Geiringer–Laman theorem#89WH, Theorem 2 (statement)

History

2026-11-02: add by m2/dev

Susan Paddock APKF73QJ54

URI	`m2://inv/APKF73QJ54`
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#H157, Susan Paddock (topic)

History

2026-11-02: add by m2/dev

array data structure APKFJS6Y96

URI	`m2://inv/APKFJS6Y96`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q186152, array data structure (unknown). Also MathWorld Array

History

2026-10-26: add by m2/dev

Frequency partition of a graph APM0DGHQ8S

URI	`m2://inv/APM0DGHQ8S`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Frequency partition of a graph, Frequency partition of a graph (definition). Also Wikidata Q5502876

History

2026-11-02: add by m2/dev

Exact trigonometric constants APM6W5YZGC

URI	`m2://inv/APM6W5YZGC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of triangle topics#T2QE, Exact trigonometric constants (definition)

History

2026-11-02: add by m2/dev

APM8HDCM25 APM8HDCM25

URI	`m2://inv/APM8HDCM25`
Kind	statement
Layer	research
MSC	14-XX, 30-XX, 32-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2310.06695#GSIG (statement). In D6F8XGF5SS/e1, lemma 4.1

History

2026-10-27: add by m2/v0.3.6

Embedding dimension for negative defects APMAE57CPV

URI	`m2://inv/APMAE57CPV`
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 2610.21093#QFX1, Embedding dimension for negative defects (statement). In TBFPBPQV3G/e1, proposition 8.5

History

2026-10-27: add by m2/v0.4.2

Gerunda Hughes APMAVQGFKY

URI	`m2://inv/APMAVQGFKY`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Gerunda Hughes, Gerunda Hughes (topic). Also Wikidata Q138890906

History

2026-11-02: add by m2/dev

Reciprocals and composition APMBACC5XA

URI	`m2://inv/APMBACC5XA`
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.06544#OVYZ, Reciprocals and composition (statement). In VCRB27RMN6/e1, lemma 4.4

History

2026-10-29: add by m2/v0.4.10

PRESENT APMBMZ3670

URI	`m2://inv/APMBMZ3670`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia PRESENT, PRESENT (definition). Also Wikidata Q4047327

History

2026-11-02: add by m2/dev

Long windows, unknown branching ratio APMD4B70Y2

URI	`m2://inv/APMD4B70Y2`
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 2609.38268#6KZ2, Long windows, unknown branching ratio (statement). In TQ18V9TDQS/e1, theorem 5.11

History

2026-10-30: add by m2/v0.4.12

APMDSA51C0 APMDSA51C0

URI	`m2://inv/APMDSA51C0`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.23544#UUCT (statement)

History

2026-11-02: add by m2/v0.6.17

APME3ZXHRX APME3ZXHRX

URI	`m2://inv/APME3ZXHRX`
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 2506.16491#PRS9 (statement). In P9J6P06Y40/e1, lemma 5.9

History

2026-10-27: add by m2/v0.3.5

APMGP4C3SY APMGP4C3SY

URI	`m2://inv/APMGP4C3SY`
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 2308.02672#7V0A (statement). In ETRT1R1CQ8/e1, corollary 1.1

History

2026-10-27: add by m2/v0.4.0

Entropic vector APMKG10JH3

URI	`m2://inv/APMKG10JH3`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Entropic vector, Entropic vector (definition). Also Wikidata Q5380785

History

2026-11-02: add by m2/dev

Kantar Group APMRRVFCRE

URI	`m2://inv/APMRRVFCRE`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of polling organizations#W18W, Kantar Group (unknown)

History

2026-11-02: add by m2/dev

APMY5D2NGY APMY5D2NGY

URI	`m2://inv/APMY5D2NGY`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#proof-2 (proof). In E59CDZA4DP, proof, section 5.1.2

History

2026-11-01: add by m2/v0.6.13

tower identity APN23A4DVD

URI	`m2://inv/APN23A4DVD`
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.20775#A185, tower identity (statement). In XG27B81T0G/e1, lemma 3.6

History

2026-10-27: add by m2/v0.4.2

APN4CSBV3Z APN4CSBV3Z

URI	`m2://inv/APN4CSBV3Z`
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 2511.12649#H9QH (statement). In RT27S2YZKJ/e1, proposition 2

History

2026-10-27: add by m2/v0.4.0

Goodhart's law APN4SASDM1

URI	`m2://inv/APN4SASDM1`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Goodhart's law, Goodhart's law (statement). Also Wikidata Q2575082

History

2026-11-02: add by m2/dev

Rolph Ludwig Edward Schwarzenberger APNB2EP9FT

URI	`m2://inv/APNB2EP9FT`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Rolph Ludwig Edward Schwarzenberger, Rolph Ludwig Edward Schwarzenberger (topic). Also Wikidata Q7361411

History

2026-11-02: add by m2/dev

APNBWRQC92 APNBWRQC92

URI	`m2://inv/APNBWRQC92`
Kind	example
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.30892#I2MC (example). In F7C1RM5VA4/e1, example 1.3

History

2026-10-31: add by m2/v0.5.6

M. Helena Noronha APNDRAAK1T

URI	`m2://inv/APNDRAAK1T`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia M. Helena Noronha, M. Helena Noronha (topic). Also Wikidata Q137041174

History

2026-11-02: add by m2/dev

Definition APNE7F7256

URI	`m2://inv/APNE7F7256`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Saturated set#AAEC, Definition (definition)

History

2026-11-02: add by m2/dev

Example APNGHC69JJ

URI	`m2://inv/APNGHC69JJ`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Double graph#3JDA, Example (example)

History

2026-11-02: add by m2/dev

APNWVKBWP6 APNWVKBWP6

URI	`m2://inv/APNWVKBWP6`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28880#RXDU (statement)

History

2026-11-01: add by m2/v0.6.15

Bendixson--Dulac Theorem APP0BFFYZ9

URI	`m2://inv/APP0BFFYZ9`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_diffyqs: lebl_diffyqs index/8.4/bendixson-dulac-theorem, Bendixson--Dulac Theorem (concept). In E9HS8K3A52, index, section 8.4

History

2026-11-01: add by m2/v0.6.13

Regular p-group APP4XZ9ZEY

URI	`m2://inv/APP4XZ9ZEY`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Regular p-group, Regular p-group (definition). Also Wikidata Q7309612

History

2026-11-02: add by m2/dev

arcsin APPCFCJ9NT

URI	`m2://inv/APPCFCJ9NT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of calculus#IPN8, arcsin (definition)

History

2026-11-02: add by m2/dev

APPD3MJR3Z APPD3MJR3Z

URI	`m2://inv/APPD3MJR3Z`
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.25390#E3DV (statement)

History

2026-11-01: add by m2/v0.6.15

APPJ8GMMR9 APPJ8GMMR9

URI	`m2://inv/APPJ8GMMR9`
Kind	statement
Layer	research
MSC	05-XX, 20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.21191#ZZF1 (statement)

History

2026-11-02: add by m2/v0.6.18

Dominique Picard APPJX66B6K

URI	`m2://inv/APPJX66B6K`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6TVN, Dominique Picard (unknown)

History

2026-11-02: add by m2/dev

Morgan Crofton APPMB2204H

URI	`m2://inv/APPMB2204H`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Morgan Crofton, Morgan Crofton (topic). Also Wikidata Q381365

History

2026-11-02: add by m2/dev

Triakis truncated tetrahedron APPQN02BHN

URI	`m2://inv/APPQN02BHN`
Kind	object
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Triakis truncated tetrahedron, Triakis truncated tetrahedron (object). Also Wikidata Q7839931

History

2026-11-02: add by m2/dev

V. V. Sazonov APPSAZ3MSG

URI	`m2://inv/APPSAZ3MSG`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MOH4, V. V. Sazonov (unknown)

History

2026-11-02: add by m2/dev

differentiability with respect to $z$ APQ1J98G2M

URI	`m2://inv/APQ1J98G2M`
Kind	statement
Layer	research
MSC	35-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2210.06147#M4NJ, differentiability with respect to $z$ (statement). In 94RBNQA07A/e1, proposition 3.25

History

2026-10-27: add by m2/v0.3.5

APQ2AK7XFN APQ2AK7XFN

URI	`m2://inv/APQ2AK7XFN`
Kind	statement
Layer	research
MSC	11-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25703#AFBX (statement)

History

2026-11-01: add by m2/v0.6.15

APQ38T269Y APQ38T269Y

URI	`m2://inv/APQ38T269Y`
Kind	definition
Layer	research
MSC	14-XX, 55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20801#HQF3 (definition). In A1GWWGRXPA/e1, definition 1.2

History

2026-10-27: add by m2/v0.4.2

APQ650ERMT APQ650ERMT

URI	`m2://inv/APQ650ERMT`
Kind	example
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.22205#AUK9 (example). In 7REABAAQED/e1, example

History

2026-10-27: add by m2/v0.4.0

APQ9FW2D75 APQ9FW2D75

URI	`m2://inv/APQ9FW2D75`
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 2609.33531#8ZNW (definition). In HNMJEAR2ER/e1, definition 4.4

History

2026-10-30: add by m2/v0.4.12

Statistical mechanics APQAHHE0GC

URI	`m2://inv/APQAHHE0GC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of fields of application of statistics#NGRI, Statistical mechanics (definition)

History

2026-11-02: add by m2/dev

Consequences of Special Relativity APQF0ECPX1

URI	`m2://inv/APQF0ECPX1`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Special relativity#SQ06, Consequences of Special Relativity (unknown)

History

2026-11-02: add by m2/dev

APQS6WMBM9 APQS6WMBM9

URI	`m2://inv/APQS6WMBM9`
Kind	example
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.19694#OVTE (example). In EP0M4RSZ9P/e1, example 2.4

History

2026-10-28: add by m2/v0.4.2

APQSS14QT6 APQSS14QT6

URI	`m2://inv/APQSS14QT6`
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.18335#9W4M (statement). In XKN1C8Y9SD/e1, lemma 6

History

2026-10-28: add by m2/v0.4.2

Mikhail Kapranov APQT0E9128

URI	`m2://inv/APQT0E9128`
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#ECGT, Mikhail Kapranov (topic)

History

2026-11-02: add by m2/dev

APQZJD5AE6 APQZJD5AE6

URI	`m2://inv/APQZJD5AE6`
Kind	statement
Layer	research
MSC	37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06488#HHM3 (statement). In XG3BJ2QXXP/e1, proposition 2.9

History

2026-10-29: add by m2/v0.4.10

APRDE0QTBX APRDE0QTBX

URI	`m2://inv/APRDE0QTBX`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#proof-1 (proof). In E59CDZA4DP, proof, section 5.1.1

History

2026-11-01: add by m2/v0.6.13

Fundamental theorem on homomorphisms APRQS9C1MG

URI	`m2://inv/APRQS9C1MG`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of group theory topics#8RPW, Fundamental theorem on homomorphisms (statement)
wikipedia: Wikipedia List of theorems called fundamental#XV0Z, Fundamental theorem on homomorphisms (statement)

History

2026-11-02: add by m2/dev

Theorem B (modules) APRV90SCHP

URI	`m2://inv/APRV90SCHP`
Kind	statement
Layer	textbook
Sources	1
Outcome	deferred (the item has no name of its own, and the write role names it)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Isomorphism theorems#CFWO, Theorem B (modules) (statement)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

Global product-reference entropy frontier APS2Y443WW

URI	`m2://inv/APS2Y443WW`
Kind	statement
Layer	research
MSC	00-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38228#R15V, Global product-reference entropy frontier (statement). In 9YAE8FNQST/e1, theorem 23.1

History

2026-10-30: add by m2/v0.4.12

+ APS65X39G6

URI	`m2://inv/APS65X39G6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of set theory#QZ0R, + (definition)

History

2026-11-02: add by m2/dev

Mikhail Lyubich APS835056Z

URI	`m2://inv/APS835056Z`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#R3XS, Mikhail Lyubich (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J3TG, Mikhail Lyubich (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RM45, Mikhail Lyubich (topic)

History

2026-11-02: add by m2/dev

Kevin Ford APSAR93N3Y

URI	`m2://inv/APSAR93N3Y`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Kevin Ford (mathematician), Kevin Ford (topic). Also Wikidata Q48969701

History

2026-11-02: add by m2/dev

APSC1S3RRD APSC1S3RRD

URI	`m2://inv/APSC1S3RRD`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

levin_dmoi: levin_dmoi ptx/sec_gt-trees.ptx#example-2 (example). In Y91XFCEVHQ, example, section 5.2.2

History

2026-11-01: add by m2/v0.6.13

Fixed-radius tradeoff APSEBTM5KG

URI	`m2://inv/APSEBTM5KG`
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 2609.37483#BVJI, Fixed-radius tradeoff (statement). In DBAPT7KA04/e1, theorem 1

History

2026-10-30: add by m2/v0.4.12

Properties APSEKAK4A5

URI	`m2://inv/APSEKAK4A5`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Regular numerical predicate#5UV9, Properties (statement)

History

2026-11-02: add by m2/dev

APSGK8XQ4A APSGK8XQ4A

URI	`m2://inv/APSGK8XQ4A`
Kind	definition
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35682#B1OE (definition). In 7XM8WXVBWK/e1, definition 4.2

History

2026-10-30: add by m2/v0.4.12

Witt polynomial APSH8SAHAG

URI	`m2://inv/APSH8SAHAG`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of things named after Ernst Witt#CGZX, Witt polynomial (definition)

History

2026-11-02: add by m2/dev

APSSZB7QZW APSSZB7QZW

URI	`m2://inv/APSSZB7QZW`
Kind	counterexample
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#BDSJ (counterexample). In HX63A1PH1W/e1, counterexample 4.25

History

2026-10-28: add by m2/v0.4.3

APSTXMVGP6 APSTXMVGP6

URI	`m2://inv/APSTXMVGP6`
Kind	statement
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26769#QRYG (statement)

History

2026-11-01: add by m2/v0.6.15

APSWQ2AYTF APSWQ2AYTF

URI	`m2://inv/APSWQ2AYTF`
Kind	statement
Layer	research
MSC	03-XX, 13-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv math/0406514#U23J (statement). In CY1FE8W1ZW/e1, lemma 0.116

History

2026-10-27: add by m2/v0.4.0

APT1JD1KGR APT1JD1KGR

URI	`m2://inv/APT1JD1KGR`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.32903#BZB7 (statement). In S8NB83KQX3/e1, lemma 9

History

2026-10-31: add by m2/v0.5.6

APT306WZ3T APT306WZ3T

URI	`m2://inv/APT306WZ3T`
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 2009.11127#5KYX (statement). In QEFS0Y021A/e1, theorem 1.2

History

2026-10-27: add by m2/v0.3.5

APT9EXXE6A APT9EXXE6A

URI	`m2://inv/APT9EXXE6A`
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#UZPN (definition). In 7V2PVZS04C/e1, definition 1.12

History

2026-10-31: add by m2/v0.5.6

Daniel Dugué APT9Q1P06F

URI	`m2://inv/APT9Q1P06F`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Daniel Dugué, Daniel Dugué (topic). Also Wikidata Q55590248

History

2026-11-02: add by m2/dev

Compactness of the minimization problem APTB46ZA8F

URI	`m2://inv/APTB46ZA8F`
Kind	statement
Layer	research
MSC	11-XX, 35-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12203#7E5T, Compactness of the minimization problem (statement). In F4YTAZSCS2/e1, lemma 2.3

History

2026-10-28: add by m2/v0.4.2

APTKNPK4MS APTKNPK4MS

URI	`m2://inv/APTKNPK4MS`
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.02901#C5K9 (statement). In NSP90G5XCQ/e1, theorem 4.12

History

2026-10-29: add by m2/v0.4.12

APTRTN7HY3 APTRTN7HY3

URI	`m2://inv/APTRTN7HY3`
Kind	statement
Layer	research
MSC	20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.37237#HVN4 (statement). In GBY82BZCNA/e1, proposition 5.3

History

2026-10-30: add by m2/v0.4.12

APTVKMRBK8 APTVKMRBK8

URI	`m2://inv/APTVKMRBK8`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/alg-NT/frobenius.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 13.2

History

2026-11-01: add by m2/v0.6.13

Hans Stephani APV4SMXYKM

URI	`m2://inv/APV4SMXYKM`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of contributors to general relativity#VAGJ, Hans Stephani (unknown)

History

2026-11-02: add by m2/dev

APVACW988Q APVACW988Q

URI	`m2://inv/APVACW988Q`
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.02484#067V (statement). In D1V0MQZTFQ/e1, proposition 3.5

History

2026-10-29: add by m2/v0.4.12

APVD9PDRDY APVD9PDRDY

URI	`m2://inv/APVD9PDRDY`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/normal-modal-logic/filtrations/S5-decidable.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 51.6

History

2026-11-01: add by m2/v0.6.13

Applications APVGK0D0BR

URI	`m2://inv/APVGK0D0BR`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Lentz's algorithm#N7FT, Applications (example)

History

2026-11-02: add by m2/dev

APVQ5HJ5KW APVQ5HJ5KW

URI	`m2://inv/APVQ5HJ5KW`
Kind	statement
Layer	research
MSC	05-XX, 11-XX, 17-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25168#BK3F (statement)

History

2026-11-01: add by m2/v0.6.15

APVQEPNW0F APVQEPNW0F

URI	`m2://inv/APVQEPNW0F`
Kind	statement
Layer	research
MSC	57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38793#V1V0 (statement). In T2N92YSY5R/e1, lemma 4.13

History

2026-10-30: add by m2/v0.4.12

Physics research APVQPG76WY

URI	`m2://inv/APVQPG76WY`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Physics#9CUK, Physics research (unknown)

History

2026-11-02: add by m2/dev

Example APVSNYJ955

URI	`m2://inv/APVSNYJ955`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pairing strategy#J2RE, Example (example)

History

2026-11-02: add by m2/dev

Examples and counterexamples APVT20PJ7M

URI	`m2://inv/APVT20PJ7M`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Locally compact space#FK60, Examples and counterexamples (example)

History

2026-11-02: add by m2/dev

Gunther Uhlmann APVZ5KT6PV

URI	`m2://inv/APVZ5KT6PV`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#04SM, Gunther Uhlmann (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TR2F, Gunther Uhlmann (unknown)

History

2026-11-02: add by m2/dev

Ruth Pfeiffer APW1G1FG7Y

URI	`m2://inv/APW1G1FG7Y`
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#JGJC, Ruth Pfeiffer (topic)

History

2026-11-02: add by m2/dev

Iterated integral APWAZJBR84

URI	`m2://inv/APWAZJBR84`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of real analysis topics#7ANB, Iterated integral (definition)

History

2026-11-02: add by m2/dev

APWCZ0EN8H APWCZ0EN8H

URI	`m2://inv/APWCZ0EN8H`
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 2608.23797#3QCF (statement). In PZCA01JXVR/e1, theorem 0.1

History

2026-10-27: add by m2/v0.3.5

Stein exponents for $\biid{k}$ strategy APWK8NM2XZ

URI	`m2://inv/APWK8NM2XZ`
Kind	statement
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.40355#JEPJ, Stein exponents for $\biid{k}$ strategy (statement). In SBP98GWKC8/e1, theorem 1

History

2026-10-30: add by m2/v0.4.12

Shmuel Weinberger APWMHMEAK5

URI	`m2://inv/APWMHMEAK5`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#SP4V, Shmuel Weinberger (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6RCJ, Shmuel Weinberger (topic)

History

2026-11-02: add by m2/dev

The recent window tracks the current advantage APWNKNZBF4

URI	`m2://inv/APWNKNZBF4`
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.04638#J038, The recent window tracks the current advantage (statement). In 3YM5F3YHD5/e1, lemma F.5

History

2026-10-29: add by m2/v0.4.12

Deformation maps APWSQETMNK

URI	`m2://inv/APWSQETMNK`
Kind	definition
Layer	research
MSC	60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.00039#9X88, Deformation maps (definition). In 2YQ3WX6VSW/e1, definition 2.2

History

2026-10-30: add by m2/v0.4.12

Lemma (Symmetrization) APWX3RAGAA

URI	`m2://inv/APWX3RAGAA`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Vapnik–Chervonenkis theory#YWOY, Lemma (Symmetrization) (statement)

History

2026-11-02: add by m2/dev

Finding the empirical law APWZTNG158

URI	`m2://inv/APWZTNG158`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Planck's law#YC8I, Finding the empirical law (statement)

History

2026-11-02: add by m2/dev

Artin–Verdier duality theorem APX6GGYBV5

URI	`m2://inv/APX6GGYBV5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#VF90, Artin–Verdier duality theorem (definition)

History

2026-11-02: add by m2/dev

APXAMFWMBP APXAMFWMBP

URI	`m2://inv/APXAMFWMBP`
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.07259#Q14J (statement). In XMR1TTDSPG/e1, lemma A.2

History

2026-10-29: add by m2/v0.4.10

Readiness gradients APXDHH4WHK

URI	`m2://inv/APXDHH4WHK`
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.21580#OONZ, Readiness gradients (statement)

History

2026-11-02: add by m2/v0.6.18

Rank n reduction APXW7T5HB6

URI	`m2://inv/APXW7T5HB6`
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.32936#7GXM, Rank n reduction (statement). In QDBYK125AB/e1, theorem 2

History

2026-10-31: add by m2/v0.5.6

Formal statement APXW8CVSQ4

URI	`m2://inv/APXW8CVSQ4`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pumping lemma for context-free languages#OQE9, Formal statement (statement)

History

2026-11-02: add by m2/dev

Equations for the transverse derivatives APXYAKKWAZ

URI	`m2://inv/APXYAKKWAZ`
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#18F9, Equations for the transverse derivatives (statement)

History

2026-11-01: add by m2/v0.6.15

The method APYM4GDZ84

URI	`m2://inv/APYM4GDZ84`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Direct method in the calculus of variations#BDDC, The method (definition)

History

2026-11-02: add by m2/dev

APYYDJPPRV APYYDJPPRV

URI	`m2://inv/APYYDJPPRV`
Kind	example
Layer	research
MSC	17-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.04046#R0V6 (example). In 3THDT8WNF7/e1, example 18

History

2026-10-29: add by m2/v0.4.12

Definition APZ2WWF4NK

URI	`m2://inv/APZ2WWF4NK`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fuzzy concept#G4RW, Definition (definition)

History

2026-11-02: add by m2/dev

APZ3QY40E3 APZ3QY40E3

URI	`m2://inv/APZ3QY40E3`
Kind	statement
Layer	research
MSC	17-XX, 20-XX, 57-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.09333#MN8E (statement). In Z9HC1EDTQP/e1, theorem 1.2

History

2026-10-29: add by m2/v0.4.10

APZC6ZEJ90 APZC6ZEJ90

URI	`m2://inv/APZC6ZEJ90`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/computability/computability-theory/reducibility.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 3.12

History

2026-11-01: add by m2/v0.6.13

path, topological APZDEJAZDF

URI	`m2://inv/APZDEJAZDF`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book index/u1.u2/path-topological, path, topological (concept). In N54F33XE07, index, section u1.u2

History

2026-11-01: add by m2/v0.6.13

Circle packing APZH9V8QHF

URI	`m2://inv/APZH9V8QHF`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Circle packing, Circle packing (topic). Also Wikidata Q5121501

History

2026-11-02: add by m2/dev

APZJ6H3HZJ APZJ6H3HZJ

URI	`m2://inv/APZJ6H3HZJ`
Kind	statement
Layer	research
MSC	14-XX, 30-XX, 32-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35605#XGPY (statement). In X1KWTAA3M2/e1, lemma 4.1

History

2026-10-27: add by m2/v0.3.5