Inventory rows FA

FA03163ZSN FA03163ZSN

URI	`m2://inv/FA03163ZSN`
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.24902#SSDR (statement)

History

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

FA04VHT4FN FA04VHT4FN

URI	`m2://inv/FA04VHT4FN`
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.14455#N4V1 (statement). In 5KARPAJDCP/e1, lemma 3.1

History

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

Generalizations FA0D5G4J5D

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

Mentions

wikipedia: Wikipedia Coppersmith's attack#SUTA, Generalizations (statement)

History

2026-11-02: add by m2/dev

Coase conjecture FA0EQDPM29

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

Mentions

wikipedia: Wikipedia Pacman conjecture#SP5D, Coase conjecture (statement)

History

2026-11-02: add by m2/dev

Multinomial logit FA0F6SJ0X4

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#J6D2, Multinomial logit (definition)

History

2026-11-02: add by m2/dev

George A. Elliott FA0FMQ5WRJ

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

Mentions

wikipedia: Wikipedia George A. Elliott, George A. Elliott (topic). Also Wikidata Q4502288

History

2026-11-02: add by m2/dev

Lucas–Wieferich prime FA0J7J267E

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#4YJ5, Lucas–Wieferich prime (conjecture)

History

2026-11-02: add by m2/dev

FA0MAXWPH1 FA0MAXWPH1

URI	`m2://inv/FA0MAXWPH1`
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.25348#H7AW (statement)

History

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

FA0NKYTZXF FA0NKYTZXF

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

Mentions

arxiv: arXiv 2609.21931#MZ3R (statement)

History

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

Examples FA0P8CJPBN

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

Mentions

wikipedia: Wikipedia Variety of finite semigroups#GC4N, Examples (example)

History

2026-11-02: add by m2/dev

FA0W2FA738 FA0W2FA738

URI	`m2://inv/FA0W2FA738`
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.36622#DSG9 (statement). In 9704QPRPR6/e1, proposition 5.6

History

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

chain homotopy FA0XBPFXMB

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#HRGZ, chain homotopy (definition)

History

2026-11-02: add by m2/dev

FA1AESFVRD FA1AESFVRD

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-108 (exercise). In VNMV985MXX, exercise, section 2.4

History

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

FA1BV9VV2N FA1BV9VV2N

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

Mentions

arxiv: arXiv 2610.09900#P8E4 (example). In ATSYBWEMMP/e1, example 6.8

History

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

Kelvin conjecture FA1EYGWZSG

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

Mentions

wikipedia: Wikipedia Weaire–Phelan structure#X432, Kelvin conjecture (unknown)

History

2026-11-02: add by m2/dev

FA1HJF78GT FA1HJF78GT

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

Mentions

napkin: napkin tex/diffgeo/multivar.tex#proof-2 (proof). In RZP28ERRZV, proof, section 45.3

History

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

FA1J7CZ7DA FA1J7CZ7DA

URI	`m2://inv/FA1J7CZ7DA`
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.02692#I5UJ (statement). In P482WJSQSN/e1, lemma 2.4

History

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

FA1K2CJKT6 FA1K2CJKT6

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

Mentions

hott_book: hott_book homotopy.tex#proof-37 (proof). In N54F33XE07, proof, section 7.7.1

History

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

Definition FA1QFSG72W

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

Mentions

wikipedia: Wikipedia Non-interactive zero-knowledge proof#I9LU, Definition (definition)

History

2026-11-02: add by m2/dev

Definition FA1QGYNW89

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

Mentions

wikipedia: Wikipedia Superperfect group#9KXY, Definition (definition)

History

2026-11-02: add by m2/dev

Equivalent characterisations FA20PZ2TH7

URI	`m2://inv/FA20PZ2TH7`
Kind	statement
Layer	research
MSC	11-XX, 37-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 2609.24623#SUDN, Equivalent characterisations (statement)

History

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

Maschke's theorem FA232NEJXF

URI	`m2://inv/FA232NEJXF`
Kind	statement
Layer	textbook
MSC	20-XX
Sources	5
Outcome	open
Node	Maschke's theorem 4SBZ4EMPBZ

Mentions

mathlib_1000: mathlib_1000 Q656198, Maschke's theorem (statement). Also Mathlib MonoidAlgebra.Submodule.exists_isCompl, Wikidata Q656198
mathlib_undergrad: mathlib_undergrad Group Theory > Representation theory of finite groups > Maschke theorem, Maschke theorem (unknown). Also Mathlib MonoidAlgebra.Submodule.exists_isCompl
thousand_plus: thousand_plus Q656198, Maschke's theorem (statement). Also Wikidata Q656198, Wikipedia Maschke's theorem
wikidata: Wikidata Q656198, Maschke's theorem (statement). Also MathWorld MaschkesTheorem, nLab Maschke's theorem
wikipedia: Wikipedia Maschke's theorem, Maschke's theorem (statement). Also Wikidata Q656198

History

2026-10-26: add by m2/dev

FA24W6R0TB FA24W6R0TB

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

Mentions

arxiv: arXiv 2609.19882#B7RP (example)

History

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

FA274TAMX8 FA274TAMX8

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

Mentions

arxiv: arXiv 1001.1196#HSZ5 (definition). In BCB418GV9C/e1, definition 2.2

History

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

Snub hexaoctagonal tiling FA27BKY4TE

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

Mentions

wikipedia: Wikipedia Snub hexaoctagonal tiling, Snub hexaoctagonal tiling (object). Also Wikidata Q17078298

History

2026-11-02: add by m2/dev

FA28TAG18V FA28TAG18V

URI	`m2://inv/FA28TAG18V`
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.14435#XT52 (statement). In Y9FSN5BVNQ/e1, theorem 8

History

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

Tables of integral reduction formulas FA2BD8QT9C

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

Mentions

wikipedia: Wikipedia Integration by reduction formulae#K1D3, Tables of integral reduction formulas (statement)

History

2026-11-02: add by m2/dev

970 (number) FA2E6T83ZE

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

Mentions

wikipedia: Wikipedia 900 (number)#J8J5, 970 (number) (unknown)

History

2026-11-02: add by m2/dev

Formal definition FA2FYSQW4W

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

Mentions

wikipedia: Wikipedia Pluriharmonic function#WDIR, Formal definition (definition)

History

2026-11-02: add by m2/dev

FA2QTWKVCJ FA2QTWKVCJ

URI	`m2://inv/FA2QTWKVCJ`
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 0809.0068#XQGM (statement). In MBKYGM01FK/e1, proposition 3.1

History

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

Design vectors are quadratically close to the root vectors FA2W7BQX1H

URI	`m2://inv/FA2W7BQX1H`
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.22384#4EEL, Design vectors are quadratically close to the root vectors (statement)

History

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

Non-examples FA33CE3Z12

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

Mentions

wikipedia: Wikipedia Flat morphism#U1GG, Non-examples (counterexample)

History

2026-11-02: add by m2/dev

Böttcher's equation FA364P62W7

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

Mentions

wikipedia: Wikipedia Böttcher's equation, Böttcher's equation (definition). Also Wikidata Q5005188

History

2026-11-02: add by m2/dev

FA3859A9T5 FA3859A9T5

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

Mentions

arxiv: arXiv 2610.15982#8ZFW (statement). In KB50SHR229/e1, theorem 5.1

History

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

Exaggeration FA39T9W6RV

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

Mentions

wikipedia: Wikipedia Exaggeration, Exaggeration (definition). Also Wikidata Q113883828

History

2026-11-02: add by m2/dev

Georg Frederik Ursin FA3E0FY9P2

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

Mentions

wikipedia: Wikipedia Georg Frederik Ursin, Georg Frederik Ursin (topic). Also Wikidata Q4476996

History

2026-11-02: add by m2/dev

Convolutional code FA3KCNYDDE

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

Mentions

wikipedia: Wikipedia Convolutional code, Convolutional code (definition). Also Wikidata Q1395022

History

2026-11-02: add by m2/dev

FA410B62VZ FA410B62VZ

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_addtops-numbth.ptx#example-7 (example). In Y91XFCEVHQ, example, section 6.2.5

History

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

Exponent for weak-Schur sampling Hilbert-Schmidt PGM FA44CBFEV6

URI	`m2://inv/FA44CBFEV6`
Kind	statement
Layer	research
MSC	60-XX, 81-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.40271#NZ9Q, Exponent for weak-Schur sampling Hilbert-Schmidt PGM (statement). In 9MXMRKFKDW/e1, theorem 5.2

History

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

Properties of Schwarz Symmetrization FA4BQ57HZK

URI	`m2://inv/FA4BQ57HZK`
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.05056#FNUC, Properties of Schwarz Symmetrization (statement). In 4PF04DW3YP/e1, proposition 2.14

History

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

FA4DQ5AA1F FA4DQ5AA1F

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

Mentions

open_logic: open_logic content/sets-functions-relations/infinite/dedekind-algebra.tex#Closure (definition). In PKGMM3P5QY, defn, section 79.6

History

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

Osterwalder--Schrader positivity FA4MNQSXFC

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

Mentions

arxiv: arXiv 2609.29671#W8D8, Osterwalder--Schrader positivity (definition)

History

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

Higher moments with independent uniform auxiliary variables FA4WTYQGF4

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

Mentions

arxiv: arXiv 2610.02407#TOB4, Higher moments with independent uniform auxiliary variables (statement). In ZZER8ZBSCR/e1, theorem A.9

History

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

FA4Y7EAA7A FA4Y7EAA7A

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

Mentions

arxiv: arXiv 2409.03423#E93U (statement). In 8C5YCMN81V/e1, lemma 5

History

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

Definitions FA5AK3PYZG

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

Mentions

wikipedia: Wikipedia Semi-continuity#X8TJ, Definitions (definition)

History

2026-11-02: add by m2/dev

Formulation FA5PA0481J

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

Mentions

wikipedia: Wikipedia L1-norm principal component analysis#6ASZ, Formulation (definition)

History

2026-11-02: add by m2/dev

FA688E5ZFZ FA688E5ZFZ

URI	`m2://inv/FA688E5ZFZ`
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.07930#XANS (statement). In CFM4KVB1R2/e1, corollary 1

History

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

Demlo number FA69P8A6WV

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

Mentions

wikipedia: Wikipedia Repunit#YW7Z, Demlo number (unknown)

History

2026-11-02: add by m2/dev

FA6AWCTDYY FA6AWCTDYY

URI	`m2://inv/FA6AWCTDYY`
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.29699#EC1F (statement)

History

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

Representation theorem FA6CBPXAGE

URI	`m2://inv/FA6CBPXAGE`
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 2207.11097#5X9H, Representation theorem (statement). In 13H5BTAXHF/e1, theorem 6

History

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

Principia Mathematica FA6D8P1E17

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

Mentions

wikipedia: Wikipedia List of mathematics books#55JM, Principia Mathematica (definition)

History

2026-11-02: add by m2/dev

FA6HWH5H94 FA6HWH5H94

URI	`m2://inv/FA6HWH5H94`
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.33070#KP04 (statement). In 103SVZSR8E/e1, theorem 3.1

History

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

FA6J36GJ5H FA6J36GJ5H

URI	`m2://inv/FA6J36GJ5H`
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.19845#G5L0 (statement). In A8Y7B1MD91/e1, proposition B.1

History

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

unimodular matrix FA6MN9VDZ1

URI	`m2://inv/FA6MN9VDZ1`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Unimodular matrix R6RBQHW191

Mentions

wikidata: Wikidata Q1367055, unimodular matrix (unknown). Also MathWorld UnimodularMatrix
wikipedia: Wikipedia Unimodular matrix, Unimodular matrix (definition). Also Wikidata Q1367055

History

2026-10-26: add by m2/dev

Rape in South Korea FA6YPG03QZ

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

Mentions

wikipedia: Wikipedia Rape statistics#C41T, Rape in South Korea (unknown)

History

2026-11-02: add by m2/dev

Nagata–Biran conjecture FA70WSGPQJ

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#QDT3, Nagata–Biran conjecture (statement)

History

2026-11-02: add by m2/dev

Algorithm FA74MP3TJ2

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

Mentions

wikipedia: Wikipedia Golden-section search#J2RY, Algorithm (definition)

History

2026-11-02: add by m2/dev

covering number FA76VCADD6

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

Mentions

wikipedia: Wikipedia Glossary of set theory#0RP1, covering number (definition)

History

2026-11-02: add by m2/dev

Triple product of primes FA7D77P7P7

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

Mentions

napkin: napkin tex/H113/sylow.tex#proposition-1, Triple product of primes (statement). In RZP28ERRZV, proposition, section 7.1

History

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

Spatial–temporal reasoning FA8PHGBJ4F

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

Mentions

wikipedia: Wikipedia Spatial–temporal reasoning, Spatial–temporal reasoning (topic). Also Wikidata Q6584132

History

2026-11-02: add by m2/dev

FA8QPH806Q FA8QPH806Q

URI	`m2://inv/FA8QPH806Q`
Kind	statement
Layer	research
MSC	26-XX, 30-XX, 32-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 1804.05688#VI7V (statement). In M8F4PDHH3S/e1, lemma 2.2

History

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

FA8V4Y0VWK FA8V4Y0VWK

URI	`m2://inv/FA8V4Y0VWK`
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 2202.10212#ZKQY (statement). In E9ZQM8449P/e1, theorem 3.1

History

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

Determinacy FA93CGY2RB

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

Mentions

wikipedia: Wikipedia Glossary of game theory#C3D5, Determinacy (definition)

History

2026-11-02: add by m2/dev

Fork-verdict reversal FA94N8T0B4

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

Mentions

arxiv: arXiv 2609.25039#S9Q1, Fork-verdict reversal (statement)

History

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

FA983ZWC2G FA983ZWC2G

URI	`m2://inv/FA983ZWC2G`
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.05354#YST2 (statement). In TZ5BMDXRQZ/e1, proposition 4.6

History

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

FA9A2A934H FA9A2A934H

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

Mentions

arxiv: arXiv 2610.21662#CYWT (statement). In 25B3WHEKH2/e1, proposition 3.7

History

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

Tone mapping FA9F694Q3X

URI	`m2://inv/FA9F694Q3X`
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#NS4G, Tone mapping (unknown)

History

2026-11-02: add by m2/dev

Friedlander–Iwaniec theorem FA9FJBRYWZ

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

Mentions

mathlib_1000: mathlib_1000 Q5503689, Bombieri–Friedlander–Iwaniec theorem (statement). Also Wikidata Q5503689
thousand_plus: thousand_plus Q5503689, Bombieri–Friedlander–Iwaniec theorem (statement). Also Wikidata Q5503689, Wikipedia Bombieri–Friedlander–Iwaniec theorem
wikipedia: Wikipedia Friedlander–Iwaniec theorem, Friedlander–Iwaniec theorem (statement). Also Wikidata Q5503689

History

2026-10-26: add by m2/dev

FA9H5C99JZ FA9H5C99JZ

URI	`m2://inv/FA9H5C99JZ`
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.13913#YUI8 (statement). In BW5GVH97JE/e1, proposition 3.8

History

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

FA9J178A3B FA9J178A3B

URI	`m2://inv/FA9J178A3B`
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.21929#28P0 (statement). In 2PP4XRVS0J/e1, proposition 3.4

History

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

Character variety FA9NB7EGFA

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

Mentions

wikipedia: Wikipedia Character variety, Character variety (definition). Also Wikidata Q5073753

History

2026-11-02: add by m2/dev

FA9NJT25PW FA9NJT25PW

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

Mentions

arxiv: arXiv 2609.30086#AFNJ (statement)

History

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

FA9WCRJGBF FA9WCRJGBF

URI	`m2://inv/FA9WCRJGBF`
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 2208.07401#S3GV (statement). In GJD7HKCE56/e1, lemma 4.1

History

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

pre-measure FA9ZGM7CFT

URI	`m2://inv/FA9ZGM7CFT`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Premeasure PV0XXSWFC7

Mentions

wikidata: Wikidata Q1393014, pre-measure (unknown). Also MathWorld Premeasure
wikipedia: Wikipedia Pre-measure, Pre-measure (definition). Also Wikidata Q1393014

History

2026-10-26: add by m2/dev

FAA83N2CSY FAA83N2CSY

URI	`m2://inv/FAA83N2CSY`
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 2406.19866#1XL1 (example). In 9F94CEQ1ZM/e1, example 4.2

History

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

FAA94CR4GH FAA94CR4GH

URI	`m2://inv/FAA94CR4GH`
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.12857#ZJ8M (statement). In XJWQ6Y83F8/e1, corollary 4.5

History

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

FAAGS4D9QB FAAGS4D9QB

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

Mentions

arxiv: arXiv 2308.05066#BHRN (definition). In 1QSCT53ZED/e1, definition 7.14

History

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

Computation FAARCZ5RHG

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

Mentions

wikipedia: Wikipedia Quantile regression averaging#7CD5, Computation (definition)

History

2026-11-02: add by m2/dev

Definitions and example FAB3K9E661

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

Mentions

wikipedia: Wikipedia Superpattern#OW4L, Definitions and example (definition)

History

2026-11-02: add by m2/dev

FAB3PY2QA5 FAB3PY2QA5

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

Mentions

hott_book: hott_book basics.tex#lem:ap-functor (statement). In N54F33XE07, lem, section 1.2

History

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

Precise statement of the Muller–Schupp theorem FAB4W2PBJ6

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

Mentions

wikipedia: Wikipedia Muller–Schupp theorem#U7TK, Precise statement of the Muller–Schupp theorem (statement)

History

2026-11-02: add by m2/dev

FAB6E59N68 FAB6E59N68

URI	`m2://inv/FAB6E59N68`
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 2207.11097#OO7Z (statement). In 13H5BTAXHF/e1, proposition 16

History

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

FAB74YGQZY FAB74YGQZY

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

Mentions

arxiv: arXiv 2609.33018#5NXG (statement). In 8XVS0QJ2AH/e1, theorem 67

History

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

List of regions by past GDP (PPP) per capita FABBAR00PY

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

Mentions

wikipedia: Wikipedia List of regions by past GDP (PPP) per capita, List of regions by past GDP (PPP) per capita (topic). Also Wikidata Q6546776

History

2026-11-02: add by m2/dev

FABGRVBT4E FABGRVBT4E

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

Mentions

arxiv: arXiv 1712.02437#0NYT (proof). In GZDFK652T9/e1, proof

History

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

G. Olshanski FABJ6QVX5F

URI	`m2://inv/FABJ6QVX5F`
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 2209.00811#IJH5, G. Olshanski (definition). In 9T4X83HHQS/e1, definition 2.1

History

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

FABNKQHYJ9 FABNKQHYJ9

URI	`m2://inv/FABNKQHYJ9`
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 2609.20588#1J8O (definition)

History

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

FABPVGW75V FABPVGW75V

URI	`m2://inv/FABPVGW75V`
Kind	statement
Layer	research
MSC	01-XX, 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.06338#AJQD (statement). In F1CYVYK7YB/e1, lemma 9.3

History

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

FABTZVD0ER FABTZVD0ER

URI	`m2://inv/FABTZVD0ER`
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#68AD (definition). In 6KR7Z5ETRY/e1, definition 2.52

History

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

Arthur P. Dempster FAC4154GB7

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

Mentions

wikipedia: Wikipedia Arthur P. Dempster, Arthur P. Dempster (topic). Also Wikidata Q4799892

History

2026-11-02: add by m2/dev

Superposition principle FAC91J2XHZ

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

Mentions

arxiv: arXiv 2610.17129#CN0F, Superposition principle (statement). In TCZWAMNYCV/e1, theorem 2.11

History

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

Examples FACNAFQ26B

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

Mentions

wikipedia: Wikipedia Nowhere dense set#NI87, Examples (example)

History

2026-11-02: add by m2/dev

Example FACSDB7HE7

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

Mentions

wikipedia: Wikipedia Wave function#EKKN, Example (example)

History

2026-11-02: add by m2/dev

FACWVEB05Z FACWVEB05Z

URI	`m2://inv/FACWVEB05Z`
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 2212.05398#WS0I (statement). In WQKQ8438M7/e1, lemma 1.8

History

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

FACX57PAB5 FACX57PAB5

URI	`m2://inv/FACX57PAB5`
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 2503.01567#1JKA (statement). In GB0V23Q6C5/e1, lemma 3.4

History

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

FACZJ539FA FACZJ539FA

URI	`m2://inv/FACZJ539FA`
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.01946#OEUK (statement). In NB1Z31FMXN/e1, lemma 3.2

History

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

A trial cap chosen before sampling for ball smoothing FAD32JP90F

URI	`m2://inv/FAD32JP90F`
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.15202#GS7N, A trial cap chosen before sampling for ball smoothing (statement). In X1FPG0KYBM/e1, corollary T.5

History

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

Examples FADC9WC6AJ

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

Mentions

wikipedia: Wikipedia Meander (mathematics)#XKP4, Examples (example)

History

2026-11-02: add by m2/dev

AKLT model FADHJNWGSQ

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

Mentions

wikipedia: Wikipedia AKLT model, AKLT model (definition). Also Wikidata Q4652175

History

2026-11-02: add by m2/dev

Deborah J. Bennett FADNP3THJE

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

Mentions

wikipedia: Wikipedia Deborah J. Bennett, Deborah J. Bennett (topic). Also Wikidata Q102239373

History

2026-11-02: add by m2/dev

Cauchy–Kowalevski theorem FAE17MFYJR

URI	`m2://inv/FAE17MFYJR`
Kind	statement
Layer	textbook
MSC	35-XX
Sources	4
Outcome	open
Node	Cauchy–Kovalevskaya theorem 97HMV9BT2W

Mentions

mathlib_1000: mathlib_1000 Q1614464, Cauchy–Kowalevski theorem (statement). Also Wikidata Q1614464
thousand_plus: thousand_plus Q1614464, Cauchy–Kowalevski theorem (statement). Also Wikidata Q1614464, Wikipedia Cauchy–Kowalevski theorem
wikidata: Wikidata Q1614464, Cauchy–Kowalevski theorem (statement). Also EoM Cauchy-Kovalevskaya_theorem, MathWorld Cauchy-KovalevskayaTheorem, ProofWiki Cauchy-Kovalevsky_Theorem
wikipedia: Wikipedia Cauchy–Kovalevskaya theorem, Cauchy–Kovalevskaya theorem (statement). Also Wikidata Q1614464

History

2026-10-26: add by m2/dev

antipodal graph FAE2R19ZV0

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

Mentions

wikidata: Wikidata Q130613819, antipodal graph (unknown). Also MathWorld AntipodalGraph

History

2026-10-26: add by m2/dev

Polyhedron model FAEBBSSCY6

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

Mentions

wikipedia: Wikipedia Polyhedron model, Polyhedron model (definition). Also Wikidata Q7226499

History

2026-11-02: add by m2/dev

Renyi–Lamperti lemma FAEG2BJ2P9

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

Mentions

wikipedia: Wikipedia Borel–Cantelli lemma#5A3Y, Renyi–Lamperti lemma (statement)

History

2026-11-02: add by m2/dev

FAEJG87T1Q FAEJG87T1Q

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

Mentions

arxiv: arXiv 2502.14306#6YGC (problem). In ZNBQD5WH1M/e1, problem 1.8

History

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

divides FAEKZ91QWF

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

Mentions

wikidata: Wikidata Q109497082, divides (unknown). Also MathWorld Divides

History

2026-10-26: add by m2/dev

FAEM1VZSEQ FAEM1VZSEQ

URI	`m2://inv/FAEM1VZSEQ`
Kind	statement
Layer	research
MSC	05-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 0909.2893#K9C1 (statement). In JQ4JYAXCMK/e1, corollary 13

History

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

graph dimension FAEW3E6MK5

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

Mentions

wikidata: Wikidata Q13415176, graph dimension (unknown). Also MathWorld GraphDimension
wikipedia: Wikipedia Dimension (graph theory), Dimension (definition). Also Wikidata Q13415176

History

2026-10-26: add by m2/dev

The Hopf value through potentials FAEZYZCB5M

URI	`m2://inv/FAEZYZCB5M`
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.18350#Q9IX, The Hopf value through potentials (statement). In A20E8FZS21/e1, proposition 9.6

History

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

FAF1TKR4GV FAF1TKR4GV

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

Mentions

napkin: napkin tex/alg-geom/proj-var.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 23.2

History

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

FAF2P8F37M FAF2P8F37M

URI	`m2://inv/FAF2P8F37M`
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 2504.14383#R979 (statement). In QD0X3XJS6T/e1, lemma 7.13

History

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

Properties FAF6ZSBEQ9

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

Mentions

wikipedia: Wikipedia Controllability Gramian#5YOU, Properties (statement)

History

2026-11-02: add by m2/dev

Simplicial complex FAFCTA59MK

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

Mentions

wikipedia: Wikipedia List of undecidable problems#VU3C, Simplicial complex (definition)

History

2026-11-02: add by m2/dev

FAFH8YNF4S FAFH8YNF4S

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

Mentions

arxiv: arXiv 2609.35597#9PR0 (statement). In K424GCJ50P/e1, lemma 3.4

History

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

FAFQY37N2W FAFQY37N2W

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

Mentions

arxiv: arXiv 2610.17482#V8CR (statement). In BQQK9JDJ9F/e1, proposition 3.3

History

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

FAFTFKQ9ZR FAFTFKQ9ZR

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

Mentions

arxiv: arXiv 2610.13100#3AHA (statement). In CC6S1HVK0T/e1, lemma 5.9

History

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

Nicholas Franklin Roberts FAG2EV32WX

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

Mentions

wikipedia: Wikipedia Nicholas Franklin Roberts, Nicholas Franklin Roberts (topic). Also Wikidata Q26997778

History

2026-11-02: add by m2/dev

FAG5964BMY FAG5964BMY

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

Mentions

napkin: napkin tex/linalg/transpose.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 61.5

History

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

Piecewise-Uniform Configuration FAG7J1HR47

URI	`m2://inv/FAG7J1HR47`
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.13222#BDR9, Piecewise-Uniform Configuration (definition). In Z6WA2R0J50/e1, definition 2.33

History

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

FAGFEMF3S4 FAGFEMF3S4

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#theorem-3 (statement). In P1C114YBXG, theorem, section J

History

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

Cavell Brownie FAGJ1PR769

URI	`m2://inv/FAGJ1PR769`
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#AJTN, Cavell Brownie (unknown)

History

2026-11-02: add by m2/dev

Determinism FAGP0YQM2W

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

Mentions

arxiv: arXiv 2610.21131#8PA1, Determinism (statement). In CPYWHRTPKC/e1, lemma 5.3

History

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

FAGPR093QC FAGPR093QC

URI	`m2://inv/FAGPR093QC`
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.04323#M1LZ (statement). In 3Z0D2NCJ0B/e1, theorem 3

History

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

Bianchi classification FAGR28V8P7

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

Mentions

wikipedia: Wikipedia Bianchi classification, Bianchi classification (definition). Also Wikidata Q2976541

History

2026-11-02: add by m2/dev

Suszko reduction FAGXA05YT9

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

Mentions

wikipedia: Wikipedia Principle of bivalence#9KDM, Suszko reduction (unknown)

History

2026-11-02: add by m2/dev

FAH34BJTBA FAH34BJTBA

URI	`m2://inv/FAH34BJTBA`
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.11336#UT4Q (statement). In X1R1GDAJ0Y/e1, lemma 1.4

History

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

FAH96N5SNX FAH96N5SNX

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

Mentions

hott_book: hott_book basics.tex#ex:strong-from-weak-funext (exercise). In N54F33XE07, ex, section 1.15

History

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

arccosine FAHBZHTFZQ

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

Mentions

wikidata: Wikidata Q720341, arccosine (definition). Also MathWorld InverseCosine, ProofWiki Definition:Inverse_Cosine

History

2026-10-26: add by m2/dev

Parallel tempering FAHE12MNJ0

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#MFLY, Parallel tempering (definition)

History

2026-11-02: add by m2/dev

FAHE999M30 FAHE999M30

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/fix.tex#alephfixed (statement). In PKGMM3P5QY, prop, section 69.3

History

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

Mean variance efficiency FAHMBF28WQ

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

Mentions

wikipedia: Wikipedia Mutual fund separation theorem#ECCT, Mean variance efficiency (unknown)

History

2026-11-02: add by m2/dev

Zhifei Zhang FAHZVKJNZK

URI	`m2://inv/FAHZVKJNZK`
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#YJYK, Zhifei Zhang (unknown)

History

2026-11-02: add by m2/dev

Easton's theorem FAJ357CR8Z

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

Mentions

mathlib_1000: mathlib_1000 Q2226644, Easton's theorem (statement). Also Wikidata Q2226644
thousand_plus: thousand_plus Q2226644, Easton's theorem (statement). Also Wikidata Q2226644, Wikipedia Easton's theorem
wikipedia: Wikipedia Easton's theorem, Easton's theorem (statement). Also Wikidata Q2226644

History

2026-10-26: add by m2/dev

FAJBBJ8YEP FAJBBJ8YEP

URI	`m2://inv/FAJBBJ8YEP`
Kind	example
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.22074#JEN6 (example). In F3BKXXPR3K/e1, example 4.29

History

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

FAJK1FC8RY FAJK1FC8RY

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

Mentions

arxiv: arXiv 2609.32387#P50X (statement). In 294BQKZEDQ/e1, lemma A.1

History

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

FAJMRD4Y7D FAJMRD4Y7D

URI	`m2://inv/FAJMRD4Y7D`
Kind	statement
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.03422#RO9O (statement). In SF88CM0957/e1, proposition 3.1

History

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

Forcing conjecture FAJNE1NDCH

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

Mentions

wikipedia: Wikipedia Sidorenko's conjecture#07AR, Forcing conjecture (statement)

History

2026-11-02: add by m2/dev

FAJTJGKJ7X FAJTJGKJ7X

URI	`m2://inv/FAJTJGKJ7X`
Kind	statement
Layer	research
MSC	11-XX, 37-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 2609.24623#NM8U (statement)

History

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

FAJVPKDAJF FAJVPKDAJF

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

Mentions

arxiv: arXiv 2311.16252#M5CJ (definition). In 8AHN9GSRMR/e1, definition 2.3

History

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

FAJYQZMYY3 FAJYQZMYY3

URI	`m2://inv/FAJYQZMYY3`
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.32977#0G1W (statement). In 4KT9TK3MG4/e1, lemma D.2

History

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

Fixed-spectrum LAN FAJZZK6D6X

URI	`m2://inv/FAJZZK6D6X`
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#HC3S, Fixed-spectrum LAN (statement). In PBX6AMPVT2/e1, corollary 3.4

History

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

Markov brothers' inequality FAKESBVYYK

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

Mentions

wikipedia: Wikipedia Markov brothers' inequality, Markov brothers' inequality (statement). Also Wikidata Q176674

History

2026-11-02: add by m2/dev

FAKKV2JBP8 FAKKV2JBP8

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

Mentions

arxiv: arXiv 2610.14458#I28T (definition). In WJ76MVYAZQ/e1, definition 2.8

History

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

Steven Zucker FAKQJR4SQD

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

Mentions

wikipedia: Wikipedia Steven Zucker, Steven Zucker (topic). Also Wikidata Q7615412

History

2026-11-02: add by m2/dev

Applications FAKZ071EMJ

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

Mentions

wikipedia: Wikipedia Nonlocal symmetry#R05W, Applications (example)

History

2026-11-02: add by m2/dev

Earth's interior FAMCYW13QP

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#D6UT, Earth's interior (unknown)

History

2026-11-02: add by m2/dev

BFR algorithm FAMGEZV4ED

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

Mentions

wikipedia: Wikipedia BFR algorithm, BFR algorithm (definition). Also Wikidata Q55604616

History

2026-11-02: add by m2/dev

FAMK05S2MS FAMK05S2MS

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

Mentions

arxiv: arXiv 2609.26262#1XKX (statement)

History

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

FAMKNKF8T3 FAMKNKF8T3

URI	`m2://inv/FAMKNKF8T3`
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 2210.02997#KOJZ (definition). In KEXVYV0SNS/e1, definition 6

History

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

Informal Logic FAMPT0T3WK

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

Mentions

wikipedia: Wikipedia List of logic journals#3UOP, Informal Logic (unknown)

History

2026-11-02: add by m2/dev

FAMTDFF1WM FAMTDFF1WM

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

Mentions

arxiv: arXiv 2207.12181#W1CQ (statement). In FSD8NE3XSR/e1, lemma 3.11

History

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

FAMVCP3PK3 FAMVCP3PK3

URI	`m2://inv/FAMVCP3PK3`
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 2610.21475#AMOL (definition). In TTRSZVT4VX/e1, definition 6.1

History

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

FAMW3MSBEZ FAMW3MSBEZ

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

Mentions

arxiv: arXiv 2609.23527#YAIH (statement)

History

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

FAN1R2BKWQ FAN1R2BKWQ

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#defn-3 (definition). In E59CDZA4DP, defn, section 4.1

History

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

Lemma 1 FAN5WBP4FN

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

Mentions

wikipedia: Wikipedia Jacobi's formula#TYXO, Lemma 1 (statement)

History

2026-11-02: add by m2/dev

FAN6ZAY6X0 FAN6ZAY6X0

URI	`m2://inv/FAN6ZAY6X0`
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.04874#AGFY (statement). In X365951S4Q/e1, lemma 3.8

History

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

FAN7P2VXVC FAN7P2VXVC

URI	`m2://inv/FAN7P2VXVC`
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 2404.06445#CXIW (statement). In 12JKZ8EN52/e1, lemma 8.20

History

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

FANC5QWF3J FANC5QWF3J

URI	`m2://inv/FANC5QWF3J`
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.07828#KDXL (example). In TWGMVT1N1G/e1, example 2.4

History

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

Correlational research FANEBZSNHZ

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

Mentions

wikipedia: Wikipedia List of psychological research methods#8HL2, Correlational research (definition)

History

2026-11-02: add by m2/dev

Uncompleted major-arc formula FANJ6HYKN3

URI	`m2://inv/FANJ6HYKN3`
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.24051#DQOP, Uncompleted major-arc formula (statement)

History

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

seeded condenser for affine sources FANPCKE50B

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

Mentions

arxiv: arXiv 2609.32834#XKKW, seeded condenser for affine sources (definition). In N4M6B8EMCW/e1, definition 4.13

History

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

FAP041D4SH FAP041D4SH

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

Mentions

arxiv: arXiv 2609.22825#EEZA (statement)

History

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

FAP2Q1V0Z3 FAP2Q1V0Z3

URI	`m2://inv/FAP2Q1V0Z3`
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 2610.14236#S7IR (statement). In XEQD21EBTT/e1, corollary 8.2

History

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

FAP6GP85GR FAP6GP85GR

URI	`m2://inv/FAP6GP85GR`
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.24569#E26O (statement)

History

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

logical negation FAPGR2WJY0

URI	`m2://inv/FAPGR2WJY0`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Negation 029JBBF693

Mentions

wikidata: Wikidata Q190558, logical negation (unknown). Also EoM Negation, MathWorld Negation
wikipedia: Wikipedia Negation, Negation (definition). Also Wikidata Q190558

History

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

FAPH6R14JB FAPH6R14JB

URI	`m2://inv/FAPH6R14JB`
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 2506.16491#HBMA (statement). In P9J6P06Y40/e1, lemma 6.3

History

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

Phillip Rogaway FAPYN426XS

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0ZAZ, Phillip Rogaway (unknown)

History

2026-11-02: add by m2/dev

FAQ3128157 FAQ3128157

URI	`m2://inv/FAQ3128157`
Kind	definition
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.01802#YOC4 (definition). In XGPZ0G9E1Q/e1, definition 7.5

History

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

Robert J Young FAQ47WCDWX

URI	`m2://inv/FAQ47WCDWX`
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#ZY32, Robert J Young (unknown)

History

2026-11-02: add by m2/dev

2-sided FAQ82EQ52Q

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

Mentions

wikipedia: Wikipedia 2-sided, 2-sided (definition). Also Wikidata Q4596968

History

2026-11-02: add by m2/dev

FAQ9SP9X40 FAQ9SP9X40

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_seq-basics.ptx#example-3 (example). In Y91XFCEVHQ, example, section 3.1

History

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

tree, rooted FAQB9CRZEM

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

Mentions

applied_combinatorics: applied_combinatorics index/9.7/tree-rooted, tree, rooted (concept). In QKM9DD2H56, index, section 9.7

History

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

The sixth moment of $\SL_N$ FAQBM71PJH

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

Mentions

arxiv: arXiv 2610.04099#S91G, The sixth moment of $\SL_N$ (statement). In QPJ6FWG5HD/e1, lemma 2.63

History

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

FAQF3BNVMT FAQF3BNVMT

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 2.4

History

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

Basic properties FAQHBY9DZ6

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

Mentions

wikipedia: Wikipedia Moore–Penrose inverse#NKWT, Basic properties (statement)

History

2026-11-02: add by m2/dev

Rotation of axes in two dimensions FAQHGHGEME

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

Mentions

wikipedia: Wikipedia Rotation of axes in two dimensions, Rotation of axes in two dimensions (definition). Also Wikidata Q7370311

History

2026-11-02: add by m2/dev

Proximal Inference for Generalized Average Causal Effects FAQMJS99MK

URI	`m2://inv/FAQMJS99MK`
Kind	example
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 2508.17181#RJXE, Proximal Inference for Generalized Average Causal Effects (example). In 2QR18WK8KH/e1, example 1

History

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

FAQTH7ZW6Y FAQTH7ZW6Y

URI	`m2://inv/FAQTH7ZW6Y`
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.08935#8O1J (statement). In G02N9D40B9/e1, proposition 3.4.8

History

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

FAQVJXC1R2 FAQVJXC1R2

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

Mentions

arxiv: arXiv 2610.08885#2BIP (definition). In B4RHB3CF12/e1, definition 2.1

History

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

Stark–Heegner theorem FAR42XMBSV

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

Mentions

mathlib_1000: mathlib_1000 Q2793600, Stark–Heegner theorem (statement). Also Wikidata Q2793600
thousand_plus: thousand_plus Q2793600, Stark–Heegner theorem (statement). Also Wikidata Q2793600, Wikipedia Stark–Heegner theorem
wikipedia: Wikipedia Stark–Heegner theorem, Stark–Heegner theorem (statement). Also Wikidata Q2793600

History

2026-10-26: add by m2/dev

FAR7MFM66D FAR7MFM66D

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

Mentions

arxiv: arXiv 2609.29531#NOHN (statement)

History

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

Protein folding FARAZCVQWB

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#VO8A, Protein folding (unknown)

History

2026-11-02: add by m2/dev

Quantitative analysis of behavior FARBMQAT38

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

Mentions

wikipedia: Wikipedia Quantitative analysis of behavior, Quantitative analysis of behavior (definition). Also Wikidata Q7268920

History

2026-11-02: add by m2/dev

Examples FARCZ4M740

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

Mentions

wikipedia: Wikipedia Overring#8WF4, Examples (example)

History

2026-11-02: add by m2/dev

FARGEW4566 FARGEW4566

URI	`m2://inv/FARGEW4566`
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 2204.00678#GM0U (definition). In RX70Y35BYJ/e1, definition

History

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

Choked flow FARJMEBYYD

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

Mentions

wikipedia: Wikipedia Choked flow, Choked flow (definition). Also Wikidata Q3523932

History

2026-11-02: add by m2/dev

centered pentachoric number FARNDAZS0P

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

Mentions

wikidata: Wikidata Q16858648, centered pentachoric number (object). Also OEIS A008498

History

2026-10-26: add by m2/dev

FARTHY9W1W FARTHY9W1W

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

Mentions

hott_book: hott_book equivalences.tex#proof-14 (proof). In N54F33XE07, proof, section 3.4

History

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

FAS1JND2WN FAS1JND2WN

URI	`m2://inv/FAS1JND2WN`
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 2610.04434#8SSC (statement). In EY0QS456EC/e1, theorem 1.1

History

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

proximity space FAS5CQ29MV

URI	`m2://inv/FAS5CQ29MV`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Proximity space WY9BHD6GBA

Mentions

wikidata: Wikidata Q7252877, proximity space (unknown). Also nLab proximity space
wikipedia: Wikipedia Proximity space, Proximity space (definition). Also Wikidata Q7252877

History

2026-10-26: add by m2/dev

FAS6A6T9DD FAS6A6T9DD

URI	`m2://inv/FAS6A6T9DD`
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.05459#JJ5H (statement). In VYW16D089Y/e1, corollary 5.7

History

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

The method FAS9AJVS9M

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

Mentions

wikipedia: Wikipedia Inverse quadratic interpolation#5JRE, The method (definition)

History

2026-11-02: add by m2/dev

FASA800N4E FASA800N4E

URI	`m2://inv/FASA800N4E`
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#JLC5 (statement). In PXWXV92SJY/e1, lemma 3.1

History

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

Pierce–Birkhoff conjecture FASJ33S079

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#Y2KL, Pierce–Birkhoff conjecture (conjecture)

History

2026-11-02: add by m2/dev

inconic FASWNVBHQD

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

Mentions

wikidata: Wikidata Q16565600, inconic (unknown). Also MathWorld Inconic

History

2026-10-26: add by m2/dev

Weakening--Substitution Interaction FAT9EYHYX4

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

Mentions

arxiv: arXiv 2610.21131#E4PR, Weakening--Substitution Interaction (statement). In CPYWHRTPKC/e1, lemma 2.24

History

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

Open problems FATRQSWCQF

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

Mentions

wikipedia: Wikipedia Khinchin's constant#HYYU, Open problems (statement)

History

2026-11-02: add by m2/dev

FATSP10P30 FATSP10P30

URI	`m2://inv/FATSP10P30`
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.00247#WBNW (statement). In ZAM4S2XS9F/e1, lemma A.3

History

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

Residually finite group FATYVHJ5WT

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

Mentions

wikipedia: Wikipedia Residually finite group, Residually finite group (definition). Also Wikidata Q3777935

History

2026-11-02: add by m2/dev

AG Index for Chemical Trees FAV42KVPB3

URI	`m2://inv/FAV42KVPB3`
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#9ZA6, AG Index for Chemical Trees (statement). In 433NXYKPG3/e1, corollary 8

History

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

FAV7Y5HJVC FAV7Y5HJVC

URI	`m2://inv/FAV7Y5HJVC`
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 2310.14879#TXCR (statement). In 3VZ55B2N0D/e1, lemma 6.3

History

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

Breach of confidence in English law FAVBT5NR7B

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

Mentions

wikipedia: Wikipedia Confidentiality#5RI4, Breach of confidence in English law (statement)

History

2026-11-02: add by m2/dev

FAVGCREXSN FAVGCREXSN

URI	`m2://inv/FAVGCREXSN`
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 2601.15403#2VLO (statement). In BSWNH3NW1M/e1, lemma 9.31

History

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

Filip Lundberg FAVMB0EWZ0

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

Mentions

wikipedia: Wikipedia List of actuaries#KVJ7, Filip Lundberg (topic)

History

2026-11-02: add by m2/dev

FAVQ81B4PJ FAVQ81B4PJ

URI	`m2://inv/FAVQ81B4PJ`
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#1PD0 (statement). In 8T90H89HNB/e1, theorem 4.4

History

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

FAVQJGYGFA FAVQJGYGFA

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

Mentions

arxiv: arXiv 2609.28374#DERN (statement)

History

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

FAVY6VPHD4 FAVY6VPHD4

URI	`m2://inv/FAVY6VPHD4`
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.03288#YDKG (statement). In ZHP1MFSACN/e1, lemma 5.5

History

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

One-sided Vysochanskij–Petunin inequality FAW28Z2Q1H

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

Mentions

wikipedia: Wikipedia Concentration inequality#WP39, One-sided Vysochanskij–Petunin inequality (statement)

History

2026-11-02: add by m2/dev

Nira Dyn FAW3GG0GGT

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#H0TS, Nira Dyn (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZUKY, Nira Dyn (topic)

History

2026-11-02: add by m2/dev

FAW3YC795J FAW3YC795J

URI	`m2://inv/FAW3YC795J`
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.20273#4YYG (statement). In AEGHDSD5S7/e1, proposition 5.5

History

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

Definition FAWBRR7NNX

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

Mentions

wikipedia: Wikipedia Kuramoto–Sivashinsky equation#BY0I, Definition (definition)

History

2026-11-02: add by m2/dev

Remark FAWC2VQTAQ

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

Mentions

wikipedia: Wikipedia Johnson bound#MZJD, Remark (unknown)

History

2026-11-02: add by m2/dev

G/M/1 queue FAWEAFC2R3

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

Mentions

wikipedia: Wikipedia G/M/1 queue, G/M/1 queue (topic). Also Wikidata Q17015148

History

2026-11-02: add by m2/dev

Ricci soliton FAWGYDYGYV

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

Mentions

wikipedia: Wikipedia Ricci soliton, Ricci soliton (definition). Also Wikidata Q24068878

History

2026-11-02: add by m2/dev

FAWPANC4JZ FAWPANC4JZ

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

Mentions

arxiv: arXiv 2610.05396#G2JZ (statement). In WMVRX5GV9P/e1, lemma 2.2

History

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

SHA-2 FAWXZB090F

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#F4DE, SHA-2 (definition)

History

2026-11-02: add by m2/dev

Michigan Mathematics Prize Competition FAWYNYYY7F

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

Mentions

wikipedia: Wikipedia List of United States regional mathematics competitions#BQLO, Michigan Mathematics Prize Competition (definition)

History

2026-11-02: add by m2/dev

FAX7EHWD5S FAX7EHWD5S

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

Mentions

austin_ula: austin_ula src/exercises/exercises6-5.xml#exercise-10 (exercise). In 649HGZKE96, exercise, section 6.5

History

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

FAX8RTRPQM FAX8RTRPQM

URI	`m2://inv/FAX8RTRPQM`
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.31269#JZ73 (statement). In ZPT9XCCAPQ/e1, lemma 1.4.10

History

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

particle filter FAX9TTSJ4R

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#GNZP, particle filter (definition)

History

2026-11-02: add by m2/dev

Type–token distinction FAXBWZNDSF

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

Mentions

wikipedia: Wikipedia Type–token distinction, Type–token distinction (definition). Also Wikidata Q175928

History

2026-11-02: add by m2/dev

FAXBXGYK2K FAXBXGYK2K

URI	`m2://inv/FAXBXGYK2K`
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.14323#KNMX (statement). In VAWEP32BEX/e1, lemma 3.1

History

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

Statement FAXC1HTDFY

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

Mentions

wikipedia: Wikipedia Partial fraction decomposition#24OF, Statement (statement)

History

2026-11-02: add by m2/dev

FAXHZTJMJN FAXHZTJMJN

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

Mentions

hott_book: hott_book categories.tex#ct:obj-1type (statement). In N54F33XE07, lem, section 2.1

History

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

FAXJ7E257R FAXJ7E257R

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

Mentions

arxiv: arXiv 2609.28893#HXAV (unknown)

History

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

FAXJ807N1P FAXJ807N1P

URI	`m2://inv/FAXJ807N1P`
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#XX0Q (statement). In PGV1116XX4/e1, lemma 5.6

History

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

Definition FAXNY2MC3E

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

Mentions

wikipedia: Wikipedia Sudan function#XJN9, Definition (definition)

History

2026-11-02: add by m2/dev

Statistics in Medicine (journal) FAXV6V2EBK

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

Mentions

wikipedia: Wikipedia List of statistics journals#WEJP, Statistics in Medicine (journal) (unknown)

History

2026-11-02: add by m2/dev

FAXXNK1YBC FAXXNK1YBC

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

Mentions

arxiv: arXiv 2610.16059#UVLT (statement). In 51W7AECQDA/e1, theorem 1.3

History

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

Degeneracy of the exact Moreau-gap constraint FAY1SESRVQ

URI	`m2://inv/FAY1SESRVQ`
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.39736#NZON, Degeneracy of the exact Moreau-gap constraint (statement). In BB1XJ47PVW/e1, proposition 14

History

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

FAY7417NNX FAY7417NNX

URI	`m2://inv/FAY7417NNX`
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.11336#KE9I (statement). In X1R1GDAJ0Y/e1, theorem 2.7

History

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

Gresham Professor of Geometry FAY8FTV6Y1

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

Mentions

wikipedia: Wikipedia Gresham Professor of Geometry, Gresham Professor of Geometry (topic). Also Wikidata Q5607594

History

2026-11-02: add by m2/dev

FAY8GJS0GC FAY8GJS0GC

URI	`m2://inv/FAY8GJS0GC`
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 2310.14879#NTR8 (statement). In 3VZ55B2N0D/e1, theorem 1.2

History

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

Implementations FAYDHRE88Z

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

Mentions

wikipedia: Wikipedia Resolution (logic)#YYBX, Implementations (definition)

History

2026-11-02: add by m2/dev

FAZ836FJES FAZ836FJES

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

Mentions

arxiv: arXiv 2610.14060#BOIU (statement). In X47RYAZF8P/e1, corollary 3.6

History

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

Statement FAZD8ZYXPP

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

Mentions

wikipedia: Wikipedia First Hardy–Littlewood conjecture#1H45, Statement (statement)

History

2026-11-02: add by m2/dev

Green's formula FAZMEFCVCF

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

Mentions

wikipedia: Wikipedia Spectral theory of ordinary differential equations#B0J7, Green's formula (statement)

History

2026-11-02: add by m2/dev

FAZVQDMB2A FAZVQDMB2A

URI	`m2://inv/FAZVQDMB2A`
Kind	definition
Layer	research
MSC	20-XX, 22-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 2609.27192#88LP (definition)

History

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