Inventory rows H9

The original Sherrington--Kirkpatrick model H904XHSF2Y

URI	`m2://inv/H904XHSF2Y`
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.06480#7E15, The original Sherrington--Kirkpatrick model (statement). In 2Y47E704Z9/e1, lemma B.2

History

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

H905G8NB80 H905G8NB80

URI	`m2://inv/H905G8NB80`
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 2212.00617#XMRM (statement). In K7505G10SS/e1, lemma 4.9

History

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

Riemannian circle H905QMCZR4

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#SLYF, Riemannian circle (definition)

History

2026-11-02: add by m2/dev

H908ZM8AW6 H908ZM8AW6

URI	`m2://inv/H908ZM8AW6`
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.32651#HA0P (statement). In WFJXSE3VDT/e1, lemma 4.7

History

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

\texttt{Existence of weak solutions and invariance H9099XGC0F

URI	`m2://inv/H9099XGC0F`
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.06343#53J6, \texttt{Existence of weak solutions and invariance (statement). In R8176XJ535/e1, theorem 1.1

History

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

Theorem H90JETD6QX

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

Mentions

wikipedia: Wikipedia Geometric rigidity#I915, Theorem (statement)

History

2026-11-02: add by m2/dev

Fixed-radius moment localization H90RAMBYKS

URI	`m2://inv/H90RAMBYKS`
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.15202#1XRQ, Fixed-radius moment localization (statement). In X1FPG0KYBM/e1, theorem R.3

History

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

Timeline of ancient Greek mathematicians H910A86H3K

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

Mentions

wikipedia: Wikipedia Timeline of ancient Greek mathematicians, Timeline of ancient Greek mathematicians (topic). Also Wikidata Q4433435

History

2026-11-02: add by m2/dev

Guarded identity H915BC4EES

URI	`m2://inv/H915BC4EES`
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.27641#NAR5, Guarded identity (statement)

History

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

H91KMBW80A H91KMBW80A

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

Mentions

arxiv: arXiv 2609.20190#CLW7 (example)

History

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

H91MN7MN8Y H91MN7MN8Y

URI	`m2://inv/H91MN7MN8Y`
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.14318#7K5K (statement). In HA4SZZJ831/e1, theorem 2.3

History

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

Lawvere H91PEYHSG5

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

Mentions

hott_book: hott_book index/C/lawvere, Lawvere (concept). In N54F33XE07, index, section C

History

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

H91R2CY0TR H91R2CY0TR

URI	`m2://inv/H91R2CY0TR`
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.37562#DBOL (statement). In PYY8DFK2JS/e1, theorem A.1

History

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

Joe Brown H91SSAQ4FB

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#73IP, Joe Brown (unknown)

History

2026-11-02: add by m2/dev

Peter Shalen H9211VQP45

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

Mentions

wikipedia: Wikipedia Peter Shalen, Peter Shalen (topic). Also Wikidata Q3710451

History

2026-11-02: add by m2/dev

Fundamental theorem of Galois theory H929J0PC09

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

Mentions

wikipedia: Wikipedia List of theorems called fundamental#9T4K, Fundamental theorem of Galois theory (statement)

History

2026-11-02: add by m2/dev

Fragment (computer graphics) H92CBS82H0

URI	`m2://inv/H92CBS82H0`
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#FXI0, Fragment (computer graphics) (unknown)

History

2026-11-02: add by m2/dev

Perturbation of the exogenous score H92J2Z0AKA

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

Mentions

arxiv: arXiv 2609.38268#YY0F, Perturbation of the exogenous score (statement). In TQ18V9TDQS/e1, lemma 5.5

History

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

H92K4GTCCC H92K4GTCCC

URI	`m2://inv/H92K4GTCCC`
Kind	statement
Layer	research
MSC	14-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.10821#A5YX (statement). In RWNP4FEE65/e1, theorem 8.1

History

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

H92Q93S8H6 H92Q93S8H6

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

Mentions

open_logic: open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 51.4

History

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

typical ambiguity H92YD68MCP

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

Mentions

hott_book: hott_book index/4.1.1/typical-ambiguity, typical ambiguity (concept). In N54F33XE07, index, section 4.1.1

History

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

Bennett, Alpert and Goldstein's S H92ZRTG4PM

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

Mentions

wikipedia: Wikipedia Bennett, Alpert and Goldstein's S, Bennett, Alpert and Goldstein's S (definition). Also Wikidata Q4889648

History

2026-11-02: add by m2/dev

Bernstein's inequality (mathematical analysis) H936PXKF9P

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

Mentions

wikipedia: Wikipedia List of inequalities#13LK, Bernstein's inequality (mathematical analysis) (statement)

History

2026-11-02: add by m2/dev

Lee Hwa Chung theorem H93B0ND3VT

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

Mentions

mathlib_1000: mathlib_1000 Q6513990, Lee Hwa Chung theorem (statement). Also Wikidata Q6513990
thousand_plus: thousand_plus Q6513990, Lee Hwa Chung theorem (statement). Also Wikidata Q6513990, Wikipedia Lee Hwa Chung theorem
wikipedia: Wikipedia Lee Hwa Chung theorem, Lee Hwa Chung theorem (statement). Also Wikidata Q6513990

History

2026-10-26: add by m2/dev

Bring radical H93C8CE9X6

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

Mentions

wikipedia: Wikipedia List of polynomial topics#NT32, Bring radical (definition)

History

2026-11-02: add by m2/dev

H93FYNDNNK H93FYNDNNK

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

Mentions

arxiv: arXiv 2503.22636#G9N3 (definition). In 2X2A6MT0QD/e1, definition 2.13

History

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

conjunctive normal form H93GMYRY24

URI	`m2://inv/H93GMYRY24`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Conjunctive normal form 07C4A8Y18K

Mentions

wikidata: Wikidata Q846564, conjunctive normal form (unknown). Also MathWorld ConjunctiveNormalForm
wikipedia: Wikipedia Conjunctive normal form, Conjunctive normal form (definition). Also Wikidata Q846564

History

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

Johann Benedict Listing H93JKTVF2H

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

Mentions

wikipedia: Wikipedia Johann Benedict Listing, Johann Benedict Listing (topic). Also Wikidata Q62313

History

2026-11-02: add by m2/dev

Primorial prime H94Q1H1C0M

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

Mentions

wikipedia: Wikipedia List of number theory topics#AXVW, Primorial prime (object)

History

2026-11-02: add by m2/dev

2022 Japan Football League H94RG0J830

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

Mentions

wikipedia: Wikipedia 2022 Japan Football League, 2022 Japan Football League (definition). Also Wikidata Q110268274

History

2026-11-02: add by m2/dev

H94SX5HMFY H94SX5HMFY

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

Mentions

arxiv: arXiv 2609.24078#QNH9 (definition)

History

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

H94T4WTM9K H94T4WTM9K

URI	`m2://inv/H94T4WTM9K`
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.13076#CKO5 (statement). In K7GJA4WGV7/e1, lemma 3.4

History

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

H94V55K11R H94V55K11R

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

Mentions

arxiv: arXiv 2609.24917#BPIN (statement)

History

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

Monotone class theorem for functions H94WHX8HXM

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

Mentions

wikipedia: Wikipedia Monotone class theorem#BWVW, Monotone class theorem for functions (statement)

History

2026-11-02: add by m2/dev

Optional stopping theorem H953ZPMM85

URI	`m2://inv/H953ZPMM85`
Kind	statement
Layer	textbook
MSC	60-XX
Sources	5
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_100: mathlib_100 62, Fair Games Theorem (statement). Also Mathlib MeasureTheory.submartingale_iff_expected_stoppedValue_mono
mathlib_1000: mathlib_1000 Q2027347, Optional stopping theorem (statement). Also Mathlib MeasureTheory.submartingale_iff_expected_stoppedValue_mono, Wikidata Q2027347
mathlib_overview: mathlib_overview Probability Theory > Stochastic Processes > optional stopping theorem, optional stopping theorem (unknown). Also Mathlib MeasureTheory.submartingale_iff_expected_stoppedValue_mono
thousand_plus: thousand_plus Q2027347, Optional stopping theorem (statement). Also Mathlib MeasureTheory.submartingale_iff_expected_stoppedValue_mono, Wikidata Q2027347, Wikipedia Optional stopping theorem
wikipedia: Wikipedia Optional stopping theorem, Optional stopping theorem (statement). Also Wikidata Q2027347

History

2026-10-26: add by m2/dev

Leibniz-Keks H95RPP709F

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

Mentions

wikipedia: Wikipedia List of things named after Gottfried Leibniz#2BDM, Leibniz-Keks (unknown)

History

2026-11-02: add by m2/dev

Weyl–Brauer matrices H95W86D2B6

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#WLD0, Weyl–Brauer matrices (definition)

History

2026-11-02: add by m2/dev

Causal research H95XC1YVV5

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

Mentions

wikipedia: Wikipedia Causal research, Causal research (definition). Also Wikidata Q18386674

History

2026-11-02: add by m2/dev

H966DH9112 H966DH9112

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

Mentions

arxiv: arXiv 2508.08809#CWP5 (statement). In X5NX1YEABW/e1, theorem 2.1

History

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

Fay and Wu's H H96CP6FXWN

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

Mentions

wikipedia: Wikipedia Fay and Wu's H, Fay and Wu's H (definition). Also Wikidata Q5438946

History

2026-11-02: add by m2/dev

A single cubic identity H96HBPWYA0

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

Mentions

arxiv: arXiv 2610.11652#ZWN9, A single cubic identity (statement). In VEXM27M8Q1/e1, proposition 2.7

History

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

H96P1V7W35 H96P1V7W35

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

Mentions

arxiv: arXiv 2610.01411#SMK3 (statement). In SD28S3K7BT/e1, theorem 35

History

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

H96PS1C3F5 H96PS1C3F5

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

Mentions

arxiv: arXiv 2610.21475#VWUU (statement). In TTRSZVT4VX/e1, proposition 4.6

History

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

Verification H96SBJWHV6

URI	`m2://inv/H96SBJWHV6`
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.06967#DTV6, Verification (statement). In YPNNF29SKV/e1, theorem 1

History

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

Feld–Tai lemma H96TP1DAB6

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

Mentions

wikipedia: Wikipedia List of lemmas#0F3N, Feld–Tai lemma (definition)

History

2026-11-02: add by m2/dev

Adam Back H96WVJ4D54

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

Mentions

wikipedia: Wikipedia Adam Back, Adam Back (topic). Also Wikidata Q348671

History

2026-11-02: add by m2/dev

H96YV01EKW H96YV01EKW

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

Mentions

arxiv: arXiv 2610.14310#9AIE (statement). In 8GSG7024NW/e1, lemma 7.6

History

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

Luke Tierney H9786AF0G9

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#AGJV, Luke Tierney (topic)

History

2026-11-02: add by m2/dev

H97D8X67C1 H97D8X67C1

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

Mentions

arxiv: arXiv 2609.39455#TWOK (statement). In HW4Y4TMEZ3/e1, proposition 4.5

History

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

H97RBFHAYZ H97RBFHAYZ

URI	`m2://inv/H97RBFHAYZ`
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#X5T5 (statement). In C8JAGP8VCQ/e1, lemma 11.1

History

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

Main theorem H97T05PNJ0

URI	`m2://inv/H97T05PNJ0`
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.01731#FRFS, Main theorem (statement). In 3TJ2FWXQ0D/e1, theorem 5.3

History

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

H97V4P1Z7Y H97V4P1Z7Y

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

Mentions

arxiv: arXiv 2609.20203#1935 (statement)

History

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

Christ–Kiselev maximal inequality H98601YWDA

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

Mentions

wikipedia: Wikipedia Christ–Kiselev maximal inequality, Christ–Kiselev maximal inequality (statement). Also Wikidata Q17005100

History

2026-11-02: add by m2/dev

Measure-kernel cell formula and normalization H98F12D16A

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

Mentions

arxiv: arXiv 2609.20215#1FUU, Measure-kernel cell formula and normalization (statement)

History

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

Properties H991Q5TSHW

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

Mentions

wikipedia: Wikipedia Harmonious set#DCG0, Properties (statement)

History

2026-11-02: add by m2/dev

H992SCAVXQ H992SCAVXQ

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

Mentions

napkin: napkin tex/measure/swapsum.tex#example-3 (example). In RZP28ERRZV, example, section 70.4

History

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

Nerve lemma H99CAR8ZMJ

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

Mentions

arxiv: arXiv 2610.14783#09PG, Nerve lemma (statement). In Y3X5XY2J65/e1, lemma 2.2

History

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

Accident H99EFV7Q0P

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

Mentions

wikipedia: Wikipedia Accident (fallacy), Accident (definition). Also Wikidata Q2456273

History

2026-11-02: add by m2/dev

Example H99KPQDYGJ

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

Mentions

wikipedia: Wikipedia Peres–Horodecki criterion#XK9W, Example (example)

History

2026-11-02: add by m2/dev

$q$-Identity H99QJJ8YY9

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

Mentions

arxiv: arXiv 2610.21131#DZGX, $q$-Identity (statement). In CPYWHRTPKC/e1, lemma 2.5

History

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

almost Ramsey H9A0V7PT6F

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

Mentions

wikipedia: Wikipedia List of large cardinal properties#JIER, almost Ramsey (definition)

History

2026-11-02: add by m2/dev

H9A5BMGYSZ H9A5BMGYSZ

URI	`m2://inv/H9A5BMGYSZ`
Kind	definition
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#I8T4 (definition)

History

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

H9A5XC6MP7 H9A5XC6MP7

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

Mentions

arxiv: arXiv 2610.01932#JCOZ (statement). In XDKWW6NR0K/e1, theorem 6.7

History

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

Retroazimuthal projection H9A9TSYHHR

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

Mentions

wikipedia: Wikipedia Map projection#P40S, Retroazimuthal projection (unknown)

History

2026-11-02: add by m2/dev

H9AKB8KSM6 H9AKB8KSM6

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/substitution.tex#prop:free-for (statement). In PKGMM3P5QY, prop, section 27.8

History

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

H9AQ8RNHY8 H9AQ8RNHY8

URI	`m2://inv/H9AQ8RNHY8`
Kind	statement
Layer	research
MSC	26-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 2609.20531#7O09 (statement)

History

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

The support-Hessian inequality and its equality case H9ARAGQFDC

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

Mentions

arxiv: arXiv 2609.21670#NCWG, The support-Hessian inequality and its equality case (statement)

History

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

H9AVMV1NZB H9AVMV1NZB

URI	`m2://inv/H9AVMV1NZB`
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.08480#YJG6 (statement). In R4EEE89C3S/e1, theorem 3.2

History

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

H9AXVN1MRG H9AXVN1MRG

URI	`m2://inv/H9AXVN1MRG`
Kind	problem
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 2606.20229#GZVR (problem). In 1B85G2QJC2/e1, problem 10.2

History

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

schema H9B4Y41P4S

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

Mentions

wikipedia: Wikipedia Glossary of logic#PHAA, schema (definition)

History

2026-11-02: add by m2/dev

H9B5ZGFKNE H9B5ZGFKNE

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

Mentions

arxiv: arXiv 2609.27765#2VMR (example)

History

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

Every copy has its original frequency H9B6SC2GG4

URI	`m2://inv/H9B6SC2GG4`
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.25101#0MNT, Every copy has its original frequency (statement)

History

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

H9B9KBG45M H9B9KBG45M

URI	`m2://inv/H9B9KBG45M`
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 2210.02997#60ZI (statement). In KEXVYV0SNS/e1, proposition 11

History

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

Rayleigh distribution H9BAQ3JCSY

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

Mentions

wikidata: Wikidata Q637150, Rayleigh distribution (unknown). Also MathWorld RayleighDistribution
wikipedia: Wikipedia Rayleigh distribution, Rayleigh distribution (definition). Also Wikidata Q637150

History

2026-10-26: add by m2/dev

H9BG48HY8D H9BG48HY8D

URI	`m2://inv/H9BG48HY8D`
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.01501#9L9J (statement). In 8Q2PXZDGB5/e1, lemma 4.3

History

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

Definition H9BT04W2QP

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

Mentions

wikipedia: Wikipedia Sylvester matrix#U7TS, Definition (definition)

History

2026-11-02: add by m2/dev

List of linear ordinary differential equations H9BT3GJHZS

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

Mentions

wikipedia: Wikipedia List of linear ordinary differential equations, List of linear ordinary differential equations (topic). Also Wikidata Q117312541

History

2026-11-02: add by m2/dev

Alberto S. Cattaneo H9BXNS9NP9

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UO58, Alberto S. Cattaneo (topic)

History

2026-11-02: add by m2/dev

Exact square-root identities H9BZJ1GDEF

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

Mentions

arxiv: arXiv 2609.23927#R026, Exact square-root identities (statement)

History

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

H9BZT8P9N1 H9BZT8P9N1

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

Mentions

arxiv: arXiv 2610.13877#8F55 (statement). In NBMA6DBKJG/e1, lemma 3.2

History

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

Alexander Kleshchev H9BZY08EJZ

URI	`m2://inv/H9BZY08EJZ`
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#34CX, Alexander Kleshchev (unknown)

History

2026-11-02: add by m2/dev

Arnold Ross H9C18FZKJ5

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

Mentions

wikipedia: Wikipedia Arnold Ross, Arnold Ross (topic). Also Wikidata Q4795229

History

2026-11-02: add by m2/dev

H9C1FYE7NH H9C1FYE7NH

URI	`m2://inv/H9C1FYE7NH`
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 2501.02331#AR2L (statement). In N9J5DJCTJZ/e1, corollary 0.1

History

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

H9CD5038S4 H9CD5038S4

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

Mentions

arxiv: arXiv 2609.25703#V5IW (definition)

History

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

systems of linear equations H9CE1H48CK

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

Mentions

wikipedia: Wikipedia List of algorithms#VF4N, systems of linear equations (definition)

History

2026-11-02: add by m2/dev

H9CFM6RD2W H9CFM6RD2W

URI	`m2://inv/H9CFM6RD2W`
Kind	statement
Layer	research
MSC	26-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.06872#3XZ8 (statement). In J4H3A11MMX/e1, theorem 3.4

History

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

H9CT9FT57S H9CT9FT57S

URI	`m2://inv/H9CT9FT57S`
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 1009.2047#PVU9 (statement). In F3MWRNBNED/e1, proposition 4.4

History

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

Grothendieck's dévissage theorem H9CYDQVW1R

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

Mentions

wikipedia: Wikipedia Dévissage#M4RW, Grothendieck's dévissage theorem (statement)

History

2026-11-02: add by m2/dev

H9D0CJP0X8 H9D0CJP0X8

URI	`m2://inv/H9D0CJP0X8`
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.09044#22MV (statement). In 4KYENHR0J8/e1, lemma 3

History

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

H9D2P7VF1W H9D2P7VF1W

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

Mentions

arxiv: arXiv 2609.28677#GSCO (conjecture)

History

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

H9D4RHFNF3 H9D4RHFNF3

URI	`m2://inv/H9D4RHFNF3`
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.17871#WFPC (statement). In H17E7PBG1M/e1, proposition 1

History

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

$U^3$-gap H9DA65XGJF

URI	`m2://inv/H9DA65XGJF`
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.12357#9MEU, $U^3$-gap (statement). In 1F26AF81XP/e1, lemma 2.7

History

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

Category of matrices H9DCZVXR8H

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

Mentions

wikipedia: Wikipedia Category of matrices, Category of matrices (definition). Also Wikidata Q126688459

History

2026-11-02: add by m2/dev

H9DPRDXDF0 H9DPRDXDF0

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

Mentions

arxiv: arXiv 2609.22514#NZQH (statement)

History

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

recurrence equation, particular solution H9DRYJXCDJ

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

Mentions

applied_combinatorics: applied_combinatorics index/9.4.2/recurrence-equation-particular-solution, recurrence equation, particular solution (concept). In QKM9DD2H56, index, section 9.4.2

History

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

H9E09YKTBH H9E09YKTBH

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

Mentions

arxiv: arXiv 2609.25167#3KNU (statement)

History

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

Restarted ACD H9E38H71J0

URI	`m2://inv/H9E38H71J0`
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#YFYX, Restarted ACD (statement). In SGQS629QNK/e1, proposition L.1

History

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

Properties H9E5YNK11Q

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

Mentions

wikipedia: Wikipedia Spheroid#ULIL, Properties (statement)

History

2026-11-02: add by m2/dev

T. M. F. Smith H9EBYVR59D

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

Mentions

wikipedia: Wikipedia T. M. F. Smith, T. M. F. Smith (topic). Also Wikidata Q7668485

History

2026-11-02: add by m2/dev

H9EDR6H6AQ H9EDR6H6AQ

URI	`m2://inv/H9EDR6H6AQ`
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 2411.01837#8P5Z (statement). In 2XBYZ1QP22/e1, lemma 2.6

History

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

H9EH2PGSJE H9EH2PGSJE

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

Mentions

arxiv: arXiv 2610.09812#5BJ7 (definition). In NWWKD8YX57/e1, definition 5.2

History

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

Theorem 1 H9EJPW5V4G

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

Mentions

wikipedia: Wikipedia Gaussian process#559M, Theorem 1 (statement)

History

2026-11-02: add by m2/dev

Spectral interval and endpoint detection H9EKF7N3P5

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

Mentions

arxiv: arXiv 2610.00077#7M82, Spectral interval and endpoint detection (statement). In C04B15GH1T/e1, corollary 4.5

History

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

tacnode H9EN3Z9PP9

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

Mentions

wikidata: Wikidata Q3980034, tacnode (unknown). Also MathWorld Tacnode
wikipedia: Wikipedia Tacnode, Tacnode (definition). Also Wikidata Q3980034

History

2026-10-26: add by m2/dev

Spherically complete field H9ERAHX8V1

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

Mentions

wikipedia: Wikipedia Spherically complete field, Spherically complete field (definition). Also Wikidata Q7576719

History

2026-11-02: add by m2/dev

Grandi H9ESEWHH3D

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#EMLP, Grandi (definition)

History

2026-11-02: add by m2/dev

Hellenistic mathematics H9F5MAXDGN

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

Mentions

wikipedia: Wikipedia Ancient Greek mathematics#2I7Y, Hellenistic mathematics (unknown)

History

2026-11-02: add by m2/dev

H9F6GVZP0Z H9F6GVZP0Z

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

Mentions

arxiv: arXiv 2609.32090#FSGB (statement). In HJWWFBA63D/e1, theorem 1.1

History

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

H9F6VPTZWP H9F6VPTZWP

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

Mentions

arxiv: arXiv 2609.36334#Z9KA (statement). In YVB70SBGN1/e1, lemma

History

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

H9F78T9FH1 H9F78T9FH1

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

Mentions

arxiv: arXiv 2609.23922#AVRV (statement)

History

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

Petkovšek's algorithm H9F9P4RN2J

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

Mentions

wikipedia: Wikipedia Petkovšek's algorithm, Petkovšek's algorithm (definition). Also Wikidata Q16896735

History

2026-11-02: add by m2/dev

H9FHZHNFGT H9FHZHNFGT

URI	`m2://inv/H9FHZHNFGT`
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#6WEU (definition)

History

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

H9FPDPKET6 H9FPDPKET6

URI	`m2://inv/H9FPDPKET6`
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.23694#JV82 (statement)

History

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

Pathwise induction H9FQCE1AJ8

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

Mentions

arxiv: arXiv 2609.20735#VUSD, Pathwise induction (statement)

History

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

André Neveu H9FQMZJJKS

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

Mentions

wikipedia: Wikipedia List of string theory topics#EN56, André Neveu (unknown)

History

2026-11-02: add by m2/dev

Prime-power Gauss sums H9FR32J0N6

URI	`m2://inv/H9FR32J0N6`
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.17675#DHXP, Prime-power Gauss sums (statement). In 7NMQ6QBYKZ/e1, lemma 5.2

History

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

H9FR37NFA3 H9FR37NFA3

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/proving-things-quant.tex#ex-2 (example). In PKGMM3P5QY, ex, section 22.10

History

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

H9FVFBCMPS H9FVFBCMPS

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-7 (example). In E9HS8K3A52, example, section 4.2.2

History

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

H9FW01FBYK H9FW01FBYK

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

Mentions

arxiv: arXiv 2609.30544#3W0T (example). In CB35ZBBBPT/e1, example 3.13

History

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

H9FWCEZ0KE H9FWCEZ0KE

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

Mentions

napkin: napkin tex/linalg/transpose.tex#proof-4 (proof). In RZP28ERRZV, proof, section 61.3

History

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

Ko--Park H9G4KNYBGA

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

Mentions

arxiv: arXiv 2610.04305#N70B, Ko--Park (statement). In Y1DR0DPWD0/e1, theorem 2.2

History

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

Transformation laws for theta functions H9G7X471HV

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

Mentions

wikipedia: Wikipedia Oscillator representation#ZOC1, Transformation laws for theta functions (statement)

History

2026-11-02: add by m2/dev

H9GA2EPMT1 H9GA2EPMT1

URI	`m2://inv/H9GA2EPMT1`
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.00909#8GFH (statement). In Z4TD36VFPW/e1, lemma 5.4

History

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

Remark H9GF5FF1TQ

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

Mentions

wikipedia: Wikipedia Intermediate value theorem#2RRM, Remark (unknown)

History

2026-11-02: add by m2/dev

H9GFFJMZVN H9GFFJMZVN

URI	`m2://inv/H9GFFJMZVN`
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.05631#CMZ0 (statement). In M7NEWDTM32/e1, lemma 5.3

History

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

Chainstore paradox H9GMNZPW0C

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

Mentions

wikipedia: Wikipedia Chainstore paradox, Chainstore paradox (statement). Also Wikidata Q1059113

History

2026-11-02: add by m2/dev

H9GN3C8HWJ H9GN3C8HWJ

URI	`m2://inv/H9GN3C8HWJ`
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 2401.14162#A43H (statement). In JC1XF1JE6J/e1, proposition 2.4

History

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

Space-time diagram H9H0HWZ1M9

URI	`m2://inv/H9H0HWZ1M9`
Kind	definition
Layer	research
MSC	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 2609.25188#C33B, Space-time diagram (definition)

History

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

Statement of the theorem H9H0Q0Z3PK

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

Mentions

wikipedia: Wikipedia Kosambi–Karhunen–Loève theorem#L46I, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Gervais H9H5DCVA13

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#R642, Gervais (unknown)

History

2026-11-02: add by m2/dev

isogeny H9H7W5B4EP

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

Mentions

wikidata: Wikidata Q1674414, isogeny (unknown). Also EoM Isogeny, MathWorld Isogeny, nLab isogeny
wikipedia: Wikipedia Isogeny, Isogeny (definition). Also Wikidata Q1674414

History

2026-10-26: add by m2/dev

H9HD8F12JW H9HD8F12JW

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

Mentions

arxiv: arXiv 2610.07260#SIQ6 (statement). In 33KABVV985/e1, lemma 3.1

History

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

H9HHF17SEY H9HHF17SEY

URI	`m2://inv/H9HHF17SEY`
Kind	definition
Layer	research
MSC	05-XX, 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 2608.17785#YNEB (definition). In H3FDP8S1Z7/e1, definition 4.1

History

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

Definition of the Tits metric H9HKMH3B83

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

Mentions

wikipedia: Wikipedia Tits metric#DE8J, Definition of the Tits metric (definition)

History

2026-11-02: add by m2/dev

Intersection type discipline H9J1QA00CX

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

Mentions

wikipedia: Wikipedia Intersection type discipline, Intersection type discipline (topic). Also Wikidata Q85769754

History

2026-11-02: add by m2/dev

H9J5M241FR H9J5M241FR

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

Mentions

arxiv: arXiv 2609.25539#ULJH (statement)

History

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

H9J60NM5G5 H9J60NM5G5

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

Mentions

arxiv: arXiv 2610.17883#1WH5 (statement). In 9WSJV2WY2S/e1, corollary 3.5

History

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

H9JPK2AJ0A H9JPK2AJ0A

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

Mentions

arxiv: arXiv 2610.05990#PWZJ (statement). In G2R1ARDYK0/e1, theorem 2.6

History

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

Weak-type estimate for the Riesz potential H9JX377CQW

URI	`m2://inv/H9JX377CQW`
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.09001#KNHI, Weak-type estimate for the Riesz potential (statement). In HJC1JJZRSH/e1, theorem 4.3

History

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

H9K281XZ9E H9K281XZ9E

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

Mentions

arxiv: arXiv 2610.12434#YSPL (example). In YCRZC9SDCE/e1, example 4.1

History

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

Cayley's nodal cubic surface H9K2YFAP0N

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

Mentions

wikipedia: Wikipedia List of things named after Arthur Cayley#4PAM, Cayley's nodal cubic surface (definition)

History

2026-11-02: add by m2/dev

Generalizations H9K5GV73PE

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

Mentions

wikipedia: Wikipedia Kummer theory#8V2J, Generalizations (statement)

History

2026-11-02: add by m2/dev

H9K6ZDH096 H9K6ZDH096

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

Mentions

arxiv: arXiv 2610.03327#KLDU (statement). In EBNXA84CPM/e1, lemma 2.1

History

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

nilpotent algebra H9KAYEC9PA

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

Mentions

wikidata: Wikidata Q16155107, nilpotent algebra (unknown). Also MathWorld NilpotentAlgebra
wikipedia: Wikipedia Nilpotent algebra, Nilpotent algebra (definition). Also Wikidata Q16155107

History

2026-10-26: add by m2/dev

Finiteness in the subunit regime H9KH3SVAZX

URI	`m2://inv/H9KH3SVAZX`
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.18698#JVF3, Finiteness in the subunit regime (statement). In AVDZGC7976/e1, proposition B.2

History

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

H9KHESX416 H9KHESX416

URI	`m2://inv/H9KHESX416`
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.01928#JDND (statement). In BSJRRHKGX0/e1, lemma 2.3

History

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

James Weldon Cannon H9KKGTD14W

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H24X, James Weldon Cannon (topic)

History

2026-11-02: add by m2/dev

Tritruncated 5-cubic honeycomb H9KMXEPVCG

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

Mentions

wikipedia: Wikipedia 5-cubic honeycomb#JC0O, Tritruncated 5-cubic honeycomb (unknown)

History

2026-11-02: add by m2/dev

Gaussian mixability gap H9KPV74ERJ

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

Mentions

arxiv: arXiv 2610.20187#3V03, Gaussian mixability gap (statement). In N280AVNNBY/e1, lemma B.5

History

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

H9KS2GHFWN H9KS2GHFWN

URI	`m2://inv/H9KS2GHFWN`
Kind	statement
Layer	research
MSC	16-XX, 55-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.21365#T8KV (statement). In FCMMB2EVAP/e1, lemma 5.1

History

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

H9KV6MB3EX H9KV6MB3EX

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

Mentions

arxiv: arXiv 2610.08633#H23Y (statement). In 7MV7RGDVXF/e1, theorem 5.1.1

History

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

Generalizations H9M451PESE

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

Mentions

wikipedia: Wikipedia Vector projection#C8FC, Generalizations (statement)

History

2026-11-02: add by m2/dev

Iain M. Johnstone H9M8Y297BN

URI	`m2://inv/H9M8Y297BN`
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#JGXQ, Iain M. Johnstone (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UEJR, Iain M. Johnstone (unknown)
wikipedia: Wikipedia List of fellows of the American Statistical Association#W2OH, Iain M. Johnstone (unknown)

History

2026-11-02: add by m2/dev

Known issues with application of forking lemma H9MECM0RV2

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

Mentions

wikipedia: Wikipedia Forking lemma#QHWK, Known issues with application of forking lemma (statement)

History

2026-11-02: add by m2/dev

Antonietta Mira H9MH1194HY

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

Mentions

wikipedia: Wikipedia Antonietta Mira, Antonietta Mira (topic). Also Wikidata Q102196625

History

2026-11-02: add by m2/dev

H9MH7RS22V H9MH7RS22V

URI	`m2://inv/H9MH7RS22V`
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 2506.16491#PQ6Y (definition). In P9J6P06Y40/e1, definition 5.3

History

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

H9MW1E849S H9MW1E849S

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

Mentions

arxiv: arXiv 2511.15212#1Q6A (statement). In W99XBH6X5N/e1, theorem 4.1

History

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

Essential-time rigidity H9MW6Y8TRA

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

Mentions

arxiv: arXiv 2609.20735#LJ1P, Essential-time rigidity (statement)

History

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

H9MXDT05WW H9MXDT05WW

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

Mentions

arxiv: arXiv 2610.02017#JFYD (statement). In F6C80AEXC1/e1, proposition 4.1

History

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

Time-uniform localized covariance accuracy H9MXTSV9SD

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

Mentions

arxiv: arXiv 2609.23927#Q555, Time-uniform localized covariance accuracy (statement)

History

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

H9N3FHY6MB H9N3FHY6MB

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

Mentions

arxiv: arXiv 2610.12371#0M9U (definition). In 8TTFQH19QR/e1, definition 4

History

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

H9N8T2H7E4 H9N8T2H7E4

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

Mentions

arxiv: arXiv 2609.29501#KVDD (statement)

History

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

Normality propagates to layers H9NER7CDMN

URI	`m2://inv/H9NER7CDMN`
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.13429#NJUR, Normality propagates to layers (statement). In B2VB5T5WQD/e1, lemma 2.12

History

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

Applications H9NK36BJHZ

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

Mentions

wikipedia: Wikipedia Finite subdivision rule#1ARN, Applications (example)

History

2026-11-02: add by m2/dev

Gerald Sacks H9NNHZ6W6Y

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

Mentions

wikipedia: Wikipedia List of logicians#DHTF, Gerald Sacks (topic)

History

2026-11-02: add by m2/dev

Abraham Ziv H9P0YNCVG1

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JF0D, Abraham Ziv (topic)

History

2026-11-02: add by m2/dev

H9P3ZXEHV4 H9P3ZXEHV4

URI	`m2://inv/H9P3ZXEHV4`
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 0810.0962#EAVS (statement). In 80YMRN5KS9/e1, theorem 4

History

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

H9P5KDA72F H9P5KDA72F

URI	`m2://inv/H9P5KDA72F`
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 2204.13401#23EJ (definition). In B8MJT0GGW8/e1, definition 4.2

History

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

Realised inversion error H9P5Z3MGQR

URI	`m2://inv/H9P5Z3MGQR`
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#3JCH, Realised inversion error (statement). In BYP65TRGDT/e1, lemma 5.4

History

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

Basic properties H9P83QXSSV

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

Mentions

wikipedia: Wikipedia Spectrum (functional analysis)#22PQ, Basic properties (statement)

History

2026-11-02: add by m2/dev

H9PB457J8Z H9PB457J8Z

URI	`m2://inv/H9PB457J8Z`
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.23617#8MK4 (statement)

History

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

H9PESV20XC H9PESV20XC

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

Mentions

arxiv: arXiv 2609.36423#7XEM (definition). In Q5Z178SAHP/e1, definition 3.9

History

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

H9PPXB5NYF H9PPXB5NYF

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

Mentions

arxiv: arXiv 2609.25524#YV3J (statement)

History

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

Definition H9PR2F8ERD

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

Mentions

wikipedia: Wikipedia Gerstenhaber algebra#7PZT, Definition (definition)

History

2026-11-02: add by m2/dev

H9PVS9EX87 H9PVS9EX87

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

Mentions

arxiv: arXiv 2204.04317#VB7V (statement). In 49V3ANDZTY/e1, lemma 4.8

History

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

Nati Linial H9Q1DDAFYX

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

Mentions

wikipedia: Wikipedia Nati Linial, Nati Linial (topic). Also Wikidata Q6969990

History

2026-11-02: add by m2/dev

Bottema's theorem H9Q1HHYDQQ

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

Mentions

wikipedia: Wikipedia Bottema's theorem, Bottema's theorem (statement). Also Wikidata Q96373852

History

2026-11-02: add by m2/dev

H9Q4K62QMG H9Q4K62QMG

URI	`m2://inv/H9Q4K62QMG`
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 2301.02848#SYTS (statement). In G6WQDW52TJ/e1, lemma 4.7

History

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

Quasi-split group H9Q6725302

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

Mentions

wikipedia: Wikipedia Quasi-split group, Quasi-split group (definition). Also Wikidata Q7269474

History

2026-11-02: add by m2/dev

Gibbs posterior and its consistency H9QCJE7S6K

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

Mentions

arxiv: arXiv 2610.16883#PQCD, Gibbs posterior and its consistency (definition). In TYS9N30M63/e1, definition 2

History

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

Petr Vaníček H9QCS11SRS

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

Mentions

wikipedia: Wikipedia Petr Vaníček, Petr Vaníček (topic). Also Wikidata Q7178592

History

2026-11-02: add by m2/dev

H9QQK71AYQ H9QQK71AYQ

URI	`m2://inv/H9QQK71AYQ`
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.08198#THEH (statement). In 50K0H8HRED/e1, lemma 6.3

History

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

H9QT24KKDF H9QT24KKDF

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

Mentions

arxiv: arXiv 2609.07644#LRTZ (statement). In TFAN2DR6FD/e1, proposition 4

History

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

Completion of the remaining exterior cases H9R01G6CYW

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

Mentions

arxiv: arXiv 2609.22465#ZVIX, Completion of the remaining exterior cases (statement)

History

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

Wave equation, Dirichlet control H9R581AQVB

URI	`m2://inv/H9R581AQVB`
Kind	example
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.25431#DGWM, Wave equation, Dirichlet control (example)

History

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

Normalization of the change of measure H9R6GTP556

URI	`m2://inv/H9R6GTP556`
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.02531#7IIB, Normalization of the change of measure (statement). In 44EQ0MZE8G/e1, lemma 8.4

History

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

H9RBVT9QKQ H9RBVT9QKQ

URI	`m2://inv/H9RBVT9QKQ`
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.01946#ZD5I (statement). In NB1Z31FMXN/e1, lemma 2.8

History

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

H9RC5BXSN3 H9RC5BXSN3

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

Mentions

arxiv: arXiv 2212.06621#NLOV (statement). In DB223AABTH/e1, lemma 2.10

History

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

Sparse PCA H9RFBK5MBQ

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

Mentions

wikipedia: Wikipedia Sparse PCA, Sparse PCA (definition). Also Wikidata Q7573786

History

2026-11-02: add by m2/dev

Finite projective plane H9RQ562CPZ

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

Mentions

wikipedia: Wikipedia Projective plane#XBX9, Finite projective plane (unknown)

History

2026-11-02: add by m2/dev

Carlo Ginzburg H9RYGF79RD

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#PGDU, Carlo Ginzburg (unknown)

History

2026-11-02: add by m2/dev

Example H9S1K4NT3A

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

Mentions

wikipedia: Wikipedia Limit comparison test#V0N9, Example (example)

History

2026-11-02: add by m2/dev

H9S46M84VJ H9S46M84VJ

URI	`m2://inv/H9S46M84VJ`
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 0807.1652#LOCJ (statement). In 6RC18PTSTT/e1, corollary 2

History

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

Davydov--Simmons construction in the chosen tensor convention H9SCXN2NTQ

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

Mentions

arxiv: arXiv 2609.21414#ISDY, Davydov--Simmons construction in the chosen tensor convention (statement)

History

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

Sorting number H9SE73FE2J

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

Mentions

wikipedia: Wikipedia Sorting number, Sorting number (definition). Also Wikidata Q56277571

History

2026-11-02: add by m2/dev

Reduction and concentration H9SE877TCW

URI	`m2://inv/H9SE877TCW`
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.17403#3EQU, Reduction and concentration (statement). In 9EMNMAW8YH/e1, theorem 6

History

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

H9SF3JKE21 H9SF3JKE21

URI	`m2://inv/H9SF3JKE21`
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.18992#JEAF (statement). In S7PNTM0GZC/e1, proposition A.1

History

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

H9SMD0VG1A H9SMD0VG1A

URI	`m2://inv/H9SMD0VG1A`
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#JAEK (statement). In SD43497T8C/e1, theorem 4.12

History

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

H9SNW79E9T H9SNW79E9T

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 27.6

History

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

(Debreu and Scarf, 1963) H9SQT1H0CS

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

Mentions

wikipedia: Wikipedia Arrow–Debreu model#W1V0, (Debreu and Scarf, 1963) (statement)

History

2026-11-02: add by m2/dev

Langlands decomposition H9SWPY7VQ2

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

Mentions

wikipedia: Wikipedia Langlands decomposition, Langlands decomposition (definition). Also Wikidata Q6486187

History

2026-11-02: add by m2/dev

oxygen H9SX6GZK86

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

Mentions

wikidata: Wikidata Q629, oxygen (definition). Also ProofWiki Definition:Oxygen

History

2026-10-26: add by m2/dev

P-brane H9T47DWTK6

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

Mentions

wikipedia: Wikipedia Brane#1RNE, P-brane (unknown)

History

2026-11-02: add by m2/dev

Formal definition H9T4SN0Q3P

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

Mentions

wikipedia: Wikipedia Kleisli category#HJ8H, Formal definition (definition)

History

2026-11-02: add by m2/dev

$\infty$-groupoid H9TE8YGAT3

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

Mentions

hott_book: hott_book index/7.8/infty-groupoid, $\infty$-groupoid (concept). In N54F33XE07, index, section 7.8

History

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

3-step group H9TNY03DJN

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

Mentions

wikipedia: Wikipedia 3-step group, 3-step group (definition). Also Wikidata Q4634258

History

2026-11-02: add by m2/dev

H9TP3JQPCM H9TP3JQPCM

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

Mentions

open_logic: open_logic content/computability/recursive-functions/bounded-minimization.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 3.18

History

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

Highest-weight category H9TQSB5RRQ

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

Mentions

wikipedia: Wikipedia Highest-weight category, Highest-weight category (definition). Also Wikidata Q17098011

History

2026-11-02: add by m2/dev

Persistence of the affine cusp alone is not sufficient H9TRYRVS7M

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

Mentions

arxiv: arXiv 2609.26152#HIGE, Persistence of the affine cusp alone is not sufficient (example)

History

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

H9TXVGSFJM H9TXVGSFJM

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

Mentions

arxiv: arXiv 2609.30067#DB2W (problem)

History

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

Probabilistic argumentation H9V0VSG5YA

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

Mentions

wikipedia: Wikipedia Probabilistic argumentation, Probabilistic argumentation (definition). Also Wikidata Q7246848

History

2026-11-02: add by m2/dev

Definition H9V4DECE27

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

Mentions

wikipedia: Wikipedia Universally Baire set#WS6S, Definition (definition)

History

2026-11-02: add by m2/dev

premise H9V4MA0FA3

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

Mentions

wikidata: Wikidata Q321703, premise (unknown). Also MathWorld Premise
wikipedia: Wikipedia Premise, Premise (definition). Also Wikidata Q321703

History

2026-10-26: add by m2/dev

H9VAA8RD89 H9VAA8RD89

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

Mentions

arxiv: arXiv 2609.22297#QD95 (statement)

History

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

H9VH4KH3K4 H9VH4KH3K4

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

Mentions

arxiv: arXiv 2610.14914#1HQH (statement). In CHC3T113Y4/e1, corollary 4.9

History

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

Axiom of constructibility H9VNSJYCW1

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

Mentions

wikipedia: Wikipedia List of statements independent of ZFC#10IB, Axiom of constructibility (statement)

History

2026-11-02: add by m2/dev

Manhattan plot H9VRMMM9WX

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

Mentions

wikipedia: Wikipedia Manhattan plot, Manhattan plot (definition). Also Wikidata Q6749330

History

2026-11-02: add by m2/dev

Localization II H9WA36QZ79

URI	`m2://inv/H9WA36QZ79`
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.20609#29JM, Localization II (statement)

History

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

$K = \QQ \cdot \OO_K$ H9WA4V5R36

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

Mentions

napkin: napkin tex/alg-NT/norm-trace.tex#thm:rationalize_denom, $K = \QQ \cdot \OO_K$ (statement). In RZP28ERRZV, theorem, section 15.2

History

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

H9WF9HVWHK H9WF9HVWHK

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

Mentions

arxiv: arXiv 2609.23343#E10D (statement)

History

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

H9WNJF0H4S H9WNJF0H4S

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

Mentions

arxiv: arXiv 2610.20663#196C (statement). In AZMX0CY5NE/e1, lemma 12

History

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

Cheeger finiteness theorem H9WSAZZZQ2

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

Mentions

wikidata: Wikidata Q18411092, Cheeger finiteness theorem (statement). Also MathWorld CheegersFinitenessTheorem

History

2026-10-26: add by m2/dev

dividing a circle into areas H9WTV5BC9H

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

Mentions

wikidata: Wikidata Q5284051, dividing a circle into areas (object). Also MathWorld CircleDivisionbyChords, OEIS A000127
wikipedia: Wikipedia Moser's circle problem, Moser's circle problem (problem). Also Wikidata Q5284051

History

2026-10-26: add by m2/dev

Principles and standards H9WW61F2DR

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

Mentions

wikipedia: Wikipedia Reform mathematics#LUAH, Principles and standards (statement)

History

2026-11-02: add by m2/dev

H9WWAHS304 H9WWAHS304

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

Mentions

arxiv: arXiv 2310.06695#FNIX (statement). In D6F8XGF5SS/e1, lemma 3.3

History

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

a finite scalar bound H9X1ZCRZB7

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

Mentions

arxiv: arXiv 2609.27458#EP3E, a finite scalar bound (statement)

History

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

Increased sentencing laws H9X3973ARW

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

Mentions

wikipedia: Wikipedia United States incarceration rate#PK32, Increased sentencing laws (statement)

History

2026-11-02: add by m2/dev

H9X9HXGXJD H9X9HXGXJD

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#proof-7 (proof). In RZP28ERRZV, proof, section 9.8

History

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

Galois correspondence H9XA6DFCN1

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

Mentions

mathlib_overview: mathlib_overview General algebra > Field theory > Galois correspondence, Galois correspondence (unknown). Also Mathlib IsGalois.intermediateFieldEquivSubgroup

History

2026-10-26: add by m2/dev

Structured Schmidt subfamily H9XFY1PETW

URI	`m2://inv/H9XFY1PETW`
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.15815#CO7O, Structured Schmidt subfamily (statement). In 9C75CTY5C3/e1, proposition 5.11

History

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

Weak operator topology H9Y7J2HMCT

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

Mentions

wikipedia: Wikipedia List of topologies#LF1X, Weak operator topology (definition)

History

2026-11-02: add by m2/dev

H9YB3QYWP9 H9YB3QYWP9

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

Mentions

open_logic: open_logic content/proof-theory/normalization/reductions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 59.2

History

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

H9YGE3N4XY H9YGE3N4XY

URI	`m2://inv/H9YGE3N4XY`
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 2609.25063#D3W4 (statement)

History

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

H9YMSWRHN7 H9YMSWRHN7

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

Mentions

open_logic: open_logic content/intuitionistic-logic/semantics/semantic-notions.tex#prop:restrict (statement). In PKGMM3P5QY, prop, section 32.6

History

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

H9YMZYTGC9 H9YMZYTGC9

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

Mentions

arxiv: arXiv 2609.25111#Q9QT (definition)

History

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

Michael Trick H9YRK3WGEG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#EP6P, Michael Trick (unknown)

History

2026-11-02: add by m2/dev

H9YSM2FM7K H9YSM2FM7K

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#falg:cor (statement). In E59CDZA4DP, cor, section 2.1.3

History

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

H9YV2Z89D6 H9YV2Z89D6

URI	`m2://inv/H9YV2Z89D6`
Kind	statement
Layer	research
MSC	26-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 2609.27846#LH2D (statement)

History

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

Casting out nines H9YXA5ZSXE

URI	`m2://inv/H9YXA5ZSXE`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Casting out nines 0E7W0EM6J6

Mentions

wikidata: Wikidata Q1757155, Casting out nines (unknown). Also MathWorld CastingOutNines
wikipedia: Wikipedia Casting out nines, Casting out nines (definition). Also Wikidata Q1757155

History

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

H9ZD2J7YXB H9ZD2J7YXB

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

Mentions

arxiv: arXiv 2609.28411#BPT9 (statement)

History

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

H9ZV3SMF2Z H9ZV3SMF2Z

URI	`m2://inv/H9ZV3SMF2Z`
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.01915#V5FN (statement). In 6HJQXZS0A6/e1, proposition 6.5

History

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