Inventory rows Q4

Hester Bijl Q406XSZVYW

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

Mentions

wikipedia: Wikipedia Hester Bijl, Hester Bijl (topic). Also Wikidata Q59096960

History

2026-11-02: add by m2/dev

Q40E26288S Q40E26288S

URI	`m2://inv/Q40E26288S`
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.36389#2CWI (statement). In N1S169J2MV/e1, corollary 4

History

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

Klaus Schmitt Q40NCCAPCJ

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

Mentions

wikipedia: Wikipedia Klaus Schmitt, Klaus Schmitt (topic). Also Wikidata Q93604189

History

2026-11-02: add by m2/dev

Initial Environment Validity Q40RFXB68E

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

Mentions

arxiv: arXiv 2610.21131#6BBE, Initial Environment Validity (statement). In CPYWHRTPKC/e1, lemma 7.33

History

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

Q40Y6GBJBN Q40Y6GBJBN

URI	`m2://inv/Q40Y6GBJBN`
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.02689#X16I (statement). In 7BWXR38MNE/e1, theorem 1.1

History

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

Vanishing classification Q40YBZK79T

URI	`m2://inv/Q40YBZK79T`
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#2Y1L, Vanishing classification (statement). In XDTM624YPE/e1, theorem 5.4

History

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

Gramian conditions for $\ms{KXO}_\infty$ and $\ms{KAO}_\infty$ Q413VHQ31C

URI	`m2://inv/Q413VHQ31C`
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.36334#13Z2, Gramian conditions for $\ms{KXO}_\infty$ and $\ms{KAO}_\infty$ (statement). In YVB70SBGN1/e1, theorem

History

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

NWChem Q414B4CQMN

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#9LRW, NWChem (unknown)

History

2026-11-02: add by m2/dev

Q417BD1V8M Q417BD1V8M

URI	`m2://inv/Q417BD1V8M`
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.34813#AVLI (statement). In P3V3ZGCHV7/e1, lemma 3.1

History

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

Extensions Q41BN49YW8

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

Mentions

wikipedia: Wikipedia Fuzzy set#9ADE, Extensions (statement)

History

2026-11-02: add by m2/dev

Measurability Q41DVX0ASD

URI	`m2://inv/Q41DVX0ASD`
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.05204#TXMT, Measurability (statement). In ET0TQ8YF7Z/e1, lemma 6.6

History

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

Q41GD12JCJ Q41GD12JCJ

URI	`m2://inv/Q41GD12JCJ`
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#NLNJ (statement). In F0D8VSM4Z4/e1, proposition 5.9

History

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

Q41HR0C67X Q41HR0C67X

URI	`m2://inv/Q41HR0C67X`
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.21724#0ESC (statement). In EDDJCSBMXN/e1, theorem 1.2

History

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

Examples Q41JBH6B6F

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

Mentions

wikipedia: Wikipedia Hyperbolic set#CBQM, Examples (example)

History

2026-11-02: add by m2/dev

Q41QCD0TGM Q41QCD0TGM

URI	`m2://inv/Q41QCD0TGM`
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 2312.06473#C0QM (statement). In P1MYSYHSGX/e1, proposition 4.7

History

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

Q41SXK9173 Q41SXK9173

URI	`m2://inv/Q41SXK9173`
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.09314#VV0S (definition). In Z04N0B3R0V/e1, definition 3.9

History

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

Howard Raiffa Q421YAE96G

URI	`m2://inv/Q421YAE96G`
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#VSEK, Howard Raiffa (unknown)

History

2026-11-02: add by m2/dev

higher-dimensional equivalent formulation Q424FB2690

URI	`m2://inv/Q424FB2690`
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#ITEA, higher-dimensional equivalent formulation (statement). In 94RBNQA07A/e1, theorem 5.1

History

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

Greg White Q42A08Y7EQ

URI	`m2://inv/Q42A08Y7EQ`
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#DCN2, Greg White (unknown)

History

2026-11-02: add by m2/dev

Applications Q42DECQK1G

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

Mentions

wikipedia: Wikipedia De Bruijn–Erdős theorem (graph theory)#H14V, Applications (example)

History

2026-11-02: add by m2/dev

superfactorial Q42FTE5EAB

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

Mentions

wikidata: Wikidata Q11636332, superfactorial (unknown). Also MathWorld Superfactorial
wikipedia: Wikipedia Superfactorial, Superfactorial (definition). Also Wikidata Q11636332

History

2026-10-26: add by m2/dev

Theoretical computer science Q42SDYJG9H

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

Mentions

wikipedia: Wikipedia Theoretical computer science, Theoretical computer science (topic). Also Wikidata Q2878974

History

2026-11-02: add by m2/dev

Compactness from compact truncations Q42TQHH8SH

URI	`m2://inv/Q42TQHH8SH`
Kind	statement
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.20735#DAJC, Compactness from compact truncations (statement)

History

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

Q42XN4PWP7 Q42XN4PWP7

URI	`m2://inv/Q42XN4PWP7`
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 2609.20860#3J6X (definition)

History

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

Soundness and completeness of $ {\bf FDE^{\bf S5}_{\Box\D}} $ Q42Y64QB9F

URI	`m2://inv/Q42Y64QB9F`
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.08323#75RX, Soundness and completeness of $ {\bf FDE^{\bf S5}_{\Box\D}} $ (statement). In FR51ART4NF/e1, theorem 4

History

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

Q435XSM64Q Q435XSM64Q

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

Mentions

arxiv: arXiv 2609.36321#7QAX (statement). In 3KTZ6Z615H/e1, lemma 3.5

History

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

Q4360F2E3T Q4360F2E3T

URI	`m2://inv/Q4360F2E3T`
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.24845#IQL3 (statement)

History

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

Q43708FFM2 Q43708FFM2

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

Mentions

open_logic: open_logic content/set-theory/cardinals/classing.tex#naturalsarecardinals (statement). In PKGMM3P5QY, cor, section 70.2

History

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

Haga's theorems Q43D2YQG89

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

Mentions

wikipedia: Wikipedia Mathematics of paper folding#R5B1, Haga's theorems (statement)

History

2026-11-02: add by m2/dev

Variety of finite semigroups Q43DVHPDGQ

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

Mentions

wikipedia: Wikipedia Variety of finite semigroups, Variety of finite semigroups (definition). Also Wikidata Q55648743

History

2026-11-02: add by m2/dev

Q43H8C7YTS Q43H8C7YTS

URI	`m2://inv/Q43H8C7YTS`
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#MLXX (statement). In YXD3950ZXR/e1, proposition 3.8

History

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

Tensor product of linear maps Q43J1FNFM1

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

Mentions

wikipedia: Wikipedia Tensor product#6LJI, Tensor product of linear maps (unknown)

History

2026-11-02: add by m2/dev

Q4439QSBB5 Q4439QSBB5

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

Mentions

arxiv: arXiv 2610.01802#PZ45 (statement). In XGPZ0G9E1Q/e1, proposition 10.1

History

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

Zero Branco Q44G33EGRF

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

Mentions

wikipedia: Wikipedia List of places with numeric names#CN38, Zero Branco (unknown)

History

2026-11-02: add by m2/dev

Q44Q88V14P Q44Q88V14P

URI	`m2://inv/Q44Q88V14P`
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.02790#ET8C (statement). In NB7HZ8W2K2/e1, lemma 10

History

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

Tutte 12-cage Q456GZWBT4

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

Mentions

wikidata: Wikidata Q731686, Tutte 12-cage (unknown). Also House of Graphs 1397, MathWorld Tutte12-Cage
wikipedia: Wikipedia Tutte 12-cage, Tutte 12-cage (definition). Also Wikidata Q731686

History

2026-10-26: add by m2/dev

Q457PXG76Y Q457PXG76Y

URI	`m2://inv/Q457PXG76Y`
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 2610.08334#YN7P (definition). In FQ3DS8B3H1/e1, definition 2.10

History

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

Duoantiprism Q45BVRN589

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

Mentions

wikipedia: Wikipedia Duoprism#A8FW, Duoantiprism (unknown)

History

2026-11-02: add by m2/dev

Q45E8DP74W Q45E8DP74W

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

Mentions

open_logic: open_logic content/many-valued-logic/three-valued-logics/goedel.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 42.2

History

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

Q45EMRM8VC Q45EMRM8VC

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

Mentions

arxiv: arXiv 2609.25449#V6DN (statement). In 9JHMTYGWFQ/e1, proposition 4.5

History

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

Q45EWWJQ7P Q45EWWJQ7P

URI	`m2://inv/Q45EWWJQ7P`
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 2204.07961#MSBK (statement). In 4DK4VRKZVM/e1, theorem 1.2

History

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

Q45FQN50NV Q45FQN50NV

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

Mentions

arxiv: arXiv 2502.14306#AZNR (example). In ZNBQD5WH1M/e1, example 3.8

History

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

Willem Jacob van Stockum Q45JVAYYQ6

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#VBCR, Willem Jacob van Stockum (topic)

History

2026-11-02: add by m2/dev

Example Q45P6SRGQR

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

Mentions

wikipedia: Wikipedia Viterbi algorithm#DVJT, Example (example)

History

2026-11-02: add by m2/dev

Q45QBEQ35C Q45QBEQ35C

URI	`m2://inv/Q45QBEQ35C`
Kind	statement
Layer	research
MSC	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.33957#GEX7 (statement). In KG6V5AN3PK/e1, proposition 2.1

History

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

Q45XG7P1FJ Q45XG7P1FJ

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

Mentions

arxiv: arXiv 2610.07293#SZ43 (statement). In V1GVYM0WQG/e1, lemma 5.2

History

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

Almost-global convergence to uniform twists Q460GNQP5W

URI	`m2://inv/Q460GNQP5W`
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.19953#KF3N, Almost-global convergence to uniform twists (statement). In CHPJWBREES/e1, theorem 5.6

History

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

Examples Q4641BTYX2

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

Mentions

wikipedia: Wikipedia Čech cohomology#6XGL, Examples (example)

History

2026-11-02: add by m2/dev

Q46CM3NYMQ Q46CM3NYMQ

URI	`m2://inv/Q46CM3NYMQ`
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.39531#K3ZJ (statement). In SN9RSTHQ07/e1, lemma B.1

History

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

Examples Q46G9P2DR7

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

Mentions

wikipedia: Wikipedia Multiplicative partition#I446, Examples (example)

History

2026-11-02: add by m2/dev

Projection body Q46PK844XN

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

Mentions

wikipedia: Wikipedia Projection body, Projection body (definition). Also Wikidata Q7249443

History

2026-11-02: add by m2/dev

Applications Q46R7RMQ5S

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

Mentions

wikipedia: Wikipedia Derivative of the exponential map#2AE6, Applications (example)

History

2026-11-02: add by m2/dev

Johannes Kemperman Q46SXFSCHW

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

Mentions

wikipedia: Wikipedia Johannes Kemperman, Johannes Kemperman (topic). Also Wikidata Q19845192

History

2026-11-02: add by m2/dev

Q46XFEZK06 Q46XFEZK06

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

Mentions

napkin: napkin tex/measure/martingale.tex#example-4 (example). In RZP28ERRZV, example, section 66.2

History

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

Q471JPXMTZ Q471JPXMTZ

URI	`m2://inv/Q471JPXMTZ`
Kind	definition
Layer	research
MSC	17-XX, 18-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 2406.13841#9JHC (definition). In AB2EMMXC7X/e1, definition 5.1

History

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

$H_n(X, A)$ where $A$ is open in $X$ Q477MJA8Z2

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

Mentions

napkin: napkin tex/homology/excision.tex#example-1, $H_n(X, A)$ where $A$ is open in $X$ (example). In RZP28ERRZV, example, section 53.1

History

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

Dedekindian Q47Q3D5GQC

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#O2PX, Dedekindian (definition)

History

2026-11-02: add by m2/dev

Hypertranscendental function Q47QK3G37C

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

Mentions

wikipedia: Wikipedia Hypertranscendental function, Hypertranscendental function (definition). Also Wikidata Q17028455

History

2026-11-02: add by m2/dev

group, abelian Q47QZ279CR

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

Mentions

hott_book: hott_book index/7.10/group-abelian, group, abelian (concept). In N54F33XE07, index, section 7.10

History

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

Constructions Q47RYZZRXS

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#XV37, Constructions (definition)

History

2026-11-02: add by m2/dev

Exterior Q47T9HK578

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

Mentions

wikipedia: Wikipedia Glossary of general topology#Y7YA, Exterior (definition)

History

2026-11-02: add by m2/dev

Q482V7QRZQ Q482V7QRZQ

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

Mentions

arxiv: arXiv 2610.01346#F8KC (statement). In 44DQ7W1NW9/e1, corollary 4.4

History

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

Q487PQ38SH Q487PQ38SH

URI	`m2://inv/Q487PQ38SH`
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.23682#J8VX (statement)

History

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

Elementary properties Q48AAVFRYH

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

Mentions

wikipedia: Wikipedia Cayley graph#8686, Elementary properties (statement)

History

2026-11-02: add by m2/dev

Compatibility with unbounded observables Q48B8ZWDV6

URI	`m2://inv/Q48B8ZWDV6`
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.01855#EGHW, Compatibility with unbounded observables (statement). In MM8P5CJR18/e1, proposition 3.6

History

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

Q48C6N81F1 Q48C6N81F1

URI	`m2://inv/Q48C6N81F1`
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 2609.36423#SNI9 (definition). In Q5Z178SAHP/e1, definition 6.1

History

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

fundamental, group Q48DP8EFJB

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

Mentions

hott_book: hott_book index/7/fundamental-group, fundamental, group (concept). In N54F33XE07, index, section 7

History

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

Bi-unitary divisor Q48FT9B64C

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

Mentions

wikipedia: Wikipedia Unitary divisor#ZKKL, Bi-unitary divisor (unknown)

History

2026-11-02: add by m2/dev

Eric Bradlow Q48K46VMFK

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

Mentions

wikipedia: Wikipedia Eric Bradlow, Eric Bradlow (topic). Also Wikidata Q29033528

History

2026-11-02: add by m2/dev

Q48KA7K9X4 Q48KA7K9X4

URI	`m2://inv/Q48KA7K9X4`
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.33015#J6RJ (statement). In W6Y6NPK648/e1, theorem 3.5

History

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

Matrix Bernstein Q48P5QVNEY

URI	`m2://inv/Q48P5QVNEY`
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.35766#JX92, Matrix Bernstein (statement). In 6638EFW1NG/e1, theorem 2.3

History

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

Definition Q48WX7ZCGK

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

Mentions

wikipedia: Wikipedia Moment generating function#E0IF, Definition (definition)

History

2026-11-02: add by m2/dev

Violet B. Haas Q48X6E8G6T

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

Mentions

wikipedia: Wikipedia Violet B. Haas, Violet B. Haas (topic). Also Wikidata Q102116779

History

2026-11-02: add by m2/dev

Q48Y66NWSK Q48Y66NWSK

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

Mentions

arxiv: arXiv 2609.38742#NR8E (statement). In TSXBJB0EXK/e1, theorem 1.3

History

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

Pow function in C Q48Z2560PW

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

Mentions

wikipedia: Wikipedia Exponentiation#WZ1D, Pow function in C (unknown)

History

2026-11-02: add by m2/dev

Q494CDC12N Q494CDC12N

URI	`m2://inv/Q494CDC12N`
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.18287#6TFL (statement). In ZXZN6RMN38/e1, lemma 18

History

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

Q49AS5HN6N Q49AS5HN6N

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

Mentions

arxiv: arXiv 2609.30600#W8UM (statement). In BKGWH9ZN4J/e1, lemma 2.1

History

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

minimum, relative Q49F3QX68Y

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

Mentions

lebl_ra: lebl_ra index/3.2.1/minimum-relative, minimum, relative (concept). In E59CDZA4DP, index, section 3.2.1

History

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

Frank E. Grubbs Q49PPX205D

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

Mentions

wikipedia: Wikipedia Frank E. Grubbs, Frank E. Grubbs (topic). Also Wikidata Q61819665

History

2026-11-02: add by m2/dev

partial derivative Q49ZY7QVFG

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

Mentions

wikipedia: Wikipedia Glossary of calculus#S0XG, partial derivative (definition)

History

2026-11-02: add by m2/dev

Elementary theory of abstract categories Q4A2859TGN

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

Mentions

wikipedia: Wikipedia Elementary theory of abstract categories, Elementary theory of abstract categories (definition). Also Wikidata Q139073034

History

2026-11-02: add by m2/dev

Ian Sneddon Q4A35VG741

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

Mentions

wikipedia: Wikipedia Ian Sneddon, Ian Sneddon (topic). Also Wikidata Q1360536

History

2026-11-02: add by m2/dev

Properties Q4A7A7KCCC

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

Mentions

wikipedia: Wikipedia Congruent isoscelizers point#WKMX, Properties (statement)

History

2026-11-02: add by m2/dev

genus 3 Q4AH7KS02G

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

Mentions

arxiv: arXiv 2310.15716#DRCE, genus 3 (example). In 7WDA4MEWE2/e1, example 5.4

History

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

binary pulsar Q4AHFRJTWT

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

Mentions

wikidata: Wikidata Q3142966, binary pulsar (unknown). Also nLab binary pulsar

History

2026-10-26: add by m2/dev

Rob J. Hyndman Q4AHN169G6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#R0N8, Rob J. Hyndman (unknown)

History

2026-11-02: add by m2/dev

Q4AN0ZYD3N Q4AN0ZYD3N

URI	`m2://inv/Q4AN0ZYD3N`
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.36016#V28C (statement). In NAM9ZMPHZ9/e1, lemma D.3

History

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

Theorem Q4AP1CW4WZ

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

Mentions

wikipedia: Wikipedia Semi-reflexive space#K1I7, Theorem (statement)

History

2026-11-02: add by m2/dev

Bohuslav Balcar Q4ARMXMRZV

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#845H, Bohuslav Balcar (topic)

History

2026-11-02: add by m2/dev

Q4AYEH0E00 Q4AYEH0E00

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

Mentions

arxiv: arXiv 1010.3284#RCM9 (statement). In 7D3VBRZGMY/e1, lemma 2.2

History

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

Strict value of terminal information Q4B0144TJA

URI	`m2://inv/Q4B0144TJA`
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.18180#7AFG, Strict value of terminal information (statement). In NJGS7D1EPH/e1, proposition 8.1

History

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

Definition Q4B1MQMMNE

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

Mentions

wikipedia: Wikipedia Noncommutative symmetric function#720E, Definition (definition)

History

2026-11-02: add by m2/dev

Ukkonen's algorithm Q4B3FNP373

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

Mentions

wikipedia: Wikipedia List of algorithms#GMY5, Ukkonen's algorithm (unknown)

History

2026-11-02: add by m2/dev

Q4B5H67RX8 Q4B5H67RX8

URI	`m2://inv/Q4B5H67RX8`
Kind	example
Layer	research
MSC	05-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.24917#79LU (example)

History

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

Q4B63B3MBG Q4B63B3MBG

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

Mentions

arxiv: arXiv 2609.33590#TGEY (statement). In WRE0P7V6Z3/e1, lemma 14.5

History

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

Online matrix-vector multiplication problem Q4B6EQTZG9

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

Mentions

wikipedia: Wikipedia Online matrix-vector multiplication problem, Online matrix-vector multiplication problem (conjecture). Also Wikidata Q125924475

History

2026-11-02: add by m2/dev

Chandler Davis Q4B9J3R15A

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#EM1E, Chandler Davis (unknown)

History

2026-11-02: add by m2/dev

Q4B9KTK2E8 Q4B9KTK2E8

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

History

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

Applications Q4BHCNZC38

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

Mentions

wikipedia: Wikipedia Holonomy#M8WE, Applications (example)

History

2026-11-02: add by m2/dev

Feedback arc set Q4BPXKK9RJ

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

Mentions

wikipedia: Wikipedia Feedback arc set, Feedback arc set (definition). Also Wikidata Q1400910

History

2026-11-02: add by m2/dev

Shigeo Kusuoka Q4BZBD1CTJ

URI	`m2://inv/Q4BZBD1CTJ`
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#XDPU, Shigeo Kusuoka (unknown)

History

2026-11-02: add by m2/dev

Constructions Q4C1M4JKDN

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

Mentions

wikipedia: Wikipedia Möbius strip#7EGK, Constructions (definition)

History

2026-11-02: add by m2/dev

Q4C7CAHDT7 Q4C7CAHDT7

URI	`m2://inv/Q4C7CAHDT7`
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.38220#MNLE (statement). In 1AC4S19925/e1, lemma 6.2

History

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

Ptolemy's theorem Q4C823BVS2

URI	`m2://inv/Q4C823BVS2`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Ptolemy's theorem 058YS05YP5

Mentions

mathlib_100: mathlib_100 95, Ptolemy’s Theorem (statement). Also Mathlib EuclideanGeometry.mul_dist_add_mul_dist_eq_mul_dist_of_cospherical
mathlib_1000: mathlib_1000 Q459547, Ptolemy's theorem (statement). Also Mathlib EuclideanGeometry.mul_dist_add_mul_dist_eq_mul_dist_of_cospherical, Wikidata Q459547
thousand_plus: thousand_plus Q459547, Ptolemy's theorem (statement). Also Mathlib EuclideanGeometry.mul_dist_add_mul_dist_eq_mul_dist_of_cospherical, Wikidata Q459547, Wikipedia Ptolemy's theorem
wikidata: Wikidata Q459547, Ptolemy's theorem (statement). Also MathWorld PtolemyInequality
wikipedia: Wikipedia Ptolemy's theorem, Ptolemy's theorem (statement). Also Wikidata Q459547

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

Q4CBN26AMY Q4CBN26AMY

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

Mentions

open_logic: open_logic content/set-theory/ordinals/basic.tex#proof-8 (proof). In PKGMM3P5QY, proof, section 72.2

History

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

Rudolf Lipschitz Q4CJZB8C8D

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

Mentions

wikipedia: Wikipedia List of German mathematicians#EZO8, Rudolf Lipschitz (topic)

History

2026-11-02: add by m2/dev

Probability theory Q4CK1G2TSZ

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#Y0RX, Probability theory (topic)

History

2026-11-02: add by m2/dev

Q4CMA0TE50 Q4CMA0TE50

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

Mentions

arxiv: arXiv 2610.20242#2SB6 (statement). In TAX627CRH2/e1, lemma 5.2

History

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

GMRES$(m)$ linear convergence Q4CTWE59JW

URI	`m2://inv/Q4CTWE59JW`
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.30559#DNJ4, GMRES$(m)$ linear convergence (statement). In 5A9CKXWT3H/e1, theorem 3

History

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

Q4CY70K2GZ Q4CY70K2GZ

URI	`m2://inv/Q4CY70K2GZ`
Kind	statement
Layer	research
MSC	05-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.23106#ZUZ6 (statement)

History

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

Limiting oracle risks Q4D10W3MX1

URI	`m2://inv/Q4D10W3MX1`
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.16845#AVVL, Limiting oracle risks (statement). In 5BHBZF91HS/e1, theorem 3.2

History

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

Statistical Science Q4D4QT4CP5

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

Mentions

wikipedia: Wikipedia Statistical Science, Statistical Science (definition). Also Wikidata Q7604378

History

2026-11-02: add by m2/dev

Q4D7M90XD3 Q4D7M90XD3

URI	`m2://inv/Q4D7M90XD3`
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 2609.20860#JVY2 (definition)

History

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

Q4DATXXF7Z Q4DATXXF7Z

URI	`m2://inv/Q4DATXXF7Z`
Kind	definition
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#84UP (definition). In MQPBZX4DR6/e1, definition 2.5

History

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

Q4DDPPRHY4 Q4DDPPRHY4

URI	`m2://inv/Q4DDPPRHY4`
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 2102.09374#DPQJ (statement). In TGAHH1F8K5/e1, corollary 3

History

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

GKM variety Q4DEK1S27T

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

Mentions

wikipedia: Wikipedia GKM variety, GKM variety (definition). Also Wikidata Q55612183

History

2026-11-02: add by m2/dev

Properties Q4DJY951BT

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

Mentions

wikipedia: Wikipedia Multiplicatively closed set#UTA7, Properties (statement)

History

2026-11-02: add by m2/dev

Q4DN50M6AH Q4DN50M6AH

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

Mentions

arxiv: arXiv 2610.08039#5GQ6 (statement). In Y1K8WE4MDP/e1, lemma 2.7

History

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

Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables Q4DP8MB201

URI	`m2://inv/Q4DP8MB201`
Kind	definition
Layer	textbook
Sources	2
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q24555, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables (unknown). Also ProofWiki Book:Milton_Abramowitz/Handbook_of_Mathematical_Functions
wikipedia: Wikipedia Abramowitz and Stegun, Abramowitz and Stegun (definition). Also Wikidata Q24555

History

2026-10-26: add by m2/dev

Link group Q4DZHCVZSW

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

Mentions

wikipedia: Wikipedia Link group, Link group (definition). Also Wikidata Q17098505

History

2026-11-02: add by m2/dev

Pseudospectrum Q4E33M15ZE

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

Mentions

wikipedia: Wikipedia Pseudospectrum, Pseudospectrum (definition). Also Wikidata Q7255579

History

2026-11-02: add by m2/dev

Alternative statements of the theorem Q4E6C0X6GH

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

Mentions

wikipedia: Wikipedia Central limit theorem#Q5UO, Alternative statements of the theorem (statement)

History

2026-11-02: add by m2/dev

Example Q4E8TKQ5ZE

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

Mentions

wikipedia: Wikipedia Krein's condition#77ZC, Example (example)

History

2026-11-02: add by m2/dev

Q4EFAFY13V Q4EFAFY13V

URI	`m2://inv/Q4EFAFY13V`
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.36444#V4HO (statement). In 4DJE72VPJP/e1, proposition 3.5

History

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

Pretesting (research) Q4EHG39QVW

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

Mentions

wikipedia: Wikipedia Questionnaire construction#FN51, Pretesting (research) (unknown)

History

2026-11-02: add by m2/dev

Euler's totient function Q4EJ5X2J10

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

Mentions

wikipedia: Wikipedia List of number theory topics#D4TI, Euler's totient function (definition)

History

2026-11-02: add by m2/dev

Alzahra University Q4EN7QS9A7

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

Mentions

wikipedia: Wikipedia Alzahra University, Alzahra University (definition). Also Wikidata Q450587

History

2026-11-02: add by m2/dev

Whonix Q4ENHEB9QX

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

Mentions

wikipedia: Wikipedia Whonix, Whonix (definition). Also Wikidata Q10853309

History

2026-11-02: add by m2/dev

Q4EQ6B2D0J Q4EQ6B2D0J

URI	`m2://inv/Q4EQ6B2D0J`
Kind	statement
Layer	research
MSC	05-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 2610.02407#OWAQ (statement). In ZZER8ZBSCR/e1, theorem 6.21

History

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

Bochner–Kodaira–Nakano identity Q4ER41MAA9

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

Mentions

wikipedia: Wikipedia Bochner–Kodaira–Nakano identity, Bochner–Kodaira–Nakano identity (statement). Also Wikidata Q4936245

History

2026-11-02: add by m2/dev

Tor Messenger Q4ERCBJBMX

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

Mentions

wikipedia: Wikipedia Tor (network)#X7VG, Tor Messenger (unknown)

History

2026-11-02: add by m2/dev

Robert Rumely Q4ESHX4Y82

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#3XF3, Robert Rumely (topic)

History

2026-11-02: add by m2/dev

Q4EX2MGR7N Q4EX2MGR7N

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

Mentions

arxiv: arXiv 2609.25449#H9JY (statement). In 9JHMTYGWFQ/e1, lemma 7.6

History

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

Lemma Q4EX7JNNTZ

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

Mentions

wikipedia: Wikipedia Hyperplane separation theorem#YCYU, Lemma (statement)

History

2026-11-02: add by m2/dev

Newton's theorem (quadrilateral) Q4F69BP70R

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

Mentions

wikipedia: Wikipedia List of theorems#5BJM, Newton's theorem (quadrilateral) (statement)

History

2026-11-02: add by m2/dev

integral of motion Q4F87NM3FT

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

Mentions

wikidata: Wikidata Q12021694, integral of motion (unknown). Also MathWorld IntegralofMotion

History

2026-10-26: add by m2/dev

Hausdorff Q4FBJW335G

URI	`m2://inv/Q4FBJW335G`
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.00344#3HAW, Hausdorff (statement). In WNA8D3Y1RA/e1, theorem 1.1

History

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

Q4FC6Q0XD9 Q4FC6Q0XD9

URI	`m2://inv/Q4FC6Q0XD9`
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.11271#ZJIO (statement). In HF7J38T8Y6/e1, theorem 1.1

History

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

Q4FFBHSFYT Q4FFBHSFYT

URI	`m2://inv/Q4FFBHSFYT`
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 1003.2117#4H3N (definition). In H4D4RFNH2V/e1, definition 2.3

History

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

Q4FFYE49E8 Q4FFYE49E8

URI	`m2://inv/Q4FFYE49E8`
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 2308.09645#ERV5 (statement). In HVDSC1GQRD/e1, theorem 3.5

History

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

Proof by infinite descent Q4FHNP01ZX

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

Mentions

wikipedia: Wikipedia Proof by infinite descent, Proof by infinite descent (definition). Also Wikidata Q619388

History

2026-11-02: add by m2/dev

Tullio Levi-Civita Q4FT9B2TEY

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#Z0KC, Tullio Levi-Civita (topic)

History

2026-11-02: add by m2/dev

Q4GCMZ06FM Q4GCMZ06FM

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

Mentions

arxiv: arXiv 2610.22074#5CPF (statement). In F3BKXXPR3K/e1, corollary 4.7

History

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

Kawamata–Viehweg vanishing theorem Q4GFA4YAW5

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

Mentions

mathlib_1000: mathlib_1000 Q6379606, Kawamata–Viehweg vanishing theorem (statement). Also Wikidata Q6379606
thousand_plus: thousand_plus Q6379606, Kawamata–Viehweg vanishing theorem (statement). Also Wikidata Q6379606, Wikipedia Kawamata–Viehweg vanishing theorem
wikipedia: Wikipedia Kawamata–Viehweg vanishing theorem, Kawamata–Viehweg vanishing theorem (statement). Also Wikidata Q6379606

History

2026-10-26: add by m2/dev

Maurice Kraitchik Q4H45VRK7F

URI	`m2://inv/Q4H45VRK7F`
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 Q983279, Maurice Kraitchik (unknown). Also ProofWiki Mathematician:Maurice_Kraitchik
wikipedia: Wikipedia Maurice Kraitchik, Maurice Kraitchik (topic). Also Wikidata Q983279

History

2026-10-26: add by m2/dev

Good cover Q4H4W7H0Z4

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

Mentions

wikipedia: Wikipedia Good cover, Good cover (definition). Also Wikidata Q5583093

History

2026-11-02: add by m2/dev

Finsler's lemma Q4HAEC12WV

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

Mentions

wikipedia: Wikipedia List of lemmas#8MXA, Finsler's lemma (statement)
wikipedia: Wikipedia List of lemmas#RDPN, Finsler's lemma (statement)

History

2026-11-02: add by m2/dev

Hypersonic speed Q4HKJ9F1EE

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

Mentions

wikipedia: Wikipedia Hypersonic speed, Hypersonic speed (definition). Also Wikidata Q830787

History

2026-11-02: add by m2/dev

Compositio Mathematica Q4HKZ4KZP1

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

Mentions

wikipedia: Wikipedia Compositio Mathematica, Compositio Mathematica (definition). Also Wikidata Q5156781

History

2026-11-02: add by m2/dev

Q4HX32JBR4 Q4HX32JBR4

URI	`m2://inv/Q4HX32JBR4`
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 2012.05048#6I2L (statement). In NY9HW1E6DY/e1, lemma 4.1

History

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

Q4HYSZMR1Q Q4HYSZMR1Q

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

Mentions

arxiv: arXiv 2610.01802#0P5J (statement). In XGPZ0G9E1Q/e1, proposition 4.9

History

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

*{Sec. 4.3.1 Q4J6A2YQC0

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

Mentions

arxiv: arXiv 2609.23341#5F97, *{Sec. 4.3.1 (definition)

History

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

Q4J6B8CF9B Q4J6B8CF9B

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

Mentions

arxiv: arXiv 2609.25289#L851 (statement)

History

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

Georg Mohr Q4JDMEK45F

URI	`m2://inv/Q4JDMEK45F`
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 Q559436, Georg Mohr (unknown). Also ProofWiki Mathematician:Georg_Mohr
wikipedia: Wikipedia Georg Mohr, Georg Mohr (topic). Also Wikidata Q559436

History

2026-10-26: add by m2/dev

[[]] Q4JQK5TPMH

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#TL2K, [[]] (definition)

History

2026-11-02: add by m2/dev

List of presidents of the Association for Computing Machinery Q4JT1WNK0J

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

Mentions

wikipedia: Wikipedia List of presidents of the Association for Computing Machinery, List of presidents of the Association for Computing Machinery (topic). Also Wikidata Q137775086

History

2026-11-02: add by m2/dev

Q4K1XYPFK9 Q4K1XYPFK9

URI	`m2://inv/Q4K1XYPFK9`
Kind	definition
Layer	research
MSC	14-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.21960#EXUG (definition). In QX77AN49J0/e1, definition 8.18

History

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

Q4KCR7WV8Y Q4KCR7WV8Y

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

Mentions

austin_ula: austin_ula src/exercises/exercises5-2.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 5.2

History

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

Alexandrov maximum principle Q4KG63FR57

URI	`m2://inv/Q4KG63FR57`
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.12165#LFVQ, Alexandrov maximum principle (statement). In 3JSE8A9CFH/e1, lemma 2.1

History

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

One-way analysis of variance Q4KH6H7P1J

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

Mentions

wikipedia: Wikipedia One-way analysis of variance, One-way analysis of variance (definition). Also Wikidata Q7092351

History

2026-11-02: add by m2/dev

series, finite geometric Q4KNWKT3XJ

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

Mentions

applied_combinatorics: applied_combinatorics index/8.1/series-finite-geometric, series, finite geometric (concept). In QKM9DD2H56, index, section 8.1

History

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

Balogh, Narayanan and Skokan Q4KP4M65VC

URI	`m2://inv/Q4KP4M65VC`
Kind	problem
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#QYTO, Balogh, Narayanan and Skokan (problem). In 1C3R5NAQAP/e1, problem 1.1

History

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

regular polytope Q4KSZEM3XS

URI	`m2://inv/Q4KSZEM3XS`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Regular polytope F60PD912D5

Mentions

wikidata: Wikidata Q2745944, regular polytope (concept). Also MathWorld RegularPolytope
wikipedia: Wikipedia Regular polytope, Regular polytope (object). Also Wikidata Q2745944

History

2026-10-26: add by m2/dev

Q4KZ1PTSNP Q4KZ1PTSNP

URI	`m2://inv/Q4KZ1PTSNP`
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 math/9807180#8XMP (statement). In VR3766BVE5/e1, theorem 3.3

History

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

Compassion fade Q4KZWD0Z6P

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

Mentions

wikipedia: Wikipedia List of cognitive biases#6KWG, Compassion fade (unknown)

History

2026-11-02: add by m2/dev

Q4MEVBF1VY Q4MEVBF1VY

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

Mentions

arxiv: arXiv 2610.14803#CF1N (statement). In VAEVDTBD3B/e1, corollary 3.10

History

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

Eremenko's conjecture Q4MQM05FTP

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

Mentions

arxiv: arXiv 2610.19243#HOYU, Eremenko's conjecture (statement). In 8CSXBTYKDT/e1, theorem A

History

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

Poisson's equation Q4MS8EB25B

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

Mentions

wikipedia: Wikipedia List of partial differential equation topics#NGTK, Poisson's equation (definition)

History

2026-11-02: add by m2/dev

Definition Q4MTQ62CWC

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

Mentions

wikipedia: Wikipedia Lotka's law#2JR4, Definition (definition)

History

2026-11-02: add by m2/dev

Q4MVGXK42W Q4MVGXK42W

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

Mentions

arxiv: arXiv 2108.03672#K244 (statement). In EZZSZ1F071/e1, lemma 1.24

History

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

Iterable cardinal Q4NFC4775R

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

Mentions

wikipedia: Wikipedia Iterable cardinal, Iterable cardinal (definition). Also Wikidata Q25098857

History

2026-11-02: add by m2/dev

Takahiro Shiota Q4NMZE3QCC

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

Mentions

wikipedia: Wikipedia Takahiro Shiota, Takahiro Shiota (topic). Also Wikidata Q2389075

History

2026-11-02: add by m2/dev

Q4NQ0A2FYH Q4NQ0A2FYH

URI	`m2://inv/Q4NQ0A2FYH`
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.05953#N67B (statement). In P3XHJ1VB8C/e1, lemma 5

History

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

Boolean algebra Q4NRHJG50F

URI	`m2://inv/Q4NRHJG50F`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Boolean algebra 0XADJKM699

Mentions

wikidata: Wikidata Q4973304, Boolean algebra (unknown). Also MathWorld BooleanAlgebra, nLab Boolean algebra
wikipedia: Wikipedia Boolean algebra (structure), Boolean algebra (definition). Also Wikidata Q4973304

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

Q4NTTB2K57 Q4NTTB2K57

URI	`m2://inv/Q4NTTB2K57`
Kind	example
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.21295#GB9M (example)

History

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

Q4NX0V67WY Q4NX0V67WY

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

Mentions

arxiv: arXiv 2610.14380#VADJ (statement). In 2ZRQP063HP/e1, fact 2.3

History

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

Opinion polling for the 2023 Dutch general election Q4NZVEMJZ4

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

Mentions

wikipedia: Wikipedia Opinion polling for the 2023 Dutch general election, Opinion polling for the 2023 Dutch general election (definition). Also Wikidata Q109044799

History

2026-11-02: add by m2/dev

Q4P2B7BENJ Q4P2B7BENJ

URI	`m2://inv/Q4P2B7BENJ`
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 1904.09810#ZVYH (statement). In T1VFA7TXPA/e1, lemma 12

History

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

Q4P7VHX1VY Q4P7VHX1VY

URI	`m2://inv/Q4P7VHX1VY`
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.22764#1NZL (statement)

History

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

François Labourie Q4P85XB677

URI	`m2://inv/Q4P85XB677`
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#C8GT, François Labourie (topic)

History

2026-11-02: add by m2/dev

Properties Q4PAF8GQ2M

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

Mentions

wikipedia: Wikipedia Positive linear operator#DCFU, Properties (statement)

History

2026-11-02: add by m2/dev

Q4PBEZ3TD0 Q4PBEZ3TD0

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

Mentions

arxiv: arXiv 2609.39539#WWSD (definition). In GVR218P3ZR/e1, definition 3.3.1

History

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

existence and uniqueness Q4PCH17BZR

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

Mentions

lebl_diffyqs: lebl_diffyqs index/4.2.2/existence-and-uniqueness, existence and uniqueness (concept). In E9HS8K3A52, index, section 4.2.2

History

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

Spie chart Q4PQ7MCPT4

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

Mentions

wikipedia: Wikipedia Pie chart#DOK5, Spie chart (unknown)

History

2026-11-02: add by m2/dev

Swing equation Q4PQ9VRBF2

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

Mentions

wikipedia: Wikipedia Swing equation, Swing equation (definition). Also Wikidata Q24892610

History

2026-11-02: add by m2/dev

Non-examples Q4PQZT08CG

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

Mentions

wikipedia: Wikipedia Complete lattice#7ZDE, Non-examples (counterexample)

History

2026-11-02: add by m2/dev

Ninewells Q4PSA3KE4K

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

Mentions

wikipedia: Wikipedia List of places with numeric names#08EM, Ninewells (unknown)

History

2026-11-02: add by m2/dev

Q4PZ0CG32D Q4PZ0CG32D

URI	`m2://inv/Q4PZ0CG32D`
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.30303#I8SG (statement). In 2QJGSMSG5W/e1, lemma 2.1

History

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

Catalan surface Q4Q8ZEFTVT

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

Mentions

wikipedia: Wikipedia Catalan surface, Catalan surface (definition). Also Wikidata Q4119065

History

2026-11-02: add by m2/dev

Q4QA461HKC Q4QA461HKC

URI	`m2://inv/Q4QA461HKC`
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.32058#KNYR (statement). In N0G73NM4WC/e1, lemma 3.2

History

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

dilation Q4QC3TJ6NW

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

Mentions

wikidata: Wikidata Q1225416, dilation (unknown). Also MathWorld Dilation

History

2026-10-26: add by m2/dev

George Henry Wood Q4QHA3Z8CQ

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

Mentions

wikipedia: Wikipedia George Henry Wood (statistician), George Henry Wood (topic). Also Wikidata Q5540499

History

2026-11-02: add by m2/dev

noetherian scheme Q4QHEJC1H3

URI	`m2://inv/Q4QHEJC1H3`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Noetherian scheme ND6XEY68P4

Mentions

wikidata: Wikidata Q3475675, noetherian scheme (concept). Also EoM Noetherian_scheme, nLab noetherian scheme, ProofWiki Definition:Noetherian_Scheme
wikipedia: Wikipedia Noetherian scheme, Noetherian scheme (definition). Also Wikidata Q3475675

History

2026-10-26: add by m2/dev

Diederich--Forn\ae ss Q4QP53XN8V

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

Mentions

lebl_scv: lebl_scv scv.tex#thm-26, Diederich--Forn\ae ss (statement). In VNMV985MXX, thm, section 6.8

History

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

Q4QPQTWX25 Q4QPQTWX25

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

Mentions

arxiv: arXiv 2609.22708#0ZN9 (statement)

History

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

Q4QR3CDCQZ Q4QR3CDCQZ

URI	`m2://inv/Q4QR3CDCQZ`
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.20489#PK98 (statement). In BJ8JJZ0ZWT/e1, lemma 2.1

History

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

David Sumner Q4QR9ZFMAF

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

Mentions

wikipedia: Wikipedia David Sumner, David Sumner (topic). Also Wikidata Q21062278

History

2026-11-02: add by m2/dev

Feynman point Q4QZ6AH5F3

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

Mentions

wikidata: Wikidata Q874591, Feynman point (unknown). Also MathWorld FeynmanPoint
wikipedia: Wikipedia Six nines in pi, Six nines in pi (object). Also Wikidata Q874591

History

2026-10-26: add by m2/dev

BC Q4R3PE1KNY

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

Mentions

wikipedia: Wikipedia Glossary of set theory#J0S7, BC (definition)

History

2026-11-02: add by m2/dev

Jónsson's lemma Q4R4A54J3Z

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

Mentions

wikipedia: Wikipedia List of lemmas#BOP0, Jónsson's lemma (definition)

History

2026-11-02: add by m2/dev

1990s and 2000s: Automatic groups, discrete conformal geometry and Cannon's conjecture Q4R7DBABDQ

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

Mentions

wikipedia: Wikipedia James W. Cannon#YRNT, 1990s and 2000s: Automatic groups, discrete conformal geometry and Cannon's conjecture (statement)

History

2026-11-02: add by m2/dev

Generoso Gallucci Q4R9VRZYYA

URI	`m2://inv/Q4R9VRZYYA`
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#BUEM, Generoso Gallucci (unknown)

History

2026-11-02: add by m2/dev

Tensor nuclear norm Q4RF9YEX3Y

URI	`m2://inv/Q4RF9YEX3Y`
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 2609.33219#G5CK, Tensor nuclear norm (definition). In ETTQWMJZXJ/e1, definition 1

History

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

Q4RVMA2DY0 Q4RVMA2DY0

URI	`m2://inv/Q4RVMA2DY0`
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 2303.14022#NSWO (statement). In NSYR6W27FP/e1, proposition 4.7

History

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

\textbf{Exact and asymptotic minimum-distance estimators w.r.t. the weak metric Q4RWM79AN9

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

Mentions

arxiv: arXiv 2610.17032#I97U, \textbf{Exact and asymptotic minimum-distance estimators w.r.t. the weak metric (definition). In MXPK9A2HK2/e1, definition 2.10

History

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

Definition Q4RX3MYH95

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

Mentions

wikipedia: Wikipedia Sheaf cohomology#QZPT, Definition (definition)

History

2026-11-02: add by m2/dev

Q4RXSG88E8 Q4RXSG88E8

URI	`m2://inv/Q4RXSG88E8`
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.36300#P8Y0 (statement). In MNWD3Y6W56/e1, theorem 1.7

History

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

First-countable Q4RYY91ENX

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

Mentions

wikipedia: Wikipedia Glossary of general topology#8Q3E, First-countable (definition)

History

2026-11-02: add by m2/dev

International Association for Mathematical Geosciences Honorary Life Membership Q4S60QA7MS

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

Mentions

wikipedia: Wikipedia International Association for Mathematical Geosciences#CR8R, International Association for Mathematical Geosciences Honorary Life Membership (unknown)

History

2026-11-02: add by m2/dev

Applications Q4S7F4746K

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

Mentions

wikipedia: Wikipedia Strongly connected component#OIER, Applications (example)

History

2026-11-02: add by m2/dev

Q4SDAXBB4K Q4SDAXBB4K

URI	`m2://inv/Q4SDAXBB4K`
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.04252#826X (statement). In ZF0Z61VQ96/e1, theorem 3.2

History

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

Peter Elias Q4SE7KV0FP

URI	`m2://inv/Q4SE7KV0FP`
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#9BBU, Peter Elias (unknown)

History

2026-11-02: add by m2/dev

Q4SVX4Y41X Q4SVX4Y41X

URI	`m2://inv/Q4SVX4Y41X`
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 2604.02255#XAQN (statement). In 14NGZPH8B9/e1, corollary 1

History

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

Q4SZ4JHVZ4 Q4SZ4JHVZ4

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

Mentions

arxiv: arXiv 2610.22074#AXKH (statement). In F3BKXXPR3K/e1, corollary 3.8

History

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

Definition Q4T5M497HA

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

Mentions

wikipedia: Wikipedia Rational series#QJ9T, Definition (definition)

History

2026-11-02: add by m2/dev

Q4T9KWBV1S Q4T9KWBV1S

URI	`m2://inv/Q4T9KWBV1S`
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 2108.06308#IM5Q (statement). In F8BXF46972/e1, proposition 3.2

History

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

Q4TBFXRA95 Q4TBFXRA95

URI	`m2://inv/Q4TBFXRA95`
Kind	example
Layer	research
MSC	05-XX, 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.05179#11N2 (example). In 9EMCPF1F2T/e1, example 42

History

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

Associated split-cubic curve Q4TCEPVXXB

URI	`m2://inv/Q4TCEPVXXB`
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.03121#E5C4, Associated split-cubic curve (statement). In T50D36FB04/e1, proposition 2.3

History

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

Q4TF3JZTA4 Q4TF3JZTA4

URI	`m2://inv/Q4TF3JZTA4`
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.35191#PH6N (statement). In W9Z6S1PDTP/e1, proposition 5.7

History

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

Q4TG6030ZQ Q4TG6030ZQ

URI	`m2://inv/Q4TG6030ZQ`
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.25656#WGUA (statement)

History

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

Q4TZCCEDEG Q4TZCCEDEG

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

Mentions

open_logic: open_logic content/set-theory/ordinals/basic.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 72.2

History

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

Q4V08STFJ4 Q4V08STFJ4

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

Mentions

arxiv: arXiv 2610.12329#1ACE (statement). In ZJQB9W60T6/e1, proposition 4.2

History

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

Precomposition with weakening Q4VRBV3APG

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

Mentions

arxiv: arXiv 2610.21131#YVVR, Precomposition with weakening (statement). In CPYWHRTPKC/e1, lemma 6.39

History

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

Q4VTQHF6Q9 Q4VTQHF6Q9

URI	`m2://inv/Q4VTQHF6Q9`
Kind	statement
Layer	research
MSC	20-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.06699#FCFX (statement). In GXHKRV5BPY/e1, corollary A.4

History

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

Q4W01GPVGS Q4W01GPVGS

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

Mentions

arxiv: arXiv 2609.27078#X80M (statement)

History

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

Performance difference lemma Q4W3R561K7

URI	`m2://inv/Q4W3R561K7`
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#KK78, Performance difference lemma (statement). In 3YM5F3YHD5/e1, lemma F.1

History

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

Q4W7SSXWDG Q4W7SSXWDG

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

Mentions

arxiv: arXiv 2609.25291#0R6J (statement)

History

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

Centered hexagonal prime Q4WA0W3V61

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

Mentions

wikipedia: Wikipedia Cuban prime#0WJJ, Centered hexagonal prime (unknown)

History

2026-11-02: add by m2/dev

Q4WAASGRDA Q4WAASGRDA

URI	`m2://inv/Q4WAASGRDA`
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 2602.07485#6LNM (statement). In 8KAC1E81JQ/e1, proposition 2

History

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

A. F. Mujibur Rahman Q4WR4J591D

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

Mentions

wikipedia: Wikipedia A. F. Mujibur Rahman, A. F. Mujibur Rahman (topic). Also Wikidata Q20638732

History

2026-11-02: add by m2/dev

Q4X0FG4KJ4 Q4X0FG4KJ4

URI	`m2://inv/Q4X0FG4KJ4`
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 0904.3493#KVR8 (statement). In 1ARY7220P4/e1, theorem 6.5

History

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

Quasi-arithmetic mean Q4X1FGB7G5

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

Mentions

wikipedia: Wikipedia Quasi-arithmetic mean, Quasi-arithmetic mean (definition). Also Wikidata Q583095

History

2026-11-02: add by m2/dev

\cite{{calamoneri2014pairwise Q4X2CTDC5E

URI	`m2://inv/Q4X2CTDC5E`
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#0AWI, \cite{{calamoneri2014pairwise (statement). In 459W0NBS5Q/e1, theorem 12

History

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

Mikhail Suslin Q4X2ZPQSHG

URI	`m2://inv/Q4X2ZPQSHG`
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 Q1273671, Mikhail Suslin (unknown). Also nLab Mikhail Yakovlevich Suslin

History

2026-10-26: add by m2/dev

Local truncation need not be global Q4X62FH9GC

URI	`m2://inv/Q4X62FH9GC`
Kind	example
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.34289#9CK8, Local truncation need not be global (example). In 9RBATD2Z1F/e1, example 3.14

History

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

Q4X7F1397F Q4X7F1397F

URI	`m2://inv/Q4X7F1397F`
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 2610.08594#FBX8 (statement). In FEE70SSD96/e1, lemma 5.6

History

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

Tridiminished icosahedron Q4X93HMJ3H

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#BMXK, Tridiminished icosahedron (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#SH5Z, Tridiminished icosahedron (definition)

History

2026-11-02: add by m2/dev

BVC-LICQ Q4XBJ40NJ4

URI	`m2://inv/Q4XBJ40NJ4`
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 2609.20368#QLY2, BVC-LICQ (definition)

History

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

Klingen Eisenstein series Q4XH7DYHS5

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

Mentions

wikipedia: Wikipedia Klingen Eisenstein series, Klingen Eisenstein series (definition). Also Wikidata Q20749253

History

2026-11-02: add by m2/dev

Q4XHGPZFT7 Q4XHGPZFT7

URI	`m2://inv/Q4XHGPZFT7`
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 1709.08958#6URA (statement). In H46J8XRDFJ/e1, lemma 6.1.2

History

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

Q4XHSKSX43 Q4XHSKSX43

URI	`m2://inv/Q4XHSKSX43`
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 2305.10921#13UB (statement). In PD5PJ0EYG6/e1, proposition 2.8

History

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

Wall polynomial Q4Y428WSWN

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

Mentions

wikipedia: Wikipedia List of eponyms of special functions#WYQ7, Wall polynomial (unknown)

History

2026-11-02: add by m2/dev

Q4Y705B6TK Q4Y705B6TK

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

Mentions

arxiv: arXiv 2610.07240#N33P (statement). In D0F1GK5AHW/e1, proposition D.3

History

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

Norbert Wiener Q4Y7Z81WBE

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

Mentions

wikipedia: Wikipedia Norbert Wiener, Norbert Wiener (topic). Also Wikidata Q178577

History

2026-11-02: add by m2/dev

Q4YB443T2N Q4YB443T2N

URI	`m2://inv/Q4YB443T2N`
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 2112.05010#CYSZ (statement). In 4SZNPS3Z00/e1, lemma 5.3

History

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

Q4YF2G0BPN Q4YF2G0BPN

URI	`m2://inv/Q4YF2G0BPN`
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.30664#WE0O (statement). In ZZGDNKDVJW/e1, proposition 4.6

History

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

Q4YV0A8TF3 Q4YV0A8TF3

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-68 (exercise). In E9HS8K3A52, exercise, section 4.4.1

History

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

Boolean negation Q4Z14DMEAD

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

Mentions

wikipedia: Wikipedia Glossary of logic#0MN6, Boolean negation (definition)

History

2026-11-02: add by m2/dev

Visual metaphor Q4Z2ZYNRJ7

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

Mentions

wikipedia: Wikipedia Visual metaphor, Visual metaphor (definition). Also Wikidata Q60795175

History

2026-11-02: add by m2/dev

Q4Z4YB4890 Q4Z4YB4890

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

Mentions

napkin: napkin tex/cats/categories.tex#example-7 (example). In RZP28ERRZV, example, section 36.5

History

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

Q4Z61QA9CT Q4Z61QA9CT

URI	`m2://inv/Q4Z61QA9CT`
Kind	statement
Layer	research
MSC	05-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 2309.17091#B32X (statement). In N0JJM098W2/e1, theorem 19

History

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

Birational geometry Q4Z80BKRZX

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#XZ7A, Birational geometry (topic)

History

2026-11-02: add by m2/dev

Tom Bradley Q4ZDSG4RC6

URI	`m2://inv/Q4ZDSG4RC6`
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#SX2P, Tom Bradley (unknown)

History

2026-11-02: add by m2/dev

Relative precision Q4ZGZKH4CD

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

Mentions

arxiv: arXiv 2610.05652#DY9R, Relative precision (definition). In 8BNPFYQDQX/e1, definition 17.1

History

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

Q4ZP0P6XQA Q4ZP0P6XQA

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-87 (exercise). In VNMV985MXX, exercise, section 2.3

History

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