Inventory rows 3F

Yair Censor 3F021RRKVM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#HFXT, Yair Censor (topic)

History

2026-11-02: add by m2/dev

3F08T6RGNW 3F08T6RGNW

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#proof-28 (proof). In E59CDZA4DP, proof, section 1.7.2

History

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

3F0CEBTS7W 3F0CEBTS7W

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

Mentions

arxiv: arXiv 2609.20469#HAOF (statement)

History

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

900 3F0DQ4F66V

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

Mentions

wikipedia: Wikipedia 900 (number), 900 (definition). Also Wikidata Q741748

History

2026-11-02: add by m2/dev

Tschuprow's T 3F0R5XK2KW

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

Mentions

wikipedia: Wikipedia Tschuprow's T, Tschuprow's T (definition). Also Wikidata Q7849476

History

2026-11-02: add by m2/dev

Homogeneous linear differential equation 3F0RP3YQCQ

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

Mentions

wikipedia: Wikipedia Homogeneous differential equation#9AQF, Homogeneous linear differential equation (unknown)

History

2026-11-02: add by m2/dev

3F1124PB08 3F1124PB08

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#proof-14 (proof). In E59CDZA4DP, proof, section 10.3.1

History

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

3F141JF4M6 3F141JF4M6

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

Mentions

arxiv: arXiv 2610.13213#582P (statement). In V97F4YZ8B0/e1, theorem A

History

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

Janko group J3 3F1A7MAA2V

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

Mentions

wikipedia: Wikipedia Janko group J3, Janko group J3 (object). Also Wikidata Q6154867

History

2026-11-02: add by m2/dev

3F1EQ3007V 3F1EQ3007V

URI	`m2://inv/3F1EQ3007V`
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 2405.10580#OC8Y (statement). In FXEJE0PWEP/e1, proposition 2.2

History

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

3F1FYMKD0N 3F1FYMKD0N

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

Mentions

arxiv: arXiv 2609.37520#2XFD (statement). In BDN507RN7J/e1, proposition 3.5.6

History

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

3F1Q5E86E8 3F1Q5E86E8

URI	`m2://inv/3F1Q5E86E8`
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 2609.26337#AIF7 (definition)

History

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

3F1TD00VYX 3F1TD00VYX

URI	`m2://inv/3F1TD00VYX`
Kind	statement
Layer	research
MSC	30-XX, 32-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.10505#2FP9 (statement). In JW8HH6EPG2/e1, lemma 3.19

History

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

Construction 3F1XQSJ7A4

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

Mentions

wikipedia: Wikipedia Obstruction theory#ZN3Q, Construction (definition)

History

2026-11-02: add by m2/dev

3F1XYRD43K 3F1XYRD43K

URI	`m2://inv/3F1XYRD43K`
Kind	definition
Layer	research
MSC	51-XX, 52-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.11596#1SAF (definition). In 76850E2X7T/e1, definition 2.6

History

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

Examples 3F2015PB6W

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

Mentions

wikipedia: Wikipedia Hitting time#CFJ7, Examples (example)

History

2026-11-02: add by m2/dev

3F21PPN7R0 3F21PPN7R0

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

Mentions

active_calculus: active_calculus source/sec-3-5-optimization.xml#Ex-3-3-1 (example). In 907G4C4EJ1, example, section 3.5.3

History

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

Oscar H. Ibarra 3F25J9VQRN

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#R75D, Oscar H. Ibarra (unknown)

History

2026-11-02: add by m2/dev

William Jack 3F2797ZVRW

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

Mentions

wikipedia: Wikipedia William Jack (mathematician), William Jack (topic). Also Wikidata Q28133025

History

2026-11-02: add by m2/dev

Erdős discrepancy problem 3F2H2C2CXV

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

Mentions

wikipedia: Wikipedia List of conjectures by Paul Erdős#MVVH, Erdős discrepancy problem (definition)

History

2026-11-02: add by m2/dev

3F2HV5AEHN 3F2HV5AEHN

URI	`m2://inv/3F2HV5AEHN`
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.21507#HCNA (definition)

History

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

Function composition 3F2MY3KTBW

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

Mentions

wikipedia: Wikipedia List of types of functions#6L2O, Function composition (definition)

History

2026-11-02: add by m2/dev

stevedore knot 3F2R5KWC9V

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

Mentions

wikidata: Wikidata Q7614401, stevedore knot (unknown). Also MathWorld StevedoresKnot
wikipedia: Wikipedia Stevedore knot (mathematics), Stevedore knot (definition). Also Wikidata Q7614401

History

2026-10-26: add by m2/dev

3F2T6SYNET 3F2T6SYNET

URI	`m2://inv/3F2T6SYNET`
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.08370#7CZ2 (statement). In EQN3EZRZYQ/e1, proposition 3.1

History

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

3F2TM2YZQQ 3F2TM2YZQQ

URI	`m2://inv/3F2TM2YZQQ`
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.18078#SW4O (statement). In YVK8EFSYNJ/e1, lemma 3.8

History

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

Yan's theorem 3F2TTV2WT8

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

Mentions

wikipedia: Wikipedia Yan's theorem#667E, Yan's theorem (statement)

History

2026-11-02: add by m2/dev

Examples 3F2V7AV09B

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

Mentions

wikipedia: Wikipedia Virial theorem#C4LK, Examples (example)

History

2026-11-02: add by m2/dev

Elementary group 3F2XR31EH3

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

Mentions

wikipedia: Wikipedia Elementary group, Elementary group (definition). Also Wikidata Q5358907

History

2026-11-02: add by m2/dev

Applications 3F2ZYCSXP2

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

Mentions

wikipedia: Wikipedia Kosambi–Karhunen–Loève theorem#PS7Q, Applications (example)

History

2026-11-02: add by m2/dev

3F33AMDMAR 3F33AMDMAR

URI	`m2://inv/3F33AMDMAR`
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.20801#1PWJ (statement). In A1GWWGRXPA/e1, proposition 5.24

History

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

3F38X79RAX 3F38X79RAX

URI	`m2://inv/3F38X79RAX`
Kind	statement
Layer	research
MSC	16-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.21703#GAY7 (statement)

History

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

Hybrid formulas with LTF blocks 3F3KV44W2F

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

Mentions

arxiv: arXiv 2610.16069#SD2U, Hybrid formulas with LTF blocks (statement). In MBJA03ES8N/e1, corollary 7.4

History

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

\textbf{Smooth Reconstruction from Finite Evaluations 3F3M3ARQB3

URI	`m2://inv/3F3M3ARQB3`
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.02791#ELWT, \textbf{Smooth Reconstruction from Finite Evaluations (statement). In TT9BA4VMTW/e1, lemma A.6

History

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

Tschirnhausen cubic 3F3Q0TDTJV

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

Mentions

wikidata: Wikidata Q4243599, Tschirnhausen cubic (concept). Also MathWorld TschirnhausenCubic
wikipedia: Wikipedia Tschirnhausen cubic, Tschirnhausen cubic (definition). Also Wikidata Q4243599

History

2026-10-26: add by m2/dev

Attention blocks satisfy the residual regularity 3F3QSFSH40

URI	`m2://inv/3F3QSFSH40`
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.14344#6DIX, Attention blocks satisfy the residual regularity (statement). In ZVCD8RG1JJ/e1, proposition 2

History

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

3F3TED73R0 3F3TED73R0

URI	`m2://inv/3F3TED73R0`
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.04776#Z65K (statement). In WSQDYBQDSV/e1, lemma 2

History

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

symmetric monoidal category 3F3YM6TZJZ

URI	`m2://inv/3F3YM6TZJZ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Symmetric monoidal category 5S7ER95XAC

Mentions

wikidata: Wikidata Q17103860, symmetric monoidal category (unknown). Also nLab symmetric monoidal category
wikipedia: Wikipedia Symmetric monoidal category, Symmetric monoidal category (definition). Also Wikidata Q17103860

History

2026-10-26: add by m2/dev

Properties 3F3Z7SN7WM

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

Mentions

wikipedia: Wikipedia Minkowski's bound#ZQAT, Properties (statement)

History

2026-11-02: add by m2/dev

One-shot zero-error capacities 3F4CFKFFJM

URI	`m2://inv/3F4CFKFFJM`
Kind	definition
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.40054#41KJ, One-shot zero-error capacities (definition). In CA4C9PFM1E/e1, definition 2.2.4

History

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

3F4Q4YAGMS 3F4Q4YAGMS

URI	`m2://inv/3F4Q4YAGMS`
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.30636#4QSO (statement). In TNPXAV263D/e1, proposition 1

History

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

University of Waterloo Faculty of Mathematics 3F4T9MMDXJ

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

Mentions

wikipedia: Wikipedia University of Waterloo Faculty of Mathematics, University of Waterloo Faculty of Mathematics (topic). Also Wikidata Q7896591

History

2026-11-02: add by m2/dev

Averaged-RSGD limit 3F59SHPS9W

URI	`m2://inv/3F59SHPS9W`
Kind	statement
Layer	research
MSC	49-XX, 62-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.22642#YSGV, Averaged-RSGD limit (statement)

History

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

Ordinals are strictly ordered 3F5AGJKD9Y

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

Mentions

napkin: napkin tex/set-theory/ordinal.tex#theorem-1, Ordinals are strictly ordered (statement). In RZP28ERRZV, theorem, section 92.3

History

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

Formal definition 3F5AMTFS4N

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

Mentions

wikipedia: Wikipedia Euler class#5JAP, Formal definition (definition)

History

2026-11-02: add by m2/dev

Related results 3F5E1QTNEM

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

Mentions

wikipedia: Wikipedia Pizza theorem#EQJY, Related results (statement)

History

2026-11-02: add by m2/dev

3F5NP4HQVA 3F5NP4HQVA

URI	`m2://inv/3F5NP4HQVA`
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.40054#B1SR (statement). In CA4C9PFM1E/e1, lemma 3.1.5

History

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

Dimitri Bertsekas 3F601QQW1S

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

Mentions

wikipedia: Wikipedia Dimitri Bertsekas, Dimitri Bertsekas (topic). Also Wikidata Q5277478

History

2026-11-02: add by m2/dev

Properties 3F60S93NDE

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

Mentions

wikipedia: Wikipedia Hall word#ZJEJ, Properties (statement)

History

2026-11-02: add by m2/dev

$(F,n)$-decision, cf. Lemmas 1.5--1.8 3F6M94NFQC

URI	`m2://inv/3F6M94NFQC`
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 2609.35180#5A87, $(F,n)$-decision, cf. Lemmas 1.5--1.8 (statement). In ZA34B1CR9M/e1, lemma 3.6

History

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

Kurtosis 3F6P1EKKB9

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

Mentions

wikipedia: Wikipedia List of statistics articles#F3MQ, Kurtosis (definition)

History

2026-11-02: add by m2/dev

3F6YPQEWQP 3F6YPQEWQP

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

Mentions

arxiv: arXiv 2609.32524#8V84 (definition). In XGCND7R0B0/e1, definition 2.2

History

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

Averaging the clocks 3F73ZXMF9M

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

Mentions

arxiv: arXiv 2610.02531#0VFM, Averaging the clocks (statement). In 44EQ0MZE8G/e1, lemma 8.6

History

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

Localization 3F747SAQF9

URI	`m2://inv/3F747SAQF9`
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#ONKB, Localization (statement). In 87QYNZZ67Z/e1, proposition 9.3

History

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

3F77S263HF 3F77S263HF

URI	`m2://inv/3F77S263HF`
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#TYLO (statement). In QR9WE79ERQ/e1, lemma 8.8

History

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

Lévy hierarchy 3F7921QS7S

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

Mentions

wikidata: Wikidata Q6711217, Lévy hierarchy (unknown). Also nLab Lévy hierarchy
wikipedia: Wikipedia Lévy hierarchy, Lévy hierarchy (definition). Also Wikidata Q6711217

History

2026-10-26: add by m2/dev

Equatorial Kelvin wave 3F79Q0NAHD

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

Mentions

wikipedia: Wikipedia Kelvin wave#ANI3, Equatorial Kelvin wave (unknown)

History

2026-11-02: add by m2/dev

semantic conception of truth 3F7DX4F79T

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

Mentions

wikipedia: Wikipedia Glossary of logic#JKYY, semantic conception of truth (definition)

History

2026-11-02: add by m2/dev

Properties 3F7FCBJP56

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

Mentions

wikipedia: Wikipedia Log-normal distribution#04C8, Properties (statement)

History

2026-11-02: add by m2/dev

Sankhya 3F7MM9TS41

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

Mentions

wikipedia: Wikipedia Sankhya (journal), Sankhya (definition). Also Wikidata Q7418720

History

2026-11-02: add by m2/dev

3F87PYM72N 3F87PYM72N

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

Mentions

arxiv: arXiv 2610.07897#VNN2 (definition). In 1MWYGMR6TJ/e1, definition

History

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

Hao Wang 3F88ZXP5PR

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

Mentions

wikipedia: Wikipedia List of logicians#ZTU7, Hao Wang (topic)

History

2026-11-02: add by m2/dev

Implementation 3F8BKHB78B

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

Mentions

wikipedia: Wikipedia Separation oracle#J216, Implementation (definition)

History

2026-11-02: add by m2/dev

Besicovitch covering theorem 3F8GPQ2AQA

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

Mentions

wikipedia: Wikipedia List of theorems#CBCE, Besicovitch covering theorem (statement)

History

2026-11-02: add by m2/dev

3F8JGYTG4X 3F8JGYTG4X

URI	`m2://inv/3F8JGYTG4X`
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.20590#OTX3 (statement)

History

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

quincunx 3F8JY550A9

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

Mentions

wikidata: Wikidata Q2123264, quincunx (unknown). Also MathWorld Quincunx
wikipedia: Wikipedia Quincunx, Quincunx (definition). Also Wikidata Q2123264

History

2026-10-26: add by m2/dev

3F8KYJQ2EC 3F8KYJQ2EC

URI	`m2://inv/3F8KYJQ2EC`
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 2609.37815#DQSW (statement). In SVJYA0171G/e1, lemma 2.4

History

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

Theorem 3F8NAP2SF1

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

Mentions

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

History

2026-11-02: add by m2/dev

Benjamin Schlein 3F8Z9GMABH

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

Mentions

wikipedia: Wikipedia Benjamin Schlein, Benjamin Schlein (topic). Also Wikidata Q30337338

History

2026-11-02: add by m2/dev

3F91D2XVMX 3F91D2XVMX

URI	`m2://inv/3F91D2XVMX`
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.20285#1I5E (statement). In RQA728RB77/e1, proposition 4

History

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

3F96PZXK3K 3F96PZXK3K

URI	`m2://inv/3F96PZXK3K`
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.16233#F1SI (statement). In RNXMADQ33J/e1, lemma 3.1

History

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

Computation 3F9A4AXZ8K

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

Mentions

wikipedia: Wikipedia Minimum mean square error estimator#M4A1, Computation (definition)

History

2026-11-02: add by m2/dev

Statistics Online Computational Resource 3F9CS87R8W

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

Mentions

wikipedia: Wikipedia Statistics Online Computational Resource, Statistics Online Computational Resource (definition). Also Wikidata Q14476109

History

2026-11-02: add by m2/dev

Circular distribution 3F9R72WA62

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

Mentions

wikipedia: Wikipedia List of statistics articles#787S, Circular distribution (definition)

History

2026-11-02: add by m2/dev

3F9XMHGER2 3F9XMHGER2

URI	`m2://inv/3F9XMHGER2`
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.06340#1I1K (statement). In PKNZPECH82/e1, theorem 1.7

History

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

Hat matrix 3F9Y3FQYS6

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

Mentions

wikipedia: Wikipedia List of named matrices#EB1T, Hat matrix (definition)

History

2026-11-02: add by m2/dev

3FA69JPX3X 3FA69JPX3X

URI	`m2://inv/3FA69JPX3X`
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#P1B4 (statement)

History

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

3FA87V7YV3 3FA87V7YV3

URI	`m2://inv/3FA87V7YV3`
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#597T (statement). In GYH7R98PPA/e1, proposition 2.1

History

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

Properties 3FANVN040J

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

Mentions

wikipedia: Wikipedia Calkin algebra#1BOH, Properties (statement)

History

2026-11-02: add by m2/dev

Slide attack 3FARHJK57G

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

Mentions

wikipedia: Wikipedia Slide attack, Slide attack (definition). Also Wikidata Q7540343

History

2026-11-02: add by m2/dev

3FAW4FHCQ6 3FAW4FHCQ6

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

Mentions

arxiv: arXiv 2405.10580#XJKZ (definition). In FXEJE0PWEP/e1, definition 3.1

History

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

Non-commutative cryptography 3FAWXQQRZ3

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

Mentions

wikipedia: Wikipedia Non-commutative cryptography, Non-commutative cryptography (definition). Also Wikidata Q18354158

History

2026-11-02: add by m2/dev

3FB6Q97JWY 3FB6Q97JWY

URI	`m2://inv/3FB6Q97JWY`
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 2409.01237#MTGZ (example). In M9VHCG48HB/e1, example 6.3

History

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

Approximation theory 3FB7YV2RFW

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#5997, Approximation theory (definition)

History

2026-11-02: add by m2/dev

Johan Frederik Steffensen 3FB9X90W9T

URI	`m2://inv/3FB9X90W9T`
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#VAON, Johan Frederik Steffensen (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZRIQ, Johan Frederik Steffensen (topic)

History

2026-11-02: add by m2/dev

Simultaneous Williamson's normal form 3FBAEFN1N9

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

Mentions

arxiv: arXiv 2610.04583#KL3E, Simultaneous Williamson's normal form (statement). In Y6774ZB8TE/e1, theorem C.1

History

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

3FBF4EPKRZ 3FBF4EPKRZ

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/systems-distinct.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 50.13

History

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

Lovász, László 3FBFJ3S5G5

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

Mentions

wikipedia: Wikipedia List of Hungarian mathematicians#YJ52, Lovász, László (topic)

History

2026-11-02: add by m2/dev

Lester G. Telser 3FBS47Y6VK

URI	`m2://inv/3FBS47Y6VK`
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#EPXR, Lester G. Telser (unknown)

History

2026-11-02: add by m2/dev

Differences between the weak law and the strong law 3FBXF9P61W

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

Mentions

wikipedia: Wikipedia Law of large numbers#PCR4, Differences between the weak law and the strong law (statement)

History

2026-11-02: add by m2/dev

3FC08QTPAD 3FC08QTPAD

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

Mentions

wikipedia: Wikipedia Generalized taxicab number#YG0A (problem)

History

2026-11-02: add by m2/dev

3FC1AENQN3 3FC1AENQN3

URI	`m2://inv/3FC1AENQN3`
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 1008.2055#U912 (statement). In 76JR4WFT4B/e1, proposition 2.4

History

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

Antecedent 3FC6HD6HC8

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

Mentions

wikipedia: Wikipedia Antecedent (logic), Antecedent (definition). Also Wikidata Q260460

History

2026-11-02: add by m2/dev

3FCDZRC5GH 3FCDZRC5GH

URI	`m2://inv/3FCDZRC5GH`
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.35153#L8FV (statement). In RNDAAR1ER9/e1, theorem 1

History

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

3FCH99YPZN 3FCH99YPZN

URI	`m2://inv/3FCH99YPZN`
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#XA34 (statement). In PD607VXPY3/e1, proposition 13

History

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

Self-regular extension 3FCHC982Q0

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

Mentions

wikipedia: Wikipedia Glossary of field theory#W70P, Self-regular extension (definition)

History

2026-11-02: add by m2/dev

3FCMCF0H07 3FCMCF0H07

URI	`m2://inv/3FCMCF0H07`
Kind	definition
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 1002.0879#ASPB (definition). In M0SQY5EZN5/e1, definition 4.4.3

History

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

Georgii Polozii 3FCMH43SPC

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

Mentions

wikipedia: Wikipedia Georgii Polozii, Georgii Polozii (topic). Also Wikidata Q12141816

History

2026-11-02: add by m2/dev

3FCREHVJY8 3FCREHVJY8

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

Mentions

arxiv: arXiv 2609.26386#OLSG (statement)

History

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

3FCRVZVG4P 3FCRVZVG4P

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

Mentions

wikipedia: Wikipedia Erdős–Faber–Lovász conjecture#B6IA (problem)

History

2026-11-02: add by m2/dev

3FCV9N3XRX 3FCV9N3XRX

URI	`m2://inv/3FCV9N3XRX`
Kind	definition
Layer	research
MSC	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 2603.07541#7V2Z (definition). In X3RFXWN6FW/e1, definition 2.1

History

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

3FCY77EEZQ 3FCY77EEZQ

URI	`m2://inv/3FCY77EEZQ`
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 2609.32107#2P5S (definition). In F11G5M3JA5/e1, definition 2.1

History

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

3FD2H38NAG 3FD2H38NAG

URI	`m2://inv/3FD2H38NAG`
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.13847#9AM0 (statement). In S4FHV821A2/e1, theorem 1

History

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

3FD6DFY2JY 3FD6DFY2JY

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

Mentions

arxiv: arXiv 2610.10860#R6SJ (statement). In PBYNV2WF2H/e1, lemma 5.10

History

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

Character theory 3FDBCEETBM

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

Mentions

wikipedia: Wikipedia List of group theory topics#5B9U, Character theory (definition)
wikipedia: Wikipedia List of representation theory topics#XEUY, Character theory (definition)

History

2026-11-02: add by m2/dev

Definition 3FDCPX41SZ

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

Mentions

wikipedia: Wikipedia Correlation ratio#X39N, Definition (definition)

History

2026-11-02: add by m2/dev

Well-Posedness of the Semi-Discrete Problem 3FDF3V4SGZ

URI	`m2://inv/3FDF3V4SGZ`
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.13355#WICE, Well-Posedness of the Semi-Discrete Problem (statement). In QJ1G1HBC6C/e1, proposition 3.8

History

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

Four-dimensional case: A-theorem 3FDQJNEWH5

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

Mentions

wikipedia: Wikipedia C-theorem#BZWM, Four-dimensional case: A-theorem (statement)

History

2026-11-02: add by m2/dev

Epistemology of logic 3FDR3VYYB7

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

Mentions

wikipedia: Wikipedia Logic#9HTZ, Epistemology of logic (unknown)

History

2026-11-02: add by m2/dev

A. A. Goncar 3FDVEV4DDG

URI	`m2://inv/3FDVEV4DDG`
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#KPYY, A. A. Goncar (topic)

History

2026-11-02: add by m2/dev

Moore graph 3FE0X5KB5K

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

Mentions

wikidata: Wikidata Q3115522, Moore graph (unknown). Also MathWorld MooreGraph
wikipedia: Wikipedia Moore graph, Moore graph (definition). Also Wikidata Q3115522

History

2026-10-26: add by m2/dev

3FE12B9H4M 3FE12B9H4M

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

Mentions

open_logic: open_logic content/proof-theory/natural-deduction/quantifiers.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 58.1

History

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

Relative homology 3FE1KAC9X1

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

Mentions

wikipedia: Wikipedia List of algebraic topology topics#SHLG, Relative homology (definition)

History

2026-11-02: add by m2/dev

3FE62K0HMR 3FE62K0HMR

URI	`m2://inv/3FE62K0HMR`
Kind	statement
Layer	research
MSC	35-XX, 46-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.05403#KHXW (statement). In PQGGCD09KP/e1, proposition 7.2

History

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

Definition 3FE7BG2MJ5

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

Mentions

wikipedia: Wikipedia Twisted polynomial ring#8ZZB, Definition (definition)

History

2026-11-02: add by m2/dev

Nikolas Breuckmann 3FEC13ET40

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

Mentions

wikipedia: Wikipedia List of German mathematicians#JGB2, Nikolas Breuckmann (topic)

History

2026-11-02: add by m2/dev

subgraph, induced 3FEEP6K08Q

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

Mentions

applied_combinatorics: applied_combinatorics index/5.1/subgraph-induced, subgraph, induced (concept). In QKM9DD2H56, index, section 5.1

History

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

3FEN34MGEV 3FEN34MGEV

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

Mentions

arxiv: arXiv 2610.14204#9YTP (statement). In GZAY1Y12YD/e1, theorem D

History

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

3FEQCAS8YY 3FEQCAS8YY

URI	`m2://inv/3FEQCAS8YY`
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 2209.07892#ZBPM (statement). In RGAFSKTAHM/e1, theorem 3.2

History

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

3FER7V84GS 3FER7V84GS

URI	`m2://inv/3FER7V84GS`
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.36321#YEQL (statement). In 3KTZ6Z615H/e1, proposition 4.8

History

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

Definition 3FETM8435F

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

Mentions

wikipedia: Wikipedia Spherical mean#1UUF, Definition (definition)

History

2026-11-02: add by m2/dev

3FEV2QZW0Y 3FEV2QZW0Y

URI	`m2://inv/3FEV2QZW0Y`
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.24363#A6VD (statement)

History

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

Examples 3FF3SGXRQ5

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

Mentions

wikipedia: Wikipedia E∞-operad#9CBL, Examples (example)

History

2026-11-02: add by m2/dev

Carlson symmetric form 3FF9XH60YF

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

Mentions

wikipedia: Wikipedia Carlson symmetric form, Carlson symmetric form (definition). Also Wikidata Q5042922

History

2026-11-02: add by m2/dev

3FFG1M8H4Y 3FFG1M8H4Y

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

Mentions

arxiv: arXiv 2610.12054#NK4Z (definition). In 1A01NFHBGA/e1, definition 3.6

History

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

Second principle: constraint 3FFQB9320F

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

Mentions

wikipedia: Wikipedia Mathematical principles of reinforcement#XX75, Second principle: constraint (statement)

History

2026-11-02: add by m2/dev

Manfredo P. do Carmo 3FFV73SC4T

URI	`m2://inv/3FFV73SC4T`
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#OSV5, Manfredo P. do Carmo (topic)

History

2026-11-02: add by m2/dev

Ernest Vessiot 3FFXMN9Y10

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

Mentions

wikipedia: Wikipedia Ernest Vessiot, Ernest Vessiot (topic). Also Wikidata Q980896

History

2026-11-02: add by m2/dev

Alice S. Whittemore 3FFZKT6P6Z

URI	`m2://inv/3FFZKT6P6Z`
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#APEM, Alice S. Whittemore (unknown)

History

2026-11-02: add by m2/dev

Kneser–Ney smoothing 3FFZTVE2C8

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

Mentions

wikipedia: Wikipedia Kneser–Ney smoothing, Kneser–Ney smoothing (definition). Also Wikidata Q19597638

History

2026-11-02: add by m2/dev

bounded 3FG44P078H

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#K1XX, bounded (definition)

History

2026-11-02: add by m2/dev

No fixed points where one loop dominates 3FG9B7K03Q

URI	`m2://inv/3FG9B7K03Q`
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.29605#IFKH, No fixed points where one loop dominates (statement)

History

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

3FGFNKY1W6 3FGFNKY1W6

URI	`m2://inv/3FGFNKY1W6`
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.12736#35WR (statement). In 5350Q52F6P/e1, proposition 3.13

History

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

vector 3FGN7F47RR

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

Mentions

lebl_diffyqs: lebl_diffyqs index/2.1.1/vector, vector (concept). In E9HS8K3A52, index, section 2.1.1

History

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

Gradient descent 3FHDAEAE2K

URI	`m2://inv/3FHDAEAE2K`
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.04357#F5QD, Gradient descent (definition). In 6FY8BVP1F3/e1, definition 2.4

History

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

visible choice $\geqslant$ hidden choice 3FHDE576DC

URI	`m2://inv/3FHDE576DC`
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 1803.10042#70L0, visible choice $\geqslant$ hidden choice (statement). In 718SP8YERQ/e1, proposition A4

History

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

Definition 3FHGNBV18T

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

Mentions

wikipedia: Wikipedia Subnormal operator#48Q7, Definition (definition)

History

2026-11-02: add by m2/dev

3FHKJ9KKRW 3FHKJ9KKRW

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

Mentions

arxiv: arXiv 2609.21668#0XFR (definition)

History

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

3FHQR78FHQ 3FHQR78FHQ

URI	`m2://inv/3FHQR78FHQ`
Kind	statement
Layer	research
MSC	14-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 2310.15716#Y3C2 (statement). In 7WDA4MEWE2/e1, theorem 1.1

History

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

3FHS6W0E89 3FHS6W0E89

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

Mentions

arxiv: arXiv 2610.17817#LF83 (example). In M8TSJ24RC2/e1, example 3.12

History

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

3FJ28JKNMX 3FJ28JKNMX

URI	`m2://inv/3FJ28JKNMX`
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 2104.05191#X0P8 (statement). In CCNH3FK8YZ/e1, proposition 5.3

History

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

3FJ6WN44DC 3FJ6WN44DC

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

Mentions

arxiv: arXiv 2609.37520#3RA3 (definition). In BDN507RN7J/e1, definition 3.1.4

History

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

Perron–Frobenius theorem for irreducible non-negative matrices 3FJ7EDRJAZ

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

Mentions

wikipedia: Wikipedia Perron–Frobenius theorem#KNRE, Perron–Frobenius theorem for irreducible non-negative matrices (statement)

History

2026-11-02: add by m2/dev

Fenchel transition identity 3FJBA7ZRK2

URI	`m2://inv/3FJBA7ZRK2`
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.33472#RGGZ, Fenchel transition identity (statement). In WBQQBZ4FCJ/e1, theorem M.1

History

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

Dichotomous thinking 3FJEC7HQGY

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

Mentions

wikipedia: Wikipedia Dichotomous thinking, Dichotomous thinking (definition). Also Wikidata Q58125233

History

2026-11-02: add by m2/dev

3FJH0PV3TG 3FJH0PV3TG

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

Mentions

arxiv: arXiv 2610.21627#9GIC (statement). In 4Z44S003HM/e1, corollary 4

History

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

Ray-tracing hardware 3FJJ4H4BK1

URI	`m2://inv/3FJJ4H4BK1`
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#CCIQ, Ray-tracing hardware (unknown)

History

2026-11-02: add by m2/dev

3FJN1VBJBP 3FJN1VBJBP

URI	`m2://inv/3FJN1VBJBP`
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#LBRA (definition). In 9DQKY7KGE8/e1, definition 3.3

History

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

3FJYK9CW4W 3FJYK9CW4W

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

Mentions

arxiv: arXiv 2610.19437#9I30 (example). In 9PXXGQ978Z/e1, example 4.10

History

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

3FJZFZ9MPQ 3FJZFZ9MPQ

URI	`m2://inv/3FJZFZ9MPQ`
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.15472#0T1S (statement). In 5Z3FH46YSY/e1, theorem 3.4

History

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

3FK5HMTDKZ 3FK5HMTDKZ

URI	`m2://inv/3FK5HMTDKZ`
Kind	example
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 2503.16884#6SBE (example). In B984KNW591/e1, example 1.2

History

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

3FK8ETGGES 3FK8ETGGES

URI	`m2://inv/3FK8ETGGES`
Kind	problem
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.15881#4FX5 (problem). In RK0JCSYK33/e1, problem 4.1

History

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

Witten zeta function 3FKC3GSQ96

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

Mentions

wikipedia: Wikipedia List of zeta functions#NYMD, Witten zeta function (definition)

History

2026-11-02: add by m2/dev

Properties 3FKEJX3FPJ

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

Mentions

wikipedia: Wikipedia M-estimator#NPSC, Properties (statement)

History

2026-11-02: add by m2/dev

Axioms for fuzzy intersection 3FKEWE4G0Q

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

Mentions

wikipedia: Wikipedia Fuzzy set operations#1RTL, Axioms for fuzzy intersection (statement)

History

2026-11-02: add by m2/dev

Flatness problem 3FKJEN23HQ

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

Mentions

wikipedia: Wikipedia Flatness problem, Flatness problem (conjecture). Also Wikidata Q2078326

History

2026-11-02: add by m2/dev

Reverse correlation technique 3FKN6NK4JY

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

Mentions

wikipedia: Wikipedia Reverse correlation technique, Reverse correlation technique (definition). Also Wikidata Q104861664

History

2026-11-02: add by m2/dev

650 (number) 3FKQMWXABD

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

Mentions

wikipedia: Wikipedia 600 (number)#6VXO, 650 (number) (unknown)

History

2026-11-02: add by m2/dev

Monolith 3FKTCG1HYJ

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

Mentions

wikipedia: Wikipedia Glossary of general topology#YKKQ, Monolith (definition)

History

2026-11-02: add by m2/dev

3FM5K0T2NM 3FM5K0T2NM

URI	`m2://inv/3FM5K0T2NM`
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.14434#SZYO (statement). In TW93XZXMHE/e1, lemma 3.3

History

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

Statement 3FM9B415KH

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

Mentions

wikipedia: Wikipedia Collage theorem#JVWC, Statement (statement)

History

2026-11-02: add by m2/dev

Cosmic inflation 3FMCTFAQH4

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

Mentions

wikipedia: Wikipedia List of mathematical topics in relativity#64KH, Cosmic inflation (topic)

History

2026-11-02: add by m2/dev

Small control property 3FMDTMCMPK

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

Mentions

wikipedia: Wikipedia Small control property, Small control property (definition). Also Wikidata Q7543032

History

2026-11-02: add by m2/dev

Bayesian quadrature 3FMT4T9G12

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

Mentions

wikipedia: Wikipedia Bayesian quadrature, Bayesian quadrature (definition). Also Wikidata Q110530705

History

2026-11-02: add by m2/dev

Small-window scalar estimate 3FMXKK3W6X

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

Mentions

arxiv: arXiv 2610.14085#KZPE, Small-window scalar estimate (statement). In T8F19ZGHF3/e1, lemma B.1

History

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

segment 3FN2KXR1PV

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#OTIG, segment (definition)

History

2026-11-02: add by m2/dev

3FN3KKVCX5 3FN3KKVCX5

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

Mentions

open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 36.2

History

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

Construction 3FN40RS536

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

Mentions

wikipedia: Wikipedia Edge-contracted icosahedron#RMWE, Construction (definition)

History

2026-11-02: add by m2/dev

Darboux integral 3FNAK04J85

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

Mentions

wikipedia: Wikipedia List of real analysis topics#VAS8, Darboux integral (definition)

History

2026-11-02: add by m2/dev

3FNFPQ35SF 3FNFPQ35SF

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

Mentions

napkin: napkin tex/H113/sylow.tex#definition-2 (definition). In RZP28ERRZV, definition, section 7.2.1

History

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

HP 30b 3FNJYV0Z79

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

Mentions

wikipedia: Wikipedia HP 30b, HP 30b (definition). Also Wikidata Q5635627

History

2026-11-02: add by m2/dev

3FNNMCA4W5 3FNNMCA4W5

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

Mentions

arxiv: arXiv 2610.03327#NVES (statement). In EBNXA84CPM/e1, proposition 2.1

History

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

3FNSF5NXT7 3FNSF5NXT7

URI	`m2://inv/3FNSF5NXT7`
Kind	problem
Layer	research
MSC	46-XX, 47-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.15180#WCY9 (problem). In AMRWRJDNKJ/e1, problem 1

History

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

Gushel--Mukai fourfolds 3FNWV748VZ

URI	`m2://inv/3FNWV748VZ`
Kind	example
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#8OF5, Gushel--Mukai fourfolds (example)

History

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

Binary addition 3FNX43R221

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

Mentions

wikipedia: Wikipedia Binary number#DHI2, Binary addition (unknown)

History

2026-11-02: add by m2/dev

Hardware-based full disk encryption 3FNZKEBYS5

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

Mentions

wikipedia: Wikipedia Hardware-based full disk encryption, Hardware-based full disk encryption (definition). Also Wikidata Q17081362

History

2026-11-02: add by m2/dev

Tail bound for the cover time 3FP3XYN6R0

URI	`m2://inv/3FP3XYN6R0`
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.06372#OQAR, Tail bound for the cover time (statement). In G3E1P350Z6/e1, proposition 3.3

History

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

3FP5S7S416 3FP5S7S416

URI	`m2://inv/3FP5S7S416`
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 2610.16514#JNWW (statement). In 7RSA1AZ4XK/e1, proposition 3.7

History

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

Definition 3FP8DBR91N

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

Mentions

wikipedia: Wikipedia Linear flow on the torus#6PIV, Definition (definition)

History

2026-11-02: add by m2/dev

No-deleting theorem 3FP9XCPTVG

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

Mentions

wikipedia: Wikipedia List of theorems#QZB1, No-deleting theorem (statement)

History

2026-11-02: add by m2/dev

Alternative definition 3FPEAW6TT5

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

Mentions

wikipedia: Wikipedia Magic cube#SLTV, Alternative definition (definition)

History

2026-11-02: add by m2/dev

Monotone cubic interpolation 3FPHZQF8TW

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

Mentions

wikipedia: Wikipedia Monotone cubic interpolation, Monotone cubic interpolation (definition). Also Wikidata Q4044484

History

2026-11-02: add by m2/dev

Leon Simon 3FPMZMB2GY

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#OMZW, Leon Simon (unknown)

History

2026-11-02: add by m2/dev

Examples 3FPQS19YZ4

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

Mentions

wikipedia: Wikipedia Asymptotic gain model#5UQV, Examples (example)

History

2026-11-02: add by m2/dev

A uniform Gauss-sum second moment 3FPTKMCFY5

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

Mentions

arxiv: arXiv 2610.17675#W5B5, A uniform Gauss-sum second moment (statement). In 7NMQ6QBYKZ/e1, lemma 4.1

History

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

Wojciech Samotij 3FPY3V441H

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#Z7XG, Wojciech Samotij (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#17CR, Wojciech Samotij (topic)

History

2026-11-02: add by m2/dev

Ravi Vakil 3FPZJKX4Z9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#8PTY, Ravi Vakil (topic)

History

2026-11-02: add by m2/dev

3FQ24A4H9X 3FQ24A4H9X

URI	`m2://inv/3FQ24A4H9X`
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.26001#8UHF (statement)

History

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

3FQ5CESK0B 3FQ5CESK0B

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

Mentions

arxiv: arXiv 2108.10246#Q9H5 (definition). In XD0YT3XCW2/e1, definition 2.11

History

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

3FQ78KN9E2 3FQ78KN9E2

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

Mentions

open_logic: open_logic content/set-theory/spine/stagesbasics.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 75.1

History

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

3FQ9PVJ022 3FQ9PVJ022

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

Mentions

arxiv: arXiv 2410.14097#T1C9 (statement). In H52QQS8WZA/e1, lemma 8.2

History

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

3FQD6A1MD9 3FQD6A1MD9

URI	`m2://inv/3FQD6A1MD9`
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 math/0301148#Y9JU (statement). In 5RE15848Z0/e1, lemma A.2

History

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

Fisher–Tippett distribution 3FQQRHQK4S

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

Mentions

wikipedia: Wikipedia List of statistics articles#M3HL, Fisher–Tippett distribution (definition)

History

2026-11-02: add by m2/dev

Induced path 3FQR623XKC

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#HBAW, Induced path (definition)

History

2026-11-02: add by m2/dev

3FQRZWB942 3FQRZWB942

URI	`m2://inv/3FQRZWB942`
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.06541#7Q6H (statement). In R604B78EVK/e1, proposition 4.2

History

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

3FQV3HQDN3 3FQV3HQDN3

URI	`m2://inv/3FQV3HQDN3`
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.11905#G8PZ (statement). In QQFXT31CA5/e1, lemma 4.5

History

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

depth first search 3FR1C71Z2N

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

Mentions

levin_dmoi: levin_dmoi index/5.2.2/depth-first-search, depth first search (concept). In Y91XFCEVHQ, index, section 5.2.2

History

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

3FR4AQ7Q30 3FR4AQ7Q30

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

Mentions

napkin: napkin tex/H113/ring-flavors.tex#proof-5 (proof). In RZP28ERRZV, proof, section 4.7

History

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

3FR6MKCRG7 3FR6MKCRG7

URI	`m2://inv/3FR6MKCRG7`
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.30819#LZ7H (statement). In TE6082EE1K/e1, lemma 3

History

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

3FR87415ZT 3FR87415ZT

URI	`m2://inv/3FR87415ZT`
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 2609.28669#YSEX (definition)

History

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

Restricted representation 3FR92K5FG0

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

Mentions

wikipedia: Wikipedia List of representation theory topics#D44M, Restricted representation (definition)
wikipedia: Wikipedia List of harmonic analysis topics#OSKL, Restricted representation (definition)

History

2026-11-02: add by m2/dev

Chomsky normal form 3FRC50CT0J

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

Mentions

wikipedia: Wikipedia Chomsky normal form, Chomsky normal form (definition). Also Wikidata Q1076039

History

2026-11-02: add by m2/dev

3FRDG2XA8N 3FRDG2XA8N

URI	`m2://inv/3FRDG2XA8N`
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#UTHK (statement). In HT2K76Y9WS/e1, proposition A.4

History

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

Formulation 3FRE3QF7AP

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

Mentions

wikipedia: Wikipedia Heaviside step function#W62U, Formulation (definition)

History

2026-11-02: add by m2/dev

3FRHKCQG79 3FRHKCQG79

URI	`m2://inv/3FRHKCQG79`
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.36613#08UE (statement). In GX0K0ZM700/e1, lemma 3.19

History

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

3FRN6BWVQB 3FRN6BWVQB

URI	`m2://inv/3FRN6BWVQB`
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#88O0 (statement). In 1H64QT301C/e1, lemma 4.4

History

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

Autoregressive fractionally integrated moving average 3FRREDMP8A

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

Mentions

wikipedia: Wikipedia Autoregressive fractionally integrated moving average, Autoregressive fractionally integrated moving average (definition). Also Wikidata Q4826945

History

2026-11-02: add by m2/dev

3FRTMSN58Y 3FRTMSN58Y

URI	`m2://inv/3FRTMSN58Y`
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 2609.30821#7Z9U (statement). In 1MZ9XBPTFQ/e1, proposition 4

History

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

list 3FS0J0T1T8

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#1S2T, list (definition)

History

2026-11-02: add by m2/dev

Yes-instances have no zero-drift orbits 3FS0R6KTJV

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

Mentions

arxiv: arXiv 2610.12434#73VU, Yes-instances have no zero-drift orbits (statement). In YCRZC9SDCE/e1, corollary 12.2

History

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

Introduction to Tropical Geometry 3FS7EDX1H9

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

Mentions

wikipedia: Wikipedia Introduction to Tropical Geometry, Introduction to Tropical Geometry (definition). Also Wikidata Q96382776

History

2026-11-02: add by m2/dev

3FS9MC4PE0 3FS9MC4PE0

URI	`m2://inv/3FS9MC4PE0`
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 1606.05058#R1G9 (statement). In V6392C0ANF/e1, theorem G.2

History

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

Negative base 3FSAGBK4XW

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

Mentions

wikipedia: Wikipedia List of numeral system topics#Q26E, Negative base (definition)

History

2026-11-02: add by m2/dev

Mean-periodic function 3FSFYVPTCJ

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

Mentions

wikipedia: Wikipedia Mean-periodic function, Mean-periodic function (definition). Also Wikidata Q6803554

History

2026-11-02: add by m2/dev

Embedding preorder 3FSG7VJN5V

URI	`m2://inv/3FSG7VJN5V`
Kind	definition
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.40054#ESBV, Embedding preorder (definition). In CA4C9PFM1E/e1, definition 1.2.1

History

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

threefold 3FSYDH6DA2

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#TQHA, threefold (definition)

History

2026-11-02: add by m2/dev

Stirling number of the second kind 3FT365QCBH

URI	`m2://inv/3FT365QCBH`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Stirling numbers of the second kind 0JCQGPY8Z4

Mentions

wikidata: Wikidata Q2601117, Stirling number of the second kind (unknown). Also MathWorld StirlingNumberoftheSecondKind, OEIS A008277
wikipedia: Wikipedia Stirling numbers of the second kind, Stirling numbers of the second kind (definition). Also Wikidata Q2601117

History

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

Construction 3FTB9CY1P2

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

Mentions

wikipedia: Wikipedia Cofree coalgebra#MDUF, Construction (definition)

History

2026-11-02: add by m2/dev

3FTBV4C0PB 3FTBV4C0PB

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

Mentions

arxiv: arXiv 2610.02833#LRVP (statement). In TNREX5GDK2/e1, theorem 1.1

History

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

Absence of long-range order for large diagonal activity 3FTCGZYC1Z

URI	`m2://inv/3FTCGZYC1Z`
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.29671#LOIA, Absence of long-range order for large diagonal activity (statement)

History

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

The quartic 3FTG66BDYM

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

Mentions

arxiv: arXiv 2610.18154#UU4L, The quartic (example). In 4W7ARR1DAR/e1, example A.5

History

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

loop space, iterated 3FTH5F34D8

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

Mentions

hott_book: hott_book index/5.5/loop-space-iterated, loop space, iterated (concept). In N54F33XE07, index, section 5.5

History

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

3FTM7ME400 3FTM7ME400

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

Mentions

arxiv: arXiv 2610.05990#AXP4 (definition). In G2R1ARDYK0/e1, definition 2.1

History

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

Uses 3FTT9P1DVE

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

Mentions

wikipedia: Wikipedia One-time pad#TD1F, Uses (example)

History

2026-11-02: add by m2/dev

Generalizations 3FV28J102A

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

Mentions

wikipedia: Wikipedia Young's inequality for products#GCVC, Generalizations (statement)

History

2026-11-02: add by m2/dev

3FV6HVPECX 3FV6HVPECX

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

Mentions

arxiv: arXiv 2609.29489#6UVF (statement)

History

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

Outer-direction error and objective descent 3FV8JT8YC7

URI	`m2://inv/3FV8JT8YC7`
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.01843#LPQ6, Outer-direction error and objective descent (statement). In EDG9ZFDSWK/e1, lemma A.6

History

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

Probabilistic method 3FVJTMP38S

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

Mentions

wikipedia: Wikipedia List of mathematics-based methods#Z7KW, Probabilistic method (definition)

History

2026-11-02: add by m2/dev

3FVV48XSHJ 3FVV48XSHJ

URI	`m2://inv/3FVV48XSHJ`
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.29925#MJNZ (statement)

History

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

3FW5MVNCM9 3FW5MVNCM9

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

Mentions

arxiv: arXiv 2609.20725#5ZFU (definition)

History

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

Feit–Thompson theorem 3FWB1RPQRR

URI	`m2://inv/3FWB1RPQRR`
Kind	statement
Layer	textbook
MSC	20-XX
Sources	4
Outcome	open
Node	Feit–Thompson theorem 6VK9RSG13Q

Mentions

mathlib_1000: mathlib_1000 Q909517, Feit–Thompson theorem (statement). Also Wikidata Q909517
thousand_plus: thousand_plus Q909517, Feit–Thompson theorem (statement). Also Wikidata Q909517, Wikipedia Feit–Thompson theorem
wikidata: Wikidata Q909517, Feit–Thompson theorem (statement). Also MathWorld Feit-ThompsonTheorem, ProofWiki Feit-Thompson_Theorem
wikipedia: Wikipedia Feit–Thompson theorem, Feit–Thompson theorem (statement). Also Wikidata Q909517

History

2026-10-26: add by m2/dev

3FWBNPRHRK 3FWBNPRHRK

URI	`m2://inv/3FWBNPRHRK`
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.25345#VWLK (statement)

History

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

Examples 3FWCXV746J

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

Mentions

wikipedia: Wikipedia Supersingular K3 surface#E6G7, Examples (example)

History

2026-11-02: add by m2/dev

History of reliability engineering 3FWD3X96CJ

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

Mentions

wikipedia: Wikipedia Reliability engineering#EKZQ, History of reliability engineering (unknown)

History

2026-11-02: add by m2/dev

Definition 3FWF8B5696

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

Mentions

wikipedia: Wikipedia Spectrum of a C*-algebra#1X1A, Definition (definition)

History

2026-11-02: add by m2/dev

3FWR6VBHRV 3FWR6VBHRV

URI	`m2://inv/3FWR6VBHRV`
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.09019#4Q5A (statement). In 8V6YECFCC1/e1, theorem 4.12

History

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

Measure estimate 3FWWGGCV58

URI	`m2://inv/3FWWGGCV58`
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 2401.14638#RO07, Measure estimate (statement). In 2XC2MZFWPP/e1, lemma 3.8

History

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

3FWXYVAJ3H 3FWXYVAJ3H

URI	`m2://inv/3FWXYVAJ3H`
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.05696#OBGO (statement). In MG81A9XJTQ/e1, lemma V.1

History

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

Càdlàg 3FXBYP7YXB

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

Mentions

wikipedia: Wikipedia List of statistics articles#YBPQ, Càdlàg (definition)

History

2026-11-02: add by m2/dev

3FXGW06NZ7 3FXGW06NZ7

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

Mentions

napkin: napkin tex/alg-NT/artin.tex#prob:hilbert_class_field (exercise). In RZP28ERRZV, dproblem, section 8.8

History

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

Grøstl 3FXQ898T78

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

Mentions

wikipedia: Wikipedia Grøstl, Grøstl (definition). Also Wikidata Q1551743

History

2026-11-02: add by m2/dev

Frobenius, Verschiebung, and truncations in Witt vectors 3FXWKACY61

URI	`m2://inv/3FXWKACY61`
Kind	example
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.37931#V4ZU, Frobenius, Verschiebung, and truncations in Witt vectors (example). In J8C1EXQW86/e1, example 3.5

History

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

3FXX8YYRFJ 3FXX8YYRFJ

URI	`m2://inv/3FXX8YYRFJ`
Kind	definition
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.20900#E1CJ (definition)

History

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

partition cardinal 3FXYREFGTG

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

Mentions

wikipedia: Wikipedia Glossary of set theory#CGL0, partition cardinal (definition)

History

2026-11-02: add by m2/dev

Moduli scheme 3FY33ZWPR6

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

Mentions

wikipedia: Wikipedia Moduli scheme, Moduli scheme (definition). Also Wikidata Q6889799

History

2026-11-02: add by m2/dev

3FY369R5F2 3FY369R5F2

URI	`m2://inv/3FY369R5F2`
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.20416#TU96 (statement). In P603M3M91A/e1, theorem 4.4

History

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

Autobiographical number 3FY6A6AZNG

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

Mentions

wikipedia: Wikipedia Self-descriptive number#YICJ, Autobiographical number (unknown)

History

2026-11-02: add by m2/dev

Elliptic curve cryptography 3FY992DGQR

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

Mentions

wikipedia: Wikipedia List of curves topics#YJK9, Elliptic curve cryptography (definition)

History

2026-11-02: add by m2/dev

3FYB1NMA7B 3FYB1NMA7B

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

Mentions

arxiv: arXiv 2606.00589#EM5J (statement). In C8JAGP8VCQ/e1, lemma 8.16

History

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

Pearcey integral 3FYBP6Y1VV

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

Mentions

wikipedia: Wikipedia Pearcey integral, Pearcey integral (definition). Also Wikidata Q25098899

History

2026-11-02: add by m2/dev

Newton fractal 3FYECNKASF

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

Mentions

wikipedia: Wikipedia List of chaotic maps#VR80, Newton fractal (definition)

History

2026-11-02: add by m2/dev

3FYEWNRK1C 3FYEWNRK1C

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

Mentions

austin_ula: austin_ula src/section4-2.xml#example-6 (example). In 649HGZKE96, example, section 4.2.4

History

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

statistic 3FYEX4D502

URI	`m2://inv/3FYEX4D502`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Statistic 0Q5CG2NEQ8

Mentions

wikidata: Wikidata Q1949963, statistic (unknown). Also MathWorld Statistic
wikipedia: Wikipedia Statistic, Statistic (definition). Also Wikidata Q1949963

History

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

Examples 3FYFJW1EJ9

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

Mentions

wikipedia: Wikipedia Graded poset#3OFK, Examples (example)

History

2026-11-02: add by m2/dev

Properties 3FYNZWX6HT

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

Mentions

wikipedia: Wikipedia Self-adjoint element#J4H9, Properties (statement)

History

2026-11-02: add by m2/dev

769 (number) 3FYYATHYD7

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

Mentions

wikipedia: Wikipedia 700 (number)#3AMS, 769 (number) (unknown)

History

2026-11-02: add by m2/dev

Dot plot 3FZ0YJ9SSZ

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

Mentions

wikipedia: Wikipedia Dot plot (bioinformatics), Dot plot (definition). Also Wikidata Q669251

History

2026-11-02: add by m2/dev

3FZ1MHQQQW 3FZ1MHQQQW

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

Mentions

open_logic: open_logic content/second-order-logic/sol-and-set-theory/cardinalities.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 66.3

History

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

Whitney topologies 3FZC3GYAWA

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

Mentions

wikipedia: Wikipedia Whitney topologies, Whitney topologies (definition). Also Wikidata Q7996768

History

2026-11-02: add by m2/dev

Applications 3FZCP858KJ

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

Mentions

wikipedia: Wikipedia Antimatroid#2T5T, Applications (example)

History

2026-11-02: add by m2/dev

3FZGRBTVBT 3FZGRBTVBT

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#thm:sigma1-completeness (statement). In PKGMM3P5QY, thm, section 30.3

History

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

3FZGW48815 3FZGW48815

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-23 (exercise). In E59CDZA4DP, exercise, section 4.2.4

History

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

co-domino graph 3FZNBTXQYR

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

Mentions

wikidata: Wikidata Q138646001, co-domino graph (unknown). Also House of Graphs 51479

History

2026-10-26: add by m2/dev

\textbf{Extrinsic forward map 3FZSA079SN

URI	`m2://inv/3FZSA079SN`
Kind	definition
Layer	research
MSC	53-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.17032#3S0S, \textbf{Extrinsic forward map (definition). In MXPK9A2HK2/e1, definition 2.8

History

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