Inventory rows F5

Panel data F506XBM3J0

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

Mentions

wikipedia: Wikipedia List of statistics articles#SLQA, Panel data (definition)

History

2026-11-02: add by m2/dev

Morin surface F508MW87HP

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

Mentions

wikipedia: Wikipedia Morin surface, Morin surface (definition). Also Wikidata Q6912232

History

2026-11-02: add by m2/dev

singular F50A5YKPDM

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#HI9Z, singular (definition)

History

2026-11-02: add by m2/dev

Existence and uniqueness F50B5QJWYK

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

Mentions

wikipedia: Wikipedia Skeleton (category theory)#NUMX, Existence and uniqueness (statement)

History

2026-11-02: add by m2/dev

F50DR7G8DN F50DR7G8DN

URI	`m2://inv/F50DR7G8DN`
Kind	statement
Layer	research
MSC	26-XX, 30-XX, 32-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 1804.05688#0U7N (statement). In M8F4PDHH3S/e1, corollary A.14

History

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

F50E5JET5K F50E5JET5K

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

Mentions

arxiv: arXiv 2610.08145#30IP (statement). In N0QVPPFFC3/e1, lemma 4.1

History

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

F50FWXBCXV F50FWXBCXV

URI	`m2://inv/F50FWXBCXV`
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 2504.19468#J9EW (statement). In EY54F2SX08/e1, proposition 2.5

History

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

semantic validity F50HWQFEQ1

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

Mentions

wikipedia: Wikipedia Glossary of logic#MGL9, semantic validity (definition)

History

2026-11-02: add by m2/dev

Glivenko's theorem F50KE1D3DP

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

Mentions

wikipedia: Wikipedia List of theorems#4EWK, Glivenko's theorem (statement)

History

2026-11-02: add by m2/dev

rational number F50QDNYS9F

URI	`m2://inv/F50QDNYS9F`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Rational numbers 0NCJ5WXN6Z

Mentions

wikidata: Wikidata Q1244890, rational number (definition). Also EoM Rational_number, MathWorld RationalNumber, ProofWiki Definition:Rational_Number
wikipedia: Wikipedia Rational number, Rational number (definition). Also Wikidata Q1244890

History

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

decimic F50R6X8XBS

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#S70I, decimic (definition)

History

2026-11-02: add by m2/dev

Dawid, Philip F50V7E0XVJ

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

Mentions

wikipedia: Wikipedia List of statisticians#B7HX, Dawid, Philip (unknown)

History

2026-11-02: add by m2/dev

F516KNSREJ F516KNSREJ

URI	`m2://inv/F516KNSREJ`
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 2201.10697#QV5S (statement). In WN2Z20ZV49/e1, theorem 4.3

History

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

Global Digital Mathematics Library F518MBBFKK

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

Mentions

wikipedia: Wikipedia Global Digital Mathematics Library, Global Digital Mathematics Library (definition). Also Wikidata Q23679991

History

2026-11-02: add by m2/dev

F51K8A4BD1 F51K8A4BD1

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

Mentions

arxiv: arXiv 2606.00589#UQRC (statement). In C8JAGP8VCQ/e1, lemma 3.1

History

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

William Oughtred F51NCPQEQC

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

Mentions

wikipedia: Wikipedia William Oughtred, William Oughtred (topic). Also Wikidata Q311491

History

2026-11-02: add by m2/dev

Nicolás Andruskiewitsch F51QE5KXX4

URI	`m2://inv/F51QE5KXX4`
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#VPYA, Nicolás Andruskiewitsch (unknown)

History

2026-11-02: add by m2/dev

F51RG04G18 F51RG04G18

URI	`m2://inv/F51RG04G18`
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.12188#K8NA (statement). In 52HWCGK5QJ/e1, corollary 5.1

History

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

F51TS7HB7B F51TS7HB7B

URI	`m2://inv/F51TS7HB7B`
Kind	statement
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#GVNC (statement). In QX77AN49J0/e1, proposition 6.6

History

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

Lee--Yang theorem for the quantum Ising model F52D26Y41Z

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

Mentions

arxiv: arXiv 2610.12908#W6LN, Lee--Yang theorem for the quantum Ising model (statement). In TNC658NVMQ/e1, proposition 9.4

History

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

F52PG4FP9R F52PG4FP9R

URI	`m2://inv/F52PG4FP9R`
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.24023#R68W (statement)

History

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

Andrew Marks F52QTFD8W3

URI	`m2://inv/F52QTFD8W3`
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#6O7K, Andrew Marks (unknown)

History

2026-11-02: add by m2/dev

Information lower bound from posterior-error covariance F52QVCBG3K

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

Mentions

arxiv: arXiv 2610.13464#726I, Information lower bound from posterior-error covariance (statement). In P40KK40XFP/e1, lemma 2

History

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

Graded structure F52R8HGX02

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

Mentions

wikipedia: Wikipedia Graded structure, Graded structure (definition). Also Wikidata Q1541303

History

2026-11-02: add by m2/dev

F52XPDY82S F52XPDY82S

URI	`m2://inv/F52XPDY82S`
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 2609.31212#A6YV (statement). In FHE30V0M03/e1, corollary 6.4

History

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

Construction F52XS96V4H

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

Mentions

wikipedia: Wikipedia 2 51 honeycomb#ACQH, Construction (definition)

History

2026-11-02: add by m2/dev

F52ZNXC3B1 F52ZNXC3B1

URI	`m2://inv/F52ZNXC3B1`
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.35460#4A39 (statement). In R515NECVME/e1, proposition 4.2

History

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

F532D7THJ9 F532D7THJ9

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

Mentions

arxiv: arXiv 2609.24465#DK4G (statement)

History

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

Metric topology F532JXPCJN

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

Mentions

wikipedia: Wikipedia Metric space#8EUS, Metric topology (unknown)

History

2026-11-02: add by m2/dev

F533AHC2DV F533AHC2DV

URI	`m2://inv/F533AHC2DV`
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.20119#FH7I (definition)

History

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

F533NRVD45 F533NRVD45

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

Mentions

arxiv: arXiv 2609.28552#1I8W (statement)

History

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

Hammersley–Clifford theorem F536D2QX41

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

Mentions

wikipedia: Wikipedia List of statistics articles#8ASW, Hammersley–Clifford theorem (statement)

History

2026-11-02: add by m2/dev

CSS-AEL pair F536MG79VA

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

Mentions

arxiv: arXiv 2609.40252#20N3, CSS-AEL pair (definition). In 7MVPNFPRKB/e1, definition 12.2

History

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

F538E8YMFW F538E8YMFW

URI	`m2://inv/F538E8YMFW`
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.05486#TENO (statement). In 5Z46AK2XTC/e1, lemma B.4

History

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

F53AEP0FCM F53AEP0FCM

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

Mentions

arxiv: arXiv 2609.34020#LASI (statement). In DAMYG8BFAK/e1, lemma 4.16

History

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

Pfister neighbor F53BGQP8C7

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

Mentions

wikipedia: Wikipedia Pfister form#FK3A, Pfister neighbor (unknown)

History

2026-11-02: add by m2/dev

An exact constant-drift pair coordinate F53N20VR2B

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

Mentions

arxiv: arXiv 2610.21268#SXRL, An exact constant-drift pair coordinate (statement). In 9W2YX5X4AX/e1, proposition 3.2

History

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

Turkish Mathematical Society F53PY1NVQE

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

Mentions

wikipedia: Wikipedia Turkish Mathematical Society, Turkish Mathematical Society (definition). Also Wikidata Q55636314

History

2026-11-02: add by m2/dev

Fisher separation theorem F53Q90D0XS

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

Mentions

wikipedia: Wikipedia List of theorems#YSN3, Fisher separation theorem (statement)

History

2026-11-02: add by m2/dev

List of actuaries F53V4MRKT7

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

Mentions

wikipedia: Wikipedia Lists of statistics topics#61FB, List of actuaries (topic)
wikipedia: Wikipedia Lists of mathematicians#K8WG, List of actuaries (topic)

History

2026-11-02: add by m2/dev

F543Z2JVSY F543Z2JVSY

URI	`m2://inv/F543Z2JVSY`
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#ZJWF (statement). In 14NGZPH8B9/e1, theorem 1

History

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

F544YFWXQ0 F544YFWXQ0

URI	`m2://inv/F544YFWXQ0`
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 2104.04145#Q11K (statement). In 7TNHVC586V/e1, theorem 3

History

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

Definition F54A2M2WJE

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

Mentions

wikipedia: Wikipedia Scale parameter#TTTN, Definition (definition)

History

2026-11-02: add by m2/dev

Killing spinor F54CQBXQT8

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

Mentions

wikipedia: Wikipedia Glossary of tensor theory#7EGJ, Killing spinor (definition)

History

2026-11-02: add by m2/dev

Mark J. Ablowitz F54FPGCZM9

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

Mentions

wikipedia: Wikipedia Mark J. Ablowitz, Mark J. Ablowitz (topic). Also Wikidata Q1900153

History

2026-11-02: add by m2/dev

Properties F54NJG1HC0

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

Mentions

wikipedia: Wikipedia Hankel singular value#6UUT, Properties (statement)

History

2026-11-02: add by m2/dev

F54RHDMK2D F54RHDMK2D

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

Mentions

arxiv: arXiv 2610.08664#6II2 (statement). In 1YY0P4ZS0T/e1, theorem 43

History

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

F54TAS6AJK F54TAS6AJK

URI	`m2://inv/F54TAS6AJK`
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 2203.06854#KMN6 (statement). In 7NE5NVT9KH/e1, theorem 4.2

History

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

RLC circuit F54VKA23HZ

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

Mentions

wikipedia: Wikipedia RLC circuit, RLC circuit (definition). Also Wikidata Q323477

History

2026-11-02: add by m2/dev

F55374570D F55374570D

URI	`m2://inv/F55374570D`
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.12053#D42U (statement). In MQ226ETRP6/e1, lemma 2.7

History

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

Definition (single crossing function) F558KG0456

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

Mentions

wikipedia: Wikipedia Monotone comparative statics#8L4G, Definition (single crossing function) (definition)

History

2026-11-02: add by m2/dev

Stability with common terminal point F55D5QSS89

URI	`m2://inv/F55D5QSS89`
Kind	statement
Layer	research
MSC	51-XX, 52-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.17909#MWCL, Stability with common terminal point (statement). In YXZX6Z8S6A/e1, proposition 3.6

History

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

Arthur Engel F55EXZDB06

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

Mentions

wikipedia: Wikipedia Arthur Engel (mathematician), Arthur Engel (topic). Also Wikidata Q16728830

History

2026-11-02: add by m2/dev

F55G988XNH F55G988XNH

URI	`m2://inv/F55G988XNH`
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 2503.08018#2K6Y (statement). In TN93YFN45W/e1, proposition 7.3

History

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

F55HVY9T7K F55HVY9T7K

URI	`m2://inv/F55HVY9T7K`
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.30565#F81P (statement). In TP0R6GK9AX/e1, proposition 1

History

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

F55RPXJHB5 F55RPXJHB5

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

Mentions

napkin: napkin tex/measure/caratheodory.tex#prop:lebesgue_rectangle (statement). In RZP28ERRZV, proposition, section 63.1

History

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

F565BSNF03 F565BSNF03

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

Mentions

arxiv: arXiv 2610.20542#U31O (statement). In 8PZXZ8Y9FK/e1, proposition 3.1

History

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

F566H46TB8 F566H46TB8

URI	`m2://inv/F566H46TB8`
Kind	statement
Layer	research
MSC	03-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 2110.11143#PCY1 (statement). In VTVC0TCWSB/e1, lemma 2.5

History

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

conditional probability F56AD2ZTJD

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#G31F, conditional probability (definition)

History

2026-11-02: add by m2/dev

Examples F56BV15QK6

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

Mentions

wikipedia: Wikipedia Jacobi method#S3L7, Examples (example)

History

2026-11-02: add by m2/dev

ALGOL 68 F56EK5PZ7X

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

Mentions

wikidata: Wikidata Q2166735, ALGOL 68 (unknown). Also EoM Algol-68

History

2026-10-26: add by m2/dev

Conventions F56PJXMZ3B

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

Mentions

wikipedia: Wikipedia Density on a manifold#TK7L, Conventions (definition)

History

2026-11-02: add by m2/dev

F572C4WCYF F572C4WCYF

URI	`m2://inv/F572C4WCYF`
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 2103.12669#XRX6 (definition). In ZA6XNBA90V/e1, definition 3.7

History

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

Good-filling inequality F574HB1N14

URI	`m2://inv/F574HB1N14`
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 2407.02022#L9CX, Good-filling inequality (statement). In RZDNWV9E29/e1, proposition 2.22

History

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

Edith Hirsch Luchins F578Y4ZMBX

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QKXH, Edith Hirsch Luchins (topic)

History

2026-11-02: add by m2/dev

F57FDH20BV F57FDH20BV

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

Mentions

arxiv: arXiv 2610.10247#3QPY (statement). In XWTMY44RF1/e1, corollary 4.3

History

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

Algorithms F57MQWAWJV

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

Mentions

wikipedia: Wikipedia Simple random sample#ESE5, Algorithms (definition)

History

2026-11-02: add by m2/dev

Properties F57NAZ3JEK

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

Mentions

wikipedia: Wikipedia Convergence in measure#M75H, Properties (statement)

History

2026-11-02: add by m2/dev

Two-regime scan with conditional error control F57RQ85PW7

URI	`m2://inv/F57RQ85PW7`
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.08821#CPNH, Two-regime scan with conditional error control (definition). In KP1THB2C09/e1, definition 6.1

History

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

Weil algebra F57TFB14MX

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

Mentions

wikidata: Wikidata Q7980183, Weil algebra (concept). Also EoM Weil_algebra, nLab Weil algebra
wikipedia: Wikipedia Weil algebra, Weil algebra (definition). Also Wikidata Q7980183

History

2026-10-26: add by m2/dev

F582VJ0TG7 F582VJ0TG7

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

Mentions

arxiv: arXiv 2609.26515#QXPO (statement)

History

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

F583W7GM85 F583W7GM85

URI	`m2://inv/F583W7GM85`
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.36827#I15O (statement). In VSHAQTB2CA/e1, lemma 7.7

History

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

Compound of five great cubicuboctahedra F584ASQ1N1

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#21DS, Compound of five great cubicuboctahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#NVLE, Compound of five great cubicuboctahedra (definition)

History

2026-11-02: add by m2/dev

F58A32B9KN F58A32B9KN

URI	`m2://inv/F58A32B9KN`
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.16727#QHLD (statement). In Z5QS3MD8HN/e1, lemma 3.4

History

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

Seifert fiber space F58GD7621C

URI	`m2://inv/F58GD7621C`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Seifert fiber space 9V1GF5WMKA

Mentions

wikidata: Wikidata Q1935541, Seifert fiber space (concept). Also EoM Seifert_fibration
wikipedia: Wikipedia Seifert fiber space, Seifert fiber space (definition). Also Wikidata Q1935541

History

2026-10-26: add by m2/dev

Generalizations F58P5954DW

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

Mentions

wikipedia: Wikipedia Sign function#381U, Generalizations (statement)

History

2026-11-02: add by m2/dev

F58Q39DS0M F58Q39DS0M

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

Mentions

applied_combinatorics: applied_combinatorics source/s_probability_exercises.ptx#exercise-6 (exercise). In QKM9DD2H56, exercise, section 10

History

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

paracompact space F58R3VNA5N

URI	`m2://inv/F58R3VNA5N`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Paracompact space 8R29G6NG9Q

Mentions

wikidata: Wikidata Q970119, paracompact space (definition). Also EoM Paracompact_space, MathWorld ParacompactSpace, ProofWiki Definition:Paracompact_Space
wikipedia: Wikipedia Paracompact space, Paracompact space (definition). Also Wikidata Q970119

History

2026-10-26: add by m2/dev

Peter Mazur F58T1GW88G

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#J0EH, Peter Mazur (unknown)

History

2026-11-02: add by m2/dev

stochastic quantization F58TSK0RGM

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

Mentions

wikidata: Wikidata Q7617833, stochastic quantization (topic)

History

2026-10-26: add by m2/dev

F58TXBFDKV F58TXBFDKV

URI	`m2://inv/F58TXBFDKV`
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.29677#BAVT (statement)

History

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

Tridecahedron F58ZQX4Y3P

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

Mentions

wikipedia: Wikipedia Tridecahedron, Tridecahedron (object). Also Wikidata Q16948184

History

2026-11-02: add by m2/dev

Uniform diameter decay F593S4RHGE

URI	`m2://inv/F593S4RHGE`
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.29153#V4H4, Uniform diameter decay (statement)

History

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

F594M7C11W F594M7C11W

URI	`m2://inv/F594M7C11W`
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.38659#NLX7 (statement). In DCJ23ZYXGK/e1, theorem D.1

History

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

Correction in the direction $n$ F598ANVDP9

URI	`m2://inv/F598ANVDP9`
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.12238#2E8L, Correction in the direction $n$ (statement). In E31CZYM2H8/e1, proposition 4.8

History

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

F59JHGARD0 F59JHGARD0

URI	`m2://inv/F59JHGARD0`
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.36811#HDSA (statement). In ZQDX8E43SQ/e1, proposition 2.2

History

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

Graded array in the reduced model F59JYDDTKM

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

Mentions

arxiv: arXiv 2609.29565#QKE3, Graded array in the reduced model (definition)

History

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

Definition F59NNSZBTK

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

Mentions

wikipedia: Wikipedia Akaike information criterion#GMG9, Definition (definition)

History

2026-11-02: add by m2/dev

Universal failure of last-iterate convergence for single-step primal methods on monotone problems F59NZRRQ4F

URI	`m2://inv/F59NZRRQ4F`
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.32981#9XV7, Universal failure of last-iterate convergence for single-step primal methods on monotone problems (statement). In AXDF7YN2RW/e1, theorem 7.4

History

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

quadratic equation F59Q8MY439

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

Mentions

wikidata: Wikidata Q41299, quadratic equation (definition). Also MathWorld QuadraticEquation, ProofWiki Definition:Quadratic_Equation
wikipedia: Wikipedia Quadratic equation, Quadratic equation (definition). Also Wikidata Q41299

History

2026-10-26: add by m2/dev

Carathéodory's lemma F59VEC12F6

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

Mentions

wikipedia: Wikipedia Nevanlinna's criterion#52BX, Carathéodory's lemma (statement)

History

2026-11-02: add by m2/dev

F59VSER7V0 F59VSER7V0

URI	`m2://inv/F59VSER7V0`
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.24766#5F8Y (statement)

History

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

accumulation F59VTMJADY

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#8P7I, accumulation (definition)

History

2026-11-02: add by m2/dev

F59WS1KV4H F59WS1KV4H

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

Mentions

arxiv: arXiv 2205.15365#CD4W (unknown). In R2XC1SC9NZ/e1, unknown 12

History

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

Example 4 F5A0G8GCTY

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

Mentions

wikipedia: Wikipedia Infinite compositions of analytic functions#CPDT, Example 4 (example)

History

2026-11-02: add by m2/dev

F5A2E5R68Z F5A2E5R68Z

URI	`m2://inv/F5A2E5R68Z`
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 2211.14214#90U4 (statement). In SY85Y9E45A/e1, proposition 30

History

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

Centerpoint F5AEA426XY

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

Mentions

wikipedia: Wikipedia Centerpoint (geometry), Centerpoint (definition). Also Wikidata Q5060048

History

2026-11-02: add by m2/dev

F5AEZEAJ16 F5AEZEAJ16

URI	`m2://inv/F5AEZEAJ16`
Kind	example
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.08382#KM70 (example). In GYMGDQS25R/e1, example 6.25

History

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

Michael Friedman F5ATKE3BNY

URI	`m2://inv/F5ATKE3BNY`
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 Q6830429, Michael Friedman (unknown). Also nLab Michael Friedman
wikipedia: Wikipedia Michael Friedman (philosopher), Michael Friedman (topic). Also Wikidata Q6830429

History

2026-10-26: add by m2/dev

Statement of theorem F5AXXHW0Z8

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

Mentions

wikipedia: Wikipedia Dependent random choice#UW9E, Statement of theorem (statement)

History

2026-11-02: add by m2/dev

Heavy metals F5AYMH7VH5

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#O264, Heavy metals (unknown)

History

2026-11-02: add by m2/dev

F5B4GSEBF4 F5B4GSEBF4

URI	`m2://inv/F5B4GSEBF4`
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.13798#CBD2 (statement). In GF2MA6Y29D/e1, corollary 2.8

History

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

F5BD7FM04C F5BD7FM04C

URI	`m2://inv/F5BD7FM04C`
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.17258#ZKN1 (statement). In F4M67ZVBF2/e1, lemma B.1

History

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

Properties F5BJFBSYMJ

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

Mentions

wikipedia: Wikipedia Noncentral chi distribution#I4MK, Properties (statement)

History

2026-11-02: add by m2/dev

Subindependence F5BRAPN3NC

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

Mentions

wikipedia: Wikipedia List of statistics articles#EHR5, Subindependence (definition)

History

2026-11-02: add by m2/dev

F5BZ6R60PB F5BZ6R60PB

URI	`m2://inv/F5BZ6R60PB`
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#US0Z (statement). In PZCA01JXVR/e1, corollary 2.9

History

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

F5BZBR99Y2 F5BZBR99Y2

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

Mentions

arxiv: arXiv 2105.13129#YP5U (definition). In J5Z1JD5VKR/e1, definition 3.3

History

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

Regular placement F5BZXSKH7E

URI	`m2://inv/F5BZXSKH7E`
Kind	definition
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.17004#JCPW, Regular placement (definition). In XNJGNMS6H0/e1, definition 4.3

History

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

F5C032HD61 F5C032HD61

URI	`m2://inv/F5C032HD61`
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.15881#R969 (statement). In RK0JCSYK33/e1, lemma 3.6

History

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

F5C1W7C9KW F5C1W7C9KW

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

Mentions

open_logic: open_logic content/incompleteness/theories-computability/extensions-of-q-not-decidable.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 30.8

History

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

Properties F5C2AT52NY

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

Mentions

wikipedia: Wikipedia Lawson topology#78W9, Properties (statement)

History

2026-11-02: add by m2/dev

F5CFFFPSKW F5CFFFPSKW

URI	`m2://inv/F5CFFFPSKW`
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.32946#FZHL (statement). In 6AEBXNK614/e1, theorem 4.5

History

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

Patricia Clark Kenschaft F5CKMV39F1

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

Mentions

wikipedia: Wikipedia Patricia Clark Kenschaft, Patricia Clark Kenschaft (topic). Also Wikidata Q50234231

History

2026-11-02: add by m2/dev

Statement F5D1AQ6506

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

Mentions

wikipedia: Wikipedia Expander mixing lemma#B1VN, Statement (statement)

History

2026-11-02: add by m2/dev

Aparna V. Huzurbazar F5D274A2A5

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

Mentions

wikipedia: Wikipedia Aparna V. Huzurbazar, Aparna V. Huzurbazar (topic). Also Wikidata Q44033939

History

2026-11-02: add by m2/dev

F5D9BNDWT4 F5D9BNDWT4

URI	`m2://inv/F5D9BNDWT4`
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.14249#QJXW (statement). In B6P8PG8R8T/e1, proposition 2.1

History

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

Jacob Eichenbaum F5DT0P62DB

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#T635, Jacob Eichenbaum (topic)

History

2026-11-02: add by m2/dev

F5E0JG60GZ F5E0JG60GZ

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

Mentions

lebl_scv: lebl_scv scv.tex#prop-30 (statement). In VNMV985MXX, prop, section E.2

History

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

Hilbert's eighth problem F5E1M8NQ37

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

Mentions

wikipedia: Wikipedia Hilbert's eighth problem, Hilbert's eighth problem (problem). Also Wikidata Q11059886

History

2026-11-02: add by m2/dev

Examples F5E3GF1AZ3

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

Mentions

wikipedia: Wikipedia Periodic function#3JQ8, Examples (example)

History

2026-11-02: add by m2/dev

F5E8Y3G939 F5E8Y3G939

URI	`m2://inv/F5E8Y3G939`
Kind	statement
Layer	research
MSC	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 2603.28861#E494 (statement). In A3VQ2TNRKK/e1, proposition A.2

History

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

Charged one-pass process F5EC250RFP

URI	`m2://inv/F5EC250RFP`
Kind	definition
Layer	research
MSC	11-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.37368#O831, Charged one-pass process (definition). In FRMCKEGVJZ/e1, definition 1

History

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

Properties F5EGHZGJRB

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

Mentions

wikipedia: Wikipedia Poisson binomial distribution#P7UF, Properties (statement)

History

2026-11-02: add by m2/dev

F5EPBNAAZ3 F5EPBNAAZ3

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/logics-proofs.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 50.5

History

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

Kazhdan–Lusztig conjecture F5ESHFJG4S

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

Mentions

wikipedia: Wikipedia D-module#1ZVC, Kazhdan–Lusztig conjecture (statement)

History

2026-11-02: add by m2/dev

F5F0R8NN6T F5F0R8NN6T

URI	`m2://inv/F5F0R8NN6T`
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#HQSG (statement). In PD5PJ0EYG6/e1, proposition 3.1

History

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

F5F1SNV7A4 F5F1SNV7A4

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

Mentions

arxiv: arXiv 2610.13100#7OKA (statement). In CC6S1HVK0T/e1, proposition B.4

History

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

F5F3TZ1Z15 F5F3TZ1Z15

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

Mentions

arxiv: arXiv 2610.21017#EC35 (statement). In 8KKYZ4NKT2/e1, proposition 29

History

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

Open Polar Sea F5F6DZQHGZ

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#G3DS, Open Polar Sea (unknown)

History

2026-11-02: add by m2/dev

F5F7Z12ND5 F5F7Z12ND5

URI	`m2://inv/F5F7Z12ND5`
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.26581#I5CL (statement)

History

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

F5F9H0D568 F5F9H0D568

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

Mentions

napkin: napkin tex/measure/large-laws.tex#example-1 (example). In RZP28ERRZV, example, section 64.1.1

History

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

F5FB9DJCSH F5FB9DJCSH

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

Mentions

arxiv: arXiv 2610.07280#HXED (statement). In 1FJKW4WGEN/e1, proposition 2.3

History

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

Joint entropy F5FJVHQB51

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

Mentions

wikipedia: Wikipedia Joint entropy, Joint entropy (definition). Also Wikidata Q1364826

History

2026-11-02: add by m2/dev

Microsegment F5FPFG5D6R

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

Mentions

wikipedia: Wikipedia Microsegment, Microsegment (definition). Also Wikidata Q16928505

History

2026-11-02: add by m2/dev

A unique martingale with atomless components F5FRA55EJH

URI	`m2://inv/F5FRA55EJH`
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#DNTF, A unique martingale with atomless components (statement). In 9YAE8FNQST/e1, theorem 11.9

History

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

F5FTBQQHT3 F5FTBQQHT3

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

Mentions

arxiv: arXiv 2609.28742#HUYJ (statement)

History

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

F5FTZWX7RQ F5FTZWX7RQ

URI	`m2://inv/F5FTZWX7RQ`
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.13883#5GYR (statement). In F3PQ8P7R2B/e1, corollary 1

History

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

F5FYWP9TSK F5FYWP9TSK

URI	`m2://inv/F5FYWP9TSK`
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.12736#98CK (statement). In 5350Q52F6P/e1, proposition 7.9

History

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

William Morris Kinnersley F5G5GXE7KF

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#854Y, William Morris Kinnersley (unknown)

History

2026-11-02: add by m2/dev

F5G6YFPQ8P F5G6YFPQ8P

URI	`m2://inv/F5G6YFPQ8P`
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.04608#6XJH (statement). In ZYYMXYK7WJ/e1, corollary 5

History

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

F5G8Y8KFPC F5G8Y8KFPC

URI	`m2://inv/F5G8Y8KFPC`
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.32599#9E5I (definition). In E1Y93JNBJA/e1, definition 6.1

History

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

Exponential tails of the global maximizer F5G9NR2KHP

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

Mentions

arxiv: arXiv 2610.10080#XKQX, Exponential tails of the global maximizer (statement). In N6EBNRZCYX/e1, lemma A.12

History

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

F5GANYZNYR F5GANYZNYR

URI	`m2://inv/F5GANYZNYR`
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.10029#UN1E (statement). In K7EAM152B0/e1, theorem 3.2

History

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

limit superior F5GBVJZ5VD

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

Mentions

lebl_ra: lebl_ra index/10.3.4/limit-superior, limit superior (concept). In E59CDZA4DP, index, section 10.3.4

History

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

Generalization F5GDB4TR6W

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

Mentions

wikipedia: Wikipedia Balanced prime#UALH, Generalization (statement)

History

2026-11-02: add by m2/dev

F5GDQ6T3E6 F5GDQ6T3E6

URI	`m2://inv/F5GDQ6T3E6`
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.31276#6PYO (statement). In WYDHWYFRFK/e1, lemma 5.6

History

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

Legendre polynomials F5GMEDJ0ZV

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

Mentions

wikipedia: Wikipedia List of polynomial topics#4NMK, Legendre polynomials (definition)
wikipedia: Wikipedia List of dynamical systems and differential equations topics#HW0Z, Legendre polynomials (definition)
wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#2WOP, Legendre polynomials (definition)

History

2026-11-02: add by m2/dev

(Rubicon #2) F5GNZXNKTR

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#838G, (Rubicon #2) (definition)

History

2026-11-02: add by m2/dev

M-separation F5GQP7YBCH

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

Mentions

wikipedia: Wikipedia M-separation, M-separation (definition). Also Wikidata Q6712110

History

2026-11-02: add by m2/dev

Algebraic statistics F5GSAWDKG5

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

Mentions

wikipedia: Wikipedia Algebraic statistics, Algebraic statistics (topic). Also Wikidata Q4724018

History

2026-11-02: add by m2/dev

F5H4ZMYBMJ F5H4ZMYBMJ

URI	`m2://inv/F5H4ZMYBMJ`
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 2011.12496#GM5E (statement). In 1DH15ZJFRZ/e1, lemma 2

History

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

Riemann-Lebesgue lemma F5H5BRKT9M

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

Mentions

mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Riemann-Lebesgue lemma, Riemann-Lebesgue lemma (unknown). Also Mathlib tendsto_integral_exp_smul_cocompact

History

2026-10-26: add by m2/dev

A strategy for player i F5H9EFRB26

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

Mentions

wikipedia: Wikipedia Glossary of game theory#SURZ, A strategy for player i (definition)

History

2026-11-02: add by m2/dev

One accelerated phase F5H9Z0ANAN

URI	`m2://inv/F5H9Z0ANAN`
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.32558#EENK, One accelerated phase (statement). In SGQS629QNK/e1, theorem 4.2

History

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

Enneacontagon F5HC6Z0TXE

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#8GW6, Enneacontagon (definition)

History

2026-11-02: add by m2/dev

F5HCT6NSTT F5HCT6NSTT

URI	`m2://inv/F5HCT6NSTT`
Kind	statement
Layer	research
MSC	26-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.11301#HTHA (statement). In YH1W5A0JTS/e1, theorem 5.4

History

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

Examples F5HNRQSRXQ

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

Mentions

wikipedia: Wikipedia Invariant sigma-algebra#H4UF, Examples (example)

History

2026-11-02: add by m2/dev

F5HPST8WZC F5HPST8WZC

URI	`m2://inv/F5HPST8WZC`
Kind	statement
Layer	research
MSC	19-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.36823#15N5 (statement). In 55WT8DME6Y/e1, lemma 1.4

History

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

Level unit F5HQSSWM26

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

Mentions

wikipedia: Wikipedia Logarithmic scale#7XQB, Level unit (unknown)

History

2026-11-02: add by m2/dev

F5HTW6E9E0 F5HTW6E9E0

URI	`m2://inv/F5HTW6E9E0`
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.32393#7LL1 (statement). In F4816HC2JH/e1, theorem 3.9

History

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

F5HVMV24HG F5HVMV24HG

URI	`m2://inv/F5HVMV24HG`
Kind	statement
Layer	research
MSC	20-XX, 22-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.14045#WN5B (statement). In KZ71GXT2B0/e1, corollary 5.8

History

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

Laws F5HWREDA8B

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

Mentions

wikipedia: Wikipedia Newton's laws of motion#0924, Laws (statement)

History

2026-11-02: add by m2/dev

F5HYB4C59K F5HYB4C59K

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

Mentions

arxiv: arXiv 2505.05539#IB40 (statement). In 8SVVEVGMNE/e1, proposition 2.1

History

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

F5J2H3PT41 F5J2H3PT41

URI	`m2://inv/F5J2H3PT41`
Kind	statement
Layer	research
MSC	17-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.18618#WSWE (statement). In C8VC86B6H8/e1, lemma 8.1

History

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

F5J3GG3FK8 F5J3GG3FK8

URI	`m2://inv/F5J3GG3FK8`
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.16886#LCLI (statement). In Y8QQAH7VCF/e1, corollary E.9

History

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

F5J3SW8YT3 F5J3SW8YT3

URI	`m2://inv/F5J3SW8YT3`
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.17883#YIX8 (definition). In 9WSJV2WY2S/e1, definition

History

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

Balanced category F5JBBSVYED

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

Mentions

wikipedia: Wikipedia Balanced category, Balanced category (definition). Also Wikidata Q127797869

History

2026-11-02: add by m2/dev

F5JCT3JAH2 F5JCT3JAH2

URI	`m2://inv/F5JCT3JAH2`
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 2211.14214#GC6S (statement). In SY85Y9E45A/e1, proposition 27

History

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

Medial hexagonal hexecontahedron F5JESB47D3

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#SHK1, Medial hexagonal hexecontahedron (object)

History

2026-11-02: add by m2/dev

F5JJEKFR1Z F5JJEKFR1Z

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

Mentions

open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 36.3

History

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

Happy ending problem F5K1419XRC

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#N7DC, Happy ending problem (problem)

History

2026-11-02: add by m2/dev

Examples F5K1E4VYD6

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

Mentions

wikipedia: Wikipedia Orthonormal basis#NHA6, Examples (example)

History

2026-11-02: add by m2/dev

F5K7KNCHYD F5K7KNCHYD

URI	`m2://inv/F5K7KNCHYD`
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 2308.05066#D355 (statement). In 1QSCT53ZED/e1, corollary 8.8

History

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

F5K94N374V F5K94N374V

URI	`m2://inv/F5K94N374V`
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.29925#BX5H (statement)

History

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

rotation of the pair catalogue F5KM39A52P

URI	`m2://inv/F5KM39A52P`
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.39511#6MLI, rotation of the pair catalogue (statement). In 6W9H24A378/e1, theorem 11

History

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

F5KP4Y539V F5KP4Y539V

URI	`m2://inv/F5KP4Y539V`
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 2512.19872#M0RM (statement). In DG9TF5X0EG/e1, lemma 6

History

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

magic star F5KS20ZRG1

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

Mentions

wikidata: Wikidata Q2345737, magic star (unknown). Also MathWorld MagicStar
wikipedia: Wikipedia Magic star, Magic star (definition). Also Wikidata Q2345737

History

2026-10-26: add by m2/dev

F5KYCPBFKY F5KYCPBFKY

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

Mentions

arxiv: arXiv 2610.05193#YXEO (statement). In XDMM0KNNZ9/e1, lemma 27

History

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

Special cases F5KYXRFS38

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

Mentions

wikipedia: Wikipedia Central groupoid#ZDTY, Special cases (statement)

History

2026-11-02: add by m2/dev

Seymour Papert F5KZGPP1JD

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GQ6T, Seymour Papert (unknown)

History

2026-11-02: add by m2/dev

Invariant polynomial F5KZJ9ZKWY

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

Mentions

wikipedia: Wikipedia List of polynomial topics#UHNP, Invariant polynomial (definition)

History

2026-11-02: add by m2/dev

well-founded relation F5M5FC6T4Q

URI	`m2://inv/F5M5FC6T4Q`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Well-founded relation 0230ECX1Q5

Mentions

wikidata: Wikidata Q338021, well-founded relation (unknown). Also EoM Well-founded_relation, nLab well-founded relation
wikipedia: Wikipedia Well-founded relation, Well-founded relation (definition). Also Wikidata Q338021

History

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

F5MMVRAJCK F5MMVRAJCK

URI	`m2://inv/F5MMVRAJCK`
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.23327#3O1O (statement)

History

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

Pokhozhaev's identity F5MPYHGHD4

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

Mentions

wikipedia: Wikipedia Virial theorem#WSW7, Pokhozhaev's identity (statement)

History

2026-11-02: add by m2/dev

Feng \& Jech F5MX2QDVK0

URI	`m2://inv/F5MX2QDVK0`
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.17547#E9TM, Feng \& Jech (definition). In XJ59TDP4HA/e1, definition 2.13

History

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

Eight-dimensional space F5MZT0Z7D0

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

Mentions

wikipedia: Wikipedia Eight-dimensional space, Eight-dimensional space (definition). Also Wikidata Q10853884

History

2026-11-02: add by m2/dev

Ramsey theory F5MZZBVWND

URI	`m2://inv/F5MZZBVWND`
Kind	topic
Layer	textbook
MSC	05D10
Sources	2
Outcome	open
Node	Ramsey theory G5TWXV565S

Mentions

wikidata: Wikidata Q1336170, Ramsey theory (topic). Also MathWorld RamseyTheory, ProofWiki Definition:Ramsey_Theory
wikipedia: Wikipedia Ramsey theory, Ramsey theory (topic). Also Wikidata Q1336170

History

2026-10-26: add by m2/dev

Quota sampling F5N0C49SAQ

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

Mentions

wikipedia: Wikipedia List of statistics articles#0YR0, Quota sampling (definition)

History

2026-11-02: add by m2/dev

Magic star F5N2P7YS4Y

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

Mentions

wikipedia: Wikipedia List of recreational number theory topics#XSXV, Magic star (definition)

History

2026-11-02: add by m2/dev

Space hierarchy theorem F5NE4FJF4H

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

Mentions

wikipedia: Wikipedia List of theorems#3SGT, Space hierarchy theorem (statement)

History

2026-11-02: add by m2/dev

Moore graph F5NK5SS89F

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#0X2A, Moore graph (definition)

History

2026-11-02: add by m2/dev

Octree F5NKKJDXEK

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#CAOR, Octree (unknown)

History

2026-11-02: add by m2/dev

Alternative definitions F5NRFB67PH

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

Mentions

wikipedia: Wikipedia Limit ordinal#U9PF, Alternative definitions (definition)

History

2026-11-02: add by m2/dev

Gram's theorem F5NSZDGVHE

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

Mentions

wikipedia: Wikipedia Gram's theorem, Gram's theorem (statement). Also Wikidata Q5593569

History

2026-11-02: add by m2/dev

F5NY32ABN2 F5NY32ABN2

URI	`m2://inv/F5NY32ABN2`
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.20274#PJ6G (statement)

History

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

F5P2FAGR8X F5P2FAGR8X

URI	`m2://inv/F5P2FAGR8X`
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.21975#BKD6 (statement)

History

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

Theorem A (groups) F5P315NBEM

URI	`m2://inv/F5P315NBEM`
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#44JV, Theorem A (groups) (statement)

History

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

Definitions F5PPNS5BJW

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

Mentions

wikipedia: Wikipedia Pfaffian orientation#GC7S, Definitions (definition)

History

2026-11-02: add by m2/dev

F5PVZEATD0 F5PVZEATD0

URI	`m2://inv/F5PVZEATD0`
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.16059#UR03 (statement). In 51W7AECQDA/e1, lemma 2.3

History

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

F5PY3ASEE5 F5PY3ASEE5

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

Mentions

arxiv: arXiv 2609.34845#NYB9 (statement). In SBZNH932ZV/e1, theorem 9.2

History

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

F5PZD50ARQ F5PZD50ARQ

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

Mentions

arxiv: arXiv 2610.21954#3S78 (statement). In F2XATDBRK4/e1, theorem 1

History

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

F5Q00193A4 F5Q00193A4

URI	`m2://inv/F5Q00193A4`
Kind	statement
Layer	research
MSC	05-XX, 11-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 1407.0548#HNR5 (statement). In 3EAQ15QTJC/e1, lemma 3.3

History

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

piecewise affine scalar potentials F5Q01CY8GT

URI	`m2://inv/F5Q01CY8GT`
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.08016#Z9MC, piecewise affine scalar potentials (statement). In YR3CSTYEJW/e1, lemma 5.3

History

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

Perspective geological correlation F5Q12TBXHS

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

Mentions

wikipedia: Wikipedia Perspective geological correlation, Perspective geological correlation (topic). Also Wikidata Q97359829

History

2026-11-02: add by m2/dev

F5Q9RRP30C F5Q9RRP30C

URI	`m2://inv/F5Q9RRP30C`
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.07064#VU0N (statement). In GPK6W5XQM3/e1, theorem 7

History

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

Castigliano's first theorem – for forces in an elastic structure F5QBKSRR7C

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

Mentions

wikipedia: Wikipedia Castigliano's method#RBR5, Castigliano's first theorem – for forces in an elastic structure (statement)

History

2026-11-02: add by m2/dev

F5QGPX6JHK F5QGPX6JHK

URI	`m2://inv/F5QGPX6JHK`
Kind	definition
Layer	research
MSC	05-XX, 55-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.31919#RBKO (definition). In RHN12PW9P9/e1, definition 2.2

History

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

Montel F5QVS17H2W

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#KCGS, Montel (definition)

History

2026-11-02: add by m2/dev

Contingency coefficient F5R3S2QEB1

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#0AQQ, Contingency coefficient (definition)

History

2026-11-02: add by m2/dev

Curie group F5RA1D8W4Z

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

Mentions

wikipedia: Wikipedia Point groups in three dimensions#E3ER, Curie group (unknown)

History

2026-11-02: add by m2/dev

F5RWC5Z1R2 F5RWC5Z1R2

URI	`m2://inv/F5RWC5Z1R2`
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 2405.05684#D6OJ (statement). In 1PR73ECTZB/e1, proposition 10

History

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

Structural equation modeling F5RXMDZG42

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

Mentions

wikipedia: Wikipedia List of statistics articles#GNXP, Structural equation modeling (definition)

History

2026-11-02: add by m2/dev

Semi-self-dual codes qubitize without loss F5S26XB9Z1

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

Mentions

arxiv: arXiv 2610.04834#2378, Semi-self-dual codes qubitize without loss (statement). In YZNK67K060/e1, corollary 6.6

History

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

Equivalent formulations for absolute minimisers F5S30WXPZV

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

Mentions

arxiv: arXiv 2609.27918#BGOG, Equivalent formulations for absolute minimisers (statement)

History

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

F5S3YTA55D F5S3YTA55D

URI	`m2://inv/F5S3YTA55D`
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.14267#EE35 (statement). In 9YTGFNA004/e1, theorem 1.2

History

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

Alternative definitions F5SDTVF99M

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

Mentions

wikipedia: Wikipedia Cancellative semigroup#RYY1, Alternative definitions (definition)

History

2026-11-02: add by m2/dev

Model elimination F5SQNK1A8S

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

Mentions

wikipedia: Wikipedia Model elimination, Model elimination (definition). Also Wikidata Q6888321

History

2026-11-02: add by m2/dev

F5STBB6MWP F5STBB6MWP

URI	`m2://inv/F5STBB6MWP`
Kind	statement
Layer	research
MSC	46-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 2609.23167#E21U (statement)

History

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

F5SVXYFMY7 F5SVXYFMY7

URI	`m2://inv/F5SVXYFMY7`
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.16554#UXYU (statement). In GWNT8HEZG1/e1, proposition 2.6

History

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

F5SX7PSG30 F5SX7PSG30

URI	`m2://inv/F5SX7PSG30`
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.13846#2UO4 (statement). In DN3HGHGRYJ/e1, lemma 6.2

History

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

Coxeter–Dynkin diagram F5T1VKF4JP

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

Mentions

wikidata: Wikidata Q169451, Coxeter–Dynkin diagram (concept). Also MathWorld Coxeter-DynkinDiagram
wikipedia: Wikipedia Coxeter–Dynkin diagram, Coxeter–Dynkin diagram (definition). Also Wikidata Q169451

History

2026-10-26: add by m2/dev

Definitions F5T222B1VJ

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

Mentions

wikipedia: Wikipedia Spherical contact distribution function#VYZY, Definitions (definition)

History

2026-11-02: add by m2/dev

F5T6V5PMKY F5T6V5PMKY

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

Mentions

applied_combinatorics: applied_combinatorics source/s_probability_central-tendency.ptx#example-4 (example). In QKM9DD2H56, example, section 10.5.1

History

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

Julia Sharp F5TBH0V9XZ

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

Mentions

wikipedia: Wikipedia Julia Sharp, Julia Sharp (topic). Also Wikidata Q91907992

History

2026-11-02: add by m2/dev

F5TCKNWPHE F5TCKNWPHE

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

Mentions

arxiv: arXiv 2610.22040#P15U (statement). In 2QP93JHYNB/e1, lemma 4.12

History

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

Monica VanDieren F5TESR1JPE

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

Mentions

wikipedia: Wikipedia Monica VanDieren, Monica VanDieren (topic). Also Wikidata Q67001813

History

2026-11-02: add by m2/dev

Edward Collingwood F5TFKR27XM

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

Mentions

wikipedia: Wikipedia Edward Collingwood, Edward Collingwood (topic). Also Wikidata Q127073

History

2026-11-02: add by m2/dev

F5TGCPBHTE F5TGCPBHTE

URI	`m2://inv/F5TGCPBHTE`
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 2511.05069#D5ZA (statement). In SFQBJBTW8K/e1, proposition 14.8

History

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

Rectified tesseractic honeycomb F5TK9T3998

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

Mentions

wikipedia: Wikipedia Rectified tesseractic honeycomb, Rectified tesseractic honeycomb (definition). Also Wikidata Q17007163

History

2026-11-02: add by m2/dev

F5TKPCCAZV F5TKPCCAZV

URI	`m2://inv/F5TKPCCAZV`
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 2212.05398#75QD (statement). In WQKQ8438M7/e1, lemma 1.1

History

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

Rigidity F5TPPDVYZ4

URI	`m2://inv/F5TPPDVYZ4`
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.04671#QDR8, Rigidity (statement). In BYP65TRGDT/e1, proposition 3.1

History

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

change of fiber F5TRK62VF6

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#T2UK, change of fiber (definition)

History

2026-11-02: add by m2/dev

Unscented Kalman filter F5TRVGPGAR

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

Mentions

wikipedia: Wikipedia Kalman filter#SFWS, Unscented Kalman filter (unknown)

History

2026-11-02: add by m2/dev

Properties F5TWK2JYJV

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

Mentions

wikipedia: Wikipedia Supnick matrix#BQSL, Properties (statement)

History

2026-11-02: add by m2/dev

F5TXCKFRBM F5TXCKFRBM

URI	`m2://inv/F5TXCKFRBM`
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#26MO (statement). In X1AGBB90EH/e1, lemma 2.5

History

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

F5TZA0J3ZE F5TZA0J3ZE

URI	`m2://inv/F5TZA0J3ZE`
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#NUJG (statement). In HF7J38T8Y6/e1, theorem 3.6

History

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

F5V0172XQD F5V0172XQD

URI	`m2://inv/F5V0172XQD`
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 2308.05715#4W7S (example). In FC0SB9JFWH/e1, example 5.17

History

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

Descent under Joyce chart changes F5V1CV3F5K

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

Mentions

arxiv: arXiv 2609.27799#L2J5, Descent under Joyce chart changes (statement)

History

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

Poisson algebra F5V58GDR0F

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

Mentions

wikidata: Wikidata Q11143305, Poisson algebra (concept). Also EoM Poisson_algebra, nLab Poisson algebra
wikipedia: Wikipedia Poisson algebra, Poisson algebra (definition). Also Wikidata Q11143305

History

2026-10-26: add by m2/dev

F5V6MGFA8F F5V6MGFA8F

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

Mentions

arxiv: arXiv 2405.10580#0Q3S (statement). In FXEJE0PWEP/e1, proposition 5.5

History

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

trace monoid F5V8NX77Y4

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

Mentions

wikidata: Wikidata Q3321292, trace monoid (unknown). Also nLab trace monoid
wikipedia: Wikipedia Trace monoid, Trace monoid (definition). Also Wikidata Q3321292

History

2026-10-26: add by m2/dev

apex F5VBEHGN88

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

Mentions

wikipedia: Wikipedia Lexell's theorem#IX12, apex (definition)
wikipedia: Wikipedia Lexell's theorem#LDKS, spherical triangle (definition)
wikipedia: Wikipedia Lexell's theorem#N1LJ, great circle (definition)
wikipedia: Wikipedia Lexell's theorem#NMS6, vertices (definition)
wikipedia: Wikipedia Lexell's theorem#PODM, antipodal (definition)
wikipedia: Wikipedia Lexell's theorem#Q8GY, small circles (definition)
wikipedia: Wikipedia Lexell's theorem#T24Y, base (definition)

History

2026-11-02: add by m2/dev

Barrier function F5VS8NFPVX

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

Mentions

wikipedia: Wikipedia Barrier function, Barrier function (definition). Also Wikidata Q4863604

History

2026-11-02: add by m2/dev

Causal curve F5W2HMN3GW

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

Mentions

wikipedia: Wikipedia Causal structure#E1CJ, Causal curve (unknown)

History

2026-11-02: add by m2/dev

Exact realization of clipping F5W5EFA995

URI	`m2://inv/F5W5EFA995`
Kind	statement
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 2610.12544#JAYI, Exact realization of clipping (statement). In XXV36V6CK8/e1, lemma 11

History

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

F5WC0BKJR3 F5WC0BKJR3

URI	`m2://inv/F5WC0BKJR3`
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.06381#FGNK (statement). In X9JKBDHACW/e1, theorem 2.4

History

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

Randomness tests F5WCT4XBB3

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

Mentions

wikipedia: Wikipedia List of statistics articles#49CE, Randomness tests (definition)

History

2026-11-02: add by m2/dev

Monotonicity F5WE9HMDE1

URI	`m2://inv/F5WE9HMDE1`
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 2104.00162#YZ4F, Monotonicity (statement). In HVGT9D84WV/e1, lemma 2.7

History

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

Positive element F5WNJAWEC1

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

Mentions

wikipedia: Wikipedia Positive element, Positive element (definition). Also Wikidata Q124257255

History

2026-11-02: add by m2/dev

F5WQ6ASC6C F5WQ6ASC6C

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

Mentions

open_logic: open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#prop:provability-contr (statement). In PKGMM3P5QY, prop, section 15.3

History

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

Decagon F5WY8SHF0B

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#4TX3, Decagon (definition)

History

2026-11-02: add by m2/dev

F5WZWACHDZ F5WZWACHDZ

URI	`m2://inv/F5WZWACHDZ`
Kind	definition
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 2410.02139#TCCJ (definition). In TJ1NTK3KJW/e1, definition 21

History

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

multilinear map F5X8QQ681Y

URI	`m2://inv/F5X8QQ681Y`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Multilinear map 0443XNARDV

Mentions

wikidata: Wikidata Q1952404, multilinear map (unknown). Also EoM Multilinear_mapping
wikipedia: Wikipedia Multilinear map, Multilinear map (definition). Also Wikidata Q1952404

History

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

Lost precision F5XAXE4CV4

URI	`m2://inv/F5XAXE4CV4`
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.21271#89ME, Lost precision (statement)

History

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

First Hardy–Littlewood conjecture F5XBSGC10V

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

Mentions

wikidata: Wikidata Q18450813, First Hardy–Littlewood conjecture (conjecture). Also MathWorld k-TupleConjecture
wikipedia: Wikipedia First Hardy–Littlewood conjecture, First Hardy–Littlewood conjecture (statement). Also Wikidata Q18450813

History

2026-10-26: add by m2/dev

F5XKGW1S4F F5XKGW1S4F

URI	`m2://inv/F5XKGW1S4F`
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.20758#LVZA (statement). In PG0B4PH9YH/e1, proposition 3.11

History

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

Mycielski graph F5XN3WCT1Q

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

Mentions

wikidata: Wikidata Q137737661, Mycielski graph (unknown). Also MathWorld MycielskiGraph

History

2026-10-26: add by m2/dev

F5XQE7HHFP F5XQE7HHFP

URI	`m2://inv/F5XQE7HHFP`
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.40207#XQGC (statement). In JXTG8KP95P/e1, corollary 3.7

History

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

Edmund Robertson F5XS3N96S3

URI	`m2://inv/F5XS3N96S3`
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 Q440344, Edmund Robertson (unknown). Also ProofWiki Mathematician:Edmund_Frederick_Robertson
wikipedia: Wikipedia E. F. Robertson, E. F. Robertson (topic). Also Wikidata Q440344

History

2026-10-26: add by m2/dev

Dendriform algebra F5XVPSJDK8

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

Mentions

wikipedia: Wikipedia List of algebras#A3IR, Dendriform algebra (unknown)

History

2026-11-02: add by m2/dev

F5XZ4Q0MK9 F5XZ4Q0MK9

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

Mentions

arxiv: arXiv 2610.00789#X3LJ (statement). In 4WPYBTARS2/e1, corollary 5.11

History

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

Theorem F5Y42WWN46

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

Mentions

wikipedia: Wikipedia Picard–Lindelöf theorem#AR21, Theorem (statement)

History

2026-11-02: add by m2/dev

F5Y9DN5VH0 F5Y9DN5VH0

URI	`m2://inv/F5Y9DN5VH0`
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.29148#VB5Z (statement)

History

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

F5YG89VWE8 F5YG89VWE8

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

Mentions

arxiv: arXiv 2610.19954#ZEMU (statement). In AXPPYWYJZ5/e1, theorem 2.5

History

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

Archimedean Property F5YPM8RRM7

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-20, Archimedean Property (statement). In P1C114YBXG, theorem, section u1

History

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

Valéria Neves Domingos Cavalcanti F5YQ5V9PA8

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#6MF8, Valéria Neves Domingos Cavalcanti (topic)

History

2026-11-02: add by m2/dev

F5YS12T7XC F5YS12T7XC

URI	`m2://inv/F5YS12T7XC`
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.04809#L1DV (statement). In 2VHV0RNTNV/e1, lemma 8.4

History

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

Adjustable rate budgets F5YZH52QMN

URI	`m2://inv/F5YZH52QMN`
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.09356#FZK7, Adjustable rate budgets (statement). In 3VVGPXWH6R/e1, proposition C.17

History

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

inner product F5Z5K1DDXF

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#9RYC, inner product (definition)

History

2026-11-02: add by m2/dev

F5Z656E1AQ F5Z656E1AQ

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/halting-problem.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 86.7

History

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

F5Z7WS11X7 F5Z7WS11X7

URI	`m2://inv/F5Z7WS11X7`
Kind	statement
Layer	research
MSC	16-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 2512.16003#ICS4 (statement). In BJGS6ZCQ12/e1, lemma 4.3

History

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

Morrison, Winifred J. F5ZDVTW1BG

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

Mentions

wikipedia: Wikipedia List of statisticians#NC5C, Morrison, Winifred J. (statement)

History

2026-11-02: add by m2/dev

Unnormalized randomized STORM F5ZES2BZ8P

URI	`m2://inv/F5ZES2BZ8P`
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.13789#QIR1, Unnormalized randomized STORM (statement). In 803XY7QQZ4/e1, theorem 4

History

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

F5ZF0NKMV8 F5ZF0NKMV8

URI	`m2://inv/F5ZF0NKMV8`
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/9602216#M1RO (statement). In SD43497T8C/e1, lemma 1.28

History

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

Almost disjoint sets F5ZX0GRYSF

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

Mentions

wikipedia: Wikipedia Almost disjoint sets, Almost disjoint sets (definition). Also Wikidata Q4734004

History

2026-11-02: add by m2/dev

Properties F5ZZ6G7JY6

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

Mentions

wikipedia: Wikipedia F-divergence#1S2S, Properties (statement)

History

2026-11-02: add by m2/dev