Inventory rows ZW

Dominator ZW07RVD1Q8

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

Mentions

wikipedia: Wikipedia Dominator (graph theory), Dominator (definition). Also Wikidata Q2589498

History

2026-11-02: add by m2/dev

ZW08CHXDH9 ZW08CHXDH9

URI	`m2://inv/ZW08CHXDH9`
Kind	definition
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.13734#04QT (definition). In XB23QP7GK9/e1, definition 3.3

History

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

analytic ZW08R5SMAC

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

Mentions

wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#7WA7, analytic (unknown)

History

2026-11-02: add by m2/dev

Laffer curve ZW0CZ80272

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

Mentions

wikipedia: Wikipedia List of curves#A23F, Laffer curve (unknown)

History

2026-11-02: add by m2/dev

Fundamental theorem of projective geometry ZW0JYNG8Q9

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

Mentions

wikipedia: Wikipedia Collineation#915M, Fundamental theorem of projective geometry (statement)

History

2026-11-02: add by m2/dev

ZW0MCGCKPH ZW0MCGCKPH

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

Mentions

austin_ula: austin_ula src/section7-4.xml#example-4 (example). In 649HGZKE96, example, section 7.4.4

History

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

ZW0NNQ0PND ZW0NNQ0PND

URI	`m2://inv/ZW0NNQ0PND`
Kind	definition
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#3OT6 (definition)

History

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

Tangloid algebra $\mathcal{T}_n$ ZW0ZG2BMHP

URI	`m2://inv/ZW0ZG2BMHP`
Kind	definition
Layer	research
MSC	17-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 2609.37524#FJJ1, Tangloid algebra $\mathcal{T}_n$ (definition). In 4GTJAPF7Q3/e1, definition 5.1

History

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

Simplicity of the extremal eigenvalue ZW1560XHMX

URI	`m2://inv/ZW1560XHMX`
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#BOVP, Simplicity of the extremal eigenvalue (statement). In B2VB5T5WQD/e1, lemma 4.1

History

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

ZW16BXX5M1 ZW16BXX5M1

URI	`m2://inv/ZW16BXX5M1`
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#IAIP (definition). In ZA6XNBA90V/e1, definition 1.12

History

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

ZW17ZNNGVP ZW17ZNNGVP

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

Mentions

arxiv: arXiv 2610.08935#PHA8 (definition). In G02N9D40B9/e1, definition 3.4.5

History

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

ZW1B18QF64 ZW1B18QF64

URI	`m2://inv/ZW1B18QF64`
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 1804.06366#RHNK (statement). In 89XYDVXG38/e1, proposition 5.6

History

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

Verisimilitude ZW1EJ7GBMM

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

Mentions

wikipedia: Wikipedia Verisimilitude, Verisimilitude (definition). Also Wikidata Q222288

History

2026-11-02: add by m2/dev

Properties ZW1F3H5EVE

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

Mentions

wikipedia: Wikipedia Poisson wavelet#T8FS, Properties (statement)

History

2026-11-02: add by m2/dev

Welzl's algorithm ZW1HG97VKR

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

Mentions

wikipedia: Wikipedia Smallest-circle problem#NKCA, Welzl's algorithm (unknown)

History

2026-11-02: add by m2/dev

L-theory ZW1KPBQYK4

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

Mentions

wikidata: Wikidata Q6456169, L-theory (unknown). Also nLab L-theory
wikipedia: Wikipedia L-theory, L-theory (definition). Also Wikidata Q6456169

History

2026-10-26: add by m2/dev

ZW1M5GCG9V ZW1M5GCG9V

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

Mentions

arxiv: arXiv 2404.06445#JN25 (statement). In 12JKZ8EN52/e1, statement 5.1.3

History

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

ZW1MSNNTCA ZW1MSNNTCA

URI	`m2://inv/ZW1MSNNTCA`
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 2204.13401#7C7U (statement). In B8MJT0GGW8/e1, theorem 3.17

History

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

string ZW1QMFSWF7

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

Mentions

applied_combinatorics: applied_combinatorics index/2.1/string, string (concept). In QKM9DD2H56, index, section 2.1

History

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

Winifred Asprey ZW1VT93A7C

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

Mentions

wikipedia: Wikipedia Winifred Asprey, Winifred Asprey (topic). Also Wikidata Q9958

History

2026-11-02: add by m2/dev

Sinc-quadrature approximate inverse ZW1W4NKVK1

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

Mentions

arxiv: arXiv 2610.20106#DAIG, Sinc-quadrature approximate inverse (statement). In 6HMZ36ZBXA/e1, lemma 2.8

History

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

Multicast encryption ZW1WTDE9Z1

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

Mentions

wikipedia: Wikipedia Multicast encryption, Multicast encryption (definition). Also Wikidata Q6934589

History

2026-11-02: add by m2/dev

Adriana Salerno ZW235R69PT

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

Mentions

wikipedia: Wikipedia Adriana Salerno, Adriana Salerno (topic). Also Wikidata Q102362937

History

2026-11-02: add by m2/dev

A corollary on Diophantine approximation ZW23RDG61Q

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

Mentions

wikipedia: Wikipedia Subspace theorem#0ESF, A corollary on Diophantine approximation (statement)

History

2026-11-02: add by m2/dev

ZW23V4XW44 ZW23V4XW44

URI	`m2://inv/ZW23V4XW44`
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 0910.4613#4Z5B (statement). In SYPZ9055PN/e1, theorem 4

History

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

ZW255XP800 ZW255XP800

URI	`m2://inv/ZW255XP800`
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.01561#C9SY (statement). In W4G7BCHYEW/e1, proposition 5.4

History

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

ZW256P5GX5 ZW256P5GX5

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

Mentions

arxiv: arXiv 2610.14450#QP79 (definition). In ZHTGQT07PE/e1, definition 4.3

History

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

TOT principle ZW25XXVZP1

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

Mentions

wikipedia: Wikipedia Pseudo-range multilateration#0DCL, TOT principle (statement)

History

2026-11-02: add by m2/dev

ZW2GM8S8RM ZW2GM8S8RM

URI	`m2://inv/ZW2GM8S8RM`
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 2606.20229#RJUP (statement). In 1B85G2QJC2/e1, lemma 2.9

History

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

Model theory ZW2YCAKNNT

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#C9W0, Model theory (definition)

History

2026-11-02: add by m2/dev

ZW2YRX5RR2 ZW2YRX5RR2

URI	`m2://inv/ZW2YRX5RR2`
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 2609.33557#GQ81 (statement). In 95YZVAPGJA/e1, lemma 7.3

History

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

ZW307ZM7D8 ZW307ZM7D8

URI	`m2://inv/ZW307ZM7D8`
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.28251#R5EN (statement)

History

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

closed map ZW35TJTFBS

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

Mentions

wikidata: Wikidata Q3754530, closed map (unknown). Also MathWorld ClosedMap, nLab closed map

History

2026-10-26: add by m2/dev

Vandiver's conjecture ZW36W2B6G1

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics#89HM, Vandiver's conjecture (conjecture)

History

2026-11-02: add by m2/dev

Droop (control) ZW3KDND9KK

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

Mentions

wikipedia: Wikipedia PID controller#NRJX, Droop (control) (unknown)

History

2026-11-02: add by m2/dev

ZW3MPD8NAR ZW3MPD8NAR

URI	`m2://inv/ZW3MPD8NAR`
Kind	statement
Layer	research
MSC	14-XX, 18-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 2609.37520#CVA1 (statement). In BDN507RN7J/e1, theorem 3.5.27

History

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

ZW3WNYJSKN ZW3WNYJSKN

URI	`m2://inv/ZW3WNYJSKN`
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.09704#81KZ (statement). In FNG4B47MRV/e1, theorem 2.7

History

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

Amy H. Herring ZW41QRCQBG

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

Mentions

wikipedia: Wikipedia Amy H. Herring, Amy H. Herring (topic). Also Wikidata Q15783199

History

2026-11-02: add by m2/dev

Lennart Carleson ZW436B3GN2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#9B0F, Lennart Carleson (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#C51B, Lennart Carleson (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YW3Q, Lennart Carleson (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZM0M, Lennart Carleson (topic)

History

2026-11-02: add by m2/dev

ZW43R0FVCR ZW43R0FVCR

URI	`m2://inv/ZW43R0FVCR`
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.39218#S9SO (statement). In VPZSCE8HFP/e1, theorem 3.7

History

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

Terminology ZW47KBE52Z

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

Mentions

wikipedia: Wikipedia Ad hominem#R9VW, Terminology (definition)

History

2026-11-02: add by m2/dev

Victor Maslov ZW4B7F6Z6Y

URI	`m2://inv/ZW4B7F6Z6Y`
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 Q374205, Victor Maslov (unknown). Also nLab Victor Maslov
wikipedia: Wikipedia Viktor Maslov (mathematician), Viktor Maslov (topic). Also Wikidata Q374205

History

2026-10-26: add by m2/dev

The seven axioms ZW4GQ2GG43

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

Mentions

wikipedia: Wikipedia Huzita–Hatori axioms#R4W9, The seven axioms (statement)

History

2026-11-02: add by m2/dev

Crack tip opening displacement ZW4GXRMSC0

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

Mentions

wikipedia: Wikipedia Crack tip opening displacement, Crack tip opening displacement (definition). Also Wikidata Q17008045

History

2026-11-02: add by m2/dev

ZW4HNP2G95 ZW4HNP2G95

URI	`m2://inv/ZW4HNP2G95`
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.35642#D63G (statement). In D905BX98TP/e1, proposition 3.8

History

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

Euler characteristic of an orbifold ZW4RXT2ZST

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

Mentions

wikipedia: Wikipedia Euler characteristic of an orbifold, Euler characteristic of an orbifold (definition). Also Wikidata Q55643014

History

2026-11-02: add by m2/dev

ZW50V4F9ZT ZW50V4F9ZT

URI	`m2://inv/ZW50V4F9ZT`
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.05582#CFK6 (statement). In 9X4TANWWWR/e1, fact 2.3

History

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

Gaussian projection of barycenters and optimal couplings ZW52Z13ADF

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

Mentions

arxiv: arXiv 2610.01855#ZBWV, Gaussian projection of barycenters and optimal couplings (statement). In MM8P5CJR18/e1, proposition 5.11

History

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

ZW54SCCEWS ZW54SCCEWS

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

Mentions

arxiv: arXiv 2609.39505#75FC (statement). In WAXS6FS388/e1, theorem 7.5

History

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

Statement ZW551FDK3J

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

Mentions

wikipedia: Wikipedia Glaisher's theorem#6G07, Statement (statement)

History

2026-11-02: add by m2/dev

Secure Hypertext Transfer Protocol ZW5622T9YM

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

Mentions

wikipedia: Wikipedia Secure Hypertext Transfer Protocol, Secure Hypertext Transfer Protocol (definition). Also Wikidata Q277919

History

2026-11-02: add by m2/dev

physical law ZW59YTXCHH

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

Mentions

wikidata: Wikidata Q214070, physical law (definition). Also nLab physical law, ProofWiki Definition:Physical_Law

History

2026-10-26: add by m2/dev

Structure Theorem ZW5BNX01TJ

URI	`m2://inv/ZW5BNX01TJ`
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.17565#EC1E, Structure Theorem (statement). In C422901XCN/e1, theorem 2.2

History

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

George Glauberman ZW5GWJGZ9E

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#AA0D, George Glauberman (topic)

History

2026-11-02: add by m2/dev

ZW5KN6D1GV ZW5KN6D1GV

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

Mentions

arxiv: arXiv 2609.28365#ASGC (statement)

History

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

Adjusted mutual information ZW5PZRXXMD

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

Mentions

wikipedia: Wikipedia Adjusted mutual information, Adjusted mutual information (definition). Also Wikidata Q4683210

History

2026-11-02: add by m2/dev

binomial theorem ZW5TQGFMTV

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

Mentions

applied_combinatorics: applied_combinatorics index/2.6/binomial-theorem, binomial theorem (concept). In QKM9DD2H56, index, section 2.6

History

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

ZW63RXGJ77 ZW63RXGJ77

URI	`m2://inv/ZW63RXGJ77`
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.09129#GROU (statement). In Z1RZSF68XZ/e1, theorem 3.3

History

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

Theorem 5 ZW64GS1D8W

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

Mentions

wikipedia: Wikipedia Monotone comparative statics#ZMF5, Theorem 5 (statement)

History

2026-11-02: add by m2/dev

774 (number) ZW67FA1PCT

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

Mentions

wikipedia: Wikipedia 700 (number)#1JKI, 774 (number) (unknown)

History

2026-11-02: add by m2/dev

ZW6GJ2J3EY ZW6GJ2J3EY

URI	`m2://inv/ZW6GJ2J3EY`
Kind	definition
Layer	research
MSC	20-XX, 22-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 math/0512416#C9EQ (definition). In WJD9YPGGYH/e1, definition 3.2

History

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

Jeff Dinitz ZW6M15CHES

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QN2K, Jeff Dinitz (topic)

History

2026-11-02: add by m2/dev

Voronin's twisted-product lemma ZW6MKZRRB0

URI	`m2://inv/ZW6MKZRRB0`
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.22107#XPJ4, Voronin's twisted-product lemma (statement). In SN5RJPQ713/e1, lemma 8.1

History

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

Pierson ZW6MRMG2QE

URI	`m2://inv/ZW6MRMG2QE`
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#OQLN, Pierson (unknown)

History

2026-11-02: add by m2/dev

Uniform mixing ZW6SG2D5ZZ

URI	`m2://inv/ZW6SG2D5ZZ`
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.04117#GAJV, Uniform mixing (statement). In 65E9N3DFYP/e1, lemma 4.4

History

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

Newton polynomial ZW6VEHW32H

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

Mentions

wikipedia: Wikipedia Newton polynomial, Newton polynomial (definition). Also Wikidata Q2746387

History

2026-11-02: add by m2/dev

No concentration at a contact scale ZW6WRBMNCB

URI	`m2://inv/ZW6WRBMNCB`
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.00337#G112, No concentration at a contact scale (statement). In 5STQ3ABZ60/e1, lemma 7.3

History

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

ZW703AJDJG ZW703AJDJG

URI	`m2://inv/ZW703AJDJG`
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#HDWJ (statement). In CC6S1HVK0T/e1, proposition B.8

History

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

The fourth-moment invariant ZW71HEV6CG

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

Mentions

arxiv: arXiv 2610.14373#FGAM, The fourth-moment invariant (statement). In 77TK7M3B9Y/e1, corollary 4

History

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

ZW7274B524 ZW7274B524

URI	`m2://inv/ZW7274B524`
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.36181#E2TB (statement). In 1KSE33PVS6/e1, proposition 78

History

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

Seam and endpoint inequalities ZW7296N2AW

URI	`m2://inv/ZW7296N2AW`
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 2609.24931#ARJ2, Seam and endpoint inequalities (statement)

History

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

Unikrn ZW77C6CRVB

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

Mentions

wikipedia: Wikipedia Unikrn, Unikrn (definition). Also Wikidata Q46996008

History

2026-11-02: add by m2/dev

Example ZW79392DCP

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

Mentions

wikipedia: Wikipedia Normal basis#Z5QN, Example (example)

History

2026-11-02: add by m2/dev

Formal epistemology ZW7F1WJ9QD

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

Mentions

wikipedia: Wikipedia Formal epistemology, Formal epistemology (definition). Also Wikidata Q5469960

History

2026-11-02: add by m2/dev

ZW7GJ0JNWF ZW7GJ0JNWF

URI	`m2://inv/ZW7GJ0JNWF`
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.01268#9D9K (statement). In 80Q4X3WT8W/e1, lemma 2.4

History

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

ZW7H0MPYG6 ZW7H0MPYG6

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

Mentions

arxiv: arXiv 2610.13680#2ROD (unknown). In QNBFHFZ3H0/e1, unknown 95

History

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

ZW7H5HPQ15 ZW7H5HPQ15

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

Mentions

arxiv: arXiv 2204.07961#BR4Q (statement). In 4DK4VRKZVM/e1, corollary 1.11

History

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

ZW7HHTSNJW ZW7HHTSNJW

URI	`m2://inv/ZW7HHTSNJW`
Kind	definition
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.20894#CL00 (definition)

History

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

Rule-based machine learning ZW7J85E951

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

Mentions

wikipedia: Wikipedia Rule-based machine learning, Rule-based machine learning (definition). Also Wikidata Q28324910

History

2026-11-02: add by m2/dev

ZW7JNGQWRE ZW7JNGQWRE

URI	`m2://inv/ZW7JNGQWRE`
Kind	statement
Layer	research
MSC	37-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.20131#GG3K (statement). In 29D4TTE3J2/e1, corollary 2.14

History

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

Filters ZW7JWZSVZ0

URI	`m2://inv/ZW7JWZSVZ0`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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.05164#YSKQ, Filters (statement). In JY6RYSNXMJ/e1, proposition 3

History

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

ZW7JZYTPC5 ZW7JZYTPC5

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

Mentions

hott_book: hott_book categories.tex#ct:interchange (statement). In N54F33XE07, lem, section 2.2

History

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

Texas Christian University ZW7P528HHH

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

Mentions

wikipedia: Wikipedia List of schools for quantitative psychology#D6LX, Texas Christian University (unknown)

History

2026-11-02: add by m2/dev

Lorentz spaces ZW7QQCRNNM

URI	`m2://inv/ZW7QQCRNNM`
Kind	definition
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.28454#F9Q8, Lorentz spaces (definition)

History

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

Sucharit Sarkar ZW7V0M4SJ2

URI	`m2://inv/ZW7V0M4SJ2`
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#HAME, Sucharit Sarkar (topic)

History

2026-11-02: add by m2/dev

Analytic function ZW7XQSKKPB

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

Mentions

wikipedia: Wikipedia List of types of functions#PF3V, Analytic function (definition)

History

2026-11-02: add by m2/dev

Formulation ZW7Y48AFF8

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

Mentions

wikipedia: Wikipedia Danzer set#B0ZO, Formulation (definition)

History

2026-11-02: add by m2/dev

Edwin Battistella ZW80KJYD1G

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

Mentions

wikipedia: Wikipedia Edwin Battistella, Edwin Battistella (topic). Also Wikidata Q5346245

History

2026-11-02: add by m2/dev

Multiplicative inverse Algorithms ZW837C2YP9

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

Mentions

wikipedia: Wikipedia List of algorithms#ZFOQ, Multiplicative inverse Algorithms (definition)
wikipedia: Wikipedia List of numerical analysis topics#KKGM, Multiplicative inverse Algorithms (definition)

History

2026-11-02: add by m2/dev

Context Gluing ZW8A5JPR0A

URI	`m2://inv/ZW8A5JPR0A`
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.21131#MUAY, Context Gluing (definition). In CPYWHRTPKC/e1, definition 7.16

History

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

Finite-rank random test fields ZW8FA1Z7QW

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

Mentions

arxiv: arXiv 2609.28985#V34W, Finite-rank random test fields (statement)

History

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

Borel–Cantelli lemma ZW8JQW58SK

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

Mentions

wikipedia: Wikipedia Borel–Cantelli lemma, Borel–Cantelli lemma (statement). Also Wikidata Q893496

History

2026-11-02: add by m2/dev

ZW90K2HFHN ZW90K2HFHN

URI	`m2://inv/ZW90K2HFHN`
Kind	definition
Layer	research
MSC	14-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.30482#ZYAO (definition). In KWB9M5YH9G/e1, definition 2.5

History

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

ZW91J01T1F ZW91J01T1F

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

Mentions

arxiv: arXiv 2610.12484#74NO (definition). In GW23NX78SB/e1, definition 2.1

History

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

ZW92FT87X7 ZW92FT87X7

URI	`m2://inv/ZW92FT87X7`
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 2609.25915#QV30 (statement)

History

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

Examples ZW948AHAYB

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

Mentions

wikipedia: Wikipedia Null set#4EPK, Examples (example)

History

2026-11-02: add by m2/dev

ZW94EGBZ70 ZW94EGBZ70

URI	`m2://inv/ZW94EGBZ70`
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#819G (statement). In 8SVVEVGMNE/e1, corollary 3.9

History

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

ZW9713164Q ZW9713164Q

URI	`m2://inv/ZW9713164Q`
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.32887#I2EU (statement). In Z7XFG5ZKV1/e1, theorem 3

History

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

ZW99D999TQ ZW99D999TQ

URI	`m2://inv/ZW99D999TQ`
Kind	statement
Layer	research
MSC	11-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.13347#E8ZH (statement). In Z6QS82DPHE/e1, proposition 6.3

History

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

ZW9CXJ0DRW ZW9CXJ0DRW

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

Mentions

open_logic: open_logic content/model-theory/basics/theory-of-m.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 46.8

History

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

Emil Julius Gumbel ZW9KS5DXCS

URI	`m2://inv/ZW9KS5DXCS`
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#J2RN, Emil Julius Gumbel (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SYSS, Emil Julius Gumbel (unknown)
wikipedia: Wikipedia List of fellows of the American Statistical Association#IROF, Emil Julius Gumbel (unknown)

History

2026-11-02: add by m2/dev

ZW9SNB3ZX4 ZW9SNB3ZX4

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#problem-7 (exercise). In RZP28ERRZV, problem, section 58.8

History

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

Leon Ehrenpreis ZW9SWWJDTY

URI	`m2://inv/ZW9SWWJDTY`
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#LS8K, Leon Ehrenpreis (topic)

History

2026-11-02: add by m2/dev

efficiency ZW9VA76RW0

URI	`m2://inv/ZW9VA76RW0`
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 2602.14912#2UVX, efficiency (statement). In A87BVH5DCM/e1, theorem 4.8

History

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

Deductive closure ZWA2YXE8KA

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

Mentions

wikipedia: Wikipedia Deductive closure, Deductive closure (definition). Also Wikidata Q4633743

History

2026-11-02: add by m2/dev

Uses ZWA75EW4KE

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

Mentions

wikipedia: Wikipedia Area theorem (conformal mapping)#QAII, Uses (example)

History

2026-11-02: add by m2/dev

hyperbolic paraboloid ZWAC1JYVA5

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

Mentions

wikidata: Wikidata Q357268, hyperbolic paraboloid (unknown). Also MathWorld HyperbolicParaboloid

History

2026-10-26: add by m2/dev

Truth ZWAFKS5V9B

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

Mentions

arxiv: arXiv 2609.24795#97P9, Truth (statement)

History

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

ZWAM2SR7J3 ZWAM2SR7J3

URI	`m2://inv/ZWAM2SR7J3`
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.10086#454N (statement). In NP9X9CAK19/e1, lemma 5.7

History

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

ZWAR6SSAFS ZWAR6SSAFS

URI	`m2://inv/ZWAR6SSAFS`
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.36113#SSCB (statement). In FSGSVD0XYH/e1, proposition 2

History

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

ZWARFEK8Y1 ZWARFEK8Y1

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

History

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

Quotient LCL threshold, parity-check ensemble ZWAYHVJMD2

URI	`m2://inv/ZWAYHVJMD2`
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 2609.40252#IT9D, Quotient LCL threshold, parity-check ensemble (statement). In 7MVPNFPRKB/e1, theorem 6.1

History

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

Properties ZWB0EQS91Y

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

Mentions

wikipedia: Wikipedia Elliptic rational functions#68CQ, Properties (statement)

History

2026-11-02: add by m2/dev

Example ZWBBA5PDDQ

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

Mentions

wikipedia: Wikipedia Kőnig's theorem (graph theory)#COCY, Example (example)

History

2026-11-02: add by m2/dev

Sharp infinitesimal mean-spread inequality ZWBDNVHXMK

URI	`m2://inv/ZWBDNVHXMK`
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 2609.24931#DPOL, Sharp infinitesimal mean-spread inequality (statement)

History

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

ZWBENS750A ZWBENS750A

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

Mentions

arxiv: arXiv 2204.01073#TZQG (definition). In W4TYN4PGE8/e1, definition 6.20

History

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

Yozo Matsushima ZWBHEM9YT9

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

Mentions

wikipedia: Wikipedia Yozo Matsushima, Yozo Matsushima (topic). Also Wikidata Q1661744

History

2026-11-02: add by m2/dev

ZWBXHEGSQR ZWBXHEGSQR

URI	`m2://inv/ZWBXHEGSQR`
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.25854#CVI7 (statement)

History

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

ZWBYY8AZR8 ZWBYY8AZR8

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#example-7 (example). In RZP28ERRZV, example, section 58.8

History

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

Bartlett, M. S. ZWC4RKMHAQ

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

Mentions

wikipedia: Wikipedia List of statisticians#NYCW, Bartlett, M. S. (topic)

History

2026-11-02: add by m2/dev

Characterization ZWC78P6WT3

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

Mentions

wikipedia: Wikipedia Logit-normal distribution#E8M4, Characterization (statement)

History

2026-11-02: add by m2/dev

Statement ZWC8V7VDWA

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

Mentions

wikipedia: Wikipedia Hausdorff maximal principle#0G3E, Statement (statement)

History

2026-11-02: add by m2/dev

Arithmetical induction ZWCH8DHA90

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

Mentions

open_logic: open_logic content/sets-functions-relations/infinite/dedekind-induction.tex#thm:dedinfiniteinduction, Arithmetical induction (statement). In PKGMM3P5QY, thm, section 79.7

History

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

Glossary of group theory ZWCRW945PS

URI	`m2://inv/ZWCRW945PS`
Kind	topic
Layer	textbook
Sources	1
Outcome	deferred (the item has the flag informal (WP9.2))
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of group theory, Glossary of group theory (topic). Also Wikidata Q104813495

History

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

School league table ZWCTKHKC08

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

Mentions

wikipedia: Wikipedia Ranking#UNPG, School league table (unknown)

History

2026-11-02: add by m2/dev

Lamberto Cesari ZWCYZP1MTF

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#4LFY, Lamberto Cesari (topic)

History

2026-11-02: add by m2/dev

Definition ZWCZMG7HP9

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

Mentions

wikipedia: Wikipedia Mironenko reflecting function#UN3K, Definition (definition)

History

2026-11-02: add by m2/dev

Perturbation stability without resolving microscopic gaps ZWD1K6FYX6

URI	`m2://inv/ZWD1K6FYX6`
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.16351#W6DW, Perturbation stability without resolving microscopic gaps (statement). In 1QSV7EQE3T/e1, theorem S94

History

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

ZWD2708WBS ZWD2708WBS

URI	`m2://inv/ZWD2708WBS`
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.05784#JB35 (statement). In 6NVP3YRWVA/e1, theorem 3.8

History

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

Basic properties ZWD6NTH1C4

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

Mentions

wikipedia: Wikipedia Sub-Gaussian distribution#6YL5, Basic properties (statement)

History

2026-11-02: add by m2/dev

Dirichlet eigenvalue ZWD84KFD0X

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

Mentions

wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#B42O, Dirichlet eigenvalue (definition)

History

2026-11-02: add by m2/dev

Truncated hexagonal tiling ZWDMCQB660

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

Mentions

wikidata: Wikidata Q3063656, Truncated hexagonal tiling (concept). Also MathWorld SemiregularTessellation
wikipedia: Wikipedia Truncated hexagonal tiling, Truncated hexagonal tiling (object). Also Wikidata Q3063656

History

2026-10-26: add by m2/dev

thirty-six officers problem ZWDQJRXBFK

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

Mentions

wikidata: Wikidata Q3500555, thirty-six officers problem (problem). Also MathWorld 36OfficerProblem

History

2026-10-26: add by m2/dev

Existence and uniqueness ZWDV8SPSRG

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

Mentions

wikipedia: Wikipedia Dual basis#YJ58, Existence and uniqueness (statement)

History

2026-11-02: add by m2/dev

ZWDYA5A0F2 ZWDYA5A0F2

URI	`m2://inv/ZWDYA5A0F2`
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.25718#4MY7 (statement)

History

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

ZWE02VRKQQ ZWE02VRKQQ

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

Mentions

arxiv: arXiv 2603.29838#BW2P (statement). In KP0X1RKKKB/e1, lemma 4.5

History

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

ZWEDM95EFM ZWEDM95EFM

URI	`m2://inv/ZWEDM95EFM`
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.03555#V9PK (statement). In 9JZJTRRVR1/e1, lemma A.5

History

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

Pronic number ZWEQFNPR6E

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

Mentions

wikipedia: Wikipedia List of sums of reciprocals#KR5G, Pronic number (definition)

History

2026-11-02: add by m2/dev

Global velocity estimate ZWERPATZ06

URI	`m2://inv/ZWERPATZ06`
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.33578#0YPD, Global velocity estimate (statement). In 3XTDDKY6YE/e1, lemma 4.2

History

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

ChaCha (cipher) ZWESM4RY84

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

Mentions

wikipedia: Wikipedia Salsa20#0ICC, ChaCha (cipher) (unknown)

History

2026-11-02: add by m2/dev

linear differential equation ZWF3V136Y3

URI	`m2://inv/ZWF3V136Y3`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Linear differential equation of order n 0QQRP17Z7S

Mentions

wikidata: Wikidata Q1129902, linear differential equation (unknown). Also nLab linear differential equation
wikipedia: Wikipedia Linear differential equation, Linear differential equation (definition). Also Wikidata Q1129902

History

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

ZWF92PJNJ5 ZWF92PJNJ5

URI	`m2://inv/ZWF92PJNJ5`
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.10796#7DQL (statement). In 9YDW0QJZ6K/e1, lemma 4.4

History

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

ZWFD8HHXEX ZWFD8HHXEX

URI	`m2://inv/ZWFD8HHXEX`
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.19360#K4VG (statement). In MFCW5CY96C/e1, lemma 35

History

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

ZWFDX1YXKX ZWFDX1YXKX

URI	`m2://inv/ZWFDX1YXKX`
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 2007.14459#XMBO (statement). In SGQ7VFEZ22/e1, theorem 4.3

History

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

ZWFFDCGGF3 ZWFFDCGGF3

URI	`m2://inv/ZWFFDCGGF3`
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.32614#IADC (statement). In SG8GT73ZNH/e1, proposition 2.6

History

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

Formal definition ZWFS8J7TMV

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

Mentions

wikipedia: Wikipedia Relatively hyperbolic group#OWF8, Formal definition (definition)

History

2026-11-02: add by m2/dev

Proto-value function ZWFVEEDVRW

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

Mentions

wikipedia: Wikipedia Proto-value function, Proto-value function (definition). Also Wikidata Q7251875

History

2026-11-02: add by m2/dev

Ayandeh ZWFXR3669J

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

Mentions

wikipedia: Wikipedia List of polling organizations#PULH, Ayandeh (unknown)

History

2026-11-02: add by m2/dev

ZWFYX5C95Y ZWFYX5C95Y

URI	`m2://inv/ZWFYX5C95Y`
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.20994#5SA9 (statement). In E90KYMVZMR/e1, theorem 6.5

History

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

material equivalence ZWG3AAZK49

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

Mentions

wikipedia: Wikipedia Glossary of logic#NI29, material equivalence (definition)

History

2026-11-02: add by m2/dev

Jean Dhombres ZWG4Q7A7HC

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

Mentions

wikipedia: Wikipedia Jean Dhombres, Jean Dhombres (topic). Also Wikidata Q3171737

History

2026-11-02: add by m2/dev

fibration, of paths ZWGCTBKE11

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

Mentions

hott_book: hott_book index/7.1.2/fibration-of-paths, fibration, of paths (concept). In N54F33XE07, index, section 7.1.2

History

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

ZWGJB1D6HR ZWGJB1D6HR

URI	`m2://inv/ZWGJB1D6HR`
Kind	definition
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 2402.17852#4WKG (definition). In 1WCXV5PVZA/e1, definition 5.4

History

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

Examples ZWGKGHXGFP

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

Mentions

wikipedia: Wikipedia Triangulated category#4GGO, Examples (example)

History

2026-11-02: add by m2/dev

State function ZWGMGXAS9K

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

Mentions

wikipedia: Wikipedia State function, State function (definition). Also Wikidata Q230937

History

2026-11-02: add by m2/dev

ZWGQ9E3SRX ZWGQ9E3SRX

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-28 (proof). In E59CDZA4DP, proof, section 11.6

History

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

ZWGV1QB8YN ZWGV1QB8YN

URI	`m2://inv/ZWGV1QB8YN`
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.03437#EB9X (statement). In EDTV1EDV7M/e1, theorem 4.3

History

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

Tetrastix ZWGY8DZ4F8

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

Mentions

wikipedia: Wikipedia Tetrastix, Tetrastix (definition). Also Wikidata Q96407988

History

2026-11-02: add by m2/dev

HMAC ZWGYHNNDQ7

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

Mentions

wikipedia: Wikipedia HMAC, HMAC (definition). Also Wikidata Q1669397

History

2026-11-02: add by m2/dev

ZWGZR079Y0 ZWGZR079Y0

URI	`m2://inv/ZWGZR079Y0`
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 2605.24355#6MAX (definition). In VV3AJMWWCR/e1, definition 5

History

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

Non-resonant critical value ZWH0DJ6WVQ

URI	`m2://inv/ZWH0DJ6WVQ`
Kind	definition
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.23145#R7LA, Non-resonant critical value (definition)

History

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

Definitions ZWH2DX1GFS

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

Mentions

wikipedia: Wikipedia Cone (topology)#BEJV, Definitions (definition)

History

2026-11-02: add by m2/dev

ZWH5PSYADP ZWH5PSYADP

URI	`m2://inv/ZWH5PSYADP`
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.08488#50PA (statement). In QH5MZXMXQH/e1, lemma 6.14

History

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

ZWH74D4JSS ZWH74D4JSS

URI	`m2://inv/ZWH74D4JSS`
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.11739#13CM (statement). In HQJHA3RENF/e1, fact

History

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

group action ZWHBCNSQPK

URI	`m2://inv/ZWHBCNSQPK`
Kind	definition
Layer	textbook
MSC	20-XX
Sources	6
Outcome	node (a node has the same name as the row)
Node	Group action 0WCY42EV9V

Mentions

mathlib_1000: mathlib_1000 Q288465, Orbit-stabilizer theorem (statement). Also Mathlib MulAction.orbitEquivQuotientStabilizer, Wikidata Q288465
mathlib_overview: mathlib_overview General algebra > Group theory > group action, group action (unknown). Also Mathlib MulAction
mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > group action, group action (unknown). Also Mathlib MulAction
mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > quotient space, quotient space (unknown). Also Mathlib MulAction.orbitEquivQuotientStabilizer
thousand_plus: thousand_plus Q288465, Orbit-stabilizer theorem (statement). Also Mathlib MulAction.orbitEquivQuotientStabilizer, Wikidata Q288465, Wikipedia Orbit-stabilizer theorem
wikidata: Wikidata Q288465, group action (definition). Also EoM Group_action, Mathlib MulAction, MathWorld GroupAction, ProofWiki Definition:Group_Action
wikipedia: Wikipedia Group action, Group action (definition). Also Wikidata Q288465

History

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

Herwig--Lascar ZWHBNYRG61

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

Mentions

arxiv: arXiv 2610.04870#IW7S, Herwig--Lascar (statement). In X765ZXXVC3/e1, theorem 1.2

History

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

ZWHDXHH4SF ZWHDXHH4SF

URI	`m2://inv/ZWHDXHH4SF`
Kind	conjecture
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.27241#I3XY (conjecture)

History

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

Curie's principle ZWHFVXGD1F

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

Mentions

wikipedia: Wikipedia Curie's principle, Curie's principle (statement). Also Wikidata Q3403596

History

2026-11-02: add by m2/dev

Kurt Vogel ZWHH4F2SFZ

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

Mentions

wikipedia: Wikipedia Kurt Vogel (historian), Kurt Vogel (topic). Also Wikidata Q1794191

History

2026-11-02: add by m2/dev

ZWHT6G271Z ZWHT6G271Z

URI	`m2://inv/ZWHT6G271Z`
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 2201.12479#GGFN (statement). In ZDWR95TW99/e1, lemma 1.1

History

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

ZWHY43BJTW ZWHY43BJTW

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

Mentions

arxiv: arXiv 1907.01440#TGI0 (definition). In QDRYC6WJJ7/e1, definition 7

History

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

ZWHZEHJ0AX ZWHZEHJ0AX

URI	`m2://inv/ZWHZEHJ0AX`
Kind	statement
Layer	research
MSC	37-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 2607.25960#NPWY (statement). In 13GSWBXPCM/e1, lemma B.6

History

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

Properties ZWJ9934577

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

Mentions

wikipedia: Wikipedia Aggregative game#2PGK, Properties (statement)

History

2026-11-02: add by m2/dev

Legendre sieve ZWJD9H7MTS

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

Mentions

wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#4SIF, Legendre sieve (definition)

History

2026-11-02: add by m2/dev

Balan--Wang lower Lipschitz formula ZWJDHN26EN

URI	`m2://inv/ZWJDHN26EN`
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.28198#DOMY, Balan--Wang lower Lipschitz formula (statement)

History

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

Optimal Matching dissimilarity ZWJFGSXBAX

URI	`m2://inv/ZWJFGSXBAX`
Kind	definition
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.21985#13QQ, Optimal Matching dissimilarity (definition)

History

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

Variants ZWJHW94MTW

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

Mentions

wikipedia: Wikipedia Argument from love#O650, Variants (statement)

History

2026-11-02: add by m2/dev

Ayn al-Quzat Hamadani ZWJP4YCKC1

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

Mentions

wikipedia: Wikipedia List of Iranian mathematicians#4CRF, Ayn al-Quzat Hamadani (unknown)

History

2026-11-02: add by m2/dev

ZWJZ0S4PXF ZWJZ0S4PXF

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

Mentions

open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 79.1

History

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

ZWK33X6ZAS ZWK33X6ZAS

URI	`m2://inv/ZWK33X6ZAS`
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.10790#3T40 (statement). In HHQ6P3RRB8/e1, lemma 1

History

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

ZWK770YSMA ZWK770YSMA

URI	`m2://inv/ZWK770YSMA`
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.28024#R27U (statement)

History

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

ZWKAR5MB34 ZWKAR5MB34

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

Mentions

arxiv: arXiv 2609.27078#PKAH (statement)

History

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

Bipartite dimension ZWKHXW33N2

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#YN43, Bipartite dimension (definition)

History

2026-11-02: add by m2/dev

Gustav Holzegel ZWKJC12FJV

URI	`m2://inv/ZWKJC12FJV`
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#GLS5, Gustav Holzegel (unknown)

History

2026-11-02: add by m2/dev

ZWKJC50G8F ZWKJC50G8F

URI	`m2://inv/ZWKJC50G8F`
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.26386#YX5M (statement)

History

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

ZWKT375KYX ZWKT375KYX

URI	`m2://inv/ZWKT375KYX`
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.33953#499V (statement). In QS8R9BEJ8N/e1, proposition 3.5

History

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

Light-like ZWM123W1D0

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

Mentions

wikipedia: Wikipedia List of mathematical topics in relativity#JSLJ, Light-like (definition)

History

2026-11-02: add by m2/dev

ZWMM0AZHSV ZWMM0AZHSV

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

Mentions

arxiv: arXiv 2609.37706#U2CJ (statement). In 6YY27KRJFN/e1, proposition 6.14

History

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

Brier score ZWMPH3DDR8

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

Mentions

wikipedia: Wikipedia Brier score, Brier score (definition). Also Wikidata Q4967066

History

2026-11-02: add by m2/dev

ZWMPPZXNQV ZWMPPZXNQV

URI	`m2://inv/ZWMPPZXNQV`
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#ODQK (statement). In 5Z46AK2XTC/e1, lemma C.13

History

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

ZWMQ4Q46PB ZWMQ4Q46PB

URI	`m2://inv/ZWMQ4Q46PB`
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 2206.05392#1H2Y (example). In 58D1ZC82DW/e1, example 20

History

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

ZWMZDP3ET4 ZWMZDP3ET4

URI	`m2://inv/ZWMZDP3ET4`
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.19534#C92S (statement). In 22G1ATP2RA/e1, lemma 4

History

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

Hjelmslev's theorem ZWN6RYBWCV

URI	`m2://inv/ZWN6RYBWCV`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q1720410, Hjelmslev's theorem (statement). Also Wikidata Q1720410
thousand_plus: thousand_plus Q1720410, Hjelmslev's theorem (statement). Also Wikidata Q1720410, Wikipedia Hjelmslev's theorem
wikidata: Wikidata Q1720410, Hjelmslev's theorem (statement). Also MathWorld HjelmslevsTheorem
wikipedia: Wikipedia Hjelmslev's theorem, Hjelmslev's theorem (statement). Also Wikidata Q1720410

History

2026-10-26: add by m2/dev

Ostwald ripening ZWN7RS0DJQ

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

Mentions

wikipedia: Wikipedia Ostwald ripening, Ostwald ripening (definition). Also Wikidata Q903984

History

2026-11-02: add by m2/dev

ZWNCCW5QDZ ZWNCCW5QDZ

URI	`m2://inv/ZWNCCW5QDZ`
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.23237#9RM3 (statement)

History

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

ZWNDSZB09K ZWNDSZB09K

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

Mentions

lebl_scv: lebl_scv scv.tex#defn-20 (definition). In VNMV985MXX, defn, section 3.2

History

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

Indigenous statistics ZWNF57T62V

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

Mentions

wikipedia: Wikipedia Indigenous statistics, Indigenous statistics (definition). Also Wikidata Q115862359

History

2026-11-02: add by m2/dev

Lodovico Ferrari ZWNJM4JR1W

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#KCI4, Lodovico Ferrari (topic)

History

2026-11-02: add by m2/dev

ZWNPE38VA6 ZWNPE38VA6

URI	`m2://inv/ZWNPE38VA6`
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.15525#W3QH (statement). In EFDRME13PT/e1, proposition 8.10

History

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

Definition ZWNV5HYF1P

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

Mentions

wikipedia: Wikipedia Two-element Boolean algebra#0KKN, Definition (definition)

History

2026-11-02: add by m2/dev

Monster group ZWP41WJHF2

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

Mentions

wikipedia: Wikipedia List of group theory topics#G510, Monster group (object)
wikipedia: Wikipedia List of mathematical examples#5FB6, Monster group (object)

History

2026-11-02: add by m2/dev

Intermediate value theorem ZWP6RVJPCK

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#FPLN, Intermediate value theorem (statement)

History

2026-11-02: add by m2/dev

Structure theorem of divisible groups ZWP967J2XT

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

Mentions

wikipedia: Wikipedia Divisible group#GII5, Structure theorem of divisible groups (statement)

History

2026-11-02: add by m2/dev

ZWP9N92HVF ZWP9N92HVF

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

Mentions

open_logic: open_logic content/sets-functions-relations/relations/orders.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 80.4

History

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

ZWPBAFR10R ZWPBAFR10R

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

Mentions

arxiv: arXiv 2609.25703#MDZI (statement)

History

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

ZWPBJCYYE5 ZWPBJCYYE5

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

History

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

ZWPHPAR1HV ZWPHPAR1HV

URI	`m2://inv/ZWPHPAR1HV`
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 2307.13930#OI81 (statement). In SVDPVAKW4P/e1, lemma 1

History

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

Generic stratum: sharp projective-ray bound ZWPJ7TPDH1

URI	`m2://inv/ZWPJ7TPDH1`
Kind	statement
Layer	research
MSC	11-XX, 14-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.04099#BB9O, Generic stratum: sharp projective-ray bound (statement). In QPJ6FWG5HD/e1, theorem 2.21

History

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

Alina von Davier ZWPRTCG3EZ

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

Mentions

wikipedia: Wikipedia Alina von Davier, Alina von Davier (topic). Also Wikidata Q67131439

History

2026-11-02: add by m2/dev

Abstract Kolmogorov zero--one law ZWPTASEHWB

URI	`m2://inv/ZWPTASEHWB`
Kind	statement
Layer	research
MSC	18-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 1912.02769#7HPQ, Abstract Kolmogorov zero--one law (statement). In JH7VQ2EC16/e1, theorem 5.3

History

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

Robert L. Devaney ZWPVYYK7CW

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

Mentions

wikipedia: Wikipedia Robert L. Devaney, Robert L. Devaney (topic). Also Wikidata Q2156869

History

2026-11-02: add by m2/dev

sawtooth wave ZWPWRVPYSJ

URI	`m2://inv/ZWPWRVPYSJ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Sawtooth wave PW5SKE8D5R

Mentions

wikidata: Wikidata Q1742397, sawtooth wave (unknown). Also MathWorld SawtoothWave
wikipedia: Wikipedia Sawtooth wave, Sawtooth wave (definition). Also Wikidata Q1742397

History

2026-10-26: add by m2/dev

restriction of scalars ZWPXGH6NBJ

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

Mentions

wikidata: Wikidata Q7316320, restriction of scalars (unknown). Also nLab restriction of scalars

History

2026-10-26: add by m2/dev

ZWPYTTKWTK ZWPYTTKWTK

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

Mentions

arxiv: arXiv 2511.07697#R340 (definition). In 57P5P33HS3/e1, definition 5

History

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

ZWQ7ADAPAG ZWQ7ADAPAG

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

Mentions

arxiv: arXiv 2610.15610#Q5IQ (definition). In HENAFHBDQS/e1, definition

History

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

Lyons group ZWQ82XHTM7

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

Mentions

wikipedia: Wikipedia List of mathematical examples#17YF, Lyons group (object)

History

2026-11-02: add by m2/dev

Theorem ZWQFHGVACV

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

Mentions

wikipedia: Wikipedia Countable set#U3DC, Theorem (statement)

History

2026-11-02: add by m2/dev

1 (numeral) ZWQH214S6K

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

Mentions

wikipedia: Wikipedia 1#VAEP, 1 (numeral) (unknown)

History

2026-11-02: add by m2/dev

Different primes have different $K^D$ ZWQWBK9C1H

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

Mentions

napkin: napkin tex/alg-NT/ramification.tex#example-5, Different primes have different $K^D$ (example). In RZP28ERRZV, example, section 18.5

History

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

ZWQWPH3ENX ZWQWPH3ENX

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#proof-3 (proof). In E59CDZA4DP, proof, section 6.2.2

History

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

First theorem ZWR47KN0Z5

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

Mentions

wikipedia: Wikipedia Integral#XPXN, First theorem (statement)

History

2026-11-02: add by m2/dev

ZWR7PKYMC4 ZWR7PKYMC4

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

Mentions

open_logic: open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 62.2

History

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

ZWRC1KNVZE ZWRC1KNVZE

URI	`m2://inv/ZWRC1KNVZE`
Kind	counterexample
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.35844#P6SP (counterexample). In V33HFE8TZT/e1, counterexample

History

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

Vanishing of the higher differentials ZWRM27EVV7

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

Mentions

arxiv: arXiv 2610.21093#VDSP, Vanishing of the higher differentials (statement). In TBFPBPQV3G/e1, lemma 6.6

History

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

ZWRM6368JR ZWRM6368JR

URI	`m2://inv/ZWRM6368JR`
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.18281#6OU1 (statement). In QYD0EJM85G/e1, lemma 4.5

History

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

ZWRMYRA7N5 ZWRMYRA7N5

URI	`m2://inv/ZWRMYRA7N5`
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.15402#8JY9 (statement). In WSE8SEHVXG/e1, corollary 9

History

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

ZWS9W9N3DZ ZWS9W9N3DZ

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise-44 (exercise). In E59CDZA4DP, exercise, section 10.3.5

History

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

ZWSAP7Y2BZ ZWSAP7Y2BZ

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

Mentions

arxiv: arXiv 2609.28824#VJFI (statement)

History

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

ZWSCF4F6TB ZWSCF4F6TB

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

Mentions

arxiv: arXiv 1810.06028#CEBZ (definition). In ZPFHH6YJG3/e1, definition 2.3

History

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

inductive-inductive type ZWSX7RTDEH

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

Mentions

hott_book: hott_book index/8.7/inductive-inductive-type, inductive-inductive type (concept). In N54F33XE07, index, section 8.7

History

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

Least-squares support vector machine ZWT1A0S9E3

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

Mentions

wikipedia: Wikipedia Least-squares support vector machine, Least-squares support vector machine (definition). Also Wikidata Q17086219

History

2026-11-02: add by m2/dev

Latent space ZWT2RRFTAS

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

Mentions

wikipedia: Wikipedia Latent space, Latent space (definition). Also Wikidata Q107154297

History

2026-11-02: add by m2/dev

Affine arithmetic ZWT3AZ305A

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#JQ7U, Affine arithmetic (definition)

History

2026-11-02: add by m2/dev

semilocal ZWT592PQZM

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#26C4, semilocal (definition)

History

2026-11-02: add by m2/dev

\emph{Decrease of $J_T^*$ with $T$ ZWT7CZX34C

URI	`m2://inv/ZWT7CZX34C`
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.13424#6IK0, \emph{Decrease of $J_T^*$ with $T$ (statement). In RBCXCDNPAN/e1, proposition 1

History

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

Examples ZWTDJFEGF5

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

Mentions

wikipedia: Wikipedia Topological conjugacy#ZOPZ, Examples (example)

History

2026-11-02: add by m2/dev

ZWTKPYBGYF ZWTKPYBGYF

URI	`m2://inv/ZWTKPYBGYF`
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.17129#CK2B (statement). In TCZWAMNYCV/e1, lemma 4.2

History

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

$\dot{f}$ equation ZWTKTYY96R

URI	`m2://inv/ZWTKTYY96R`
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.08434#LAXA, $\dot{f}$ equation (statement). In VN8087G2FC/e1, lemma 8.12

History

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

Hilbert C*-module ZWTKV7WE3J

URI	`m2://inv/ZWTKV7WE3J`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Hilbert C*-module KBPJH3J56K

Mentions

wikidata: Wikidata Q5761182, Hilbert C*-module (unknown). Also MathWorld HilbertC-Star-Module
wikipedia: Wikipedia Hilbert C*-module, Hilbert C*-module (definition). Also Wikidata Q5761182

History

2026-10-26: add by m2/dev

Higher-dimensional algebra ZWTWEWAGS5

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#AVXG, Higher-dimensional algebra (definition)

History

2026-11-02: add by m2/dev

$n$-ary Symmetric Channel ZWV20WC294

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

Mentions

arxiv: arXiv 2609.34570#OBBX, $n$-ary Symmetric Channel (example). In EVFX1R7ZDD/e1, example 6

History

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

Wolfram Research ZWV5E8672E

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

Mentions

wikipedia: Wikipedia Wolfram Research, Wolfram Research (definition). Also Wikidata Q1367937

History

2026-11-02: add by m2/dev

ZWV6J1G95E ZWV6J1G95E

URI	`m2://inv/ZWV6J1G95E`
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.35950#Z7EA (statement). In BZN1G5W5FX/e1, theorem 6.2

History

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

Examples ZWV7JF5F0T

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

Mentions

wikipedia: Wikipedia Deletion–contraction formula#9Y8P, Examples (example)

History

2026-11-02: add by m2/dev

Bendixson–Dulac theorem ZWV9D8XZBK

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

Mentions

mathlib_1000: mathlib_1000 Q737892, Bendixson–Dulac theorem (statement). Also Wikidata Q737892
thousand_plus: thousand_plus Q737892, Bendixson–Dulac theorem (statement). Also Wikidata Q737892, Wikipedia Bendixson–Dulac theorem
wikipedia: Wikipedia Bendixson–Dulac theorem, Bendixson–Dulac theorem (statement). Also Wikidata Q737892

History

2026-10-26: add by m2/dev

Noether's normalization lemma ZWVE6KTJ0T

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

Mentions

wikipedia: Wikipedia List of lemmas#9B6F, Noether's normalization lemma (statement)

History

2026-11-02: add by m2/dev

Central Tendancy ZWVKCXS629

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

Mentions

wikipedia: Wikipedia Average#RI42, Central Tendancy (unknown)

History

2026-11-02: add by m2/dev

Properties of resistance distance ZWVMEEY4AV

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

Mentions

wikipedia: Wikipedia Resistance distance#ONRT, Properties of resistance distance (statement)

History

2026-11-02: add by m2/dev

ZWVNPW3Q4B ZWVNPW3Q4B

URI	`m2://inv/ZWVNPW3Q4B`
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 2609.28289#1ZRO (statement)

History

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

Four Mile Road, Alaska ZWVPY62M9B

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

Mentions

wikipedia: Wikipedia List of places with numeric names#FTV1, Four Mile Road, Alaska (unknown)

History

2026-11-02: add by m2/dev

ZWW6MMPDTT ZWW6MMPDTT

URI	`m2://inv/ZWW6MMPDTT`
Kind	conjecture
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.36186#LLNR (conjecture). In 30PQN6JP7W/e1, conjecture 1

History

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

Complete natural phase diagram ZWW9YWKT25

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

Mentions

arxiv: arXiv 2609.27752#0DX2, Complete natural phase diagram (statement)

History

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

Nilpotent operator ZWWCS15XSJ

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

Mentions

wikipedia: Wikipedia Nilpotent operator, Nilpotent operator (definition). Also Wikidata Q7037181

History

2026-11-02: add by m2/dev

Weighted stability and uniqueness ZWWCS7CPMF

URI	`m2://inv/ZWWCS7CPMF`
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.14555#CCNZ, Weighted stability and uniqueness (statement). In NHW0VEJ09F/e1, proposition 4.2

History

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

Non-abelian group ZWWHHEJFJH

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

Mentions

wikipedia: Wikipedia List of group theory topics#O0W5, Non-abelian group (definition)

History

2026-11-02: add by m2/dev

ZWWMXRC84X ZWWMXRC84X

URI	`m2://inv/ZWWMXRC84X`
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.10902#J1H4 (statement). In 96T1K6C3NZ/e1, lemma 2

History

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

Weyl integral formula ZWWQD0P0EJ

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

Mentions

wikipedia: Wikipedia Maximal torus#C2CQ, Weyl integral formula (statement)

History

2026-11-02: add by m2/dev

ZWWS3SF565 ZWWS3SF565

URI	`m2://inv/ZWWS3SF565`
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.21322#8FFZ (statement). In CNDA8DBEGD/e1, theorem 1.3

History

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

Definition ZWWS52KNPY

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

Mentions

wikipedia: Wikipedia Betweenness centrality#YO26, Definition (definition)

History

2026-11-02: add by m2/dev

Definition ZWWT2RAE5A

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

Mentions

wikipedia: Wikipedia Topological vector lattice#54QF, Definition (definition)

History

2026-11-02: add by m2/dev

Elisha Scott Loomis ZWWX21YPXW

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

Mentions

wikipedia: Wikipedia Elisha Scott Loomis, Elisha Scott Loomis (topic). Also Wikidata Q15996993

History

2026-11-02: add by m2/dev

Michele Caputo ZWWZ3R21FC

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

Mentions

wikipedia: Wikipedia Michele Caputo, Michele Caputo (topic). Also Wikidata Q61474201

History

2026-11-02: add by m2/dev

ZWWZ8T3GJ8 ZWWZ8T3GJ8

URI	`m2://inv/ZWWZ8T3GJ8`
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.23994#4J5B (statement)

History

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

Smallness for faithful subcategories ZWX3G4PP9D

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

Mentions

arxiv: arXiv 2610.10930#FLSH, Smallness for faithful subcategories (example). In HX63A1PH1W/e1, example 3.50

History

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

ZWX5GHNS8Z ZWX5GHNS8Z

URI	`m2://inv/ZWX5GHNS8Z`
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 2609.28141#77S4 (statement)

History

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

ZWX7RBKT22 ZWX7RBKT22

URI	`m2://inv/ZWX7RBKT22`
Kind	definition
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 2304.03611#OYC9 (definition). In 75E8ZB1CBV/e1, definition 2.1.1

History

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

ZWX7TRQMCV ZWX7TRQMCV

URI	`m2://inv/ZWX7TRQMCV`
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 2610.07909#FHBV (statement). In 6KST0WX37C/e1, lemma 3.2

History

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

Silver, Nate ZWXF1ZE4YX

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

Mentions

wikipedia: Wikipedia List of statisticians#1MDV, Silver, Nate (topic)

History

2026-11-02: add by m2/dev

Neil J. Calkin ZWXJKDC7PR

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#DCS0, Neil J. Calkin (topic)

History

2026-11-02: add by m2/dev

ZWXN6BYRCH ZWXN6BYRCH

URI	`m2://inv/ZWXN6BYRCH`
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 0806.0678#GS24 (statement). In 5RMV7VP13X/e1, lemma 2.4

History

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

Uniform vanishing ZWXR56RA31

URI	`m2://inv/ZWXR56RA31`
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.39262#AQ0G, Uniform vanishing (statement). In XA2NE2Z06S/e1, proposition 4.3

History

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

Applications ZWXVDJHHHC

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

Mentions

wikipedia: Wikipedia Tangent lines to circles#DZO6, Applications (example)

History

2026-11-02: add by m2/dev

gigantic prime ZWXY6Y1YHZ

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

Mentions

wikidata: Wikidata Q9300316, gigantic prime (unknown). Also MathWorld GiganticPrime

History

2026-10-26: add by m2/dev

ZWXZA7MQQ1 ZWXZA7MQQ1

URI	`m2://inv/ZWXZA7MQQ1`
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#OHZN (statement). In X1AGBB90EH/e1, lemma 6.5

History

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

Volume ID ZWY19ZZ764

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

Mentions

wikipedia: Wikipedia Advanced Access Content System#3Z5A, Volume ID (unknown)

History

2026-11-02: add by m2/dev

Kirkman's schoolgirl problem ZWYA9XJVQ0

URI	`m2://inv/ZWYA9XJVQ0`
Kind	problem
Layer	textbook
Sources	2
Outcome	open
Node	Kirkman's schoolgirl problem 1SYQ6QY95Y

Mentions

wikidata: Wikidata Q966333, Kirkman's schoolgirl problem (problem). Also MathWorld KirkmansSchoolgirlProblem
wikipedia: Wikipedia Kirkman's schoolgirl problem, Kirkman's schoolgirl problem (problem). Also Wikidata Q966333

History

2026-10-26: add by m2/dev

Laver's theorem ZWYAZCNHME

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

Mentions

wikipedia: Wikipedia Laver's theorem, Laver's theorem (statement). Also Wikidata Q96387070

History

2026-11-02: add by m2/dev

ZWYF7X40Y9 ZWYF7X40Y9

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

Mentions

arxiv: arXiv 2610.18377#G36P (statement). In KYJJMC50SJ/e1, lemma 3.1

History

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

Rate three; quantization ZWYHPBQ0SX

URI	`m2://inv/ZWYHPBQ0SX`
Kind	statement
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#9RTX, Rate three; quantization (statement). In FRMCKEGVJZ/e1, theorem 10

History

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

Itai Benjamini ZWYHRZ6XMN

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#RMB4, Itai Benjamini (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MH3E, Itai Benjamini (topic)

History

2026-11-02: add by m2/dev

Strong convexity under additive noise ZWYSMH20TW

URI	`m2://inv/ZWYSMH20TW`
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#ADXT, Strong convexity under additive noise (statement). In 9YAE8FNQST/e1, theorem 18.1

History

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

ZWYV88E568 ZWYV88E568

URI	`m2://inv/ZWYV88E568`
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.21668#RZA0 (statement)

History

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

ZWZ6QD7R2T ZWZ6QD7R2T

URI	`m2://inv/ZWZ6QD7R2T`
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.28808#V8RM (statement)

History

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

Generalizations ZWZAJ7075Z

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

Mentions

wikipedia: Wikipedia Poisson point process#WAD7, Generalizations (statement)

History

2026-11-02: add by m2/dev

Formal definition ZWZCWAXT8J

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

Mentions

wikipedia: Wikipedia Simplicial set#B02U, Formal definition (definition)

History

2026-11-02: add by m2/dev

ZWZGYD6FBV ZWZGYD6FBV

URI	`m2://inv/ZWZGYD6FBV`
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.08193#3DZY (statement). In 8XAKGH8S2D/e1, proposition 3.4

History

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

ZWZJKQ0HJ0 ZWZJKQ0HJ0

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

Mentions

austin_ula: austin_ula src/section3-2.xml#definition-1 (definition). In 649HGZKE96, definition, section 3.2.2

History

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

Uniform proof ZWZQQ2ZTY8

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

Mentions

wikipedia: Wikipedia Focused proof#AMGT, Uniform proof (unknown)

History

2026-11-02: add by m2/dev

David Dickey ZWZVRRK487

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

Mentions

wikipedia: Wikipedia David Dickey, David Dickey (topic). Also Wikidata Q738181

History

2026-11-02: add by m2/dev