Inventory rows QP

List of small groups QP0272V4GD

Mentions

• wikipedia: Wikipedia List of small groups, List of small groups (topic). Also Wikidata Q1332566

History

• 2026-11-02: add by m2/dev

Dedekind cut QP0ANAYYQJ

Mentions

• wikidata: Wikidata Q851333, Dedekind cut (concept). Also MathWorld DedekindCut
• wikipedia: Wikipedia Dedekind cut, Dedekind cut (definition). Also Wikidata Q851333

History

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

Applications QP0DHYAHVH

Mentions

• wikipedia: Wikipedia Local complementation#1DCL, Applications (example)

History

• 2026-11-02: add by m2/dev

QP0MFPRT08 QP0MFPRT08

Mentions

• arxiv: arXiv 2610.00344#I1AZ (statement). In WNA8D3Y1RA/e1, corollary 2.3

History

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

Applications QP0PDVCAK7

Mentions

• wikipedia: Wikipedia Johnson's SU-distribution#0WPV, Applications (example)

History

• 2026-11-02: add by m2/dev

QP0SGN8HFD QP0SGN8HFD

Mentions

• arxiv: arXiv 2609.36411#9AIN (statement). In 9QG5CND2RQ/e1, lemma 5.1

History

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

QP0T1QHDHN QP0T1QHDHN

Mentions

• arxiv: arXiv 1002.0879#3S1Q (statement). In M0SQY5EZN5/e1, lemma 2.1.8

History

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

List of contributors to general relativity QP12FNMK24

Mentions

• wikipedia: Wikipedia List of contributors to general relativity, List of contributors to general relativity (topic). Also Wikidata Q5165797

History

• 2026-11-02: add by m2/dev

QP17FHC0EF QP17FHC0EF

Mentions

• arxiv: arXiv 2308.05066#J9EV (statement). In 1QSCT53ZED/e1, proposition 4.5

History

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

QP1QPMPWEW QP1QPMPWEW

Mentions

• arxiv: arXiv 1806.00752#18Q5 (statement). In GGW2N4JHXM/e1, theorem 18

History

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

Examples QP1WNCQ0XW

Mentions

• wikipedia: Wikipedia Linear subspace#5TI0, Examples (example)

History

• 2026-11-02: add by m2/dev

QP1YFVHM8V QP1YFVHM8V

Mentions

• arxiv: arXiv 2609.32651#3EGG (statement). In WFJXSE3VDT/e1, corollary 3.4

History

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

Marie Wann QP20S29T0P

Mentions

• wikipedia: Wikipedia Marie Wann, Marie Wann (topic). Also Wikidata Q60031134

History

• 2026-11-02: add by m2/dev

George Alfred Barnard QP257BBCV0

Mentions

• wikipedia: Wikipedia George Alfred Barnard, George Alfred Barnard (topic). Also Wikidata Q5536172

History

• 2026-11-02: add by m2/dev

QP27W1EFQW QP27W1EFQW

Mentions

• arxiv: arXiv 2609.27628#1PSO (statement)

History

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

molecule QP283EAC6F

Mentions

• wikidata: Wikidata Q11369, molecule (definition). Also nLab molecule, ProofWiki Definition:Molecule

History

• 2026-10-26: add by m2/dev

QP2E5S9AK3 QP2E5S9AK3

Mentions

• arxiv: arXiv 2610.16834#TPH5 (statement). In Q0DTV6PJJW/e1, theorem A

History

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

Convergence of bisection to the extreme value QP2GTV9W25

Mentions

• arxiv: arXiv 2609.30821#LGU6, Convergence of bisection to the extreme value (statement). In 1MZ9XBPTFQ/e1, proposition 6

History

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

Beck–Fiala theorem QP2H2XRMPK

Mentions

• wikipedia: Wikipedia Beck–Fiala theorem, Beck–Fiala theorem (statement). Also Wikidata Q17002928

History

• 2026-11-02: add by m2/dev

Examples QP2PQQ94XA

Mentions

• wikipedia: Wikipedia Weil conjectures#P1K6, Examples (example)

History

• 2026-11-02: add by m2/dev

Theorem QP2W0Z5N0X

Mentions

• wikipedia: Wikipedia Price of anarchy#DMWQ, Theorem (statement)

History

• 2026-11-02: add by m2/dev

QP35JKZQ3W QP35JKZQ3W

Mentions

• arxiv: arXiv 2610.13680#VQT2 (unknown). In QNBFHFZ3H0/e1, unknown 92

History

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

Results QP395YHJRY

Mentions

• wikipedia: Wikipedia Restricted power series#JCGU, Results (statement)

History

• 2026-11-02: add by m2/dev

Governing equation QP39N3JWZY

Mentions

• wikipedia: Wikipedia Governing equation, Governing equation (definition). Also Wikidata Q3730895

History

• 2026-11-02: add by m2/dev

Varnavides averaging QP3NEYVRS4

Mentions

• arxiv: arXiv 1806.05002#HYCJ, Varnavides averaging (statement). In JBAQ7DTW7B/e1, theorem 9.2

History

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

QP3QPPDHP3 QP3QPPDHP3

Mentions

• napkin: napkin tex/set-theory/zfc.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 93.7

History

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

De Furtivis Literarum Notis QP3RNGT5G7

Mentions

• wikipedia: Wikipedia De Furtivis Literarum Notis, De Furtivis Literarum Notis (definition). Also Wikidata Q104840764

History

• 2026-11-02: add by m2/dev

Numerical weather prediction ensembles QP3T1PMJZ9

Mentions

• wikipedia: Wikipedia Numerical weather prediction#MBPK, Numerical weather prediction ensembles (unknown)

History

• 2026-11-02: add by m2/dev

Parameter displacement from initialization QP3ZRPWMG1

Mentions

• arxiv: arXiv 2610.04357#1HO8, Parameter displacement from initialization (statement). In 6FY8BVP1F3/e1, lemma I.6

History

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

QP42QW6XB7 QP42QW6XB7

Mentions

• arxiv: arXiv 2610.05784#N5P2 (statement). In 6NVP3YRWVA/e1, corollary 2.26

History

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

QP43H7G8KP QP43H7G8KP

Mentions

• arxiv: arXiv 2609.30750#TXAR (example). In DACV7NTAAK/e1, example D.5

History

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

Properties of the Todd class QP43SZFETX

Mentions

• wikipedia: Wikipedia Todd class#B6T8, Properties of the Todd class (statement)

History

• 2026-11-02: add by m2/dev

Zilber–Pink conjecture QP44JQRFMA

Mentions

• wikipedia: Wikipedia Zilber–Pink conjecture, Zilber–Pink conjecture (statement). Also Wikidata Q110654607

History

• 2026-11-02: add by m2/dev

Resource-fibre mixing QP49NZGMVM

Mentions

• arxiv: arXiv 2610.20414#A0PB, Resource-fibre mixing (statement). In X2NNNW8CX5/e1, lemma 7.3

History

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

QP4C2F61VG QP4C2F61VG

Mentions

• wikipedia: Wikipedia Conference graph#PIOM (problem)

History

• 2026-11-02: add by m2/dev

Pasting lemma QP4CZB1GPY

Mentions

• wikipedia: Wikipedia Pasting lemma, Pasting lemma (statement). Also Wikidata Q7143015

History

• 2026-11-02: add by m2/dev

OR-gateway semantics QP4D522KZ4

Mentions

• arxiv: arXiv 2609.20478#CDXK, OR-gateway semantics (definition)

History

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

Ulam's game QP4J1SHYMW

Mentions

• wikipedia: Wikipedia Ulam's game, Ulam's game (definition). Also Wikidata Q7878704

History

• 2026-11-02: add by m2/dev

Mahlo cardinal QP4K73NSH8

Mentions

• wikipedia: Wikipedia Mahlo cardinal, Mahlo cardinal (definition). Also Wikidata Q3277546

History

• 2026-11-02: add by m2/dev

Examples QP4P3KHECV

Mentions

• wikipedia: Wikipedia Macdonald polynomials#3P03, Examples (example)

History

• 2026-11-02: add by m2/dev

Delphi method QP4SYEMH2H

Mentions

• wikipedia: Wikipedia Delphi method, Delphi method (definition). Also Wikidata Q841602

History

• 2026-11-02: add by m2/dev

Quantification QP4Y3PFMCF

Mentions

• wikipedia: Wikipedia Quantification (science), Quantification (definition). Also Wikidata Q12769938

History

• 2026-11-02: add by m2/dev

QP4ZT0BQVV QP4ZT0BQVV

Mentions

• arxiv: arXiv 2610.11082#H9K2 (statement). In GFPFFN0BXV/e1, proposition 3

History

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

QP570H1EFB QP570H1EFB

Mentions

• arxiv: arXiv 2610.03081#U4LN (statement). In TX0H26X4VX/e1, theorem 8.12

History

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

QP5GGPS6JC QP5GGPS6JC

Mentions

• arxiv: arXiv 2609.26572#VM7Z (statement)

History

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

QP5NP9X241 QP5NP9X241

Mentions

• arxiv: arXiv 2407.12231#HPPH (statement). In W44N3VEC6H/e1, proposition 12

History

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

Theorem QP5Q2CYH6G

Mentions

• wikipedia: Wikipedia Uniform boundedness principle#L4SZ, Theorem (statement)

History

• 2026-11-02: add by m2/dev

Constant rank theorem QP5RECEZNB

Mentions

• wikipedia: Wikipedia Inverse function theorem#ELTF, Constant rank theorem (statement)

History

• 2026-11-02: add by m2/dev

\revision{Sequential local updates and parallel minibatching QP5X8TMBVZ

Mentions

• arxiv: arXiv 2610.12641#8PUE, \revision{Sequential local updates and parallel minibatching (statement). In X5BYGZZHPF/e1, theorem 5.3

History

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

QP61S26TMA QP61S26TMA

Mentions

• arxiv: arXiv 2609.28203#VK5W (definition)

History

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

QP62BG8368 QP62BG8368

Mentions

• arxiv: arXiv 2610.13580#XF37 (statement). In KEQ57N9N7Z/e1, theorem 4.3

History

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

QP646ZW42Z QP646ZW42Z

Mentions

• arxiv: arXiv 2609.22825#QFXE (example)

History

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

QP65DFGQNY QP65DFGQNY

Mentions

• arxiv: arXiv 2610.10595#5SDK (statement). In TRNRDRBZ7V/e1, proposition 1

History

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

Fundamental mean-field laws QP65YG3M11

Mentions

• arxiv: arXiv 2610.09356#6VAD, Fundamental mean-field laws (statement). In 3VVGPXWH6R/e1, proposition B.3

History

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

QP68D3ZR67 QP68D3ZR67

Mentions

• arxiv: arXiv 2609.29623#4XMP (statement)

History

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

QP6BWZ7S6S QP6BWZ7S6S

Mentions

• arxiv: arXiv 2609.21367#OZ9V (statement)

History

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

Open formulas QP6DRCJ7DZ

Mentions

• wikipedia: Wikipedia Independence-friendly logic#QQN7, Open formulas (statement)

History

• 2026-11-02: add by m2/dev

Coalescent theory QP6TBQMGDN

Mentions

• wikipedia: Wikipedia Coalescent theory, Coalescent theory (definition). Also Wikidata Q2698599

History

• 2026-11-02: add by m2/dev

QP702Y2A9B QP702Y2A9B

Mentions

• arxiv: arXiv 2610.03305#TV9U (statement). In WAJ5AZHF62/e1, proposition 4.5

History

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

QP72K6HXE2 QP72K6HXE2

Mentions

• arxiv: arXiv 2609.20208#RYJ4 (statement)

History

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

Uniformly distributed measure QP75SEZR2C

Mentions

• wikipedia: Wikipedia Uniformly distributed measure, Uniformly distributed measure (definition). Also Wikidata Q7885147

History

• 2026-11-02: add by m2/dev

Network Data Envelopment Analysis QP7BXX4AXX

Mentions

• wikipedia: Wikipedia Network Data Envelopment Analysis, Network Data Envelopment Analysis (definition). Also Wikidata Q139966802

History

• 2026-11-02: add by m2/dev

POSSE project QP7FG0W3JW

Mentions

• wikipedia: Wikipedia POSSE project, POSSE project (definition). Also Wikidata Q7120036

History

• 2026-11-02: add by m2/dev

QP7HV344NB QP7HV344NB

Mentions

• arxiv: arXiv 2609.20805#IPWE (statement)

History

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

error estimate QP7MY42M3T

Mentions

• arxiv: arXiv 2609.22413#FMY0, error estimate (statement)

History

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

QP7P25R3NF QP7P25R3NF

Mentions

• hott_book: hott_book setmath.tex#thm-7 (statement). In N54F33XE07, thm, section C.4

History

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

Allocation of depth/layerwise supervision QP7RG4J1RS

Mentions

• arxiv: arXiv 2610.10875#XTT2, Allocation of depth/layerwise supervision (problem). In N91F15MHW1/e1, problem 4

History

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

pullbacks from the orbit space are basic QP7RMQERJW

Mentions

• arxiv: arXiv 1408.1555#1RHR, pullbacks from the orbit space are basic (statement). In S1F2QW24YW/e1, proposition 3.2

History

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

Balkan Mathematical Olympiad QP7RYRKEEF

Mentions

• wikipedia: Wikipedia List of mathematics competitions#IAJR, Balkan Mathematical Olympiad (definition)

History

• 2026-11-02: add by m2/dev

QP7W3S7XMY QP7W3S7XMY

Mentions

• arxiv: arXiv 2609.35460#ZZGE (statement). In R515NECVME/e1, proposition 7.8

History

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

QP80PWPZYS QP80PWPZYS

Mentions

• arxiv: arXiv 2610.09314#FP0B (statement). In Z04N0B3R0V/e1, proposition 3.1

History

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

QP884B9V5S QP884B9V5S

Mentions

• arxiv: arXiv 2609.27628#ZSKT (definition)

History

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

QP88JF9ZZZ QP88JF9ZZZ

Mentions

• arxiv: arXiv 2610.14985#AW9O (statement). In DGXJW3SCBR/e1, lemma 40

History

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

Splitting along a mixed inequality QP891HPP9T

Mentions

• arxiv: arXiv 2610.14160#FUSG, Splitting along a mixed inequality (statement). In Y4TP36M0C7/e1, lemma 26

History

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

error estimation QP8ADFSMFK

Mentions

• mathlib_undergrad: mathlib_undergrad Numerical Analysis > Numerical integration > error estimation, error estimation (unknown)

History

• 2026-10-26: add by m2/dev

VIKOR method QP8FP2D70C

Mentions

• wikipedia: Wikipedia VIKOR method, VIKOR method (definition). Also Wikidata Q7907019

History

• 2026-11-02: add by m2/dev

Key inequality for $F_c$ QP9C9QR8C3

Mentions

• arxiv: arXiv 2609.33643#ASO1, Key inequality for $F_c$ (statement). In G8Y8XD02EC/e1, lemma 6.2

History

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

comma QP9N78HSF4

Mentions

• wikipedia: Wikipedia Glossary of category theory#RNFZ, comma (definition)

History

• 2026-11-02: add by m2/dev

QP9NYWMN4N QP9NYWMN4N

Mentions

• arxiv: arXiv 2609.26417#UAI0 (statement)

History

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

Implementation QP9PKNDEZG

Mentions

• wikipedia: Wikipedia Canonical correlation#S15M, Implementation (definition)

History

• 2026-11-02: add by m2/dev

Ming-Jun Lai QP9XQ561QW

Mentions

• wikipedia: Wikipedia Ming-Jun Lai, Ming-Jun Lai (topic). Also Wikidata Q6864609

History

• 2026-11-02: add by m2/dev

isotropic quadratic form QP9YJM70BE

Mentions

• wikipedia: Wikipedia Glossary of linear algebra#JMW3, isotropic quadratic form (definition)

History

• 2026-11-02: add by m2/dev

QPA660W7YR QPA660W7YR

Mentions

• open_logic: open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#prop:diamond (statement). In PKGMM3P5QY, prop, section 51.4

History

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

matrix, square QPA7V7YR29

Mentions

• austin_ula: austin_ula index/3.1.2/matrix-square, matrix, square (concept). In 649HGZKE96, index, section 3.1.2

History

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

Bernard Maurey QPA89VSZPK

Mentions

• wikipedia: Wikipedia Bernard Maurey, Bernard Maurey (topic). Also Wikidata Q822600

History

• 2026-11-02: add by m2/dev

≺ QPAC4RSWPZ

Mentions

• wikipedia: Wikipedia Glossary of set theory#QIYW, ≺ (definition)

History

• 2026-11-02: add by m2/dev

Generalizations QPAHPCMV4H

Mentions

• wikipedia: Wikipedia Arzelà–Ascoli theorem#VIGX, Generalizations (statement)

History

• 2026-11-02: add by m2/dev

Theorems QPAJH9ZHW0

Mentions

• wikipedia: Wikipedia Computable isomorphism#BI37, Theorems (statement)

History

• 2026-11-02: add by m2/dev

QPAP929134 QPAP929134

Mentions

• arxiv: arXiv 2609.26701#1KKN (statement)

History

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

The order of $\Gamma$ QPARBZ991X

Mentions

• arxiv: arXiv 2610.04164#FL75, The order of $\Gamma$ (statement). In KR7WXN4EWR/e1, lemma 3.8

History

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

QPARXA9XFX QPARXA9XFX

Mentions

• arxiv: arXiv 0907.5545#AWA1 (statement). In K3GWCTV5YE/e1, theorem 3

History

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

CAST5 QPAS4BFSPQ

Mentions

• wikipedia: Wikipedia List of cryptosystems#N8R5, CAST5 (definition)

History

• 2026-11-02: add by m2/dev

Singular point of an algebraic variety QPATAB8TQN

Mentions

• wikipedia: Wikipedia List of mathematical properties of points#1Z2Q, Singular point of an algebraic variety (definition)

History

• 2026-11-02: add by m2/dev

QPATKJNBW5 QPATKJNBW5

Mentions

• arxiv: arXiv 2610.19288#C7U0 (statement). In 1EA6AM9V01/e1, theorem 2.8

History

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

QPAYJMG625 QPAYJMG625

Mentions

• arxiv: arXiv 2609.28417#KOXM (statement)

History

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

cohomology QPAZSTSM68

Mentions

• wikidata: Wikidata Q1198376, cohomology (unknown). Also EoM Cohomology, MathWorld Cohomology, nLab cohomology
• wikipedia: Wikipedia Cohomology, Cohomology (definition). Also Wikidata Q1198376

History

• 2026-10-26: add by m2/dev

Pathwise uniqueness for the stopped KS equation QPBANJ3E42

Mentions

• arxiv: arXiv 2609.28985#5SA6, Pathwise uniqueness for the stopped KS equation (statement)

History

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

Gabriel's theorem QPBSXCJ4GV

Mentions

• wikidata: Wikidata Q5515505, Gabriel's theorem (statement). Also nLab Gabriel's theorem
• wikipedia: Wikipedia Gabriel's theorem, Gabriel's theorem (statement). Also Wikidata Q5515505

History

• 2026-10-26: add by m2/dev

QPBWHYTW79 QPBWHYTW79

Mentions

• arxiv: arXiv 2610.03814#BYSI (statement). In STPNP83RJS/e1, lemma 2.2

History

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

QPC2VKZ674 QPC2VKZ674

Mentions

• arxiv: arXiv 2610.21017#WESL (problem). In 8KKYZ4NKT2/e1, problem 22

History

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

Maximizers QPC79BFN36

Mentions

• arxiv: arXiv 2610.08152#4JR1, Maximizers (definition). In T1GYQ6SCCZ/e1, definition 2.3

History

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

QPC84NHKCG QPC84NHKCG

Mentions

• arxiv: arXiv 2211.04758#4U4Y (statement). In DRWDJG2G3S/e1, lemma 3.1

History

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

Properties QPC8MRSAMM

Mentions

• wikipedia: Wikipedia Dirichlet convolution#39YF, Properties (statement)

History

• 2026-11-02: add by m2/dev

Imprecise probability QPCA244YRT

Mentions

• wikipedia: Wikipedia List of statistics articles#WX0Z, Imprecise probability (definition)

History

• 2026-11-02: add by m2/dev

Heptapolis QPCZYXZ2NY

Mentions

• wikipedia: Wikipedia List of places with numeric names#X8QB, Heptapolis (unknown)

History

• 2026-11-02: add by m2/dev

Orthogonal array QPCZZP7C77

Mentions

• wikipedia: Wikipedia Orthogonal array, Orthogonal array (definition). Also Wikidata Q2031860

History

• 2026-11-02: add by m2/dev

Example QPD9G60EF5

Mentions

• wikipedia: Wikipedia Bandlimiting#PPDQ, Example (example)

History

• 2026-11-02: add by m2/dev

László Lovász QPDA0TF2A9

Mentions

• wikipedia: Wikipedia List of people by Erdős number#UOBY, László Lovász (topic)
• wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4GZD, László Lovász (topic)
• wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#C58L, László Lovász (topic)

History

• 2026-11-02: add by m2/dev

QPDFCH2P8Z QPDFCH2P8Z

Mentions

• arxiv: arXiv 2610.02244#O5HM (statement). In 3REM2EXQK7/e1, theorem 2.18

History

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

QPDJRT8ZNA QPDJRT8ZNA

Mentions

• arxiv: arXiv 2610.15444#14JN (statement). In M2X9TEYRPC/e1, theorem 2.11

History

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

QPDVTNDS5Z QPDVTNDS5Z

Mentions

• arxiv: arXiv 2610.11545#9QQN (definition). In VN084GGZGK/e1, definition 4.21

History

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

associativity, of functor composition QPE2FC8K2C

Mentions

• hott_book: hott_book index/2.2/associativity-of-functor-composition, associativity, of functor composition (concept). In N54F33XE07, index, section 2.2

History

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

Rhombidodecadodecahedron QPE4PWD963

Mentions

• wikipedia: Wikipedia List of polygons, polyhedra and polytopes#BVFS, Rhombidodecadodecahedron (object)

History

• 2026-11-02: add by m2/dev

QPERAKSMW0 QPERAKSMW0

Mentions

• arxiv: arXiv 2610.15432#XNQZ (statement). In D1DFM4WYEW/e1, proposition 4.1

History

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

QPES4T5Z1S QPES4T5Z1S

Mentions

• arxiv: arXiv 2610.19852#ZJ5D (statement). In SPW2D8X2PG/e1, proposition 4

History

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

QPETVNF9CT QPETVNF9CT

Mentions

• arxiv: arXiv 2610.10930#DMO0 (statement). In HX63A1PH1W/e1, corollary 6.24

History

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

Burde, Specialized to $\mathfrak{sl}_{2}(\mathbb{K})$ QPEWKSCJV2

Mentions

• arxiv: arXiv 2610.12489#WH9T, Burde, Specialized to $\mathfrak{sl}_{2}(\mathbb{K})$ (statement). In FDWFVD08SE/e1, theorem 3.1

History

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

QPEZN5GQYV QPEZN5GQYV

Mentions

• active_calculus: active_calculus source/activities/act-5-6-2.xml#act-5-6-2 (exercise). In 907G4C4EJ1, activity, section 5.6.4

History

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

Uses QPF96RJ9BC

Mentions

• wikipedia: Wikipedia Shadow square#1CGZ, Uses (example)

History

• 2026-11-02: add by m2/dev

Lehmann–Scheffé theorem QPFCTDGQ1N

Mentions

• wikipedia: Wikipedia Point estimation#CTFB, Lehmann–Scheffé theorem (statement)

History

• 2026-11-02: add by m2/dev

Definition QPFE7RC5BP

Mentions

• wikipedia: Wikipedia Riemann's differential equation#DK2D, Definition (definition)

History

• 2026-11-02: add by m2/dev

reflexive QPFF7HDSKN

Mentions

• wikipedia: Wikipedia Glossary of functional analysis#M3E4, reflexive (definition)

History

• 2026-11-02: add by m2/dev

QPFJDC33ZX QPFJDC33ZX

Mentions

• arxiv: arXiv 2309.15424#VGX3 (example). In NXYZ1EAWKN/e1, example 2

History

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

Bicylinder QPFR3YXHS2

Mentions

• wikipedia: Wikipedia List of mathematical shapes#242Q, Bicylinder (definition)

History

• 2026-11-02: add by m2/dev

QPFVWCETWE QPFVWCETWE

Mentions

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

History

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

QPG52TK9QR QPG52TK9QR

Mentions

• arxiv: arXiv 2610.11677#U5Z2 (statement). In 4R7HZD14M6/e1, lemma 2.3

History

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

pigeonhole principle QPG9W1P9X6

Mentions

• levin_dmoi: levin_dmoi index/4.2.3/pigeonhole-principle, pigeonhole principle (concept). In Y91XFCEVHQ, index, section 4.2.3

History

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

QPGAJDJRZ2 QPGAJDJRZ2

Mentions

• arxiv: arXiv 2610.11886#YG5D (definition). In T0APQY74CA/e1, definition 6

History

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

Nesbitt, Cecil J. QPGBFG1AQ6

Mentions

• wikipedia: Wikipedia List of statisticians#KASV, Nesbitt, Cecil J. (topic)

History

• 2026-11-02: add by m2/dev

Variations QPGDRDDJBD

Mentions

• wikipedia: Wikipedia Crossing number (graph theory)#JDXX, Variations (statement)

History

• 2026-11-02: add by m2/dev

Yupana QPGFWKSY0E

Mentions

• wikipedia: Wikipedia Yupana, Yupana (definition). Also Wikidata Q2458086

History

• 2026-11-02: add by m2/dev

Oscar Zariski QPGQ07ZN6W

Mentions

• wikipedia: Wikipedia List of mathematicians born in the 19th century#BY2H, Oscar Zariski (topic)

History

• 2026-11-02: add by m2/dev

QPGXY9Z1GP QPGXY9Z1GP

Mentions

• open_logic: open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 50.2

History

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

Properties QPH1B1NQKQ

Mentions

• wikipedia: Wikipedia Quasimartingale#EMEK, Properties (statement)

History

• 2026-11-02: add by m2/dev

Extouch triangle QPH1ZJQY89

Mentions

• wikipedia: Wikipedia Extouch triangle, Extouch triangle (definition). Also Wikidata Q5422106

History

• 2026-11-02: add by m2/dev

Latin hypercube sampling QPH7W6RXNS

Mentions

• wikipedia: Wikipedia List of statistics articles#IR9C, Latin hypercube sampling (definition)

History

• 2026-11-02: add by m2/dev

Maximal rank conjecture QPHAY7ZX46

Mentions

• wikipedia: Wikipedia Brill–Noether theory#OMHC, Maximal rank conjecture (statement)

History

• 2026-11-02: add by m2/dev

Ireland QPHEN6Q35X

Mentions

• wikidata: Wikidata Q27, Ireland (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Ireland

History

• 2026-10-26: add by m2/dev

Deligne--Laumon QPHG283FDD

Mentions

• arxiv: arXiv 2610.03081#25YO, Deligne--Laumon (statement). In TX0H26X4VX/e1, theorem 5.1

History

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

Identities between $y_n^\pm$ and $w_n^-$ QPHPSW1PJP

Mentions

• arxiv: arXiv 2610.00770#V78G, Identities between $y_n^\pm$ and $w_n^-$ (statement). In AYGRJSRG1M/e1, lemma

History

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

Examples QPHW61HR3E

Mentions

• wikipedia: Wikipedia Michael's theorem on paracompact spaces#EQXR, Examples (example)

History

• 2026-11-02: add by m2/dev

QPHXD495Y9 QPHXD495Y9

Mentions

• arxiv: arXiv 2610.06488#34DP (statement). In XG3BJ2QXXP/e1, proposition 3.5

History

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

QPJ334ENV1 QPJ334ENV1

Mentions

• arxiv: arXiv 2609.34876#PXLF (statement). In XXQAW3ZBDF/e1, lemma 4.1

History

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

Percy John Daniell QPJH8124RV

Mentions

• wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6Z47, Percy John Daniell (topic)

History

• 2026-11-02: add by m2/dev

Definable set QPJHK2KWC1

Mentions

• wikipedia: Wikipedia Definable set, Definable set (definition). Also Wikidata Q2895824

History

• 2026-11-02: add by m2/dev

QPJJX9DPYK QPJJX9DPYK

Mentions

• arxiv: arXiv 2605.24355#X4U9 (statement). In VV3AJMWWCR/e1, corollary 4

History

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

Wendell Milliman QPJMTEKJ22

Mentions

• wikipedia: Wikipedia List of actuaries#QGDS, Wendell Milliman (unknown)

History

• 2026-11-02: add by m2/dev

QPJY20F4TX QPJY20F4TX

Mentions

• arxiv: arXiv 2609.40282#WMYK (statement). In P86RWY99S2/e1, proposition 3.1.1

History

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

conjugate subgroups QPK0A93X0M

Mentions

• wikipedia: Wikipedia Glossary of group theory#K4LV, conjugate subgroups (definition)

History

• 2026-11-02: add by m2/dev
• 2026-11-03: outcome by m2 corpus adopt

Lefschetz–Hopf theorem QPK5QJV582

Mentions

• wikipedia: Wikipedia List of theorems#H5C7, Lefschetz–Hopf theorem (statement)

History

• 2026-11-02: add by m2/dev

Pingala QPK7DNC48J

Mentions

• wikipedia: Wikipedia List of Indian mathematicians#UUX7, Pingala (unknown)

History

• 2026-11-02: add by m2/dev

QPK82YJHDT QPK82YJHDT

Mentions

• arxiv: arXiv 2410.10337#ZJ9Y (statement). In RBBF0XNZ5E/e1, theorem 15

History

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

QPK8JZE8H1 QPK8JZE8H1

Mentions

• arxiv: arXiv 2610.15460#OVZX (statement). In T2Z3D2VQ9B/e1, proposition 2.3

History

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

Sarah Nusser QPKDFJQDV4

Mentions

• wikipedia: Wikipedia List of fellows of the American Statistical Association#02FP, Sarah Nusser (unknown)

History

• 2026-11-02: add by m2/dev

QPKEPYA08Q QPKEPYA08Q

Mentions

• arxiv: arXiv 2610.07285#I84S (statement). In S284XRA4WK/e1, lemma B.1

History

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

QPKFZBTV7X QPKFZBTV7X

Mentions

• levin_dmoi: levin_dmoi ptx/sec_counting-combperm.ptx#example-2 (example). In Y91XFCEVHQ, example, section 2.3

History

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

Deterministic oracle lower bound QPKKVTEC7T

Mentions

• arxiv: arXiv 2609.38375#82JO, Deterministic oracle lower bound (statement). In CHSB1TGAKB/e1, theorem 3

History

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

Stanley Deser QPKXXJBXHM

Mentions

• wikidata: Wikidata Q2331679, Stanley Deser (unknown). Also nLab Stanley Deser

History

• 2026-10-26: add by m2/dev

QPM854K3VV QPM854K3VV

Mentions

• napkin: napkin tex/H113/quotient.tex#claim-1 (statement). In RZP28ERRZV, claim, section 3.5

History

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

Probabilistic Sliding-Window GC Capacity QPM8HM6SVQ

Mentions

• arxiv: arXiv 2610.09998#JIXP, Probabilistic Sliding-Window GC Capacity (statement). In AFMB05H7A6/e1, theorem 15

History

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

QPM8P22T7F QPM8P22T7F

Mentions

• arxiv: arXiv 2610.01958#LYZG (statement). In NQFYT2M6YZ/e1, corollary 5.11

History

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

algorithm QPMDQMZNAT

Mentions

• wikidata: Wikidata Q8366, algorithm (topic). Also EoM Algorithm, MathWorld Algorithm, nLab algorithm, ProofWiki Definition:Algorithm
• wikipedia: Wikipedia Algorithm, Algorithm (definition). Also Wikidata Q8366

History

• 2026-10-26: add by m2/dev

QPMQB1SENR QPMQB1SENR

Mentions

• arxiv: arXiv 2610.18346#HDN1 (statement). In QVPNGHTMEX/e1, theorem 2.2

History

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

QPNCGYP72D QPNCGYP72D

Mentions

• arxiv: arXiv 2610.17045#NN3C (statement). In PA6JQDSKQT/e1, proposition 5.7

History

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

Meinert, 1995 QPNDEAR9MT

Mentions

• arxiv: arXiv 2610.09704#RSCR, Meinert, 1995 (statement). In FNG4B47MRV/e1, theorem 5.3

History

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

H(κ) QPNJHH63RA

Mentions

• wikipedia: Wikipedia Glossary of set theory#JQGN, H(κ) (definition)

History

• 2026-11-02: add by m2/dev

QPNPS9PE4V QPNPS9PE4V

Mentions

• arxiv: arXiv 2610.15217#EAGR (definition). In G70Q2FB591/e1, definition 4.12

History

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

Applications QPNRW88H4E

Mentions

• wikipedia: Wikipedia Transportation theory (mathematics)#R4N7, Applications (example)

History

• 2026-11-02: add by m2/dev

Examples QPNZMWFYAW

Mentions

• wikipedia: Wikipedia Quasi-algebraically closed field#2Y7X, Examples (example)

History

• 2026-11-02: add by m2/dev

QPP02WVD42 QPP02WVD42

Mentions

• arxiv: arXiv 2610.21632#C7GQ (statement). In Q4RZTN2EX6/e1, theorem C

History

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

Integrated approximation under a margin condition QPP0KTGNT2

Mentions

• arxiv: arXiv 2610.21363#SRVN, Integrated approximation under a margin condition (statement). In YPH7NS5AAQ/e1, lemma E.2

History

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

QPP3F9B161 QPP3F9B161

Mentions

• arxiv: arXiv 2609.39491#TI5H (statement). In 9R00V9TGVT/e1, theorem 2.9

History

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

Formal statement QPP7ZE4F8K

Mentions

• wikipedia: Wikipedia Donsker's theorem#2KH5, Formal statement (statement)

History

• 2026-11-02: add by m2/dev

Ted Hill QPP83K18Z4

Mentions

• wikipedia: Wikipedia Ted Hill (mathematician), Ted Hill (topic). Also Wikidata Q1524262

History

• 2026-11-02: add by m2/dev

Elena Yanovskaya QPPFBE3663

Mentions

• wikipedia: Wikipedia Elena Yanovskaya, Elena Yanovskaya (topic). Also Wikidata Q29359770

History

• 2026-11-02: add by m2/dev

QPPJSTZF5Q QPPJSTZF5Q

Mentions

• arxiv: arXiv 2610.12120#4BU4 (statement). In G9D4R1AXP8/e1, proposition 4.4

History

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

QPPM4VJZ2F QPPM4VJZ2F

Mentions

• arxiv: arXiv 2609.21552#DVCJ (statement)

History

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

QPPW3QMWYK QPPW3QMWYK

Mentions

• arxiv: arXiv 2609.32733#L0MH (definition). In PCAS8S14J6/e1, definition 2.1

History

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

Alfarabi QPPY1V9A4F

Mentions

• wikipedia: Wikipedia List of works by Averroes#TTW2, Alfarabi (unknown)

History

• 2026-11-02: add by m2/dev

QPQ0ZEQ9CF QPQ0ZEQ9CF

Mentions

• austin_ula: austin_ula src/section3-4.xml#activity-1 (exercise). In 649HGZKE96, activity, section 3.4.2

History

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

QPQ7KBFP6K QPQ7KBFP6K

Mentions

• arxiv: arXiv 2610.18084#DQ0V (statement). In PKPT8NY665/e1, theorem 2.5

History

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

Spanish Statistics and Operations Research Society QPQ833AG5D

Mentions

• wikipedia: Wikipedia Spanish Statistics and Operations Research Society, Spanish Statistics and Operations Research Society (definition). Also Wikidata Q28134163

History

• 2026-11-02: add by m2/dev

Equivalence with two-state approximation QPQ8DFGJRQ

Mentions

• arxiv: arXiv 2610.08821#FVPD, Equivalence with two-state approximation (statement). In KP1THB2C09/e1, corollary 2.7

History

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

QPQB7K2Q5V QPQB7K2Q5V

Mentions

• arxiv: arXiv 2610.09567#YY3G (definition). In 7RV6BDZAFK/e1, definition 2.1

History

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

QPQD1D5FR6 QPQD1D5FR6

Mentions

• arxiv: arXiv 2610.14099#V41S (statement). In D77GXFTKFH/e1, proposition 12

History

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

Statement QPR6HRJWMZ

Mentions

• wikipedia: Wikipedia Gauss–Markov theorem#LUVF, Statement (statement)

History

• 2026-11-02: add by m2/dev

Principles QPR8DRZC4X

Mentions

• wikipedia: Wikipedia Markov chain#SJHM, Principles (statement)

History

• 2026-11-02: add by m2/dev

Complex numbers QPR8RA570P

Mentions

• wikipedia: Wikipedia Glossary of field theory#CSWB, Complex numbers (definition)

History

• 2026-11-02: add by m2/dev

Setwise error bound plus averagedness QPRCDVC065

Mentions

• arxiv: arXiv 2610.20270#RL25, Setwise error bound plus averagedness (statement). In GV0QGZH67P/e1, lemma F.1

History

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

Chernoff's distribution QPRH678DM0

Mentions

• wikipedia: Wikipedia Chernoff's distribution, Chernoff's distribution (definition). Also Wikidata Q5092076

History

• 2026-11-02: add by m2/dev

Algorithms QPRJ6R3KD1

Mentions

• wikipedia: Wikipedia Stochastic block model#4QEV, Algorithms (definition)

History

• 2026-11-02: add by m2/dev

Examples QPRP9SGFA5

Mentions

• wikipedia: Wikipedia Tangent half-angle substitution#W0HF, Examples (example)

History

• 2026-11-02: add by m2/dev

QPRQGBM1RC QPRQGBM1RC

Mentions

• arxiv: arXiv 2610.14236#3I9W (definition). In XEQD21EBTT/e1, definition 1.2

History

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

QPS12FQP1D QPS12FQP1D

Mentions

• arxiv: arXiv 2609.36021#64Y0 (statement). In CB68ATPEV9/e1, lemma 5.4

History

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

Birgit Loch QPS1TJD1VE

Mentions

• wikipedia: Wikipedia Birgit Loch, Birgit Loch (topic). Also Wikidata Q102287094

History

• 2026-11-02: add by m2/dev

Kuratowski's theorem QPS24MTQF0

Mentions

• wikipedia: Wikipedia Kuratowski's theorem, Kuratowski's theorem (statement). Also Wikidata Q837902

History

• 2026-11-02: add by m2/dev

Relation to separation axioms and separated spaces QPS9QFWYK3

Mentions

• wikipedia: Wikipedia Separated sets#WACI, Relation to separation axioms and separated spaces (statement)

History

• 2026-11-02: add by m2/dev

Odds algorithm QPSDFVBHPE

Mentions

• wikipedia: Wikipedia List of statistics articles#36B1, Odds algorithm (definition)

History

• 2026-11-02: add by m2/dev

Bernstein's inequality QPSET423W1

Mentions

• arxiv: arXiv 2609.23332#GX1P, Bernstein's inequality (statement)

History

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

QPSJMDD6D6 QPSJMDD6D6

Mentions

• arxiv: arXiv math/0003117#TBKB (definition). In WD2NCBV9F0/e1, definition 9.5

History

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

Alexander Ostrowski QPSK1HET7Y

Mentions

• wikipedia: Wikipedia List of people by Erdős number#BLAF, Alexander Ostrowski (topic)

History

• 2026-11-02: add by m2/dev

QPSM6H2ZFP QPSM6H2ZFP

Mentions

• arxiv: arXiv 2610.11047#X7FQ (statement). In MNQAZ70XTH/e1, lemma 6.3

History

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

Jeroen Groenendijk QPSPKQHJ9D

Mentions

• wikipedia: Wikipedia Jeroen Groenendijk, Jeroen Groenendijk (topic). Also Wikidata Q6182464

History

• 2026-11-02: add by m2/dev

Omitted-variable bias QPSRDDQ34F

Mentions

• wikipedia: Wikipedia List of statistics articles#SZQL, Omitted-variable bias (definition)

History

• 2026-11-02: add by m2/dev

QPTB7EX012 QPTB7EX012

Mentions

• arxiv: arXiv 2609.31216#R4PJ (statement). In M9CSGRSRB3/e1, lemma 3.7

History

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

QPTEH051RS QPTEH051RS

Mentions

• arxiv: arXiv 2610.08935#1QUW (definition). In G02N9D40B9/e1, definition 3.2.1

History

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

Complete group QPTEMAWTHF

Mentions

• wikipedia: Wikipedia List of group theory topics#JBEE, Complete group (definition)

History

• 2026-11-02: add by m2/dev

Luo-Schleimer-Tillmann QPTMKKWY1Z

Mentions

• arxiv: arXiv 2609.27635#KSNA, Luo-Schleimer-Tillmann (statement)

History

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

Quantum interference QPTNMNPY08

Mentions

• wikipedia: Wikipedia Wave interference#2XU2, Quantum interference (unknown)

History

• 2026-11-02: add by m2/dev

Yutaka Taniyama QPV7667YSC

Mentions

• wikipedia: Wikipedia List of people by Erdős number#3CA2, Yutaka Taniyama (topic)

History

• 2026-11-02: add by m2/dev

Alan Tucker QPV8PK1EGB

Mentions

• wikipedia: Wikipedia List of people by Erdős number#43B9, Alan Tucker (unknown)

History

• 2026-11-02: add by m2/dev

QPVAFFRXTA QPVAFFRXTA

Mentions

• arxiv: arXiv 2609.32977#7O8I (statement). In 4KT9TK3MG4/e1, lemma F.9

History

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

QPVAK8N2MN QPVAK8N2MN

Mentions

• arxiv: arXiv 2104.12015#EUVX (statement). In ZZ2P08DVQW/e1, theorem 10.1

History

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

VMAC QPVBWDXX0V

Mentions

• wikipedia: Wikipedia VMAC, VMAC (definition). Also Wikidata Q7907187

History

• 2026-11-02: add by m2/dev

QPVEJ5F2DJ QPVEJ5F2DJ

Mentions

• arxiv: arXiv 0907.5545#6SPX (statement). In K3GWCTV5YE/e1, proposition 1

History

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

QPVS2F3636 QPVS2F3636

Mentions

• arxiv: arXiv 2503.01567#B383 (statement). In GB0V23Q6C5/e1, lemma 3.5

History

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

QPVWE5SHPP QPVWE5SHPP

Mentions

• arxiv: arXiv 2308.02672#A7QA (statement). In ETRT1R1CQ8/e1, theorem 9.2

History

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

Octahedral-hexagonal tiling honeycomb QPW5SQ7FFR

Mentions

• wikipedia: Wikipedia Octahedral-hexagonal tiling honeycomb, Octahedral-hexagonal tiling honeycomb (definition). Also Wikidata Q17077871

History

• 2026-11-02: add by m2/dev

Lester Mackey QPW5X31AN8