Inventory rows P9

P903FJMVZM P903FJMVZM

URI	`m2://inv/P903FJMVZM`
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.31527#K2CL (statement). In ZQ2YZ4P6P5/e1, theorem 1.4

History

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

False attribution P904T5YNZV

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

Mentions

wikipedia: Wikipedia False attribution, False attribution (definition). Also Wikidata Q5432682

History

2026-11-02: add by m2/dev

Hut 1 P905AVTDWV

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

Mentions

wikipedia: Wikipedia Bletchley Park#PROJ, Hut 1 (unknown)

History

2026-11-02: add by m2/dev

Kevin McCurley P9065MZ8PJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#AD60, Kevin McCurley (topic)

History

2026-11-02: add by m2/dev

Proposition P9092P342S

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

Mentions

wikipedia: Wikipedia Probability distribution of extreme points of a Wiener stochastic process#QTWY, Proposition (statement)

History

2026-11-02: add by m2/dev

Yongbin Ruan P90AZ81D6Y

URI	`m2://inv/P90AZ81D6Y`
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#DAIZ, Yongbin Ruan (unknown)

History

2026-11-02: add by m2/dev

P90KAQZ1XH P90KAQZ1XH

URI	`m2://inv/P90KAQZ1XH`
Kind	statement
Layer	research
MSC	20-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.40290#W6T6 (statement). In 4K1CNBYJHF/e1, theorem 6.3

History

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

P90RKB788T P90RKB788T

URI	`m2://inv/P90RKB788T`
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.33476#9SKX (statement). In DAQW640R25/e1, proposition 3.3

History

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

P90V5XE2G9 P90V5XE2G9

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

Mentions

arxiv: arXiv 2610.08956#LOLY (definition). In DEE631KR3A/e1, definition 1

History

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

P9139K1K43 P9139K1K43

URI	`m2://inv/P9139K1K43`
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 2605.17536#29VQ (statement). In TG15VZ0P8R/e1, lemma 3.1

History

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

P9157P1CWR P9157P1CWR

URI	`m2://inv/P9157P1CWR`
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.11759#XFQL (problem). In MWNFP97KRS/e1, problem

History

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

P918VA9Q78 P918VA9Q78

URI	`m2://inv/P918VA9Q78`
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.33531#D9OM (statement). In HNMJEAR2ER/e1, corollary 5.2

History

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

Paul Joseph Cohen P91A8M8VWP

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

Mentions

wikipedia: Wikipedia List of logicians#HTF4, Paul Joseph Cohen (topic)

History

2026-11-02: add by m2/dev

P91G154S1E P91G154S1E

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

Mentions

arxiv: arXiv 2610.18219#A966 (statement). In X1AGBB90EH/e1, proposition 6.7

History

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

Exact dimensions P91KERCZ6Y

URI	`m2://inv/P91KERCZ6Y`
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.00259#3D19, Exact dimensions (statement). In CFXW6Z78G0/e1, theorem 1.1

History

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

P91RQDPEJM P91RQDPEJM

URI	`m2://inv/P91RQDPEJM`
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.09949#NEZK (statement). In VGJVFCDV8A/e1, theorem 1.3

History

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

Functional fluctuations at the finite-$N$ center P91V3HDVVA

URI	`m2://inv/P91V3HDVVA`
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#73BH, Functional fluctuations at the finite-$N$ center (statement). In MAZNVJX5YK/e1, theorem 18

History

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

Example P92AWNMVNZ

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

Mentions

wikipedia: Wikipedia Cayley configuration space#4X2W, Example (example)

History

2026-11-02: add by m2/dev

P92E07V04J P92E07V04J

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

Mentions

arxiv: arXiv 2511.05069#TSSU (statement). In SFQBJBTW8K/e1, lemma 11.2

History

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

Beno Eckmann P92FAQB7TT

URI	`m2://inv/P92FAQB7TT`
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 Q124582, Beno Eckmann (unknown). Also nLab Beno Eckmann
wikipedia: Wikipedia Beno Eckmann, Beno Eckmann (topic). Also Wikidata Q124582

History

2026-10-26: add by m2/dev

\myindex{Mertens' theorem}\footnote{Proved by the German mathematician \href{https://en.wikipedia.org/wiki/Franz_Mertens}{Franz Mertens} (1840--1927).} P92FEWKC28

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#thm-2, \myindex{Mertens' theorem}\footnote{Proved by the German mathematician \href{https://en.wikipedia.org/wiki/Franz_Mertens}{Franz Mertens} (1840--1927).} (statement). In E59CDZA4DP, thm, section 10.6.4

History

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

Decimation P92MF3NZEB

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

Mentions

arxiv: arXiv 2609.37479#MAY2, Decimation (statement). In P3RTT99C41/e1, lemma C.3

History

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

P92VXR2WYV P92VXR2WYV

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

Mentions

arxiv: arXiv 2609.26019#R7GS (statement)

History

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

P930AYNGB1 P930AYNGB1

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

Mentions

arxiv: arXiv 2410.22045#LRHB (statement). In 81TAX528PQ/e1, theorem 4.1

History

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

P93J6KQHCV P93J6KQHCV

URI	`m2://inv/P93J6KQHCV`
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 2401.14143#QPIN (statement). In 7WV4JVGEN1/e1, proposition 6.8

History

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

P93PQ1EBDX P93PQ1EBDX

URI	`m2://inv/P93PQ1EBDX`
Kind	statement
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 2609.21052#6MSU (statement)

History

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

Examples P93Z8YNR4C

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

Mentions

wikipedia: Wikipedia Chessboard complex#L1VU, Examples (example)

History

2026-11-02: add by m2/dev

Kolmogorov structure function P9448VR1BB

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

Mentions

wikipedia: Wikipedia Kolmogorov structure function, Kolmogorov structure function (definition). Also Wikidata Q5805968

History

2026-11-02: add by m2/dev

Dedekind domain P948Q961Q6

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics#GDIN, Dedekind domain (definition)
wikipedia: Wikipedia List of things named after Richard Dedekind#C2AR, Dedekind domain (definition)
wikipedia: Wikipedia List of commutative algebra topics#WZHP, Dedekind domain (definition)

History

2026-11-02: add by m2/dev

Impossible cube P94FN780ZJ

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

Mentions

wikipedia: Wikipedia List of paradoxes#3HER, Impossible cube (definition)

History

2026-11-02: add by m2/dev

second derivative test P94H5NQJEN

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

Mentions

active_calculus: active_calculus index/3.3.3/second-derivative-test, second derivative test (concept). In 907G4C4EJ1, index, section 3.3.3

History

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

Cauchy sequence P94T7XR5SM

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

Mentions

wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#H6WZ, Cauchy sequence (definition)

History

2026-11-02: add by m2/dev

John Rognes P94VQF68DV

URI	`m2://inv/P94VQF68DV`
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#HCBW, John Rognes (topic)

History

2026-11-02: add by m2/dev

P94XWMTA97 P94XWMTA97

URI	`m2://inv/P94XWMTA97`
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#JLWJ (definition). In 6KR7Z5ETRY/e1, definition 4.1

History

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

P954AXS5S0 P954AXS5S0

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

Mentions

arxiv: arXiv 2609.21765#FXOT (statement)

History

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

P9558PB5NF P9558PB5NF

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/soundness.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 8.14

History

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

P957S4SSKF P957S4SSKF

URI	`m2://inv/P957S4SSKF`
Kind	statement
Layer	research
MSC	26-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 1008.4254#DXAC (statement). In SXTX59QBVT/e1, corollary 2.4

History

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

P95AXX9KNE P95AXX9KNE

URI	`m2://inv/P95AXX9KNE`
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.06466#07U0 (statement). In 6W451V3N75/e1, proposition 7.2

History

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

Classification of Fatou components P95GM2Z24W

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

Mentions

wikipedia: Wikipedia Classification of Fatou components, Classification of Fatou components (definition). Also Wikidata Q4223035

History

2026-11-02: add by m2/dev

P95HXM6BWG P95HXM6BWG

URI	`m2://inv/P95HXM6BWG`
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.30527#XKWB (statement). In E3WQDZY388/e1, theorem 1.2

History

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

Inventory control problem P95VT31TP4

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#18CF, Inventory control problem (definition)

History

2026-11-02: add by m2/dev

Christos Papakyriakopoulos P95WEGP4VG

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

Mentions

wikipedia: Wikipedia Christos Papakyriakopoulos, Christos Papakyriakopoulos (topic). Also Wikidata Q1087146

History

2026-11-02: add by m2/dev

P9611ZTAX2 P9611ZTAX2

URI	`m2://inv/P9611ZTAX2`
Kind	statement
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#S2WV (statement). In CGA36VE1C5/e1, fact 8.2.2

History

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

P962SMEHH5 P962SMEHH5

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

Mentions

arxiv: arXiv 2609.30237#TEW5 (definition). In AC2VX701GX/e1, definition

History

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

Debye model P96M8TM3P7

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

Mentions

wikipedia: Wikipedia Debye model, Debye model (definition). Also Wikidata Q1151031

History

2026-11-02: add by m2/dev

Maria Gordina P96MA9YXQ4

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

Mentions

wikipedia: Wikipedia Maria Gordina, Maria Gordina (topic). Also Wikidata Q49189961

History

2026-11-02: add by m2/dev

Dependent and independent variables P96XV5XYZD

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

Mentions

wikipedia: Wikipedia Dependent and independent variables, Dependent and independent variables (definition). Also Wikidata Q320723

History

2026-11-02: add by m2/dev

P9742G44GQ P9742G44GQ

URI	`m2://inv/P9742G44GQ`
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.37747#YN58 (statement). In GEYDNVZEP7/e1, proposition 5.4

History

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

Global stability theorems P974QCE2E3

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

Mentions

wikipedia: Wikipedia Exact solutions in general relativity#9DVL, Global stability theorems (statement)

History

2026-11-02: add by m2/dev

Split-complex number P97FNRXQ4G

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

Mentions

wikipedia: Wikipedia Split-complex number, Split-complex number (definition). Also Wikidata Q864145

History

2026-11-02: add by m2/dev

Star of David theorem P97GS3DCGF

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

Mentions

wikipedia: Wikipedia List of factorial and binomial topics#ZXJW, Star of David theorem (statement)

History

2026-11-02: add by m2/dev

P97KNNG81Y P97KNNG81Y

URI	`m2://inv/P97KNNG81Y`
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#AG5G (statement). In C8VC86B6H8/e1, lemma 8.2

History

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

parallelogram P97V5EEQKF

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

Mentions

wikidata: Wikidata Q45867, parallelogram (unknown). Also EoM Parallelogram, MathWorld Parallelogram
wikipedia: Wikipedia Parallelogram, Parallelogram (definition). Also Wikidata Q45867

History

2026-10-26: add by m2/dev

Problem 8 P97ZEX59Q2

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

Mentions

wikipedia: Wikipedia Jade Mirror of the Four Unknowns#9VRW, Problem 8 (problem)

History

2026-11-02: add by m2/dev

Examples P98X5145KY

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

Mentions

wikipedia: Wikipedia Kostka polynomial#OOFM, Examples (example)

History

2026-11-02: add by m2/dev

Applications P992PR3SAY

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

Mentions

wikipedia: Wikipedia Local system#K56R, Applications (example)

History

2026-11-02: add by m2/dev

Caccioppoli Prize P999SCB71H

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

Mentions

wikipedia: Wikipedia Caccioppoli Prize, Caccioppoli Prize (definition). Also Wikidata Q937591

History

2026-11-02: add by m2/dev

André Pochan P99BJMK0FF

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

Mentions

wikipedia: Wikipedia André Pochan, André Pochan (topic). Also Wikidata Q2848462

History

2026-11-02: add by m2/dev

P99C5WTXWV P99C5WTXWV

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise:noisolatedzeros (exercise). In VNMV985MXX, exercise, section 1.2

History

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

Theorems proved with the help of computer programs P99FYSHXHG

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

Mentions

wikipedia: Wikipedia Computer-assisted proof#NEB5, Theorems proved with the help of computer programs (statement)

History

2026-11-02: add by m2/dev

P99JD8NYT6 P99JD8NYT6

URI	`m2://inv/P99JD8NYT6`
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 2303.14022#RUCL (statement). In NSYR6W27FP/e1, lemma 3.10

History

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

P99TGXSZN3 P99TGXSZN3

URI	`m2://inv/P99TGXSZN3`
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 2610.06556#5369 (example). In KW8C7VE9XR/e1, example 34

History

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

P99W691YRP P99W691YRP

URI	`m2://inv/P99W691YRP`
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 2610.12612#JZN0 (statement). In 8A0VZV8PBN/e1, lemma 2.1

History

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

Generalizations P9A3WP4D8Z

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

Mentions

wikipedia: Wikipedia Fibonacci sequence#7OA8, Generalizations (statement)

History

2026-11-02: add by m2/dev

The State of The USA P9A61YESKM

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

Mentions

wikipedia: Wikipedia The State of The USA, The State of The USA (definition). Also Wikidata Q7766393

History

2026-11-02: add by m2/dev

P9A6ZNBH77 P9A6ZNBH77

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

Mentions

arxiv: arXiv 2411.17412#78H5 (statement). In DPBHYJBGKD/e1, lemma 3.7

History

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

halting problem P9AEMRF37R

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

Mentions

wikipedia: Wikipedia Glossary of logic#QZBG, halting problem (definition)

History

2026-11-02: add by m2/dev

Parseval's theorem P9AGCNT6B8

URI	`m2://inv/P9AGCNT6B8`
Kind	statement
Layer	textbook
MSC	42-XX
Sources	6
Outcome	node (a node has the same Wikidata item as the row)
Node	Parseval's identity 047RFCNVSK

Mentions

mathlib_1000: mathlib_1000 Q1443036, Parseval's theorem (statement). Also Mathlib tsum_sq_fourierCoeff, Wikidata Q1443036
mathlib_overview: mathlib_overview Analysis > Fourier analysis > Parseval formula for Fourier series, Parseval formula for Fourier series (unknown). Also Mathlib tsum_sq_fourierCoeff
mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Parseval theorem, Parseval theorem (unknown). Also Mathlib tsum_sq_fourierCoeff
thousand_plus: thousand_plus Q1443036, Parseval's theorem (statement). Also Mathlib tsum_sq_fourierCoeff, Wikidata Q1443036, Wikipedia Parseval's theorem
wikidata: Wikidata Q1443036, Parseval's theorem (statement). Also MathWorld ParsevalsTheorem, nLab Parseval's theorem
wikidata: Wikidata Q944238, Parseval's identity (statement). Also EoM Parseval_equality, MathWorld ParsevalsTheorem
wikipedia: Wikipedia Parseval's identity, Parseval's identity (statement). Also Wikidata Q944238
wikipedia: Wikipedia Parseval's theorem, Parseval's theorem (statement). Also Wikidata Q1443036

History

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

P9AHJNC49X P9AHJNC49X

URI	`m2://inv/P9AHJNC49X`
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#HUYI (statement). In RBQ5FNCVNZ/e1, lemma F.1

History

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

P9AP097KMD P9AP097KMD

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

Mentions

napkin: napkin tex/rep-theory/rep-alg.tex#prob:regA_intertwine (exercise). In RZP28ERRZV, sproblem, section 80.6

History

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

The $\gamma$ magic theorem P9AQV1SNZ0

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

Mentions

arxiv: arXiv 2610.01932#X67I, The $\gamma$ magic theorem (statement). In XDKWW6NR0K/e1, theorem 3.11

History

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

typically P9ARE52KZ7

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#WT9Y, typically (definition)

History

2026-11-02: add by m2/dev

Properties P9AW0D0W57

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

Mentions

wikipedia: Wikipedia Optical vortex#C3BG, Properties (statement)

History

2026-11-02: add by m2/dev

Local asymptotic normality P9AWD1C3JZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#7YR8, Local asymptotic normality (definition)

History

2026-11-02: add by m2/dev

1-norm P9AZWCVDQZ

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

Mentions

wikidata: Wikidata Q2365298, 1-norm (unknown). Also MathWorld L1-Norm

History

2026-10-26: add by m2/dev

Systemic intervention P9B4MGC2KP

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

Mentions

wikipedia: Wikipedia Systemic intervention, Systemic intervention (definition). Also Wikidata Q67802607

History

2026-11-02: add by m2/dev

P9B575DEER P9B575DEER

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

Mentions

arxiv: arXiv 2610.12053#PJ34 (statement). In MQ226ETRP6/e1, theorem 1.1

History

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

P9B7X5TMKX P9B7X5TMKX

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

Mentions

arxiv: arXiv 2507.23666#XH9K (statement). In YKQ89G5QA2/e1, lemma 2.7

History

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

Elston–Stewart algorithm P9B8C2DYFW

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

Mentions

wikipedia: Wikipedia Elston–Stewart algorithm, Elston–Stewart algorithm (definition). Also Wikidata Q5367760

History

2026-11-02: add by m2/dev

Non-Archimedean geometry P9BGD4ME1D

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

Mentions

wikipedia: Wikipedia Non-Archimedean geometry, Non-Archimedean geometry (definition). Also Wikidata Q4315479

History

2026-11-02: add by m2/dev

History of the philosophy of mathematics P9BPF9B4ZY

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

Mentions

wikipedia: Wikipedia Philosophy of mathematics#FI90, History of the philosophy of mathematics (unknown)

History

2026-11-02: add by m2/dev

P9BW6SE69Z P9BW6SE69Z

URI	`m2://inv/P9BW6SE69Z`
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 2605.30285#NCMY (statement). In YMY0NNSM27/e1, theorem 1.5

History

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

GraphPad InStat P9BZ5R3TZM

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

Mentions

wikipedia: Wikipedia List of statistics articles#CXNW, GraphPad InStat (definition)

History

2026-11-02: add by m2/dev

P9C6WQ2476 P9C6WQ2476

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

Mentions

arxiv: arXiv 2610.10804#QHZ6 (statement). In 6M5WR7KB80/e1, theorem 3.7

History

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

P9CBTBZ1G6 P9CBTBZ1G6

URI	`m2://inv/P9CBTBZ1G6`
Kind	statement
Layer	research
MSC	37-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.06321#0UJ6 (statement). In PGV1116XX4/e1, proposition 5.3

History

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

Statement of the classical Schwarz Lemma P9CF6VTQ9Y

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

Mentions

wikipedia: Wikipedia Schwarz lemma#OOF2, Statement of the classical Schwarz Lemma (statement)

History

2026-11-02: add by m2/dev

P9CHMA95NC P9CHMA95NC

URI	`m2://inv/P9CHMA95NC`
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.20237#QNXE (statement)

History

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

A5 lattice P9CMPHBTDP

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

Mentions

wikipedia: Wikipedia 5-simplex honeycomb#4EAC, A5 lattice (unknown)

History

2026-11-02: add by m2/dev

column space P9CNXC9Y8P

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#IFVB, column space (definition)

History

2026-11-02: add by m2/dev

Information flow P9CQWQMT8R

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

Mentions

wikipedia: Wikipedia Information flow (information theory), Information flow (definition). Also Wikidata Q6031073

History

2026-11-02: add by m2/dev

P9CRV0DPKC P9CRV0DPKC

URI	`m2://inv/P9CRV0DPKC`
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.10937#1BEP (statement). In 6VVK3YTABP/e1, theorem 4.2

History

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

Fixed-scale product Cauchy P9CTP2MVG4

URI	`m2://inv/P9CTP2MVG4`
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.15690#90OJ, Fixed-scale product Cauchy (statement). In WQ9FNP3TVQ/e1, proposition 2

History

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

P9CV6H4GQK P9CV6H4GQK

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

Mentions

arxiv: arXiv 2610.19360#O2JX (statement). In MFCW5CY96C/e1, theorem 5

History

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

P9CZNA51ZM P9CZNA51ZM

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

Mentions

napkin: napkin tex/H113/ring-intro.tex#definition-1 (definition). In RZP28ERRZV, definition, section 5.3

History

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

Dirichlet problem P9D1P2HE8Z

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

Mentions

wikipedia: Wikipedia List of Fourier analysis topics#XTRH, Dirichlet problem (problem)

History

2026-11-02: add by m2/dev

Statement of the theorem P9DAP9ZY4B

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

Mentions

wikipedia: Wikipedia Oseledets theorem#TEQG, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

P9DEG66PYW P9DEG66PYW

URI	`m2://inv/P9DEG66PYW`
Kind	statement
Layer	research
MSC	20-XX, 55-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.20932#7S4R (statement). In FV78KV64B9/e1, theorem 3.3

History

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

Derivation from Clauser and Horne's 1974 inequality P9DH42Z61E

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

Mentions

wikipedia: Wikipedia CHSH inequality#G6XB, Derivation from Clauser and Horne's 1974 inequality (statement)

History

2026-11-02: add by m2/dev

P9DNXCXP03 P9DNXCXP03

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

Mentions

arxiv: arXiv 2610.18016#WJCK (statement). In V5PVKDKGGG/e1, theorem 2.1

History

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

Gearhart--Pr\"uss P9DNYVV0DJ

URI	`m2://inv/P9DNYVV0DJ`
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.11027#1O5B, Gearhart--Pr\"uss (statement). In 2BBW80EX78/e1, theorem 3.2

History

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

Definition P9DTCXRHE3

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

Mentions

wikipedia: Wikipedia Keith number#IDJQ, Definition (definition)

History

2026-11-02: add by m2/dev

right-hand rule P9DVVR4HWM

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

Mentions

wikidata: Wikidata Q1366301, right-hand rule (unknown). Also MathWorld Right-HandRule

History

2026-10-26: add by m2/dev

List of nonlinear partial differential equations P9E2C6D2KB

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

Mentions

wikipedia: Wikipedia List of nonlinear partial differential equations, List of nonlinear partial differential equations (topic). Also Wikidata Q6630839

History

2026-11-02: add by m2/dev

L. R. Ford Jr. P9E4BT0F51

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#OXK3, L. R. Ford Jr. (topic)

History

2026-11-02: add by m2/dev

Luiz Velho P9E6DDFHM9

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

Mentions

wikipedia: Wikipedia Luiz Velho, Luiz Velho (topic). Also Wikidata Q27835834

History

2026-11-02: add by m2/dev

Adam Logan P9EADFQWXN

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

Mentions

wikipedia: Wikipedia Adam Logan, Adam Logan (topic). Also Wikidata Q2823975

History

2026-11-02: add by m2/dev

Skolem problem P9EAVRDJWG

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

Mentions

wikipedia: Wikipedia Skolem problem, Skolem problem (conjecture). Also Wikidata Q25304237

History

2026-11-02: add by m2/dev

P9EJP6X707 P9EJP6X707

URI	`m2://inv/P9EJP6X707`
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 2603.11432#QFRM (statement). In 9PGSPHDKR2/e1, lemma 3.1

History

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

Properties P9EM2D1RFH

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

Mentions

wikipedia: Wikipedia Analytical hierarchy#F2WP, Properties (statement)

History

2026-11-02: add by m2/dev

spigot algorithm P9EMRWAPE7

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

Mentions

wikidata: Wikidata Q11254140, spigot algorithm (unknown). Also MathWorld SpigotAlgorithm

History

2026-10-26: add by m2/dev

Apolar ideal P9ER6BCFR7

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

Mentions

arxiv: arXiv 2609.38212#H2KU, Apolar ideal (statement). In 5821K2RD8J/e1, theorem 1.1

History

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

(g,K)-module P9ESB1B2DC

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

Mentions

wikipedia: Wikipedia (g,K)-module, (g,K)-module (definition). Also Wikidata Q4544947

History

2026-11-02: add by m2/dev

P9F0XEYBNG P9F0XEYBNG

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

Mentions

arxiv: arXiv 2610.16785#QBH7 (statement). In SXQQZ2MYKV/e1, lemma 17

History

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

P9F241N3GJ P9F241N3GJ

URI	`m2://inv/P9F241N3GJ`
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.20008#CBR4 (statement)

History

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

cocyclicity P9F32GWB3B

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

Mentions

mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > cocyclicity, cocyclicity (unknown). Also Mathlib EuclideanGeometry.Concyclic

History

2026-10-26: add by m2/dev

P9F88EEM0P P9F88EEM0P

URI	`m2://inv/P9F88EEM0P`
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.29152#IWYA (statement)

History

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

Continuous limit of randomized dilation P9FK144NDW

URI	`m2://inv/P9FK144NDW`
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.35986#QOAM, Continuous limit of randomized dilation (statement). In PBX6AMPVT2/e1, lemma B.2

History

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

Unimodularity and absence of bad primes P9FKQ45WD6

URI	`m2://inv/P9FKQ45WD6`
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 2610.20649#PKRJ, Unimodularity and absence of bad primes (statement). In XDTM624YPE/e1, corollary 11.2

History

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

Durable-goods monopolists and the Pacman conjecture P9FP3REBN6

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

Mentions

wikipedia: Wikipedia Pacman conjecture#85TJ, Durable-goods monopolists and the Pacman conjecture (statement)

History

2026-11-02: add by m2/dev

P9FPPETRSV P9FPPETRSV

URI	`m2://inv/P9FPPETRSV`
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 2609.21914#L0B7 (statement)

History

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

Fixed-window moments of the restarted SDE P9FQ2WH0P5

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

Mentions

arxiv: arXiv 2610.18739#EJVI, Fixed-window moments of the restarted SDE (statement). In VGJXQRC44C/e1, lemma 7

History

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

collection, strong P9FSPRT1T3

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

Mentions

hott_book: hott_book index/C.5/collection-strong, collection, strong (concept). In N54F33XE07, index, section C.5

History

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

Hammersley–Clifford theorem P9FSV8RQFE

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

Mentions

mathlib_1000: mathlib_1000 Q5645731, Hammersley–Clifford theorem (statement). Also Wikidata Q5645731
thousand_plus: thousand_plus Q5645731, Hammersley–Clifford theorem (statement). Also Wikidata Q5645731, Wikipedia Hammersley–Clifford theorem
wikipedia: Wikipedia Hammersley–Clifford theorem, Hammersley–Clifford theorem (statement). Also Wikidata Q5645731

History

2026-10-26: add by m2/dev

strategy \& strategic scale of an element P9FT7Z2SNX

URI	`m2://inv/P9FT7Z2SNX`
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 2312.01517#L65E, strategy \& strategic scale of an element (definition). In 1H6HQSMYJW/e1, definition 1

History

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

P9FXE0R63P P9FXE0R63P

URI	`m2://inv/P9FXE0R63P`
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.09390#LF5O (statement). In 7SSKW778T8/e1, proposition 5.2

History

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

Ze'ev Jabotinsky P9G19BY1ZE

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#GQCF, Ze'ev Jabotinsky (unknown)

History

2026-11-02: add by m2/dev

Bloch's theorem P9G9H88P2B

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

Mentions

wikipedia: Wikipedia List of theorems#40I3, Bloch's theorem (conjecture)

History

2026-11-02: add by m2/dev

Examples P9GDD2HCBV

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

Mentions

wikipedia: Wikipedia Functional square root#Y5WN, Examples (example)

History

2026-11-02: add by m2/dev

P9GDXQ72NF P9GDXQ72NF

URI	`m2://inv/P9GDXQ72NF`
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#MY3K (statement). In 4WC4V49KAC/e1, lemma 2.8

History

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

Boole's expansion theorem P9GJA57TGN

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

Mentions

mathlib_1000: mathlib_1000 Q2277040, Shannon's expansion theorem (statement). Also Wikidata Q2277040
thousand_plus: thousand_plus Q2277040, Shannon's expansion theorem (statement). Also Wikidata Q2277040, Wikipedia Shannon's expansion theorem
wikipedia: Wikipedia Boole's expansion theorem, Boole's expansion theorem (statement). Also Wikidata Q2277040

History

2026-10-26: add by m2/dev

Bounding volume P9GNJJCBA6

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#YMCS, Bounding volume (definition)

History

2026-11-02: add by m2/dev

Theorem (Gerald Edgar) P9H35EA4A0

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

Mentions

wikipedia: Wikipedia Extreme point#EDHR, Theorem (Gerald Edgar) (statement)

History

2026-11-02: add by m2/dev

P9HABHMDAC P9HABHMDAC

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-19 (exercise). In QKM9DD2H56, exercise, section 5

History

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

National Mathematics Talent Contests P9HCRXT7DQ

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#R1M6, National Mathematics Talent Contests (unknown)

History

2026-11-02: add by m2/dev

Luca Gaurico P9J1HFC7DS

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#AH6C, Luca Gaurico (unknown)

History

2026-11-02: add by m2/dev

P9J88QEE1A P9J88QEE1A

URI	`m2://inv/P9J88QEE1A`
Kind	statement
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#ACS3 (statement). In PXWXV92SJY/e1, theorem 1.1

History

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

Dirichlet function P9JCG9KCHS

URI	`m2://inv/P9JCG9KCHS`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Dirichlet function 0T4EJ8ZJM9

Mentions

wikidata: Wikidata Q948386, Dirichlet function (unknown). Also MathWorld DirichletFunction
wikipedia: Wikipedia Dirichlet function, Dirichlet function (definition). Also Wikidata Q948386

History

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

P9JFVHMN48 P9JFVHMN48

URI	`m2://inv/P9JFVHMN48`
Kind	statement
Layer	research
MSC	55-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.09422#V0U3 (statement). In MS7M2BJS9X/e1, lemma 7.21

History

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

P9JGC4AZRN P9JGC4AZRN

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

Mentions

arxiv: arXiv 2610.02061#PIGY (statement). In F5STMSPR6X/e1, proposition 4.8

History

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

confluence P9JK1E1VSJ

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

Mentions

hott_book: hott_book index/4.4/confluence, confluence (concept). In N54F33XE07, index, section 4.4

History

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

P9JK6A2QD7 P9JK6A2QD7

URI	`m2://inv/P9JK6A2QD7`
Kind	example
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 2511.12649#JSS7 (example). In RT27S2YZKJ/e1, example 3

History

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

Big-line-big-clique conjecture P9JM5F3FE7

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

Mentions

wikipedia: Wikipedia Big-line-big-clique conjecture, Big-line-big-clique conjecture (statement). Also Wikidata Q116882024

History

2026-11-02: add by m2/dev

Coefficient of coupling P9JNJ66WX2

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

Mentions

wikipedia: Wikipedia Inductance#ZTKK, Coefficient of coupling (unknown)

History

2026-11-02: add by m2/dev

Bond floor after failures P9JPNXJ95F

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

Mentions

arxiv: arXiv 2609.22301#VH1U, Bond floor after failures (statement)

History

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

Robert R. Nathan P9JQVKY6F3

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#OEMD, Robert R. Nathan (unknown)

History

2026-11-02: add by m2/dev

Theorem P9JR6P3DXX

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

Mentions

wikipedia: Wikipedia Koszul complex#01XU, Theorem (statement)

History

2026-11-02: add by m2/dev

P9JVV8XZ3B P9JVV8XZ3B

URI	`m2://inv/P9JVV8XZ3B`
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.03255#LYY7 (statement). In DCC0Y18670/e1, theorem 3.6

History

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

celestial sphere P9JWJ091DQ

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

Mentions

wikidata: Wikidata Q12134, celestial sphere (unknown). Also nLab celestial sphere
wikipedia: Wikipedia Celestial sphere, Celestial sphere (definition). Also Wikidata Q12134

History

2026-10-26: add by m2/dev

Bruno Courcelle P9JYP99V12

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

Mentions

wikipedia: Wikipedia Bruno Courcelle, Bruno Courcelle (topic). Also Wikidata Q17305808

History

2026-11-02: add by m2/dev

maximum principle, subvarieties P9K0FATY9P

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

Mentions

lebl_scv: lebl_scv index/6.7/maximum-principle-subvarieties, maximum principle, subvarieties (concept). In VNMV985MXX, index, section 6.7

History

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

Estimation Theory P9K6S2CFSE

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

Mentions

wikipedia: Wikipedia List of algorithms#9B0X, Estimation Theory (topic)
wikipedia: Wikipedia List of statistics articles#ZPR1, Estimation theory (topic)

History

2026-11-02: add by m2/dev

Definitions P9K8AVM61V

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

Mentions

wikipedia: Wikipedia Pytkeev space#8HFK, Definitions (definition)

History

2026-11-02: add by m2/dev

Integral of the secant function P9KBY4GCNZ

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

Mentions

wikipedia: Wikipedia Integral of the secant function, Integral of the secant function (definition). Also Wikidata Q4201936

History

2026-11-02: add by m2/dev

P9KK4SBTZ0 P9KK4SBTZ0

URI	`m2://inv/P9KK4SBTZ0`
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.08007#TH6N (statement). In MBFRRC83TH/e1, corollary 1

History

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

P9KYGV1YFB P9KYGV1YFB

URI	`m2://inv/P9KYGV1YFB`
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.05703#1BH3 (statement). In 2YS79JFD85/e1, proposition 3.2

History

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

Sequential time P9M0HSVHC5

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

Mentions

wikipedia: Wikipedia Sequential time, Sequential time (definition). Also Wikidata Q7452511

History

2026-11-02: add by m2/dev

Catalan's identity P9M5FBDXHS

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

Mentions

wikidata: Wikidata Q118220479, Catalan's identity (statement). Also MathWorld CatalansIdentity

History

2026-10-26: add by m2/dev

P9M5RZ1W0E P9M5RZ1W0E

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

Mentions

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

History

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

P9MTBYQXCF P9MTBYQXCF

URI	`m2://inv/P9MTBYQXCF`
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#2T22 (statement). In TX0H26X4VX/e1, lemma 8.15

History

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

Example 5 P9N38KQEHS

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

Mentions

wikipedia: Wikipedia Boolean algebras canonically defined#4EH0, Example 5 (example)

History

2026-11-02: add by m2/dev

Probability plot correlation coefficient P9N3HHT3HD

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

Mentions

wikipedia: Wikipedia List of statistics articles#HBB0, Probability plot correlation coefficient (definition)

History

2026-11-02: add by m2/dev

foot–pound–second system P9NDM61TBH

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

Mentions

wikidata: Wikidata Q5466615, foot–pound–second system (definition). Also ProofWiki Definition:FPS

History

2026-10-26: add by m2/dev

P9NDTFEAXD P9NDTFEAXD

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

Mentions

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

History

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

Henry Martyn Taylor P9NKKYW6VH

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

Mentions

wikipedia: Wikipedia Henry Martyn Taylor, Henry Martyn Taylor (topic). Also Wikidata Q5725562

History

2026-11-02: add by m2/dev

Main Optimality Theorem P9NNDFDVK5

URI	`m2://inv/P9NNDFDVK5`
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.20364#SFOW, Main Optimality Theorem (statement). In 433NXYKPG3/e1, theorem 1

History

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

Vanishing critical cost P9NP4DR6Y0

URI	`m2://inv/P9NP4DR6Y0`
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.24962#Z7UV, Vanishing critical cost (statement)

History

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

P9NRQE4DNA P9NRQE4DNA

URI	`m2://inv/P9NRQE4DNA`
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.27301#88TU (statement)

History

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

Proj P9NS0Y8NJY

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#8QMQ, Proj (definition)

History

2026-11-02: add by m2/dev

Klein graphs P9NXTSF5EN

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

Mentions

wikipedia: Wikipedia List of things named after Felix Klein#2R3T, Klein graphs (definition)

History

2026-11-02: add by m2/dev

P9NYEY1VCJ P9NYEY1VCJ

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

Mentions

napkin: napkin tex/measure/large-laws.tex#proof-3 (proof). In RZP28ERRZV, proof, section 64.3.3

History

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

P9P0RPTB5C P9P0RPTB5C

URI	`m2://inv/P9P0RPTB5C`
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.15700#73YX (statement). In S95MSZ7MDR/e1, lemma 3.3

History

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

P9P5GQ0BS2 P9P5GQ0BS2

URI	`m2://inv/P9P5GQ0BS2`
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.34013#GJCP (statement). In 3TA3P3CWSJ/e1, proposition 4.5

History

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

P9P8WXPDKY P9P8WXPDKY

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

Mentions

arxiv: arXiv 2401.07983#H0TC (problem). In 4WJ9HYVSZY/e1, problem 2

History

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

Brouwer–Hilbert controversy P9PDE300KA

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

Mentions

wikipedia: Wikipedia Brouwer–Hilbert controversy, Brouwer–Hilbert controversy (definition). Also Wikidata Q4975879

History

2026-11-02: add by m2/dev

Molien P9PDJHSQN5

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#IAYJ, Molien (definition)

History

2026-11-02: add by m2/dev

Right empirical quantiles P9PDNFERBC

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

Mentions

arxiv: arXiv 2609.23350#8QCT, Right empirical quantiles (definition)

History

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

A common quotient RS anchor P9PE01WCBK

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

Mentions

arxiv: arXiv 2610.15815#KNXF, A common quotient RS anchor (statement). In 9C75CTY5C3/e1, proposition 5.13

History

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

P9PFWBH8NM P9PFWBH8NM

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

Mentions

arxiv: arXiv 2610.20131#EFHD (statement). In 29D4TTE3J2/e1, theorem 10.7

History

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

Donald J. Newman P9PJQ7K0J9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#UCRG, Donald J. Newman (topic)

History

2026-11-02: add by m2/dev

Khinchin's theorem on metric Diophantine approximation and extensions P9PKWTE36C

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

Mentions

wikipedia: Wikipedia Diophantine approximation#CW0V, Khinchin's theorem on metric Diophantine approximation and extensions (statement)

History

2026-11-02: add by m2/dev

Arnold Magowan Arthurs P9PPGE865R

URI	`m2://inv/P9PPGE865R`
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 Q102175305, Arnold Magowan Arthurs (unknown). Also ProofWiki Mathematician:Arnold_M._Arthurs

History

2026-10-26: add by m2/dev

Todd, Emmanuel P9PQ7XBXJ3

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

Mentions

wikipedia: Wikipedia List of statisticians#Z6XO, Todd, Emmanuel (unknown)

History

2026-11-02: add by m2/dev

Positive reconstruction P9PS34JBJ5

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

Mentions

arxiv: arXiv 2609.27153#NMKN, Positive reconstruction (statement)

History

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

P9PV68H93W P9PV68H93W

URI	`m2://inv/P9PV68H93W`
Kind	problem
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#IBG6 (problem). In 47WN78VDDF/e1, problem 3.40

History

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

Peter Bürgisser P9PXK7W60K

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

Mentions

wikipedia: Wikipedia Peter Bürgisser, Peter Bürgisser (topic). Also Wikidata Q37008968

History

2026-11-02: add by m2/dev

Caratheodory-π solution P9Q1YPRKCB

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

Mentions

wikipedia: Wikipedia Caratheodory-π solution, Caratheodory-π solution (definition). Also Wikidata Q17006134

History

2026-11-02: add by m2/dev

constant coefficient case P9Q9E4SMEF

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

Mentions

mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > constant coefficient case, constant coefficient case (unknown)

History

2026-10-26: add by m2/dev

P9QCFBK1ZZ P9QCFBK1ZZ

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/ch.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 69.1

History

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

Minimum bottleneck spanning tree P9QD2RGTR6

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

Mentions

wikipedia: Wikipedia Minimum bottleneck spanning tree, Minimum bottleneck spanning tree (definition). Also Wikidata Q25303658

History

2026-11-02: add by m2/dev

P9QDMTM9KJ P9QDMTM9KJ

URI	`m2://inv/P9QDMTM9KJ`
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 2610.10233#RQSJ (definition). In QR9WE79ERQ/e1, definition 8.1

History

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

P9QFBCSGRP P9QFBCSGRP

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

Mentions

arxiv: arXiv 2610.20801#1CW2 (definition). In A1GWWGRXPA/e1, definition 6.10

History

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

Ultra-commutative localization by $b_1$ P9QJ38BKWS

URI	`m2://inv/P9QJ38BKWS`
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 2610.21675#0F01, Ultra-commutative localization by $b_1$ (statement). In TB1294GY5X/e1, theorem 6.3

History

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

P9QWJTZC5B P9QWJTZC5B

URI	`m2://inv/P9QWJTZC5B`
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 2212.02556#JMYJ (statement). In 78QQZYTGTD/e1, lemma 3.6

History

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

Definition P9R89K6Z5Q

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

Mentions

wikipedia: Wikipedia Collineation#UHV5, Definition (definition)

History

2026-11-02: add by m2/dev

Hardy–Weinberg principle P9R98WJAZP

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

Mentions

wikipedia: Wikipedia List of probability topics#R557, Hardy–Weinberg principle (statement)

History

2026-11-02: add by m2/dev

P9RC214R5Y P9RC214R5Y

URI	`m2://inv/P9RC214R5Y`
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 2610.05018#QD3X (statement). In QFZSPBES9B/e1, corollary 3.10

History

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

Solomon Kullback P9RJMDARVE

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

Mentions

wikipedia: Wikipedia List of cryptographers#DHRC, Solomon Kullback (topic)

History

2026-11-02: add by m2/dev

Generalization P9RKZWQD63

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

Mentions

wikipedia: Wikipedia Kőnig's lemma#B1SW, Generalization (statement)

History

2026-11-02: add by m2/dev

P9RSN368D4 P9RSN368D4

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

Mentions

arxiv: arXiv 2211.10178#60BS (statement). In 8T90H89HNB/e1, corollary 4.7

History

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

Interaction information P9S34BMR2W

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

Mentions

wikipedia: Wikipedia Interaction information, Interaction information (definition). Also Wikidata Q17098245

History

2026-11-02: add by m2/dev

P9S4A06EDB P9S4A06EDB

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

Mentions

arxiv: arXiv 2610.21365#WHW3 (definition). In FCMMB2EVAP/e1, definition 2.2

History

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

Definition P9S4P25VC7

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

Mentions

wikipedia: Wikipedia Spinh group#7W06, Definition (definition)

History

2026-11-02: add by m2/dev

Web analytics P9SF3D63EA

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

Mentions

wikipedia: Wikipedia Web analytics, Web analytics (definition). Also Wikidata Q10719477

History

2026-11-02: add by m2/dev

P9SPGM2NBX P9SPGM2NBX

URI	`m2://inv/P9SPGM2NBX`
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.28489#D63M (statement)

History

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

P9T06WDTGR P9T06WDTGR

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

Mentions

arxiv: arXiv 2610.16248#R41L (definition). In TP61DYMBMK/e1, definition

History

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

Burns, Arthur F. P9T0V8MCD7

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

Mentions

wikipedia: Wikipedia List of statisticians#E9J8, Burns, Arthur F. (unknown)

History

2026-11-02: add by m2/dev

P9T19BRPJB P9T19BRPJB

URI	`m2://inv/P9T19BRPJB`
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.30544#BZ9F (statement). In CB35ZBBBPT/e1, lemma 3.1

History

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

One-dimensional reduction P9T2X5PE5E

URI	`m2://inv/P9T2X5PE5E`
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#HCIK, One-dimensional reduction (statement). In 61ZHQ7BTKP/e1, proposition 6.1

History

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

Mathematical knowledge management P9T331T4CT

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

Mentions

wikipedia: Wikipedia Mathematical knowledge management, Mathematical knowledge management (topic). Also Wikidata Q6786855

History

2026-11-02: add by m2/dev

P9T72F82VJ P9T72F82VJ

URI	`m2://inv/P9T72F82VJ`
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#MOR3 (statement). In A4S9A3X494/e1, proposition 2

History

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

P9TAM5W3NP P9TAM5W3NP

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

Mentions

arxiv: arXiv 2610.15887#6BMG (statement). In 87QYNZZ67Z/e1, proposition 9.5

History

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

Petersson trace formula P9TBKWNGEG

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

Mentions

wikipedia: Wikipedia Petersson trace formula, Petersson trace formula (statement). Also Wikidata Q7178273

History

2026-11-02: add by m2/dev

Spirals in nature P9TZJM9811

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

Mentions

wikipedia: Wikipedia Spiral#BDUP, Spirals in nature (unknown)

History

2026-11-02: add by m2/dev

P9VAYM0BM4 P9VAYM0BM4

URI	`m2://inv/P9VAYM0BM4`
Kind	statement
Layer	research
MSC	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 2610.14278#PM17 (statement). In RTE2C0PH4S/e1, corollary 5.4

History

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

P9VE27K59W P9VE27K59W

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

Mentions

arxiv: arXiv 2310.06695#898E (statement). In D6F8XGF5SS/e1, lemma 4.2

History

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

Diamond principle P9VF2D58MR

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

Mentions

wikipedia: Wikipedia Diamond principle, Diamond principle (statement). Also Wikidata Q1734160

History

2026-11-02: add by m2/dev

claw graph P9VK29WJ32

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

Mentions

wikidata: Wikidata Q3115564, claw graph (unknown). Also House of Graphs 500, MathWorld ClawGraph

History

2026-10-26: add by m2/dev

Pathwise blow-up subsequences P9VKQST15R

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

Mentions

arxiv: arXiv 2609.20735#MAUR, Pathwise blow-up subsequences (statement)

History

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

P9VNHB7V5X P9VNHB7V5X

URI	`m2://inv/P9VNHB7V5X`
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.36033#O7MZ (statement). In N2W0AH1KRF/e1, lemma 3.5

History

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

order, linear P9VPV8777V

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

Mentions

hott_book: hott_book index/B.2.1/order-linear, order, linear (concept). In N54F33XE07, index, section B.2.1

History

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

bump P9VQDDGT1R

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#RVFP, bump (definition)

History

2026-11-02: add by m2/dev

Frame problem P9VS5VP26T

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

Mentions

wikipedia: Wikipedia Frame problem, Frame problem (problem). Also Wikidata Q1185775

History

2026-11-02: add by m2/dev

circle P9VX0QMA60

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#9LWN, circle (definition)

History

2026-11-02: add by m2/dev

Symmetry P9W0Z8YW3B

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

Mentions

wikipedia: Wikipedia Quarter cubic honeycomb#CAE2, Symmetry (statement)

History

2026-11-02: add by m2/dev

Example P9W75YT0N2

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

Mentions

wikipedia: Wikipedia Omnibus test#0J2A, Example (example)

History

2026-11-02: add by m2/dev

P9WTWE1CE6 P9WTWE1CE6

URI	`m2://inv/P9WTWE1CE6`
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.36412#8FA9 (statement). In 6HKGGCMBCK/e1, proposition 2.9

History

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

Lennart Åqvist P9WV2TWE0H

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

Mentions

wikipedia: Wikipedia List of logicians#Y46B, Lennart Åqvist (topic)

History

2026-11-02: add by m2/dev

P9WVEDBQTB P9WVEDBQTB

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

Mentions

active_calculus: active_calculus source/sec-2-5-chain.xml#ex-2-5-linear (example). In 907G4C4EJ1, example, section 2.5.2

History

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

Equivalent definitions P9X1W2AYQJ

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

Mentions

wikipedia: Wikipedia List object#6W4B, Equivalent definitions (definition)

History

2026-11-02: add by m2/dev

P9X5A2KJT6 P9X5A2KJT6

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 4.1

History

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

P9X9SSH9P1 P9X9SSH9P1

URI	`m2://inv/P9X9SSH9P1`
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 2610.12912#0WVR (example). In PDKBKKJ4BV/e1, example 3.3

History

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

P9XBTH0MRS P9XBTH0MRS

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

Mentions

arxiv: arXiv 2610.17547#KYGT (definition). In XJ59TDP4HA/e1, definition 3.12

History

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

Conjecture (Bang, 1951) P9XC9SENH4

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

Mentions

wikipedia: Wikipedia Affine plank problem#Z2BA, Conjecture (Bang, 1951) (statement)

History

2026-11-02: add by m2/dev

Bell state P9XEVQW5DV

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

Mentions

wikipedia: Wikipedia Bell state, Bell state (definition). Also Wikidata Q2898260

History

2026-11-02: add by m2/dev

P9XWK6KQSN P9XWK6KQSN

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

Mentions

arxiv: arXiv 1802.02910#5078 (statement). In AY2MA29921/e1, lemma 011

History

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

Alexandra Bellow P9XX0NGXX4

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#94IE, Alexandra Bellow (topic)

History

2026-11-02: add by m2/dev

Kurt Schütte P9XXV1HEJ4

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

Mentions

wikipedia: Wikipedia Kurt Schütte, Kurt Schütte (topic). Also Wikidata Q106653

History

2026-11-02: add by m2/dev

Definition P9Y9RKQ4J8

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

Mentions

wikipedia: Wikipedia Theorema Egregium#1KW2, Definition (definition)

History

2026-11-02: add by m2/dev

András Sárközy P9YA9WB4GT

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#72IY, András Sárközy (topic)

History

2026-11-02: add by m2/dev

unique, factorization system P9YB4Y74H7

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

Mentions

hott_book: hott_book index/6.7/unique-factorization-system, unique, factorization system (concept). In N54F33XE07, index, section 6.7

History

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

P9YDP2Y69W P9YDP2Y69W

URI	`m2://inv/P9YDP2Y69W`
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 2201.04174#DBV6 (statement). In NVTHDNQQ4Q/e1, theorem 1.1

History

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

P9YEWBVZNT P9YEWBVZNT

URI	`m2://inv/P9YEWBVZNT`
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.12047#1BTF (statement). In ZF1Y3HZMZ9/e1, lemma 4.2

History

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

P9YW8CBZY3 P9YW8CBZY3

URI	`m2://inv/P9YW8CBZY3`
Kind	statement
Layer	research
MSC	16-XX, 17-XX, 20-XX, 22-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.21860#1OPF (statement)

History

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

Gradient perturbation consistency P9Z0EMWRK3

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

Mentions

arxiv: arXiv 2610.11619#3DPB, Gradient perturbation consistency (statement). In HT2K76Y9WS/e1, theorem 3.10

History

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

Sequentially compact space P9Z3KJ0DAE

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

Mentions

wikipedia: Wikipedia Sequentially compact space, Sequentially compact space (definition). Also Wikidata Q1135427

History

2026-11-02: add by m2/dev

Scherk surface P9Z5BFVMFR

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#BKDG, Scherk surface (definition)
wikipedia: Wikipedia List of surfaces#AHXG, Scherk surface (definition)

History

2026-11-02: add by m2/dev

Mean value estimate P9Z77DA1BY

URI	`m2://inv/P9Z77DA1BY`
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.11487#APYA, Mean value estimate (statement). In 8S0K3Y25HM/e1, lemma 2.1

History

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

Divergence theorem P9Z9867J9T

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

Mentions

wikipedia: Wikipedia Three-dimensional space#X5ST, Divergence theorem (statement)

History

2026-11-02: add by m2/dev

Generalizations P9Z9P1CJJ5

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

Mentions

wikipedia: Wikipedia Pontryagin duality#1YGT, Generalizations (statement)

History

2026-11-02: add by m2/dev

Cryptome P9ZAADCP0J

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

Mentions

wikipedia: Wikipedia Cryptome, Cryptome (definition). Also Wikidata Q427471

History

2026-11-02: add by m2/dev

P9ZEAHKB8P P9ZEAHKB8P

URI	`m2://inv/P9ZEAHKB8P`
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.33771#TH61 (statement). In ZXQA7QH0H0/e1, proposition 2.12

History

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

All one polynomial P9ZHTE8NKB

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

Mentions

wikipedia: Wikipedia List of polynomial topics#B9W1, All one polynomial (definition)

History

2026-11-02: add by m2/dev

Definitions P9ZMJT6G5J

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

Mentions

wikipedia: Wikipedia Truncation error (numerical integration)#1RAQ, Definitions (definition)

History

2026-11-02: add by m2/dev

Max Abraham P9ZTFVEVMR

URI	`m2://inv/P9ZTFVEVMR`
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#FUMD, Max Abraham (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KLJU, Max Abraham (unknown)

History

2026-11-02: add by m2/dev

Order-2 apeirogonal tiling P9ZZG2FQTZ

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#S585, Order-2 apeirogonal tiling (object)

History

2026-11-02: add by m2/dev