Inventory rows KK

KK02CR7JA0 KK02CR7JA0

URI	`m2://inv/KK02CR7JA0`
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.12014#7AWJ (statement). In DR7BK4CQ0V/e1, lemma 4.2

History

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

KK08PCCF0Y KK08PCCF0Y

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

Mentions

arxiv: arXiv 2610.18600#MDK5 (problem). In 31D6TQVCNZ/e1, problem 4.5

History

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

Type II support theorem KK0BPMSEC1

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

Mentions

arxiv: arXiv 2609.26055#3VDA, Type II support theorem (statement)

History

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

preinitial algebra, subterminal coalgebra KK0EP8XYAP

URI	`m2://inv/KK0EP8XYAP`
Kind	definition
Layer	research
MSC	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 2405.14678#OI5J, preinitial algebra, subterminal coalgebra (definition). In 9ZSNSJRJ5N/e1, definition 19

History

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

KK0PJ2H4NQ KK0PJ2H4NQ

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

Mentions

napkin: napkin tex/linalg/inner-form.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 60.2

History

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

The pasting lemma KK0WPCNN1F

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

Mentions

wikipedia: Wikipedia Restriction (mathematics)#TDNA, The pasting lemma (statement)

History

2026-11-02: add by m2/dev

KK12CCQ5DG KK12CCQ5DG

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

Mentions

arxiv: arXiv 2609.22394#9Y94 (example)

History

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

Losing all overlap KK159GJQ9F

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

Mentions

arxiv: arXiv 2610.14620#2OV5, Losing all overlap (statement). In B7ZR6RMWX8/e1, proposition 2

History

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

Cohomotopy KK1C6PEATV

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

Mentions

wikipedia: Wikipedia List of algebraic topology topics#1A54, Cohomotopy (definition)

History

2026-11-02: add by m2/dev

Oracle pseudo-label ERM upper bound KK1D28HY50

URI	`m2://inv/KK1D28HY50`
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.18935#1MEL, Oracle pseudo-label ERM upper bound (statement). In HPEEJY1S3S/e1, theorem 7

History

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

Georg Aumann KK1E0YS0E9

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

Mentions

wikipedia: Wikipedia List of cryptographers#EHOA, Georg Aumann (unknown)

History

2026-11-02: add by m2/dev

Clique-partition characterization KK1G7554P6

URI	`m2://inv/KK1G7554P6`
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.21388#REXW, Clique-partition characterization (statement)

History

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

Rank tangent KK1P20582M

URI	`m2://inv/KK1P20582M`
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.01391#S4PV, Rank tangent (statement). In MAZNVJX5YK/e1, theorem 10

History

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

KK1R3B2P2X KK1R3B2P2X

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

Mentions

arxiv: arXiv 2204.04820#7KDT (statement). In 9EJ71MW89B/e1, theorem

History

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

KK1SBMC132 KK1SBMC132

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

Mentions

arxiv: arXiv 2112.05010#XQ3K (statement). In 4SZNPS3Z00/e1, theorem 5.2

History

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

KK1W3PDZWT KK1W3PDZWT

URI	`m2://inv/KK1W3PDZWT`
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#51GM (statement). In BDN507RN7J/e1, lemma 2.1.8

History

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

Konrad Osterwalder KK23J3XGDJ

URI	`m2://inv/KK23J3XGDJ`
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 Q125728, Konrad Osterwalder (unknown). Also nLab Konrad Osterwalder
wikipedia: Wikipedia Konrad Osterwalder, Konrad Osterwalder (topic). Also Wikidata Q125728

History

2026-10-26: add by m2/dev

Local Leakage Resilience of Shamir Schemes KK267WS0PJ

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

Mentions

arxiv: arXiv 2610.12357#ILFH, Local Leakage Resilience of Shamir Schemes (statement). In 1F26AF81XP/e1, theorem 1.3

History

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

Egon Balas KK2896B5F9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#BGTJ, Egon Balas (topic)

History

2026-11-02: add by m2/dev

strict n-category KK2C73X7G2

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

Mentions

wikipedia: Wikipedia Glossary of category theory#1SJA, strict n-category (definition)

History

2026-11-02: add by m2/dev

KK2NYRC000 KK2NYRC000

URI	`m2://inv/KK2NYRC000`
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 2208.06310#24N6 (statement). In 9YR0E0T9XA/e1, proposition 4.5

History

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

KK2QHJQTZE KK2QHJQTZE

URI	`m2://inv/KK2QHJQTZE`
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.35920#XZ88 (statement). In 5D5HW98PTH/e1, lemma 3.1

History

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

List of scientific constants named after people KK2R7FAQ8J

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

Mentions

wikipedia: Wikipedia List of scientific constants named after people, List of scientific constants named after people (topic). Also Wikidata Q6638014

History

2026-11-02: add by m2/dev

KK2WE47H9N KK2WE47H9N

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-19 (exercise). In P1C114YBXG, exercise, section 1.1

History

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

Examples KK384K5AXE

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

Mentions

wikipedia: Wikipedia Multiplicative character#ZD0H, Examples (example)

History

2026-11-02: add by m2/dev

KK39YYWHN7 KK39YYWHN7

URI	`m2://inv/KK39YYWHN7`
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 2212.01916#WFWW (definition). In XTGB5Z08YH/e1, definition 2.4

History

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

Definition KK3AYE67S5

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

Mentions

wikipedia: Wikipedia Rectifiable set#OFEN, Definition (definition)

History

2026-11-02: add by m2/dev

Example KK3AYHQGWG

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

Mentions

wikipedia: Wikipedia Marginal distribution#CHWW, Example (example)

History

2026-11-02: add by m2/dev

Elbow method KK3CG9Y8DB

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

Mentions

wikipedia: Wikipedia Elbow method (clustering), Elbow method (definition). Also Wikidata Q25207606

History

2026-11-02: add by m2/dev

Normal basis theorem KK3JA429QT

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

Mentions

wikipedia: Wikipedia Normal basis#E77B, Normal basis theorem (statement)

History

2026-11-02: add by m2/dev

The functors $(\,\cdot\,)^{-}$ and $(\,\cdot\,)^{+}$ KK3N0SCN6S

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

Mentions

arxiv: arXiv 2610.00135#Z7I3, The functors $(\,\cdot\,)^{-}$ and $(\,\cdot\,)^{+}$ (definition). In PXWXV92SJY/e1, definition 2.10

History

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

Disjunctive graph KK3N81051K

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

Mentions

wikipedia: Wikipedia Disjunctive graph, Disjunctive graph (definition). Also Wikidata Q5282271

History

2026-11-02: add by m2/dev

Good Event 4 KK3TKCYYND

URI	`m2://inv/KK3TKCYYND`
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.04600#U30F, Good Event 4 (statement). In 4V64K0DYSV/e1, lemma I.4

History

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

KK3W9AJV08 KK3W9AJV08

URI	`m2://inv/KK3W9AJV08`
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 2609.27484#HX15 (definition)

History

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

Pairwise independence KK43YD6GMC

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

Mentions

wikipedia: Wikipedia List of mathematical examples#0PIY, Pairwise independence (definition)

History

2026-11-02: add by m2/dev

KK497GW95B KK497GW95B

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

Mentions

arxiv: arXiv 2610.21960#F59V (example). In QX77AN49J0/e1, example 7.2

History

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

KK49E7PJ83 KK49E7PJ83

URI	`m2://inv/KK49E7PJ83`
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.05514#0F3N (statement). In 9WDZRQPPSV/e1, theorem 6.3

History

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

KK4EH6ZFZT KK4EH6ZFZT

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

Mentions

arxiv: arXiv 2610.19669#22JM (statement). In 1QPAA94Q76/e1, proposition 27

History

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

Implementations KK4MD1QWVD

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

Mentions

wikipedia: Wikipedia Homomorphic encryption#MLKO, Implementations (definition)

History

2026-11-02: add by m2/dev

KK4MF8EW0C KK4MF8EW0C

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

Mentions

arxiv: arXiv 2609.32233#R1WJ (statement). In V42PPD7SWH/e1, lemma 7.9

History

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

KK4QDR0RW4 KK4QDR0RW4

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

Mentions

open_logic: open_logic content/turing-machines/machines-computations/representing-tms.tex#ex-2 (example). In PKGMM3P5QY, ex, section 86.1

History

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

Definition KK4QTRGEDH

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

Mentions

wikipedia: Wikipedia Killing spinor#JMQ1, Definition (definition)

History

2026-11-02: add by m2/dev

Borg cipher KK4R839RYC

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

Mentions

wikipedia: Wikipedia Borg cipher, Borg cipher (definition). Also Wikidata Q140032117

History

2026-11-02: add by m2/dev

KK4S7XE8B0 KK4S7XE8B0

URI	`m2://inv/KK4S7XE8B0`
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 2411.10658#CUVP (statement). In 3PY22ABV4Y/e1, lemma 3

History

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

KK50CRAX7D KK50CRAX7D

URI	`m2://inv/KK50CRAX7D`
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#2OO4 (statement). In WAXS6FS388/e1, theorem 6.1

History

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

KK53HE05PP KK53HE05PP

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

Mentions

applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-8 (exercise). In QKM9DD2H56, exercise, section 7

History

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

Verifiable secret sharing KK53NF1DAW

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

Mentions

wikipedia: Wikipedia Verifiable secret sharing, Verifiable secret sharing (definition). Also Wikidata Q59015987

History

2026-11-02: add by m2/dev

Peripheral cycle KK55KM6QEX

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

Mentions

wikipedia: Wikipedia Peripheral cycle, Peripheral cycle (definition). Also Wikidata Q7168701

History

2026-11-02: add by m2/dev

KK56C8R4TC KK56C8R4TC

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

Mentions

arxiv: arXiv math/9902147#NV5W (statement). In 7CK21JGM5A/e1, theorem B

History

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

Qualitative comparative analysis KK57MJ2W0T

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

Mentions

wikipedia: Wikipedia Qualitative comparative analysis, Qualitative comparative analysis (definition). Also Wikidata Q639854

History

2026-11-02: add by m2/dev

Length-prefixed string KK5CFZCSE6

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

Mentions

wikipedia: Wikipedia String (computer science)#P3QC, Length-prefixed string (unknown)

History

2026-11-02: add by m2/dev

KK5DV9EBWF KK5DV9EBWF

URI	`m2://inv/KK5DV9EBWF`
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.04993#4MBP (statement). In JQBWZPXKAV/e1, theorem 1.1

History

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

Homogeneously Suslin set KK5GFNAT9S

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

Mentions

wikipedia: Wikipedia List of properties of sets of reals#NV8V, Homogeneously Suslin set (definition)

History

2026-11-02: add by m2/dev

KK5PA2RDJD KK5PA2RDJD

URI	`m2://inv/KK5PA2RDJD`
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.19283#4RAA (statement). In 28BAGZRCKG/e1, theorem 5.1

History

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

KK5ZCG5SBW KK5ZCG5SBW

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

Mentions

arxiv: arXiv 2610.15974#65S7 (statement). In 61ZHQ7BTKP/e1, corollary 2.5

History

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

direct comparison test KK639V3400

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

Mentions

wikipedia: Wikipedia Glossary of calculus#QIEC, direct comparison test (definition)

History

2026-11-02: add by m2/dev

Maria Adelaide Sneider KK65TF9FCR

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

Mentions

wikipedia: Wikipedia Maria Adelaide Sneider, Maria Adelaide Sneider (topic). Also Wikidata Q12954211

History

2026-11-02: add by m2/dev

Example KK6HXGM7GD

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

Mentions

wikipedia: Wikipedia Closed testing procedure#MEG5, Example (example)

History

2026-11-02: add by m2/dev

Lemma KK6K452AM3

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

Mentions

wikipedia: Wikipedia Ruzsa triangle inequality#Q3AQ, Lemma (statement)

History

2026-11-02: add by m2/dev

KK6KEV07ED KK6KEV07ED

URI	`m2://inv/KK6KEV07ED`
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 2205.09049#MLNC (statement). In 37S7MNMZ2F/e1, proposition 55

History

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

Definition KK6PAPSP2D

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

Mentions

wikipedia: Wikipedia Fibonacci polynomials#KGAF, Definition (definition)

History

2026-11-02: add by m2/dev

KK6RYZN5VZ KK6RYZN5VZ

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-20 (exercise). In Y91XFCEVHQ, exercise, section 3.5

History

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

topology of uniform convergence KK73QQ4WH8

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

Mentions

wikidata: Wikidata Q17104208, topology of uniform convergence (unknown). Also nLab topology of uniform convergence
wikipedia: Wikipedia Topologies on spaces of linear maps, Topologies on spaces of linear maps (definition). Also Wikidata Q17104208

History

2026-10-26: add by m2/dev

Ray-removal lemma KK78QX7VFX

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

Mentions

arxiv: arXiv 2609.35683#YDTT, Ray-removal lemma (statement). In A4S9A3X494/e1, lemma 6

History

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

Chemometrics KK7CPGJR74

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

Mentions

wikipedia: Wikipedia List of statistics articles#XHDC, Chemometrics (definition)

History

2026-11-02: add by m2/dev

Edwin Plimpton Adams KK7DDC3WKW

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

Mentions

wikipedia: Wikipedia Edwin Plimpton Adams, Edwin Plimpton Adams (topic). Also Wikidata Q5346748

History

2026-11-02: add by m2/dev

Definition KK7GWQBEVX

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

Mentions

wikipedia: Wikipedia Siegel modular form#QL15, Definition (definition)

History

2026-11-02: add by m2/dev

KK7JVBDXYG KK7JVBDXYG

URI	`m2://inv/KK7JVBDXYG`
Kind	statement
Layer	research
MSC	26-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 2411.16022#5YUL (statement). In QG9ATXTKJ6/e1, proposition 2.34

History

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

KK7R33Q6BC KK7R33Q6BC

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

Mentions

hott_book: hott_book setmath.tex#proof-16 (proof). In N54F33XE07, proof, section C.2

History

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

KK7TRNG21K KK7TRNG21K

URI	`m2://inv/KK7TRNG21K`
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.21098#5U0V (statement)

History

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

KK7WS1BSNE KK7WS1BSNE

URI	`m2://inv/KK7WS1BSNE`
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#Q9XG (definition). In G02N9D40B9/e1, definition 1.4.1

History

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

KK81HC6WE2 KK81HC6WE2

URI	`m2://inv/KK81HC6WE2`
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.20702#IGOI (statement)

History

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

KK83KEB63W KK83KEB63W

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#exercise-18 (exercise). In E59CDZA4DP, exercise, section 5.2.1

History

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

KK83QRA6HF KK83QRA6HF

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

Mentions

arxiv: arXiv 2610.19273#5B3V (definition). In T3BY4TXYT4/e1, definition 6.10

History

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

KK8424YAJY KK8424YAJY

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

Mentions

arxiv: arXiv 2609.26896#GZ6M (statement)

History

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

HP-71B KK88A473SJ

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

Mentions

wikipedia: Wikipedia HP-71B, HP-71B (definition). Also Wikidata Q660536

History

2026-11-02: add by m2/dev

KK88W23FC6 KK88W23FC6

URI	`m2://inv/KK88W23FC6`
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.20910#K7FC (statement). In CETHKW9EBV/e1, lemma 4.2

History

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

√ KK8DE2C1N7

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#JT5V, √ (definition)

History

2026-11-02: add by m2/dev

Community matrix KK8F08R0J9

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

Mentions

wikipedia: Wikipedia Community matrix, Community matrix (definition). Also Wikidata Q5154984

History

2026-11-02: add by m2/dev

Biordered set KK8FCWMK5D

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

Mentions

wikipedia: Wikipedia Biordered set, Biordered set (definition). Also Wikidata Q4915231

History

2026-11-02: add by m2/dev

Ordered algebra KK8SAGVCGN

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

Mentions

wikipedia: Wikipedia Ordered algebra, Ordered algebra (definition). Also Wikidata Q96397672

History

2026-11-02: add by m2/dev

Nullary relation KK98TAK030

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

Mentions

wikipedia: Wikipedia Nullary relation, Nullary relation (definition). Also Wikidata Q116147936

History

2026-11-02: add by m2/dev

KK9EBXQ7FZ KK9EBXQ7FZ

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-8 (exercise). In E59CDZA4DP, exercise, section 11.1.5

History

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

Heredity KK9NB9EHGJ

URI	`m2://inv/KK9NB9EHGJ`
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.10002#Y4KC, Heredity (statement). In 5ZYWF6HAXJ/e1, lemma 8

History

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

Fano matroid KK9R8TSB2G

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

Mentions

wikipedia: Wikipedia Fano plane#JJ2S, Fano matroid (unknown)

History

2026-11-02: add by m2/dev

KK9RN0HX81 KK9RN0HX81

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

Mentions

arxiv: arXiv 2609.28297#28WE (statement)

History

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

KK9SRDHHAN KK9SRDHHAN

URI	`m2://inv/KK9SRDHHAN`
Kind	example
Layer	research
MSC	16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#RE5A (example). In H52QQS8WZA/e1, example 3.5

History

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

KK9Y0W2Y4G KK9Y0W2Y4G

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

Mentions

arxiv: arXiv 2609.22394#JU79 (problem)

History

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

Poincaré line bundle KKAE58V5HK

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

Mentions

wikipedia: Wikipedia List of things named after Henri Poincaré#66LB, Poincaré line bundle (definition)

History

2026-11-02: add by m2/dev

KKB3FSB2D4 KKB3FSB2D4

URI	`m2://inv/KKB3FSB2D4`
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 2202.03009#QLU6 (statement). In GYEQJ534W1/e1, theorem 4

History

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

Clustering high-dimensional data KKB4QMB4TT

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

Mentions

wikipedia: Wikipedia Clustering high-dimensional data, Clustering high-dimensional data (definition). Also Wikidata Q5136711

History

2026-11-02: add by m2/dev

Jit Bose KKBB3E2CY4

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#I086, Jit Bose (unknown)

History

2026-11-02: add by m2/dev

Properties KKBDRD5J41

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

Mentions

wikipedia: Wikipedia Opposite ring#WU3E, Properties (statement)

History

2026-11-02: add by m2/dev

Kushyar Gilani KKBHQY7J82

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

Mentions

wikipedia: Wikipedia List of Iranian mathematicians#5LOQ, Kushyar Gilani (unknown)

History

2026-11-02: add by m2/dev

KKC0T50GNS KKC0T50GNS

URI	`m2://inv/KKC0T50GNS`
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.20944#P89S (statement). In DRRKZR6CQC/e1, corollary 5

History

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

KKC8VC0PFF KKC8VC0PFF

URI	`m2://inv/KKC8VC0PFF`
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 2502.08738#GMR2 (example). In 9GMTVSTAVN/e1, example 8

History

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

KKC98SKACK KKC98SKACK

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

Mentions

arxiv: arXiv 2609.33590#BVV9 (statement). In WRE0P7V6Z3/e1, lemma 13.1

History

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

KKCAQ7633S KKCAQ7633S

URI	`m2://inv/KKCAQ7633S`
Kind	statement
Layer	research
MSC	03-XX, 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.07695#2KXG (statement). In 8Z47D12KSX/e1, corollary 5.2

History

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

KKCDPG4DYJ KKCDPG4DYJ

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

Mentions

arxiv: arXiv 2610.01247#QSH8 (example). In 6EVNCRZ118/e1, example 16

History

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

Example KKCF11X4E1

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

Mentions

wikipedia: Wikipedia Light's associativity test#FYGA, Example (example)

History

2026-11-02: add by m2/dev

KKCJ13DF1C KKCJ13DF1C

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

Mentions

arxiv: arXiv 2609.34020#XO9Y (statement). In DAMYG8BFAK/e1, lemma 4.7

History

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

minimal vertex cover KKCPQWE9J3

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

Mentions

wikidata: Wikidata Q93604600, minimal vertex cover (unknown). Also MathWorld MinimalVertexCover

History

2026-10-26: add by m2/dev

Pepper Rodgers KKCRMJEHN3

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#WG6G, Pepper Rodgers (unknown)

History

2026-11-02: add by m2/dev

KKCS08BATR KKCS08BATR

URI	`m2://inv/KKCS08BATR`
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.36045#E8P0 (statement). In F0E8YBV0Z0/e1, theorem 6.13

History

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

KKD81QH8V9 KKD81QH8V9

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-62 (exercise). In E59CDZA4DP, exercise, section 4.5.6

History

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

Polynomially uniform Gaussian window KKDSEN8GMS

URI	`m2://inv/KKDSEN8GMS`
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.09472#0I05, Polynomially uniform Gaussian window (statement). In 35925M9GJW/e1, lemma E.1

History

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

Robert I. Soare KKDX1T50CH

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#7X35, Robert I. Soare (topic)

History

2026-11-02: add by m2/dev

KKDZF3M8PE KKDZF3M8PE

URI	`m2://inv/KKDZF3M8PE`
Kind	statement
Layer	research
MSC	17-XX, 19-XX, 46-XX, 47-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 2504.00596#9UVR (statement). In F8RC6AENB0/e1, proposition 4.6

History

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

Successor KKE08HEZP1

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

Mentions

arxiv: arXiv math/0003117#WH68, Successor (definition). In WD2NCBV9F0/e1, definition 17.1

History

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

Victory Gardens KKE3BPJ5AX

URI	`m2://inv/KKE3BPJ5AX`
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#YRCE, Victory Gardens (unknown)

History

2026-11-02: add by m2/dev

KKE537YTE5 KKE537YTE5

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise:rankmatrix (exercise). In E9HS8K3A52, exercise, section 2.3.6

History

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

(ergodic) KKE9JTJR6S

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

Mentions

wikipedia: Wikipedia Rokhlin lemma#4OUP, (ergodic) (statement)

History

2026-11-02: add by m2/dev

algebraic KKEAFM7AB0

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

Mentions

wikipedia: Wikipedia Glossary of category theory#7O8X, algebraic (definition)

History

2026-11-02: add by m2/dev

KKEAZQN796 KKEAZQN796

URI	`m2://inv/KKEAZQN796`
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 2407.04161#8OH4 (statement). In JBZJ7NPQ4G/e1, theorem 3.1

History

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

KKEBXCQQP5 KKEBXCQQP5

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

Mentions

arxiv: arXiv 2610.20663#NOHS (statement). In AZMX0CY5NE/e1, lemma 3

History

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

KKEGM74YCC KKEGM74YCC

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

Mentions

arxiv: arXiv 2609.29574#DG39 (statement)

History

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

KKERX32K5K KKERX32K5K

URI	`m2://inv/KKERX32K5K`
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.14582#JJHO (statement). In 6XP6PD2XZA/e1, corollary 1.4

History

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

Cunliffe, Stella KKESCQFQRW

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

Mentions

wikipedia: Wikipedia List of statisticians#3VVI, Cunliffe, Stella (unknown)

History

2026-11-02: add by m2/dev

KKEWN0A2XJ KKEWN0A2XJ

URI	`m2://inv/KKEWN0A2XJ`
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.28540#8YBE (statement)

History

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

KKF47PHRCD KKF47PHRCD

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

Mentions

arxiv: arXiv 2609.27518#K614 (statement)

History

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

KL-hardness for conditional sampling KKF6WWDHRH

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

Mentions

arxiv: arXiv 2610.14615#YBF1, KL-hardness for conditional sampling (definition). In 7D5MMP8XB5/e1, definition 2.22

History

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

KKF8DCPK7C KKF8DCPK7C

URI	`m2://inv/KKF8DCPK7C`
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#JW5P (statement). In B2VB5T5WQD/e1, corollary 4.2

History

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

KKF9ZZEPAV KKF9ZZEPAV

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

Mentions

napkin: napkin tex/diffgeo/stokes.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 46.1

History

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

George Andrews KKFA850WTR

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#W1PV, George Andrews (topic)

History

2026-11-02: add by m2/dev

On $\gcd(|C|, \dim V) = 1$ KKFHWF52G2

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

Mentions

napkin: napkin tex/rep-theory/applications.tex#lem:burnside_ant_lemma, On $\gcd(|C|, \dim V) = 1$ (statement). In RZP28ERRZV, lemma, section 78.2

History

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

Alexander duality KKFJ39JEMB

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

Mentions

wikipedia: Wikipedia Alexander duality, Alexander duality (definition). Also Wikidata Q4720484

History

2026-11-02: add by m2/dev

Cubic parabola KKGK0PT502

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

Mentions

wikipedia: Wikipedia List of curves#9AXQ, Cubic parabola (definition)

History

2026-11-02: add by m2/dev

Point-slope form KKGQT8614W

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

Mentions

wikipedia: Wikipedia Linear equation#CJC9, Point-slope form (unknown)

History

2026-11-02: add by m2/dev

Certificate-based encryption KKGTCVD5HP

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

Mentions

wikipedia: Wikipedia Certificate-based encryption, Certificate-based encryption (definition). Also Wikidata Q5065067

History

2026-11-02: add by m2/dev

M. Ram Murty KKGY9W607Z

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

Mentions

wikipedia: Wikipedia M. Ram Murty, M. Ram Murty (topic). Also Wikidata Q470508

History

2026-11-02: add by m2/dev

Einstein ring KKH0GA0BN2

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

Mentions

wikipedia: Wikipedia Einstein ring, Einstein ring (definition). Also Wikidata Q912471

History

2026-11-02: add by m2/dev

Canonical interval count KKHE1BJ40Z

URI	`m2://inv/KKHE1BJ40Z`
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.22305#A22G, Canonical interval count (statement). In P6FTXTV09Q/e1, lemma 3.2

History

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

KKHMKZRBFF KKHMKZRBFF

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

Mentions

arxiv: arXiv 2610.18562#CZW0 (statement). In 793KXAR957/e1, lemma 3.2

History

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

golden ratio KKHRP155WN

URI	`m2://inv/KKHRP155WN`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Golden ratio 0SC8T7548D

Mentions

wikidata: Wikidata Q41690, golden ratio (object). Also EoM Golden_ratio, MathWorld GoldenRatio, nLab golden ratio, OEIS A001622, ProofWiki Definition:Golden_Mean
wikipedia: Wikipedia Golden ratio, Golden ratio (definition). Also Wikidata Q41690

History

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

KKHW8YWQ5Z KKHW8YWQ5Z

URI	`m2://inv/KKHW8YWQ5Z`
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 2409.03423#HDCK (statement). In 8C5YCMN81V/e1, lemma 1

History

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

quasi KKJ259G308

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#0A73, quasi (definition)

History

2026-11-02: add by m2/dev

KKJ2DQDCPV KKJ2DQDCPV

URI	`m2://inv/KKJ2DQDCPV`
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.30637#DYJO (statement). In 6G1KBA0SXV/e1, proposition 2.4

History

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

KKJ2QX54RM KKJ2QX54RM

URI	`m2://inv/KKJ2QX54RM`
Kind	definition
Layer	research
MSC	17-XX, 19-XX, 46-XX, 47-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 2504.00596#26WB (definition). In F8RC6AENB0/e1, definition 2.16

History

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

\textsc{Gap-Convexity KKJ2ZN427K

URI	`m2://inv/KKJ2ZN427K`
Kind	problem
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.01812#AYOQ, \textsc{Gap-Convexity (problem). In FQPVSYXAGC/e1, problem 1

History

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

Formal definition KKJ7CWQVA8

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

Mentions

wikipedia: Wikipedia Stochastic cellular automaton#Y2JG, Formal definition (definition)

History

2026-11-02: add by m2/dev

KKJAKHVHNC KKJAKHVHNC

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

Mentions

austin_ula: austin_ula src/exercises/exercises6-4.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 6.4

History

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

Relative efficiency KKJC6Z0K1N

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

Mentions

wikipedia: Wikipedia List of statistics articles#65R5, Relative efficiency (definition)

History

2026-11-02: add by m2/dev

Alternating direction implicit method KKJC7KFN9F

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#RR0O, Alternating direction implicit method (definition)

History

2026-11-02: add by m2/dev

Endpoint absorption KKJD0DCC2Z

URI	`m2://inv/KKJD0DCC2Z`
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.14509#TMO6, Endpoint absorption (statement). In N6GD8392QB/e1, lemma 12.1

History

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

KKJJTC3EV3 KKJJTC3EV3

URI	`m2://inv/KKJJTC3EV3`
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 2610.04046#HDAX (definition). In 3THDT8WNF7/e1, definition 8

History

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

Example KKJKN42SE6

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

Mentions

wikipedia: Wikipedia Maximal compact subgroup#UHR6, Example (example)

History

2026-11-02: add by m2/dev

Definitions KKJSAKN40J

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

Mentions

wikipedia: Wikipedia Hyperbolic secant distribution#BN0Z, Definitions (definition)

History

2026-11-02: add by m2/dev

Occupancy frequency distribution KKJVEA0VH2

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

Mentions

wikipedia: Wikipedia List of statistics articles#BO4Y, Occupancy frequency distribution (definition)

History

2026-11-02: add by m2/dev

KKJZZDRG0N KKJZZDRG0N

URI	`m2://inv/KKJZZDRG0N`
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 2507.05417#9N6J (statement). In RGHZ863Q26/e1, theorem 1.8

History

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

KKK4DW7TPG KKK4DW7TPG

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#cor:NegateImplication (statement). In P1C114YBXG, corollary, section D

History

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

Olaus Henrici KKKBJ41AKR

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

Mentions

wikipedia: Wikipedia Olaus Henrici, Olaus Henrici (topic). Also Wikidata Q571690

History

2026-11-02: add by m2/dev

Lemma KKKHFM9P0M

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

Mentions

wikipedia: Wikipedia Logarithmic Sobolev inequalities#2ZD8, Lemma (statement)

History

2026-11-02: add by m2/dev

Definition KKKS7F7WKR

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

Mentions

wikipedia: Wikipedia Convex cap#DU52, Definition (definition)

History

2026-11-02: add by m2/dev

KKM6XME4BJ KKM6XME4BJ

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

Mentions

arxiv: arXiv 2609.23424#ZA29 (statement)

History

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

abelian KKMBF0V9A0

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

Mentions

wikipedia: Wikipedia Glossary of category theory#WO0Q, abelian (definition)

History

2026-11-02: add by m2/dev

Geometric programming KKMJM5JPBC

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

Mentions

wikipedia: Wikipedia Geometric programming, Geometric programming (definition). Also Wikidata Q2078279

History

2026-11-02: add by m2/dev

Conjunction elimination KKMMQ3N0ZD

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

Mentions

wikipedia: Wikipedia Conjunction elimination, Conjunction elimination (definition). Also Wikidata Q9289849

History

2026-11-02: add by m2/dev

Definition KKMRNH2NP3

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

Mentions

wikipedia: Wikipedia Dependency graph#3XOX, Definition (definition)

History

2026-11-02: add by m2/dev

Alfred Tarski KKMWN24DW6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#S963, Alfred Tarski (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#REUO, Alfred Tarski (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WSXU, Alfred Tarski (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XQ8E, Alfred Tarski (topic)

History

2026-11-02: add by m2/dev

Schwartz space KKMZMFFKJG

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

Mentions

wikipedia: Wikipedia List of vector spaces in mathematics#YZL7, Schwartz space (definition)

History

2026-11-02: add by m2/dev

Interpolation space KKNBB97KZH

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

Mentions

wikipedia: Wikipedia Interpolation space, Interpolation space (definition). Also Wikidata Q3058180

History

2026-11-02: add by m2/dev

KKNFF0KWBN KKNFF0KWBN

URI	`m2://inv/KKNFF0KWBN`
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.05784#H1TG (definition). In 6NVP3YRWVA/e1, definition 4.13

History

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

KKNNNQB517 KKNNNQB517

URI	`m2://inv/KKNNNQB517`
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.12169#Y5SZ (definition). In 645GF9SFWM/e1, definition 25

History

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

KKNR2Z057D KKNR2Z057D

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

Mentions

arxiv: arXiv 1512.06981#T902 (statement). In X923ZEY423/e1, lemma 1.3.4

History

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

Ernest Michael KKNSQHKBCR

URI	`m2://inv/KKNSQHKBCR`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q328031, Ernest Michael (unknown). Also nLab Ernest Michael

History

2026-10-26: add by m2/dev

KKNWFJYHTC KKNWFJYHTC

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

Mentions

arxiv: arXiv 2609.25431#HRFJ (statement)

History

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

KKP0K63NYM KKP0K63NYM

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

Mentions

arxiv: arXiv 2609.24041#7LTV (definition)

History

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

Vinod Johri KKP38TYZBT

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#CW2E, Vinod Johri (unknown)

History

2026-11-02: add by m2/dev

Social steganography KKP5BNRMCC

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

Mentions

wikipedia: Wikipedia Steganography#400B, Social steganography (unknown)

History

2026-11-02: add by m2/dev

KKP6WH13CC KKP6WH13CC

URI	`m2://inv/KKP6WH13CC`
Kind	statement
Layer	research
MSC	62-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 2601.13782#WLXL (statement). In 12RSHWCNMX/e1, theorem 1

History

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

Race and ethnicity in censuses KKPD9PG5T9

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

Mentions

wikipedia: Wikipedia Race and ethnicity in censuses, Race and ethnicity in censuses (definition). Also Wikidata Q7278939

History

2026-11-02: add by m2/dev

Hermann Minkowski KKPFH95Q7F

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4MCE, Hermann Minkowski (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z21P, Hermann Minkowski (topic)
wikipedia: Wikipedia List of German mathematicians#PP22, Hermann Minkowski (topic)

History

2026-11-02: add by m2/dev

golden angle KKPMKXZ7V4

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

Mentions

wikidata: Wikidata Q2296486, golden angle (concept). Also MathWorld GoldenAngle
wikipedia: Wikipedia Golden angle, Golden angle (definition). Also Wikidata Q2296486

History

2026-10-26: add by m2/dev

Consumption distribution KKPSAD9QHK

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

Mentions

wikipedia: Wikipedia List of statistics articles#Z99Y, Consumption distribution (definition)

History

2026-11-02: add by m2/dev

KKQ5FPJZ98 KKQ5FPJZ98

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

Mentions

arxiv: arXiv 2512.07470#PXE1 (statement). In XPF72KTPMZ/e1, theorem 4

History

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

KKQA4PS5KG KKQA4PS5KG

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

Mentions

napkin: napkin tex/alg-NT/galois.tex#lem:root_shuffle (statement). In RZP28ERRZV, lemma, section 14.5

History

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

Definition KKQAZJ5W78

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

Mentions

wikipedia: Wikipedia Eisenstein–Kronecker number#DJUD, Definition (definition)

History

2026-11-02: add by m2/dev

Lorentz–FitzGerald contraction hypothesis KKQD26DRCP

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

Mentions

wikipedia: Wikipedia List of mathematical topics in relativity#RR3N, Lorentz–FitzGerald contraction hypothesis (definition)

History

2026-11-02: add by m2/dev

KKQEY0KXNX KKQEY0KXNX

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

Mentions

open_logic: open_logic content/second-order-logic/metatheory/loewenheim-skolem.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 65.3

History

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

KKQGVCMBWQ KKQGVCMBWQ

URI	`m2://inv/KKQGVCMBWQ`
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 2610.07122#AHAR (definition). In W0ZHX9DHPV/e1, definition 6

History

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

Logic in Islamic philosophy KKQHCS9C6B

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

Mentions

wikipedia: Wikipedia Logic in Islamic philosophy, Logic in Islamic philosophy (definition). Also Wikidata Q6667461

History

2026-11-02: add by m2/dev

KKQKDT2C4R KKQKDT2C4R

URI	`m2://inv/KKQKDT2C4R`
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.09483#T1E0 (statement). In N1MQ8F9JN6/e1, lemma 3.1

History

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

Elliott Ward Cheney Jr. KKQPRHC8TA

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#F1OX, Elliott Ward Cheney Jr. (topic)

History

2026-11-02: add by m2/dev

Sunčica Čanić KKQZ7Z3E2K

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

Mentions

wikipedia: Wikipedia Sunčica Čanić, Sunčica Čanić (topic). Also Wikidata Q21127584

History

2026-11-02: add by m2/dev

KKR7RV8H6N KKR7RV8H6N

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

Mentions

napkin: napkin tex/alg-NT/numfield.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 16.3

History

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

Marta Kwiatkowska KKR870RR5C

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

Mentions

wikipedia: Wikipedia List of women logicians#9MP3, Marta Kwiatkowska (unknown)

History

2026-11-02: add by m2/dev

KKRKKV8WER KKRKKV8WER

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

Mentions

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

History

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

inconsistent arithmetic KKRPFXM55C

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

Mentions

wikipedia: Wikipedia Glossary of logic#WNT5, inconsistent arithmetic (definition)

History

2026-11-02: add by m2/dev

KKRTBJ3BPN KKRTBJ3BPN

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

Mentions

arxiv: arXiv 2610.08638#3F6G (statement). In 113VZ5XX7J/e1, proposition 6.1

History

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

KKSBCBW00C KKSBCBW00C

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

Mentions

arxiv: arXiv 2609.28411#CHMX (statement)

History

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

Fundamental --- \textsc{Ctx-Emp KKSDKESCJD

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

Mentions

arxiv: arXiv 2610.21131#V1CA, Fundamental --- \textsc{Ctx-Emp (statement). In CPYWHRTPKC/e1, lemma 6.50

History

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

KKSEHHGRHN KKSEHHGRHN

URI	`m2://inv/KKSEHHGRHN`
Kind	statement
Layer	research
MSC	17-XX, 18-XX, 46-XX, 47-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.20725#YISO (statement)

History

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

KKSF2K7HBR KKSF2K7HBR

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

Mentions

arxiv: arXiv 2609.29489#989F (statement)

History

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

Erdős–Heilbronn conjecture KKSFSBCA7P

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

Mentions

wikipedia: Wikipedia Restricted sumset#H0AY, Erdős–Heilbronn conjecture (statement)

History

2026-11-02: add by m2/dev

KKSKACXSTQ KKSKACXSTQ

URI	`m2://inv/KKSKACXSTQ`
Kind	statement
Layer	research
MSC	17-XX, 19-XX, 46-XX, 47-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 2504.00596#DCFU (statement). In F8RC6AENB0/e1, theorem 6.20

History

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

Sue Whitesides KKSQ3MM8YM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ZZKH, Sue Whitesides (topic)

History

2026-11-02: add by m2/dev

Intentionality fallacy KKSQWCXR9J

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

Mentions

wikipedia: Wikipedia List of fallacies#UP0N, Intentionality fallacy (unknown)

History

2026-11-02: add by m2/dev

Pilish KKSV3ZCMQR

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

Mentions

wikipedia: Wikipedia List of topics related to π#4GDM, Pilish (definition)

History

2026-11-02: add by m2/dev

Steiner–Lehmus theorem KKTHACJPMW

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

Mentions

mathlib_1000: mathlib_1000 Q1631992, Steiner–Lehmus theorem (statement). Also Wikidata Q1631992
thousand_plus: thousand_plus Q1631992, Steiner–Lehmus theorem (statement). Also Wikidata Q1631992, Wikipedia Steiner–Lehmus theorem
wikidata: Wikidata Q1631992, Steiner–Lehmus theorem (statement). Also MathWorld Steiner-LehmusTheorem
wikipedia: Wikipedia Steiner–Lehmus theorem, Steiner–Lehmus theorem (statement). Also Wikidata Q1631992

History

2026-10-26: add by m2/dev

1927 Costa Rican census KKTNJT1GYE

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

Mentions

wikipedia: Wikipedia 1927 Costa Rican census, 1927 Costa Rican census (definition). Also Wikidata Q100151947

History

2026-11-02: add by m2/dev

Examples KKTP9P8QCM

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

Mentions

wikipedia: Wikipedia Thom–Mather stratified space#2371, Examples (example)

History

2026-11-02: add by m2/dev

Properties KKTXR8TXAN

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

Mentions

wikipedia: Wikipedia Normal fan#JOCV, Properties (statement)

History

2026-11-02: add by m2/dev

Main result KKV0S4C3B7

URI	`m2://inv/KKV0S4C3B7`
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#JTT6, Main result (statement)

History

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

Theorem (Existence of a periodic orbit) KKV59SWB7D

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

Mentions

wikipedia: Wikipedia Method of averaging#OIAY, Theorem (Existence of a periodic orbit) (statement)

History

2026-11-02: add by m2/dev

Max Newman KKVDFKW31K

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

Mentions

wikipedia: Wikipedia List of cryptographers#3D0I, Max Newman (topic)

History

2026-11-02: add by m2/dev

Krull's principal ideal theorem KKVQYV7SGR

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

Mentions

mathlib_1000: mathlib_1000 Q3527241, Krull's principal ideal theorem (statement). Also Mathlib Ideal.height_le_one_of_isPrincipal_of_mem_minimalPrimes, Wikidata Q3527241
thousand_plus: thousand_plus Q3527241, Krull's principal ideal theorem (statement). Also Mathlib Ideal.height_le_one_of_isPrincipal_of_mem_minimalPrimes, Wikidata Q3527241, Wikipedia Krull's principal ideal theorem
wikipedia: Wikipedia Krull's principal ideal theorem, Krull's principal ideal theorem (statement). Also Wikidata Q3527241

History

2026-10-26: add by m2/dev

Marco Marra KKW054QPMH

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#FF0R, Marco Marra (unknown)

History

2026-11-02: add by m2/dev

Doob–Meyer decomposition theorem KKW5Q4Z2DT

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

Mentions

mathlib_1000: mathlib_1000 Q5296972, Doob–Meyer decomposition theorem (statement). Also Wikidata Q5296972
thousand_plus: thousand_plus Q5296972, Doob–Meyer decomposition theorem (statement). Also Wikidata Q5296972, Wikipedia Doob–Meyer decomposition theorem
wikipedia: Wikipedia Doob–Meyer decomposition theorem, Doob–Meyer decomposition theorem (statement). Also Wikidata Q5296972

History

2026-10-26: add by m2/dev

diffeomorphisms KKW6W2NYF5

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

Mentions

mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > diffeomorphisms, diffeomorphisms (unknown). Also Mathlib Structomorph

History

2026-10-26: add by m2/dev

KKW9VZD1AZ KKW9VZD1AZ

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

Mentions

arxiv: arXiv 2609.26450#2J8B (statement)

History

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

Perseus (geometer) KKWQ0YQS3A

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#4SJE, Perseus (geometer) (topic)

History

2026-11-02: add by m2/dev

KKWRAZVZRV KKWRAZVZRV

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

History

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

KKWSRJ0ZAY KKWSRJ0ZAY

URI	`m2://inv/KKWSRJ0ZAY`
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.33050#LUI7 (statement). In VDSBMQ0G9W/e1, corollary 3.4

History

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

KKWV6FW4XZ KKWV6FW4XZ

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

Mentions

arxiv: arXiv 2609.38567#PLNK (statement). In 59AXA7QFTE/e1, corollary 2

History

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

Frank–Wolfe algorithm KKX1EFHCP3

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

Mentions

wikipedia: Wikipedia Frank–Wolfe algorithm, Frank–Wolfe algorithm (definition). Also Wikidata Q2020318

History

2026-11-02: add by m2/dev

Exact layer-cake identity KKX524QZHD

URI	`m2://inv/KKX524QZHD`
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.20643#YMGF, Exact layer-cake identity (statement)

History

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

KKX5EDZ4QB KKX5EDZ4QB

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#thm:FTCv1 (statement). In E59CDZA4DP, thm, section 8.3.1

History

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

KKX5X8QDWE KKX5X8QDWE

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

Mentions

arxiv: arXiv 2610.20558#37WZ (definition). In 46370P3Y9S/e1, definition 4.9

History

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

KKX6Y2EY28 KKX6Y2EY28

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

Mentions

arxiv: arXiv 2609.22924#3XN8 (statement)

History

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

complex division KKX8AHHTF3

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

Mentions

wikidata: Wikidata Q141542471, complex division (unknown). Also MathWorld ComplexDivision

History

2026-10-26: add by m2/dev

KKX920SHHQ KKX920SHHQ

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

Mentions

arxiv: arXiv 2609.26479#5SP5 (statement)

History

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

Examples KKX9VM9VQV

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

Mentions

wikipedia: Wikipedia Euclid number#5E70, Examples (example)

History

2026-11-02: add by m2/dev

KKXADGDXNN KKXADGDXNN

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

Mentions

arxiv: arXiv 2610.07508#HCNL (statement). In TPA3E67MKK/e1, corollary 8.5

History

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

Definition KKXATNQFGR

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

Mentions

wikipedia: Wikipedia Bipolar coordinates#7GI1, Definition (definition)

History

2026-11-02: add by m2/dev

KKXC4GA8VM KKXC4GA8VM

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-36 (exercise). In E59CDZA4DP, exercise, section 4.3.4

History

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

Stanley KKXECR73B6

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#38BH, Stanley (definition)

History

2026-11-02: add by m2/dev

KKXMD8G2TX KKXMD8G2TX

URI	`m2://inv/KKXMD8G2TX`
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.22296#P5IV (statement)

History

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

Second main theorem KKXPZN153M

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

Mentions

wikipedia: Wikipedia Ahlfors theory#C0RY, Second main theorem (statement)

History

2026-11-02: add by m2/dev

\texttt{Bounds on the moments KKXQVG6A2K

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

Mentions

arxiv: arXiv 2610.06343#LAMP, \texttt{Bounds on the moments (statement). In R8176XJ535/e1, theorem 3.3

History

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

Distribution Relations KKY069BYHX

URI	`m2://inv/KKY069BYHX`
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.10365#J44V, Distribution Relations (statement). In PRVQPSBVHK/e1, lemma 1

History

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

KKY38KTTMB KKY38KTTMB

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

Mentions

arxiv: arXiv 2609.32174#085R (statement). In GHKR740SG3/e1, corollary 3.1

History

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

Filling area conjecture KKY3PC7Y7K

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

Mentions

wikipedia: Wikipedia Filling area conjecture, Filling area conjecture (conjecture). Also Wikidata Q5448828

History

2026-11-02: add by m2/dev

KKYBW7H578 KKYBW7H578

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

Mentions

arxiv: arXiv 2609.26386#TCIX (definition)

History

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

KKYC93F125 KKYC93F125

URI	`m2://inv/KKYC93F125`
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#NBJT (statement). In VPZSCE8HFP/e1, lemma 2.3

History

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

adjective KKYK9THY09

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

Mentions

hott_book: hott_book index/9.10/adjective, adjective (concept). In N54F33XE07, index, section 9.10

History

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

Type-two computable number KKYR0362KS

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

Mentions

arxiv: arXiv 2506.08233#AE31, Type-two computable number (definition). In 2TXXQ2575Y/e1, definition 3.5

History

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

Linear profile decomposition in $L_x^2 ( \mathbb{R}^d)$ KKYSS807K7

URI	`m2://inv/KKYSS807K7`
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.28454#68FG, Linear profile decomposition in $L_x^2 ( \mathbb{R}^d)$ (statement)

History

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

KKYWAHDBKW KKYWAHDBKW

URI	`m2://inv/KKYWAHDBKW`
Kind	definition
Layer	research
MSC	16-XX, 20-XX, 22-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.00146#1J6T (definition). In 6KR7Z5ETRY/e1, definition 2.43

History

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

Curry–Howard isomorphism KKYWZ9XGYX

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#2IOB, Curry–Howard isomorphism (definition)

History

2026-11-02: add by m2/dev

Demographics of Sarawak KKZ8WPYZXS

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

Mentions

wikipedia: Wikipedia Demographics of Sarawak, Demographics of Sarawak (definition). Also Wikidata Q5256076

History

2026-11-02: add by m2/dev

Applications KKZCCS6FN4

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

Mentions

wikipedia: Wikipedia Eutactic star#KA33, Applications (example)

History

2026-11-02: add by m2/dev

Pieri's formula KKZNNPXR5M

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

Mentions

wikipedia: Wikipedia Pieri's formula, Pieri's formula (statement). Also Wikidata Q7191884

History

2026-11-02: add by m2/dev

Additive function KKZQPX60JN

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

Mentions

wikipedia: Wikipedia List of types of functions#6AZG, Additive function (definition)

History

2026-11-02: add by m2/dev

Contractivity of the Heun kernel KKZRBQQJVA

URI	`m2://inv/KKZRBQQJVA`
Kind	statement
Layer	research
MSC	62-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.06308#DSL4, Contractivity of the Heun kernel (statement). In HTWSDDAWGS/e1, proposition 3.2

History

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