Inventory rows X4

Bulletin of the International Statistical Institute X404JHGXG8

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

Mentions

wikidata: Wikidata Q25304787, Bulletin of the International Statistical Institute (unknown). Also ProofWiki Book:Journal/Bulletin_of_the_International_Statistical_Institute

History

2026-10-26: add by m2/dev

X404WMX5BT X404WMX5BT

URI	`m2://inv/X404WMX5BT`
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 2207.12181#7GGA (statement). In FSD8NE3XSR/e1, lemma 3.7

History

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

Pooled QMLE for Poisson Models X407SZS78Y

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

Mentions

wikipedia: Wikipedia Partial likelihood methods for panel data#7O6N, Pooled QMLE for Poisson Models (unknown)

History

2026-11-02: add by m2/dev

X40D0YM47V X40D0YM47V

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

Mentions

arxiv: arXiv 2609.33015#CWUI (statement). In W6Y6NPK648/e1, theorem 1.2

History

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

X40J1PQQDQ X40J1PQQDQ

URI	`m2://inv/X40J1PQQDQ`
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.39981#KRL0 (statement). In PMMV6YAEVR/e1, corollary 1

History

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

Sharpness of the section bound X40KMN020E

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

Mentions

arxiv: arXiv 2610.09295#9NMR, Sharpness of the section bound (example). In 29X0B511NF/e1, example 11.1

History

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

Centered fixed-norm translations give correlation distance X40PN662K5

URI	`m2://inv/X40PN662K5`
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.31544#2DUX, Centered fixed-norm translations give correlation distance (statement). In TX449S1VZV/e1, proposition A.4

History

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

William Brereton, 3rd Baron Brereton X40SRENKAQ

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

Mentions

wikipedia: Wikipedia William Brereton, 3rd Baron Brereton, William Brereton, 3rd Baron Brereton (topic). Also Wikidata Q8005897

History

2026-11-02: add by m2/dev

X410A9D85P X410A9D85P

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

Mentions

arxiv: arXiv 2309.17091#BDWJ (statement). In N0JJM098W2/e1, theorem 13

History

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

Analytic set X414CW03VD

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

Mentions

wikipedia: Wikipedia List of properties of sets of reals#C1H9, Analytic set (definition)

History

2026-11-02: add by m2/dev

Bayes-floor obstruction at finite rate X418N5Q567

URI	`m2://inv/X418N5Q567`
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.00291#UQJ4, Bayes-floor obstruction at finite rate (statement). In JXCHERE2AF/e1, proposition 9

History

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

X41QVTQP2E X41QVTQP2E

URI	`m2://inv/X41QVTQP2E`
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 2609.27125#PPCV (statement)

History

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

Properties X41RGZAFPQ

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

Mentions

wikipedia: Wikipedia Path cover#8HO6, Properties (statement)

History

2026-11-02: add by m2/dev

Pell's equation X41ST3TQ6P

URI	`m2://inv/X41ST3TQ6P`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	5
Outcome	node (a node has the same name as the row)
Node	Pell's equation 0AF3DANJ76

Mentions

mathlib_100: mathlib_100 39, Solutions to Pell’s Equation (statement). Also Mathlib Pell.eq_pell, Mathlib Pell.exists_of_not_isSquare
mathlib_1000: mathlib_1000 Q853067, Solutions to Pell's equation (statement). Also Mathlib Pell.eq_pell, Mathlib Pell.exists_of_not_isSquare, Wikidata Q853067
thousand_plus: thousand_plus Q853067, Solutions to Pell's equation (statement). Also Mathlib Pell.eq_pell, Mathlib Pell.exists_of_not_isSquare, Wikidata Q853067, Wikipedia Pell's equation
wikidata: Wikidata Q853067, Pell's equation (statement). Also MathWorld PellEquation, ProofWiki Pell's_Equation
wikipedia: Wikipedia Pell's equation, Pell's equation (definition). Also Wikidata Q853067

History

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

denying the antecedent X41VMSQ6XJ

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

Mentions

wikipedia: Wikipedia Glossary of logic#6E08, denying the antecedent (definition)

History

2026-11-02: add by m2/dev

Generalizations X422VK4Q74

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

Mentions

wikipedia: Wikipedia Birkhoff's theorem (relativity)#6N0F, Generalizations (statement)

History

2026-11-02: add by m2/dev

X4279DNZ0D X4279DNZ0D

URI	`m2://inv/X4279DNZ0D`
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#ORCY (statement). In WRE0P7V6Z3/e1, proposition 7.3

History

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

Dali cross X42B786H7H

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

Mentions

wikipedia: Wikipedia Polycube#G9MN, Dali cross (unknown)

History

2026-11-02: add by m2/dev

X42NBGR4CN X42NBGR4CN

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

Mentions

arxiv: arXiv 2609.29759#ZVVB (statement)

History

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

block estimate X433AMD276

URI	`m2://inv/X433AMD276`
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.15610#XENU, block estimate (statement). In HENAFHBDQS/e1, lemma 4.3

History

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

X439JAXYXF X439JAXYXF

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

Mentions

arxiv: arXiv 2610.18618#C4FF (statement). In C8VC86B6H8/e1, lemma 6.4

History

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

X43A7GRK2B X43A7GRK2B

URI	`m2://inv/X43A7GRK2B`
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 2606.16311#PT6K (statement). In 3G0HCK0DVA/e1, lemma 3.2

History

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

Convolution theorem of Shehu transform X43GWMW4D7

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

Mentions

wikipedia: Wikipedia Shehu transform#Q47D, Convolution theorem of Shehu transform (statement)

History

2026-11-02: add by m2/dev

Evolvable hardware X43HTH55GM

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#22Z4, Evolvable hardware (unknown)

History

2026-11-02: add by m2/dev

Mark A. Lewis X44J7DWCJ2

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

Mentions

wikipedia: Wikipedia Mark A. Lewis, Mark A. Lewis (topic). Also Wikidata Q16218259

History

2026-11-02: add by m2/dev

Proportional cake-cutting X44PBY9XZ1

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

Mentions

wikipedia: Wikipedia Proportional cake-cutting, Proportional cake-cutting (definition). Also Wikidata Q24963601

History

2026-11-02: add by m2/dev

Gibbons–Hawking space X44S7WTGHE

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

Mentions

wikipedia: Wikipedia Gibbons–Hawking space, Gibbons–Hawking space (definition). Also Wikidata Q5558921

History

2026-11-02: add by m2/dev

Joseph P. LaSalle X44T6A8KG5

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

Mentions

wikipedia: Wikipedia Joseph P. LaSalle, Joseph P. LaSalle (topic). Also Wikidata Q15455952

History

2026-11-02: add by m2/dev

X44TAECNCR X44TAECNCR

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

Mentions

arxiv: arXiv 2610.05391#P798 (definition). In 9B5TNEBJHV/e1, definition 2.15

History

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

Aleksandar Donev X44WYH01RX

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

Mentions

wikipedia: Wikipedia Aleksandar Donev, Aleksandar Donev (topic). Also Wikidata Q102412739

History

2026-11-02: add by m2/dev

Key distribution center X454M5H0D8

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#AI1A, Key distribution center (unknown)

History

2026-11-02: add by m2/dev

X4577M9J18 X4577M9J18

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

Mentions

arxiv: arXiv 2609.36389#1RI2 (statement). In N1S169J2MV/e1, lemma 8

History

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

actuarial science X457BEW23B

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

Mentions

wikidata: Wikidata Q1128453, actuarial science (topic). Also MathWorld ActuarialScience
wikipedia: Wikipedia Actuarial science, Actuarial science (definition). Also Wikidata Q1128453

History

2026-10-26: add by m2/dev

Pop music X457MN09RR

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#LVA9, Pop music (unknown)

History

2026-11-02: add by m2/dev

MiMa Mineralogy and Mathematics Museum X45AWASDEE

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

Mentions

wikipedia: Wikipedia MiMa Mineralogy and Mathematics Museum, MiMa Mineralogy and Mathematics Museum (definition). Also Wikidata Q1494401

History

2026-11-02: add by m2/dev

Osgood lemma X45AX7EZGF

URI	`m2://inv/X45AX7EZGF`
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 2509.21121#INLQ, Osgood lemma (statement). In MTDABJF9AP/e1, lemma 2

History

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

X45SV65938 X45SV65938

URI	`m2://inv/X45SV65938`
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.09721#E9NO (statement). In 7MZ1MS2N11/e1, theorem 1.1

History

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

Girolamo Cardano X45TZCBNMY

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#S9YC, Girolamo Cardano (topic)

History

2026-11-02: add by m2/dev

finitely generated group X45XA5XYK1

URI	`m2://inv/X45XA5XYK1`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Finitely generated group 082DWWXMRJ

Mentions

wikidata: Wikidata Q21083858, finitely generated group (unknown). Also MathWorld FinitelyGenerated
wikipedia: Wikipedia Finitely generated group, Finitely generated group (definition). Also Wikidata Q21083858

History

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

X46K8CV253 X46K8CV253

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

Mentions

arxiv: arXiv 2609.36823#6DHK (statement). In 55WT8DME6Y/e1, corollary A.7

History

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

computation rule, propositional, for identities between pairs X46PG9YEJ5

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

Mentions

hott_book: hott_book index/1.6/computation-rule-propositional-for-identities-between-pairs, computation rule, propositional, for identities between pairs (concept). In N54F33XE07, index, section 1.6

History

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

Definition X46SZPMVCB

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

Mentions

wikipedia: Wikipedia General recursive function#GLBX, Definition (definition)

History

2026-11-02: add by m2/dev

Medley X46VAKD9EM

URI	`m2://inv/X46VAKD9EM`
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#7V4Q, Medley (unknown)

History

2026-11-02: add by m2/dev

fX X46YRKWHPW

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

Mentions

wikipedia: Wikipedia Glossary of set theory#BZWC, fX (definition)

History

2026-11-02: add by m2/dev

Paul Cohn X475KYFFE0

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#D8O1, Paul Cohn (topic)

History

2026-11-02: add by m2/dev

Coset conformal field theory X47C2MB7YN

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

Mentions

wikipedia: Wikipedia Wess–Zumino–Witten model#F7KC, Coset conformal field theory (unknown)

History

2026-11-02: add by m2/dev

X47DRK8082 X47DRK8082

URI	`m2://inv/X47DRK8082`
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.33733#FVTS (statement). In QBAP8C82FG/e1, theorem 2

History

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

X47DT7X3PZ X47DT7X3PZ

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 3.2

History

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

Gerda Claeskens X47M6FBJE0

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#9QHZ, Gerda Claeskens (topic)

History

2026-11-02: add by m2/dev

constructing approximations of probability density functions in spaces of common functions (trig, exp, rational, log, etc) X47NPQAPJB

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

Mentions

mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{D}(\R^d)$ > constructing approximations of probability density functions in spaces of common functions (trig, exp, rational, log, etc), constructing approximations of probability density functions in spaces of common functions (trig, exp, rational, log, etc) (unknown)

History

2026-10-26: add by m2/dev

X481W1MAF5 X481W1MAF5

URI	`m2://inv/X481W1MAF5`
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.33643#RMA3 (statement). In G8Y8XD02EC/e1, proposition 6.5

History

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

Fullerene X484SGB41E

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

Mentions

wikipedia: Wikipedia Fullerene, Fullerene (definition). Also Wikidata Q178026

History

2026-11-02: add by m2/dev

X4871XY98N X4871XY98N

URI	`m2://inv/X4871XY98N`
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 2610.03081#5YNG (statement). In TX0H26X4VX/e1, proposition 4.2

History

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

Exceptional valuation two X48JY5K5N6

URI	`m2://inv/X48JY5K5N6`
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.15262#WTNQ, Exceptional valuation two (statement). In C44HVXWYRF/e1, lemma 4.2

History

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

Power-law probability distributions X48KS6MZ9B

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

Mentions

wikipedia: Wikipedia Power law#J5NL, Power-law probability distributions (statement)

History

2026-11-02: add by m2/dev

The 85 Ways to Tie a Tie X48S283QP2

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

Mentions

wikipedia: Wikipedia The 85 Ways to Tie a Tie, The 85 Ways to Tie a Tie (definition). Also Wikidata Q7711997

History

2026-11-02: add by m2/dev

Simple Mendelian trait X48VEX0K7W

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

Mentions

wikipedia: Wikipedia Mendelian inheritance#P1M6, Simple Mendelian trait (unknown)

History

2026-11-02: add by m2/dev

Estimates of the kernel $K_{g}$ X4925QYJRC

URI	`m2://inv/X4925QYJRC`
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 2106.09062#II50, Estimates of the kernel $K_{g}$ (statement). In 8HAH8QVKDF/e1, lemma 2.1

History

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

A Mathematician's Apology X496MQX054

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

Mentions

wikidata: Wikidata Q619599, A Mathematician's Apology (unknown). Also ProofWiki Book:G.H._Hardy/A_Mathematician's_Apology

History

2026-10-26: add by m2/dev

X4974EFDZ8 X4974EFDZ8

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

Mentions

arxiv: arXiv 2610.16554#6F0A (statement). In GWNT8HEZG1/e1, proposition 4.5

History

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

X49CWX2H7A X49CWX2H7A

URI	`m2://inv/X49CWX2H7A`
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.28597#P1W9 (statement)

History

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

X49DBFDQH9 X49DBFDQH9

URI	`m2://inv/X49DBFDQH9`
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#RRIQ (definition). In QDRYC6WJJ7/e1, definition 4

History

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

X49E9Z5ARB X49E9Z5ARB

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

Mentions

arxiv: arXiv 2503.22636#084U (example). In 2X2A6MT0QD/e1, example 3.10

History

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

Hierarchical hidden Markov model X49PNM38YF

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

Mentions

wikipedia: Wikipedia Hierarchical hidden Markov model, Hierarchical hidden Markov model (definition). Also Wikidata Q17029368

History

2026-11-02: add by m2/dev

Epilogism X49RT92Q9C

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

Mentions

wikipedia: Wikipedia Epilogism, Epilogism (definition). Also Wikidata Q5383018

History

2026-11-02: add by m2/dev

X49VPJT4B6 X49VPJT4B6

URI	`m2://inv/X49VPJT4B6`
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 2405.05684#TAUR (definition). In 1PR73ECTZB/e1, definition 1

History

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

Examples X4A09RZ2W9

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

Mentions

wikipedia: Wikipedia Representable functor#Q8SE, Examples (example)

History

2026-11-02: add by m2/dev

Perpetual motion classification X4AA2YB0J6

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

Mentions

wikipedia: Wikipedia Perpetual motion#2NQY, Perpetual motion classification (unknown)

History

2026-11-02: add by m2/dev

Applications X4AEEYTW3E

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

Mentions

wikipedia: Wikipedia Monotone dualization#5H57, Applications (example)

History

2026-11-02: add by m2/dev

Harnack's principle X4AFEGCJ08

URI	`m2://inv/X4AFEGCJ08`
Kind	statement
Layer	textbook
MSC	30-XX
Sources	4
Outcome	open
Node	Harnack's principle P15K8RKHDV

Mentions

mathlib_1000: mathlib_1000 Q1135706, Harnack's theorem (statement). Also Wikidata Q1135706
thousand_plus: thousand_plus Q1135706, Harnack's theorem (statement). Also Wikidata Q1135706, Wikipedia Harnack's theorem
wikidata: Wikidata Q1135706, Harnack's principle (statement). Also MathWorld HarnacksPrinciple
wikipedia: Wikipedia Harnack's principle, Harnack's principle (statement). Also Wikidata Q1135706

History

2026-10-26: add by m2/dev

X4AHQCCEJP X4AHQCCEJP

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

Mentions

arxiv: arXiv 2011.12496#M0UJ (statement). In 1DH15ZJFRZ/e1, lemma 10

History

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

Stephen Hawking X4AHTWFRA1

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#0JWQ, Stephen Hawking (topic)

History

2026-11-02: add by m2/dev

Finite-pole pullback of a splitting X4AYN6EYH1

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

Mentions

arxiv: arXiv 2610.00490#G0GN, Finite-pole pullback of a splitting (statement). In PZJDV6SJ9E/e1, proposition 6.2

History

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

Intentional Logic X4B9CAPH3W

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

Mentions

wikipedia: Wikipedia Intentional Logic, Intentional Logic (definition). Also Wikidata Q6044454

History

2026-11-02: add by m2/dev

X4BDVPPQVP X4BDVPPQVP

URI	`m2://inv/X4BDVPPQVP`
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 2306.16411#YWDX (statement). In QQ222ZDZC0/e1, theorem 2.1

History

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

X4BFP0PNHA X4BFP0PNHA

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

Mentions

arxiv: arXiv 2610.12357#XTWU (example). In 1F26AF81XP/e1, example A.1

History

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

X4BKGJ5BN5 X4BKGJ5BN5

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

Mentions

applied_combinatorics: applied_combinatorics source/s_polya_exercises.ptx#ex_polya_cyclic12 (exercise). In QKM9DD2H56, exercise, section 15

History

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

X4C70QST4P X4C70QST4P

URI	`m2://inv/X4C70QST4P`
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.06081#D7IO (statement). In 7Z3KQRFEVG/e1, proposition 9.1

History

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

confluence X4C9D9EPRT

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

Mentions

wikidata: Wikidata Q1140902, confluence (topic). Also MathWorld Church-RosserProperty, MathWorld Confluent
wikipedia: Wikipedia Confluence (abstract rewriting), Confluence (definition). Also Wikidata Q1140902

History

2026-10-26: add by m2/dev

X4CF9AFDZM X4CF9AFDZM

URI	`m2://inv/X4CF9AFDZM`
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.27114#5RJ3 (statement)

History

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

Example 1 X4CH873YE1

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

Mentions

wikipedia: Wikipedia Half-range Fourier series#Q6CB, Example 1 (example)

History

2026-11-02: add by m2/dev

X4CP8G18CH X4CP8G18CH

URI	`m2://inv/X4CP8G18CH`
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.22374#GYV2 (statement)

History

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

Thiele's interpolation formula X4CQ1KEWTG

URI	`m2://inv/X4CQ1KEWTG`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Thiele's interpolation formula DANS1S61SX

Mentions

wikidata: Wikidata Q7783991, Thiele's interpolation formula (concept). Also MathWorld ThielesInterpolationFormula
wikipedia: Wikipedia Thiele's interpolation formula, Thiele's interpolation formula (statement). Also Wikidata Q7783991

History

2026-10-26: add by m2/dev

pullback X4CQ48QSC2

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

Mentions

wikidata: Wikidata Q25345330, pullback (unknown). Also nLab pullback in cohomology
wikipedia: Wikipedia Pullback (cohomology), Pullback (definition). Also Wikidata Q25345330

History

2026-10-26: add by m2/dev

type theory, intensional X4CW42CZ1A

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

Mentions

hott_book: hott_book index/1.15/type-theory-intensional, type theory, intensional (concept). In N54F33XE07, index, section 1.15

History

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

X4CZXQSG4D X4CZXQSG4D

URI	`m2://inv/X4CZXQSG4D`
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.40189#M851 (statement). In K2MDWD9V46/e1, corollary 4.2

History

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

X4D7NAJWM1 X4D7NAJWM1

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/downward-ls.tex#thm:downward-ls (statement). In PKGMM3P5QY, thm, section 11.2

History

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

Properties X4DD5QC9JK

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

Mentions

wikipedia: Wikipedia Matrix t-distribution#GUFX, Properties (statement)

History

2026-11-02: add by m2/dev

X4DEE2NNJP X4DEE2NNJP

URI	`m2://inv/X4DEE2NNJP`
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.11939#NP20 (statement). In DQMEN40FZV/e1, lemma 15

History

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

Properties X4DF5W2PS5

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

Mentions

wikipedia: Wikipedia Asymptotic expansion#YJJM, Properties (statement)

History

2026-11-02: add by m2/dev

Christian Lubich X4DH3AP06D

URI	`m2://inv/X4DH3AP06D`
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#IUN4, Christian Lubich (topic)

History

2026-11-02: add by m2/dev

Variants X4DX55TE96

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

Mentions

wikipedia: Wikipedia Heyawake#EYU0, Variants (statement)

History

2026-11-02: add by m2/dev

X4E36H12Z2 X4E36H12Z2

URI	`m2://inv/X4E36H12Z2`
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 2512.08487#T5HJ (definition). In 77TVQVYN0Z/e1, definition Definition

History

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

X4EADWJHYJ X4EADWJHYJ

URI	`m2://inv/X4EADWJHYJ`
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.03272#5BKE (statement). In H9ZC46G7BX/e1, proposition 4.4

History

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

Grönwall's inequality X4EB2YGARW

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

Mentions

wikipedia: Wikipedia Grönwall's inequality, Grönwall's inequality (statement). Also Wikidata Q510733

History

2026-11-02: add by m2/dev

Map segmentation X4EJSH1EKR

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

Mentions

wikipedia: Wikipedia Map segmentation, Map segmentation (definition). Also Wikidata Q24964156

History

2026-11-02: add by m2/dev

X4EQMB9VQY X4EQMB9VQY

URI	`m2://inv/X4EQMB9VQY`
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.37973#EG1K (statement). In 7276BGZRMP/e1, theorem 2

History

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

X4ER88WTF4 X4ER88WTF4

URI	`m2://inv/X4ER88WTF4`
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.00775#X7IK (statement). In WVHA7H05QC/e1, proposition 3.4

History

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

X4F3TYWFY8 X4F3TYWFY8

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-180 (exercise). In VNMV985MXX, exercise, section 3.2

History

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

Example X4F5FQMCJF

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

Mentions

wikipedia: Wikipedia Linear programming#3U66, Example (example)

History

2026-11-02: add by m2/dev

X4F5XBPB7J X4F5XBPB7J

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

Mentions

arxiv: arXiv 2602.15812#WNFQ (statement). In GAAZD3SGPN/e1, proposition

History

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

Depth map X4F70W9E7J

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#93DP, Depth map (unknown)

History

2026-11-02: add by m2/dev

Olav Kallenberg X4F7BZ105V

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#9IGI, Olav Kallenberg (topic)

History

2026-11-02: add by m2/dev

Jean-Pierre Bourguignon X4F88F9EA8

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

Mentions

wikipedia: Wikipedia Jean-Pierre Bourguignon, Jean-Pierre Bourguignon (topic). Also Wikidata Q1398883

History

2026-11-02: add by m2/dev

X4FBY5VZGZ X4FBY5VZGZ

URI	`m2://inv/X4FBY5VZGZ`
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 2305.10202#3SIM (statement). In ER06JKXR8B/e1, lemma 2.6

History

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

Heterogeneous sampling is semirandom X4FV0YCZ67

URI	`m2://inv/X4FV0YCZ67`
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.09030#YOI4, Heterogeneous sampling is semirandom (statement). In BYN44C0X0C/e1, proposition D.3

History

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

X4FV2P2JQ9 X4FV2P2JQ9

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

Mentions

arxiv: arXiv 2610.03559#OK1M (definition). In R68THJCHX6/e1, definition 4

History

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

Gravity–capillary wave X4G3QSNYTQ

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

Mentions

wikipedia: Wikipedia Capillary wave#HJKH, Gravity–capillary wave (unknown)

History

2026-11-02: add by m2/dev

List of special functions and eponyms X4G5X1500N

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#OJIH, List of special functions and eponyms (topic)

History

2026-11-02: add by m2/dev

Trewin, Dennis X4G676VT85

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

Mentions

wikipedia: Wikipedia List of statisticians#7QC6, Trewin, Dennis (topic)

History

2026-11-02: add by m2/dev

Mu-Fa Chen X4GAQ5T0TR

URI	`m2://inv/X4GAQ5T0TR`
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#Z02M, Mu-Fa Chen (unknown)

History

2026-11-02: add by m2/dev

X4GF5JVVSG X4GF5JVVSG

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

Mentions

napkin: napkin tex/H113/quotient.tex#ques-7 (exercise). In RZP28ERRZV, ques, section 3.5

History

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

X4GJ40TJ5N X4GJ40TJ5N

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

Mentions

hott_book: hott_book equivalences.tex#wfetofe (statement). In N54F33XE07, thm, section 3.9

History

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

Midhinge X4H61FEEJR

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

Mentions

wikipedia: Wikipedia List of statistics articles#YA2P, Midhinge (definition)

History

2026-11-02: add by m2/dev

X4HAW0JCQV X4HAW0JCQV

URI	`m2://inv/X4HAW0JCQV`
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.24355#X9ZW (statement)

History

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

X4HMHZR32G X4HMHZR32G

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/soundness.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 22.15

History

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

X4HQ22AT3D X4HQ22AT3D

URI	`m2://inv/X4HQ22AT3D`
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.25030#9K70 (statement)

History

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

X4HT3MCFPP X4HT3MCFPP

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#proof-16 (proof). In E59CDZA4DP, proof, section 4.3.3

History

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

X4J2AQAVC8 X4J2AQAVC8

URI	`m2://inv/X4J2AQAVC8`
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.24353#TF82 (statement)

History

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

X4J525E2AW X4J525E2AW

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

Mentions

arxiv: arXiv 2610.14914#LUI5 (definition). In CHC3T113Y4/e1, definition 4.7

History

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

Hume's principle X4J5WATGJA

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

Mentions

wikipedia: Wikipedia Glossary of logic#RMX8, Hume's principle (definition)

History

2026-11-02: add by m2/dev

X4J8E11VT5 X4J8E11VT5

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-23 (example). In E9HS8K3A52, example, section 5.10.2

History

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

Cameron–Erdős theorem X4JGQKQBBT

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

Mentions

wikipedia: Wikipedia List of theorems#CU12, Cameron–Erdős theorem (statement)

History

2026-11-02: add by m2/dev

Couette flow X4JJG6PD17

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

Mentions

wikipedia: Wikipedia Couette flow, Couette flow (definition). Also Wikidata Q1114429

History

2026-11-02: add by m2/dev

Typical set X4JSY42GRX

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

Mentions

wikipedia: Wikipedia Typical set, Typical set (definition). Also Wikidata Q7861378

History

2026-11-02: add by m2/dev

X4JXST2XHE X4JXST2XHE

URI	`m2://inv/X4JXST2XHE`
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.31278#5XDH (statement). In KEP21CZFV9/e1, lemma #1

History

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

Movement of the feasible randomized selector X4JY1EZHY1

URI	`m2://inv/X4JY1EZHY1`
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.20701#3FNZ, Movement of the feasible randomized selector (statement)

History

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

X4K1TTYYGE X4K1TTYYGE

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

Mentions

arxiv: arXiv 2610.22326#HDLC (statement). In EAABRG99V8/e1, theorem 3.4

History

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

Definition X4K8WW33VX

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

Mentions

wikipedia: Wikipedia Cone of curves#VFBC, Definition (definition)

History

2026-11-02: add by m2/dev

X4K9EFFTVQ X4K9EFFTVQ

URI	`m2://inv/X4K9EFFTVQ`
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.37897#5HTF (statement). In RBQ5FNCVNZ/e1, lemma 10.6

History

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

X4KAAH7YMP X4KAAH7YMP

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

Mentions

arxiv: arXiv 2609.20516#90GR (statement)

History

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

X4KJYRDJPT X4KJYRDJPT

URI	`m2://inv/X4KJYRDJPT`
Kind	statement
Layer	research
MSC	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.40214#VDEY (statement). In XD603HRHKC/e1, proposition 3.6

History

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

Free body diagram X4KVFARSM4

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

Mentions

wikipedia: Wikipedia List of graphical methods#VIK6, Free body diagram (unknown)

History

2026-11-02: add by m2/dev

X4M11E31NN X4M11E31NN

URI	`m2://inv/X4M11E31NN`
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 2609.25101#2TCU (definition)

History

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

source vertex X4M2147WQQ

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

Mentions

wikidata: Wikidata Q93723782, source vertex (unknown). Also MathWorld Source

History

2026-10-26: add by m2/dev

X4M6N7CNN8 X4M6N7CNN8

URI	`m2://inv/X4M6N7CNN8`
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.13505#GDGV (statement). In 6Z1DDCYCQ8/e1, proposition 20

History

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

X4M6XVVMVT X4M6XVVMVT

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

Mentions

arxiv: arXiv 2610.18618#2Q2B (statement). In C8VC86B6H8/e1, proposition 3.3

History

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

John Little X4MAVK5JAM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#A9V4, John Little (unknown)

History

2026-11-02: add by m2/dev

X4MB10R01R X4MB10R01R

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

Mentions

arxiv: arXiv 2502.14306#W4P4 (statement). In ZNBQD5WH1M/e1, theorem 5.15

History

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

X4MF7TJ8Q5 X4MF7TJ8Q5

URI	`m2://inv/X4MF7TJ8Q5`
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.07828#IJ70 (statement). In TWGMVT1N1G/e1, lemma 5.1

History

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

Telescoping X4MGJWMFYJ

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

Mentions

arxiv: arXiv 2610.09912#ESBC, Telescoping (statement). In 65TJENWK7X/e1, lemma 58

History

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

Definition X4MRZFMWDK

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

Mentions

wikipedia: Wikipedia Class kappa function#0Z22, Definition (definition)

History

2026-11-02: add by m2/dev

Banburismus X4MSM81N87

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

Mentions

wikipedia: Wikipedia Banburismus, Banburismus (definition). Also Wikidata Q4119888

History

2026-11-02: add by m2/dev

One-dimensional lattice inequality X4MSNH26XY

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

Mentions

arxiv: arXiv 2610.14318#EDVV, One-dimensional lattice inequality (statement). In HA4SZZJ831/e1, lemma 2.2

History

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

X4MXER3DGK X4MXER3DGK

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

Mentions

arxiv: arXiv 2610.01653#2M9M (statement). In WZMHJCQPB2/e1, lemma 5.1

History

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

Canon Sinuum X4N0EC9Z5K

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

Mentions

wikipedia: Wikipedia Canon Sinuum (Bürgi), Canon Sinuum (definition). Also Wikidata Q23134523

History

2026-11-02: add by m2/dev

Outer-reflection geometry X4N49N1YQW

URI	`m2://inv/X4N49N1YQW`
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.16248#AJUX, Outer-reflection geometry (statement). In TP61DYMBMK/e1, lemma 3

History

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

X4N4ZAE5H5 X4N4ZAE5H5

URI	`m2://inv/X4N4ZAE5H5`
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.28898#F8CI (statement)

History

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

Herd immunity level X4N7HNQMER

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

Mentions

wikipedia: Wikipedia Herd immunity#E7PG, Herd immunity level (unknown)

History

2026-11-02: add by m2/dev

X4N7QX427B X4N7QX427B

URI	`m2://inv/X4N7QX427B`
Kind	statement
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 2412.01742#PMTA (statement). In GYH7R98PPA/e1, corollary 3.3

History

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

quantum electrodynamics X4N887TFEQ

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

Mentions

wikidata: Wikidata Q234881, quantum electrodynamics (topic). Also nLab quantum electrodynamics
wikipedia: Wikipedia Quantum electrodynamics, Quantum electrodynamics (definition). Also Wikidata Q234881

History

2026-10-26: add by m2/dev

X4N8FAHR6Z X4N8FAHR6Z

URI	`m2://inv/X4N8FAHR6Z`
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.28075#2JRB (statement)

History

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

Vertical deflection determination X4N90V6VYE

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

Mentions

wikipedia: Wikipedia Vertical deflection#XZ1I, Vertical deflection determination (unknown)

History

2026-11-02: add by m2/dev

Axiom of real determinacy X4NC3EJFY5

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

Mentions

wikipedia: Wikipedia List of axioms#PCKR, Axiom of real determinacy (statement)

History

2026-11-02: add by m2/dev

X4NEKHF31D X4NEKHF31D

URI	`m2://inv/X4NEKHF31D`
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.30336#H5OR (statement). In CCWHTB3911/e1, lemma 2.1

History

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

X4NMPH4JBM X4NMPH4JBM

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

Mentions

hott_book: hott_book reals.tex#dedekind-in-cut-as-le (statement). In N54F33XE07, lem, section B.2.1

History

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

Biorthogonal systems and projectors X4NQGHVPE4

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

Mentions

arxiv: arXiv 2610.14906#LM6Y, Biorthogonal systems and projectors (statement). In 1F8ENX770M/e1, lemma 3.5

History

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

X4NRSMYPX9 X4NRSMYPX9

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

Mentions

arxiv: arXiv 2609.29712#24VO (statement)

History

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

Skorokhod's embedding theorem X4NY93VRXS

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

Mentions

wikipedia: Wikipedia List of probability topics#7IPF, Skorokhod's embedding theorem (statement)

History

2026-11-02: add by m2/dev

X4P3E3GGSE X4P3E3GGSE

URI	`m2://inv/X4P3E3GGSE`
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.10365#I85F (definition). In PRVQPSBVHK/e1, definition 16

History

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

Reinhardt Kiehl X4P8QPAVA4

URI	`m2://inv/X4P8QPAVA4`
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#4EU8, Reinhardt Kiehl (topic)

History

2026-11-02: add by m2/dev

X4PB5K22Y9 X4PB5K22Y9

URI	`m2://inv/X4PB5K22Y9`
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.27114#5WDV (statement)

History

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

X4PGD137PF X4PGD137PF

URI	`m2://inv/X4PGD137PF`
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 2609.24845#MRV5 (example)

History

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

Applications X4PPWBYVW9

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

Mentions

wikipedia: Wikipedia K-means clustering#86YP, Applications (example)

History

2026-11-02: add by m2/dev

Ugo Broggi X4PYMY8F2C

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

Mentions

wikipedia: Wikipedia Ugo Broggi, Ugo Broggi (topic). Also Wikidata Q4002852

History

2026-11-02: add by m2/dev

Change of model X4Q1FK4R3T

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

Mentions

arxiv: arXiv 2609.35460#DO3O, Change of model (statement). In R515NECVME/e1, lemma 7.2

History

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

Lieb-Schultz-Mattis theorem X4Q450W3G7

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

Mentions

wikipedia: Wikipedia Quantum Heisenberg model#5T8B, Lieb-Schultz-Mattis theorem (statement)

History

2026-11-02: add by m2/dev

S (programming language) X4Q4CD6ZZZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#REWG, S (programming language) (definition)

History

2026-11-02: add by m2/dev

Definition X4Q6YJZJZD

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

Mentions

wikipedia: Wikipedia Dual topology#DK8G, Definition (definition)

History

2026-11-02: add by m2/dev

RSA-310 X4Q99EH4PN

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

Mentions

wikipedia: Wikipedia RSA numbers#CEJP, RSA-310 (unknown)

History

2026-11-02: add by m2/dev

Ε-quadratic form X4QAEWZ057

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

Mentions

wikipedia: Wikipedia Ε-quadratic form, Ε-quadratic form (definition). Also Wikidata Q8083981

History

2026-11-02: add by m2/dev

Uniform photon cutoff X4QAP17W2C

URI	`m2://inv/X4QAP17W2C`
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.06810#N26Y, Uniform photon cutoff (statement). In 1NY2SA03XF/e1, lemma 4.12

History

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

X4QBDT8CWY X4QBDT8CWY

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-72 (exercise). In E59CDZA4DP, exercise, section 1.8.7

History

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

X4QFED4X77 X4QFED4X77

URI	`m2://inv/X4QFED4X77`
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 2510.02019#I794 (statement). In PD607VXPY3/e1, lemma 3

History

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

quecto X4QGCSYCK1

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

Mentions

wikidata: Wikidata Q107915314, quecto (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/Quecto-

History

2026-10-26: add by m2/dev

Geometric mechanics X4QJGNXF1Y

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

Mentions

wikipedia: Wikipedia Geometric mechanics, Geometric mechanics (topic). Also Wikidata Q17086162

History

2026-11-02: add by m2/dev

X4QVKKFNG9 X4QVKKFNG9

URI	`m2://inv/X4QVKKFNG9`
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.12481#ZC6G (statement). In TD288AK3EJ/e1, theorem

History

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

Xinwen Zhu X4RB6GHFNC

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

Mentions

wikipedia: Wikipedia Xinwen Zhu, Xinwen Zhu (topic). Also Wikidata Q27967789

History

2026-11-02: add by m2/dev

X4RCJA38XC X4RCJA38XC

URI	`m2://inv/X4RCJA38XC`
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 2610.20386#QDZS (statement). In 4WC4V49KAC/e1, lemma 2.12

History

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

Ramón Verea X4RH0H01WM

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

Mentions

wikipedia: Wikipedia Ramón Verea, Ramón Verea (topic). Also Wikidata Q3330517

History

2026-11-02: add by m2/dev

set X4RND9CR7T

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

Mentions

hott_book: hott_book index/6.2/set, set (concept). In N54F33XE07, index, section 6.2

History

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

X4RNSBY0F2 X4RNSBY0F2

URI	`m2://inv/X4RNSBY0F2`
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.18329#X6U7 (statement). In 3VWEPEFHN3/e1, theorem 2.6

History

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

Applications X4RRHKB2QV

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

Mentions

wikipedia: Wikipedia Finite intersection property#I193, Applications (example)

History

2026-11-02: add by m2/dev

X4SA70Y6HG X4SA70Y6HG

URI	`m2://inv/X4SA70Y6HG`
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.02489#2RRL (statement). In ZCJDWDR16Z/e1, theorem 5.4

History

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

X4SEVH9ZMY X4SEVH9ZMY

URI	`m2://inv/X4SEVH9ZMY`
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.21501#CT2P (statement). In 1H64QT301C/e1, lemma 3.9

History

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

X4SQFVZN50 X4SQFVZN50

URI	`m2://inv/X4SQFVZN50`
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.24584#PSQO (statement)

History

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

Russell Impagliazzo X4SZXQHVC7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#MKQE, Russell Impagliazzo (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HE15, Russell Impagliazzo (unknown)

History

2026-11-02: add by m2/dev

X4T4BPPA6S X4T4BPPA6S

URI	`m2://inv/X4T4BPPA6S`
Kind	definition
Layer	research
MSC	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 2303.09207#XVNS (definition). In 9DQKY7KGE8/e1, definition C.2

History

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

Properties X4T84EXDZ7

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

Mentions

wikipedia: Wikipedia Fisher information#FFI1, Properties (statement)

History

2026-11-02: add by m2/dev

X4T8JQT0ZM X4T8JQT0ZM

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

Mentions

arxiv: arXiv 2609.32387#WYMC (statement). In 294BQKZEDQ/e1, lemma 2.1

History

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

X4TA2XAM2N X4TA2XAM2N

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

Mentions

open_logic: open_logic content/intuitionistic-logic/semantics/relational-models.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 32.5

History

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

X4TD99TVCW X4TD99TVCW

URI	`m2://inv/X4TD99TVCW`
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 2112.14455#WM14 (statement). In VDE5R8HBS1/e1, lemma 4.2

History

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

Li Shanlan X4TE252XFP

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#FT9R, Li Shanlan (unknown)

History

2026-11-02: add by m2/dev

X4TN9ECHFG X4TN9ECHFG

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

Mentions

arxiv: arXiv 2610.13142#4QQZ (statement). In KYW4YMVQAB/e1, theorem 1

History

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

X4TP40P82N X4TP40P82N

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

Mentions

napkin: napkin tex/homology/singular.tex#definition-5 (definition). In RZP28ERRZV, definition, section 55.3.1

History

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

Complete one-sided inverse criteria X4TRHTHNZ0

URI	`m2://inv/X4TRHTHNZ0`
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.12483#0N6Y, Complete one-sided inverse criteria (statement). In 159250CY6S/e1, proposition 5.5

History

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

Principles X4TTG1SCR0

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

Mentions

wikipedia: Wikipedia Constructive analysis#FCW1, Principles (statement)

History

2026-11-02: add by m2/dev

Von Foerster equation X4V1VV5Y47

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

Mentions

wikipedia: Wikipedia Von Foerster equation, Von Foerster equation (definition). Also Wikidata Q23579765

History

2026-11-02: add by m2/dev

X4V6QEVZYM X4V6QEVZYM

URI	`m2://inv/X4V6QEVZYM`
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 2311.01874#H4A8 (statement). In A4TR95VGX2/e1, proposition 11

History

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

X4V8X79P0R X4V8X79P0R

URI	`m2://inv/X4V8X79P0R`
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.18673#DYBG (statement). In 7ZFD9XRKA1/e1, lemma 2.25

History

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

Concentration from discrete elasticity X4VMEG3FBZ

URI	`m2://inv/X4VMEG3FBZ`
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.17479#IPXF, Concentration from discrete elasticity (statement). In 4FWAY748N7/e1, lemma 4.3

History

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

Munching square X4VRE2MVSX

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

Mentions

wikidata: Wikidata Q6935671, Munching square (unknown). Also MathWorld MunchingSquares

History

2026-10-26: add by m2/dev

Discrete well-posedness and a priori error X4VT01Y0DR

URI	`m2://inv/X4VT01Y0DR`
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.31555#HUD3, Discrete well-posedness and a priori error (statement). In 2GC6K487FE/e1, theorem

History

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

Important longstanding conjectures X4VVBNB9BF

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

Mentions

wikipedia: Wikipedia Affine manifold#ZEX2, Important longstanding conjectures (statement)

History

2026-11-02: add by m2/dev

X4VVR7BXY7 X4VVR7BXY7

URI	`m2://inv/X4VVR7BXY7`
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#5OZM (definition)

History

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

X4W1C6C5WK X4W1C6C5WK

URI	`m2://inv/X4W1C6C5WK`
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.11143#JW2Y (statement). In 9CS15SV662/e1, theorem 8.1

History

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

X4WEK51NB1 X4WEK51NB1

URI	`m2://inv/X4WEK51NB1`
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.20588#WPZ0 (statement)

History

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

Ralph Saul Phillips X4WH4ZVV6J

URI	`m2://inv/X4WH4ZVV6J`
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#UHMT, Ralph Saul Phillips (topic)

History

2026-11-02: add by m2/dev

setoid X4WN2SKN4J

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

Mentions

hott_book: hott_book index/9.11/setoid, setoid (concept). In N54F33XE07, index, section 9.11

History

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

Additivity of the entropy production X4WT8JDCWD

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

Mentions

arxiv: arXiv 2609.36016#TI7J, Additivity of the entropy production (statement). In NAM9ZMPHZ9/e1, lemma D.9

History

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

$\infty$-groupoid X4X2F3Y28M

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

Mentions

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

History

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

X4X3579FFK X4X3579FFK

URI	`m2://inv/X4X3579FFK`
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.18777#KYV0 (statement). In TFZDPHDF7V/e1, proposition 2.6

History

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

X4X4BA7ZA1 X4X4BA7ZA1

URI	`m2://inv/X4X4BA7ZA1`
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.10233#NBCZ (statement). In QR9WE79ERQ/e1, lemma 3.2

History

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

X4XC33SEGF X4XC33SEGF

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

Mentions

arxiv: arXiv 2609.39539#I7PB (example). In GVR218P3ZR/e1, example 3.3.7

History

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

X4XGD0SMA1 X4XGD0SMA1

URI	`m2://inv/X4XGD0SMA1`
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.03688#YKAI (statement). In HMWJQY9NAP/e1, proposition 3.9

History

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

X4XM2A0G1J X4XM2A0G1J

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

Mentions

arxiv: arXiv 2609.25151#HKUL (statement)

History

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

Baer *-semigroup X4Y53KNGTP

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

Mentions

wikipedia: Wikipedia Semigroup with involution#259N, Baer *-semigroup (unknown)

History

2026-11-02: add by m2/dev

History of statistical mechanics X4YTEB69DM

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

Mentions

wikipedia: Wikipedia Statistical mechanics#HGQT, History of statistical mechanics (unknown)

History

2026-11-02: add by m2/dev

X4YZ601S4P X4YZ601S4P

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-76 (proof). In VNMV985MXX, proof, section 6.6

History

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

Patricia Davies X4YZX49WA4

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

Mentions

wikipedia: Wikipedia List of cryptographers#YLH9, Patricia Davies (topic)

History

2026-11-02: add by m2/dev

Riesz representation theorem X4Z8SQ0CNS

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

Mentions

wikipedia: Wikipedia Riesz representation theorem#W2HT, Riesz representation theorem (statement)

History

2026-11-02: add by m2/dev

X4Z9E0M349 X4Z9E0M349

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

Mentions

arxiv: arXiv 2609.38742#762U (definition). In TSXBJB0EXK/e1, definition 5.4

History

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

X4ZBAV6S3X X4ZBAV6S3X

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

Mentions

arxiv: arXiv 2610.05391#B4FM (statement). In 9B5TNEBJHV/e1, lemma 1.5

History

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

Examples X4ZDQ3A419

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

Mentions

wikipedia: Wikipedia Self-refuting idea#5H1Q, Examples (example)

History

2026-11-02: add by m2/dev

X4ZDRTSTV6 X4ZDRTSTV6

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

Mentions

arxiv: arXiv 2609.33856#MBPN (statement). In 47WN78VDDF/e1, theorem 5.7

History

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

X4ZE4GHKMX X4ZE4GHKMX

URI	`m2://inv/X4ZE4GHKMX`
Kind	definition
Layer	research
MSC	11-XX, 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 2508.21045#W1MF (definition). In CGA36VE1C5/e1, definition 3.12.1

History

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

Dov Gabbay X4ZFSS6XV7

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

Mentions

wikipedia: Wikipedia List of logicians#5T6T, Dov Gabbay (topic)

History

2026-11-02: add by m2/dev

X4ZG678J4N X4ZG678J4N

URI	`m2://inv/X4ZG678J4N`
Kind	definition
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.13888#Q0HY (definition). In 2G5K2GZTX7/e1, definition 2.1

History

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

Examples X4ZRSQYES2

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

Mentions

wikipedia: Wikipedia Hyperbolic group#YF62, Examples (example)

History

2026-11-02: add by m2/dev

measurement X4ZZ2HYJF1

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

Mentions

wikidata: Wikidata Q12453, measurement (unknown). Also nLab measurement
wikipedia: Wikipedia Measurement, Measurement (definition). Also Wikidata Q12453

History

2026-10-26: add by m2/dev