Inventory rows QK
The cards of the rows of the inventory whose ids start with QK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Induced representation QK02K3V6A1
| URI | m2://inv/QK02K3V6A1 |
|---|---|
| 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.13892#9X34, Induced representation (definition). In HV9KKEBBDD/e1, definition IV.9
History
- 2026-10-28: add by m2/v0.4.2
Dragonblood QK04F6KX82
| URI | m2://inv/QK04F6KX82 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wi-Fi Protected Access#Y3G1, Dragonblood (unknown)
History
- 2026-11-02: add by m2/dev
Applications QK089WK2QG
| URI | m2://inv/QK089WK2QG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spanning tree#2SIN, Applications (example)
History
- 2026-11-02: add by m2/dev
QK0DTXXGFP QK0DTXXGFP
| URI | m2://inv/QK0DTXXGFP |
|---|---|
| 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.14450#D05K (definition). In ZHTGQT07PE/e1, definition 4.4
History
- 2026-10-28: add by m2/v0.4.2
QK0G01N5E1 QK0G01N5E1
| URI | m2://inv/QK0G01N5E1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#prop:provability-exhaustive (statement). In PKGMM3P5QY, prop, section 15.3
History
- 2026-11-01: add by m2/v0.6.13
QK0S4W57GF QK0S4W57GF
| URI | m2://inv/QK0S4W57GF |
|---|---|
| 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.19882#2TDJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
QK0TS3MQK7 QK0TS3MQK7
| URI | m2://inv/QK0TS3MQK7 |
|---|---|
| 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.14189#Q699 (statement). In 39VAB08YDJ/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
QK0ZRM9JP9 QK0ZRM9JP9
| URI | m2://inv/QK0ZRM9JP9 |
|---|---|
| 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.20521#TBX4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
infinity symbol QK166ETVK5
| URI | m2://inv/QK166ETVK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6030066, infinity symbol (unknown). Also ProofWiki Symbols:General/Infinity
- wikipedia: Wikipedia Infinity symbol, Infinity symbol (definition). Also Wikidata Q6030066
History
- 2026-10-26: add by m2/dev
Examples QK1A0N2SPK
| URI | m2://inv/QK1A0N2SPK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle center#317Y, Examples (example)
History
- 2026-11-02: add by m2/dev
Nandini Kannan QK1C8GC8EM
| URI | m2://inv/QK1C8GC8EM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nandini Kannan, Nandini Kannan (topic). Also Wikidata Q102212052
History
- 2026-11-02: add by m2/dev
Criticism of IQ testing QK1DX2E1MC
| URI | m2://inv/QK1DX2E1MC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intelligence quotient#7WSM, Criticism of IQ testing (unknown)
History
- 2026-11-02: add by m2/dev
One-sided limit QK1FZC4NF7
| URI | m2://inv/QK1FZC4NF7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-sided limit, One-sided limit (definition). Also Wikidata Q2633817
History
- 2026-11-02: add by m2/dev
QK1HHGMBCC QK1HHGMBCC
| URI | m2://inv/QK1HHGMBCC |
|---|---|
| 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.21033#82KI (statement). In A8C1M9BSWH/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.2
Properties QK1P54TM63
| URI | m2://inv/QK1P54TM63 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cube root#YO7L, Properties (statement)
History
- 2026-11-02: add by m2/dev
Google effect QK1PW5W5PX
| URI | m2://inv/QK1PW5W5PX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#VCX6, Google effect (unknown)
History
- 2026-11-02: add by m2/dev
Strong cardinal QK1SSA94SX
| URI | m2://inv/QK1SSA94SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#FQHZ, Strong cardinal (definition)
History
- 2026-11-02: add by m2/dev
Milton Sobel QK1TXECA6B
| URI | m2://inv/QK1TXECA6B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#PSN7, Milton Sobel (topic)
History
- 2026-11-02: add by m2/dev
Parallel projection QK1YTSRR7S
| URI | m2://inv/QK1YTSRR7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#8CHI, Parallel projection (definition)
History
- 2026-11-02: add by m2/dev
David Graham Wells QK1ZP806VB
| URI | m2://inv/QK1ZP806VB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107868853, David Graham Wells (unknown). Also ProofWiki Mathematician:David_G._Wells
History
- 2026-10-26: add by m2/dev
Edwin Thompson Jaynes QK2ERW86VJ
| URI | m2://inv/QK2ERW86VJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q711210, Edwin Thompson Jaynes (unknown). Also nLab Edwin Jaynes
History
- 2026-10-26: add by m2/dev
12 QK2KAH7BK2
| URI | m2://inv/QK2KAH7BK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q36977 (statement). Also MathWorld 12, ProofWiki 12
- wikipedia: Wikipedia 12 (number), 12 (definition). Also Wikidata Q36977
History
- 2026-10-26: add by m2/dev
QK2QX4D47R QK2QX4D47R
| URI | m2://inv/QK2QX4D47R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39455#5SVJ (statement). In HW4Y4TMEZ3/e1, proposition 4.7
History
- 2026-10-30: add by m2/v0.4.12
QK2QZXTGF4 QK2QZXTGF4
| URI | m2://inv/QK2QZXTGF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29152#3TJR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cavity method QK2SP32C7K
| URI | m2://inv/QK2SP32C7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cavity method, Cavity method (definition). Also Wikidata Q5055181
History
- 2026-11-02: add by m2/dev
QK2X34BPCF QK2X34BPCF
| URI | m2://inv/QK2X34BPCF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21544#I94G (example). In 5FMMWKNYWW/e1, example 4.1
History
- 2026-10-27: add by m2/v0.4.2
QK302V0HQS QK302V0HQS
| URI | m2://inv/QK302V0HQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03499#LQLC (statement). In NAE99N03W3/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
QK34F7Q4NH QK34F7Q4NH
| URI | m2://inv/QK34F7Q4NH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11847#P73Z (statement). In MP2YM69XW8/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.3
Definition QK38ME33TV
| URI | m2://inv/QK38ME33TV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of schemes#IT4L, Definition (definition)
History
- 2026-11-02: add by m2/dev
Nicholson–Bailey model QK3E1F2BBM
| URI | m2://inv/QK3E1F2BBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholson–Bailey model, Nicholson–Bailey model (definition). Also Wikidata Q15635269
History
- 2026-11-02: add by m2/dev
Consistency of grand mean and main effect estimators QK3EZ7H5W3
| URI | m2://inv/QK3EZ7H5W3 |
|---|---|
| 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.18335#C056, Consistency of grand mean and main effect estimators (statement). In XKN1C8Y9SD/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Andreotti–Frankel theorem QK3FP2YS04
| URI | m2://inv/QK3FP2YS04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BFZT, Andreotti–Frankel theorem (statement)
History
- 2026-11-02: add by m2/dev
QK47J0DP2P QK47J0DP2P
| URI | m2://inv/QK47J0DP2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.08500#WSY7 (statement). In ZPCYW4N0EH/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
QK4BPYA1YE QK4BPYA1YE
| URI | m2://inv/QK4BPYA1YE |
|---|---|
| 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 2508.02432#W3RQ (example). In B366ACYB37/e1, example 2.5
History
- 2026-10-27: add by m2/v0.3.5
QK4WB8Y3S9 QK4WB8Y3S9
| URI | m2://inv/QK4WB8Y3S9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35320#G6AT (statement). In QJ6AEW93RB/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Ambulatory assessment QK51V78500
| URI | m2://inv/QK51V78500 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ambulatory assessment, Ambulatory assessment (definition). Also Wikidata Q55603792
History
- 2026-11-02: add by m2/dev
integer factorization QK538Q25F3
| URI | m2://inv/QK538Q25F3 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| MSC | 11A51 |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Prime factorization 02EKEPPJ3R |
Mentions
- wikidata: Wikidata Q4846249, integer factorization (topic). Also MathWorld PrimeFactorization
- wikipedia: Wikipedia Integer factorization, Integer factorization (conjecture). Also Wikidata Q4846249
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Archimedean principle for $\RD$ QK5670ESDH
| URI | m2://inv/QK5670ESDH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#RD-archimedean, Archimedean principle for $\RD$ (statement). In N54F33XE07, thm, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
Definition QK570PRPK9
| URI | m2://inv/QK570PRPK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic space#WW98, Definition (definition)
History
- 2026-11-02: add by m2/dev
de La Vallée Poussin QK594HF8H9
| URI | m2://inv/QK594HF8H9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26645#6HZH, de La Vallée Poussin (statement)
History
- 2026-11-01: add by m2/v0.6.15
Going-up and going-down theorems QK59A6TMFA
| URI | m2://inv/QK59A6TMFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HHX7, Going-up and going-down theorems (definition)
History
- 2026-11-02: add by m2/dev
Anton Petrunin QK5ADHCTFF
| URI | m2://inv/QK5ADHCTFF |
|---|---|
| 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#0PG7, Anton Petrunin (unknown)
History
- 2026-11-02: add by m2/dev
\textbf{Point elations QK5B9M2BJF
| URI | m2://inv/QK5B9M2BJF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23526#UP15, \textbf{Point elations (definition)
History
- 2026-11-02: add by m2/v0.6.17
Critical mathematics pedagogy QK5H1MCX5E
| URI | m2://inv/QK5H1MCX5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical mathematics pedagogy, Critical mathematics pedagogy (definition). Also Wikidata Q28456055
History
- 2026-11-02: add by m2/dev
QK5KKYJ467 QK5KKYJ467
| URI | m2://inv/QK5KKYJ467 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#TVU3 (statement). In X38P26DK6S/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.0
Procrustes analysis QK5SHBTDN0
| URI | m2://inv/QK5SHBTDN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MYQD, Procrustes analysis (definition)
History
- 2026-11-02: add by m2/dev
French railway metrics QK615D9MWV
| URI | m2://inv/QK615D9MWV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1450530, French railway metrics (unknown). Also MathWorld FrenchMetroMetric
History
- 2026-10-26: add by m2/dev
Main result: eigenvalue-free interval for $D^L$ QK631HV6GY
| URI | m2://inv/QK631HV6GY |
|---|---|
| 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.08599#2LKC, Main result: eigenvalue-free interval for $D^L$ (statement). In DST9FWMHT6/e1, theorem 3.7
History
- 2026-10-29: add by m2/v0.4.10
Corollary QK636T0ZXF
| URI | m2://inv/QK636T0ZXF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability density function#UT66, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Cousin's theorem QK63FHNDFA
| URI | m2://inv/QK63FHNDFA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cousin's theorem, Cousin's theorem (statement). Also Wikidata Q2375785
History
- 2026-11-02: add by m2/dev
QK6482DVK0 QK6482DVK0
| URI | m2://inv/QK6482DVK0 |
|---|---|
| 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 2609.30663#YZQ6 (statement). In 3JZDKWS8NK/e1, lemma 8.2
History
- 2026-10-31: add by m2/v0.5.6
$\SO(3)$ and a ball quotient QK683GEZW0
| URI | m2://inv/QK683GEZW0 |
|---|---|
| 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.14582#MFTW, $\SO(3)$ and a ball quotient (statement). In 6XP6PD2XZA/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
QK69XAJKYF QK69XAJKYF
| URI | m2://inv/QK69XAJKYF |
|---|---|
| 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 2610.16989#L50H (statement). In 4769XNDWYS/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
QK6BPJ0BE1 QK6BPJ0BE1
| URI | m2://inv/QK6BPJ0BE1 |
|---|---|
| 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.21305#9PRN (statement)
History
- 2026-11-02: add by m2/v0.6.18
QK6HX1QP2W QK6HX1QP2W
| URI | m2://inv/QK6HX1QP2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1803.10042#A12T (statement). In 718SP8YERQ/e1, theorem A7
History
- 2026-10-27: add by m2/v0.3.5
Covering problem of Rado QK6NBMSWTF
| URI | m2://inv/QK6NBMSWTF |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#4AOQ, Covering problem of Rado (conjecture)
History
- 2026-11-02: add by m2/dev
Megastudy examples QK6XKX71Z3
| URI | m2://inv/QK6XKX71Z3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Megastudy#OIZ1, Megastudy examples (example)
History
- 2026-11-02: add by m2/dev
QK6YE4DTC8 QK6YE4DTC8
| URI | m2://inv/QK6YE4DTC8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#80RP (definition). In A1GWWGRXPA/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
QK75N9GD33 QK75N9GD33
| URI | m2://inv/QK75N9GD33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2610.00882#WVWG (statement). In CDA78ZYNZ0/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
123456 (password) QK772T3VQV
| URI | m2://inv/QK772T3VQV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Password strength#IUAO, 123456 (password) (unknown)
History
- 2026-11-02: add by m2/dev
Variants QK772ZBCPQ
| URI | m2://inv/QK772ZBCPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Douady rabbit#9NES, Variants (statement)
History
- 2026-11-02: add by m2/dev
Hungarian phenomenon QK791EB0VA
| URI | m2://inv/QK791EB0VA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hungarian mathematics#AO53, Hungarian phenomenon (unknown)
History
- 2026-11-02: add by m2/dev
anomalous diffusion QK79S5TD61
| URI | m2://inv/QK79S5TD61 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q567544, anomalous diffusion (unknown). Also nLab anomalous diffusion
History
- 2026-10-26: add by m2/dev
QK7G06XQ24 QK7G06XQ24
| URI | m2://inv/QK7G06XQ24 |
|---|---|
| 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 2310.11101#DRYB (statement). In YBBKTP4E70/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
QK7HWBE0B9 QK7HWBE0B9
| URI | m2://inv/QK7HWBE0B9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02244#SACU (statement). In 3REM2EXQK7/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.12
Semigroup action QK7HWV4EMC
| URI | m2://inv/QK7HWV4EMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroup action, Semigroup action (definition). Also Wikidata Q7449424
History
- 2026-11-02: add by m2/dev
Grinberg graphs QK7HZ7C2F1
| URI | m2://inv/QK7HZ7C2F1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118284774, Grinberg graphs (unknown). Also MathWorld GrinbergGraphs
History
- 2026-10-26: add by m2/dev
QK7NXTHAMG QK7NXTHAMG
| URI | m2://inv/QK7NXTHAMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40156#IBDB (statement). In PP8BEHWK33/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
Comparison with the zero predictor QK7T4YNH4C
| URI | m2://inv/QK7T4YNH4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38453#RRZW, Comparison with the zero predictor (statement). In DWKWF242Y0/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
Anand Pillay QK7X3NDGBR
| URI | m2://inv/QK7X3NDGBR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CZMX, Anand Pillay (topic)
History
- 2026-11-02: add by m2/dev
Kolmogorov--Smirnov and Cram\'er--von Mises statistics QK82C8QP7S
| URI | m2://inv/QK82C8QP7S |
|---|---|
| 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.14616#4O1Q, Kolmogorov--Smirnov and Cram\'er--von Mises statistics (statement). In 17ACAG0N9C/e1, corollary 2.13
History
- 2026-10-28: add by m2/v0.4.2
Stochastic Fubini QK84JKB8BY
| URI | m2://inv/QK84JKB8BY |
|---|---|
| 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.07790#1HB9, Stochastic Fubini (statement). In A5YJDDM0NX/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Radius of Concavity for the Class $\mathcal{C}_e$ QK8K38V2BY
| URI | m2://inv/QK8K38V2BY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26154#XTBX, Radius of Concavity for the Class $\mathcal{C}_e$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
QK8TYKMN9M QK8TYKMN9M
| URI | m2://inv/QK8TYKMN9M |
|---|---|
| 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.10773#OYQ7 (statement). In 744Y8ZPEV7/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.3
James Munkres QK96HK3QFN
| URI | m2://inv/QK96HK3QFN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3710524, James Munkres (unknown). Also nLab James Munkres, ProofWiki Mathematician:James_Raymond_Munkres
- wikipedia: Wikipedia James Munkres, James Munkres (topic). Also Wikidata Q3710524
History
- 2026-10-26: add by m2/dev
Free boundary problem QK9913YJYJ
| URI | m2://inv/QK9913YJYJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free boundary problem, Free boundary problem (problem). Also Wikidata Q5500196
History
- 2026-11-02: add by m2/dev
Generalizations QK9GEETVCA
| URI | m2://inv/QK9GEETVCA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal (ring theory)#TKYH, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
A good integral model QK9NYG9AAT
| URI | m2://inv/QK9NYG9AAT |
|---|---|
| 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.08753#L00W, A good integral model (statement). In J9P361Z1CX/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Yang–Mills theory QK9S8FPM67
| URI | m2://inv/QK9S8FPM67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1192873, Yang–Mills theory (definition). Also nLab Yang-Mills theory, ProofWiki Definition:Yang-Mills_Theory
- wikipedia: Wikipedia Yang–Mills theory, Yang–Mills theory (definition). Also Wikidata Q1192873
History
- 2026-10-26: add by m2/dev
adjacency matrix QKA1B9EA20
| URI | m2://inv/QKA1B9EA20 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Graph theory > adjacency matrix, adjacency matrix (unknown). Also Mathlib SimpleGraph.adjMatrix
History
- 2026-10-26: add by m2/dev
AJN inequality QKA5T1J7VC
| URI | m2://inv/QKA5T1J7VC |
|---|---|
| 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 2206.11809#3F4X, AJN inequality (statement). In YQXYSNW78V/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
QKA96FRAWJ QKA96FRAWJ
| URI | m2://inv/QKA96FRAWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10406#EN9H (statement). In VQA35Q7C00/e1, corollary 2.13
History
- 2026-10-29: add by m2/v0.4.10
Spin group QKABR8FC3P
| URI | m2://inv/QKABR8FC3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#FCZA, Spin group (definition)
History
- 2026-11-02: add by m2/dev
Format-transforming encryption QKAHG93HKH
| URI | m2://inv/QKAHG93HKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Format-transforming encryption, Format-transforming encryption (definition). Also Wikidata Q18156925
History
- 2026-11-02: add by m2/dev
Example QKAJYJ4NYF
| URI | m2://inv/QKAJYJ4NYF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral geometry#X4BO, Example (example)
History
- 2026-11-02: add by m2/dev
Nazarov--Sklyanin QKAK072CW7
| URI | m2://inv/QKAK072CW7 |
|---|---|
| Kind | statement |
| 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.12326#PXUO, Nazarov--Sklyanin (statement). In 9S7HGSEX6Q/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
QKAPQDKVP9 QKAPQDKVP9
| URI | m2://inv/QKAPQDKVP9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_decimal.ptx#proof-1 (proof). In QKM9DD2H56, proof, section B.12
History
- 2026-11-01: add by m2/v0.6.13
QKAPR56YCW QKAPR56YCW
| URI | m2://inv/QKAPR56YCW |
|---|---|
| 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 2602.02346#4W23 (statement). In 1JSNWJH3BX/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Properties QKASYGDWEJ
| URI | m2://inv/QKASYGDWEJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive element (finite field)#4N7Z, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hugh C. Williams QKAVX5DZ94
| URI | m2://inv/QKAVX5DZ94 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7NAV, Hugh C. Williams (unknown)
History
- 2026-11-02: add by m2/dev
associativity QKAYS66R55
| URI | m2://inv/QKAYS66R55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#DUWW, associativity (definition)
History
- 2026-11-02: add by m2/dev
order complexes as CL-complexes QKB0K2M69Y
| URI | m2://inv/QKB0K2M69Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#QTBC, order complexes as CL-complexes (definition). In PF5JJ9DS8Q/e1, definition 5.3.1
History
- 2026-10-28: add by m2/v0.4.2
QKB7G9BCR4 QKB7G9BCR4
| URI | m2://inv/QKB7G9BCR4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-47 (exercise). In E59CDZA4DP, exercise, section 10.3.5
History
- 2026-11-01: add by m2/v0.6.13
Thue number QKBASRC75A
| URI | m2://inv/QKBASRC75A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thue number, Thue number (definition). Also Wikidata Q7798682
History
- 2026-11-02: add by m2/dev
Gordon Rausser QKBBVZ0HHK
| URI | m2://inv/QKBBVZ0HHK |
|---|---|
| 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#S9AX, Gordon Rausser (unknown)
History
- 2026-11-02: add by m2/dev
QKBDEK1JR7 QKBDEK1JR7
| URI | m2://inv/QKBDEK1JR7 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#G0J3 (unknown). In QNBFHFZ3H0/e1, unknown 113
History
- 2026-10-28: add by m2/v0.4.2
Shannon QKBR4JZXB4
| URI | m2://inv/QKBR4JZXB4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#6MD0, Shannon (topic)
History
- 2026-11-02: add by m2/dev
QKBW991QB2 QKBW991QB2
| URI | m2://inv/QKBW991QB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38772#MBOY (statement). In 1C3R5NAQAP/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
Some major theorems and observations QKBWYNTXRQ
| URI | m2://inv/QKBWYNTXRQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Handle decomposition#WBGR, Some major theorems and observations (statement)
History
- 2026-11-02: add by m2/dev
Simplifying to Axiom 1 QKBYN2SJND
| URI | m2://inv/QKBYN2SJND |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barbershop paradox#UH09, Simplifying to Axiom 1 (statement)
History
- 2026-11-02: add by m2/dev
Strongly convex one-step bound under dual norm distortion QKC1BN5QMG
| URI | m2://inv/QKC1BN5QMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.38741#TJ90, Strongly convex one-step bound under dual norm distortion (statement). In 1SQH3PTYMD/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
QKC7P0E14D QKC7P0E14D
| URI | m2://inv/QKC7P0E14D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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 2610.18242#JNZZ (definition). In VVC2FHQZZR/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Stream cipher attacks QKC9574EWX
| URI | m2://inv/QKC9574EWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stream cipher attacks, Stream cipher attacks (definition). Also Wikidata Q7622661
History
- 2026-11-02: add by m2/dev
Logical possibility QKCCD0TWFH
| URI | m2://inv/QKCCD0TWFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical possibility, Logical possibility (definition). Also Wikidata Q781546
History
- 2026-11-02: add by m2/dev
Direct-closing criterion QKCE36FG3R
| URI | m2://inv/QKCE36FG3R |
|---|---|
| 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.38041#UEBK, Direct-closing criterion (statement). In 54NQGN1BWM/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
John Seton QKCGF6GE9H
| URI | m2://inv/QKCGF6GE9H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Seton (priest), John Seton (topic). Also Wikidata Q15990275
History
- 2026-11-02: add by m2/dev
Mathematical formulation of the Standard Model QKCHK3TAZD
| URI | m2://inv/QKCHK3TAZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical formulation of the Standard Model, Mathematical formulation of the Standard Model (definition). Also Wikidata Q17106019
History
- 2026-11-02: add by m2/dev
QKCR6XWEQF QKCR6XWEQF
| URI | m2://inv/QKCR6XWEQF |
|---|---|
| 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#EQTE (statement). In ZAM4S2XS9F/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
aperiodic tiling QKCV8SX6NP
| URI | m2://inv/QKCV8SX6NP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q741518, aperiodic tiling (unknown). Also MathWorld AperiodicTiling
- wikipedia: Wikipedia Aperiodic tiling, Aperiodic tiling (object). Also Wikidata Q741518
History
- 2026-10-26: add by m2/dev
Toshihiko Matsuki QKCX3JXDM0
| URI | m2://inv/QKCX3JXDM0 |
|---|---|
| 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#BIAP, Toshihiko Matsuki (unknown)
History
- 2026-11-02: add by m2/dev
Stanisław Jaśkowski QKCXWWWXT9
| URI | m2://inv/QKCXWWWXT9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#4923, Stanisław Jaśkowski (topic)
History
- 2026-11-02: add by m2/dev
Examples QKD3532155
| URI | m2://inv/QKD3532155 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fat object (geometry)#H6Y6, Examples (example)
History
- 2026-11-02: add by m2/dev
ordinal, pseudo- QKDSA76JAY
| URI | m2://inv/QKDSA76JAY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/ordinal-pseudo, ordinal, pseudo- (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
QKDTETT6GR QKDTETT6GR
| URI | m2://inv/QKDTETT6GR |
|---|---|
| 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.20242#8I3P (statement). In TAX627CRH2/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Marion Walter QKDYQ4ARSM
| URI | m2://inv/QKDYQ4ARSM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marion Walter, Marion Walter (topic). Also Wikidata Q16090943
History
- 2026-11-02: add by m2/dev
Cynthia Y. Young QKDZ3F4PM9
| URI | m2://inv/QKDZ3F4PM9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cynthia Y. Young, Cynthia Y. Young (topic). Also Wikidata Q102186319
History
- 2026-11-02: add by m2/dev
Informal inferential reasoning QKE247HT92
| URI | m2://inv/QKE247HT92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Informal inferential reasoning, Informal inferential reasoning (definition). Also Wikidata Q17092439
History
- 2026-11-02: add by m2/dev
EU Social Progress Index QKE3ZH7PVM
| URI | m2://inv/QKE3ZH7PVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia EU Social Progress Index, EU Social Progress Index (definition). Also Wikidata Q30693696
History
- 2026-11-02: add by m2/dev
predual QKEC12C3R6
| URI | m2://inv/QKEC12C3R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7239729, predual (unknown). Also nLab predual
- wikipedia: Wikipedia Predual, Predual (definition). Also Wikidata Q7239729
History
- 2026-10-26: add by m2/dev
Cisinski model structure QKECM8W1FD
| URI | m2://inv/QKECM8W1FD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cisinski model structure, Cisinski model structure (definition). Also Wikidata Q134167010
History
- 2026-11-02: add by m2/dev
Lak Hok QKF9CSTRZT
| URI | m2://inv/QKF9CSTRZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#41VD, Lak Hok (unknown)
History
- 2026-11-02: add by m2/dev
Károly Bezdek QKFCZ6SE0E
| URI | m2://inv/QKFCZ6SE0E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Károly Bezdek, Károly Bezdek (topic). Also Wikidata Q6453256
History
- 2026-11-02: add by m2/dev
QKFD7T8Z7E QKFD7T8Z7E
| URI | m2://inv/QKFD7T8Z7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#Q2ZG (statement). In 5350Q52F6P/e1, proposition 9.7
History
- 2026-10-28: add by m2/v0.4.2
QKFJRHD5TR QKFJRHD5TR
| URI | m2://inv/QKFJRHD5TR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#1Y97 (definition). In 7V3HG30ZGW/e1, definition 3.21
History
- 2026-10-27: add by m2/v0.4.0
Examples QKFTK7EC48
| URI | m2://inv/QKFTK7EC48 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsion abelian group#4KGT, Examples (example)
History
- 2026-11-02: add by m2/dev
Apodization QKFXN0YWQG
| URI | m2://inv/QKFXN0YWQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apodization, Apodization (definition). Also Wikidata Q618827
History
- 2026-11-02: add by m2/dev
New Foundations QKG1VJW71H
| URI | m2://inv/QKG1VJW71H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q649337, New Foundations (unknown). Also nLab New Foundations
- wikipedia: Wikipedia New Foundations, New Foundations (definition). Also Wikidata Q649337
History
- 2026-10-26: add by m2/dev
QKG2F0R9Y6 QKG2F0R9Y6
| URI | m2://inv/QKG2F0R9Y6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-16 (exercise). In Y91XFCEVHQ, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Aristotle's QKGA29TDQN
| URI | m2://inv/QKGA29TDQN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#LCAF, Aristotle's (topic)
History
- 2026-11-02: add by m2/dev
fixed-interface best approximation QKGCWMAZM8
| URI | m2://inv/QKGCWMAZM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#Z066, fixed-interface best approximation (statement). In YR3CSTYEJW/e1, corollary 5.11
History
- 2026-10-29: add by m2/v0.4.10
QKGFW3MCW4 QKGFW3MCW4
| URI | m2://inv/QKGFW3MCW4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03327#0CDA (definition). In EBNXA84CPM/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Strong wild symmetric-coefficient estimate QKGGQSQHKY
| URI | m2://inv/QKGGQSQHKY |
|---|---|
| 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 2610.10583#1K4G, Strong wild symmetric-coefficient estimate (statement). In 5BZQS1KY9A/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
QKGJ6PRP10 QKGJ6PRP10
| URI | m2://inv/QKGJ6PRP10 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/applications.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 78.2
History
- 2026-11-01: add by m2/v0.6.13
Hinke Osinga QKH2M3B0YT
| URI | m2://inv/QKH2M3B0YT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UP7J, Hinke Osinga (topic)
History
- 2026-11-02: add by m2/dev
Hellmuth Stachel QKH45CX6AC
| URI | m2://inv/QKH45CX6AC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hellmuth Stachel, Hellmuth Stachel (topic). Also Wikidata Q86416
History
- 2026-11-02: add by m2/dev
QKH7MFWEES QKH7MFWEES
| URI | m2://inv/QKH7MFWEES |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-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 2302.06336#0Q2V (problem). In CCRSWBXWXW/e1, problem 1.5
History
- 2026-10-27: add by m2/v0.3.5
QKHCPQK111 QKHCPQK111
| URI | m2://inv/QKHCPQK111 |
|---|---|
| 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.13358#V12O (statement). In QHT28GABDG/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
List of logicians QKHD4EKEG2
| URI | m2://inv/QKHD4EKEG2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians, List of logicians (topic). Also Wikidata Q2222142
History
- 2026-11-02: add by m2/dev
Dirac spinor QKHK4EFZMC
| URI | m2://inv/QKHK4EFZMC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q688945, Dirac spinor (unknown). Also EoM Dirac_spinor, nLab Dirac spinor
History
- 2026-10-26: add by m2/dev
Orders of magnitude QKHMT930WA
| URI | m2://inv/QKHMT930WA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (entropy), Orders of magnitude (definition). Also Wikidata Q7100767
History
- 2026-11-02: add by m2/dev
QKHMWRN8H0 QKHMWRN8H0
| URI | m2://inv/QKHMWRN8H0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#QY0P (statement). In H72E12TYHA/e1, proposition 3.11
History
- 2026-10-27: add by m2/v0.4.0
Lochs' theorem QKHN2CG8BQ
| URI | m2://inv/QKHN2CG8BQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1576235, Lochs's theorem (statement). Also Wikidata Q1576235
- thousand_plus: thousand_plus Q1576235, Lochs's theorem (statement). Also Wikidata Q1576235, Wikipedia Lochs's theorem
- wikidata: Wikidata Q1576235, Lochs' theorem (statement). Also MathWorld LochsTheorem
- wikipedia: Wikipedia Lochs's theorem, Lochs's theorem (statement). Also Wikidata Q1576235
History
- 2026-10-26: add by m2/dev
Generalizations QKHPGG3XHE
| URI | m2://inv/QKHPGG3XHE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line (geometry)#BEIX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
QKHW1T4Z1T QKHW1T4Z1T
| URI | m2://inv/QKHW1T4Z1T |
|---|---|
| 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 2404.05965#P6SA (definition). In GD1GED3FZ3/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.3.5
QKHW3K80P9 QKHW3K80P9
| URI | m2://inv/QKHW3K80P9 |
|---|---|
| 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.38228#QOEJ (statement). In 9YAE8FNQST/e1, corollary 30.2
History
- 2026-10-30: add by m2/v0.4.12
Formal statement of the law QKHWXYTNQD
| URI | m2://inv/QKHWXYTNQD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charge conservation#3U83, Formal statement of the law (statement)
History
- 2026-11-02: add by m2/dev
QKHX7R64MZ QKHX7R64MZ
| URI | m2://inv/QKHX7R64MZ |
|---|---|
| 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.01599#OMW7 (statement). In K2KYNCWER3/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.12
Formulation QKHXS94YT7
| URI | m2://inv/QKHXS94YT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph removal lemma#G0SU, Formulation (definition)
History
- 2026-11-02: add by m2/dev
QKHXSQ95T8 QKHXSQ95T8
| URI | m2://inv/QKHXSQ95T8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-30 (exercise). In E59CDZA4DP, exercise, section 3.3.3
History
- 2026-11-01: add by m2/v0.6.13
Naomi D. Rothwell QKJ3MKPRWW
| URI | m2://inv/QKJ3MKPRWW |
|---|---|
| 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#DSBR, Naomi D. Rothwell (unknown)
History
- 2026-11-02: add by m2/dev
QKJFG54975 QKJFG54975
| URI | m2://inv/QKJFG54975 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33300#B01K (statement). In AWF7ZHK4EM/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Muhyi al-Din al-Maghribi QKJGRDG0RS
| URI | m2://inv/QKJGRDG0RS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muhyi al-Din al-Maghribi, Muhyi al-Din al-Maghribi (topic). Also Wikidata Q2474377
History
- 2026-11-02: add by m2/dev
QKJHFYK8MM QKJHFYK8MM
| URI | m2://inv/QKJHFYK8MM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14310#KXIV (statement). In 8GSG7024NW/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
Quaternionic AKM theorem QKJS29P7KR
| URI | m2://inv/QKJS29P7KR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold–Kuiper–Massey theorem#EZ7H, Quaternionic AKM theorem (statement)
History
- 2026-11-02: add by m2/dev
Giuseppe Melfi QKJW0R7JBF
| URI | m2://inv/QKJW0R7JBF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QWN5, Giuseppe Melfi (topic)
History
- 2026-11-02: add by m2/dev
Boundary dissipation of a localized mode QKJW3P1F64
| URI | m2://inv/QKJW3P1F64 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#FI62, Boundary dissipation of a localized mode (example). In NAM9ZMPHZ9/e1, example 3.11
History
- 2026-10-30: add by m2/v0.4.12
Survival of old families QKK11MX2QM
| URI | m2://inv/QKK11MX2QM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23339#ENTS, Survival of old families (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications QKK9D03KYY
| URI | m2://inv/QKK9D03KYY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian optics#BPCC, Applications (example)
History
- 2026-11-02: add by m2/dev
QKKBK8FEP4 QKKBK8FEP4
| URI | m2://inv/QKKBK8FEP4 |
|---|---|
| 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.21954#TIH4 (statement). In F2XATDBRK4/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.2
QKKNHJJWWK QKKNHJJWWK
| URI | m2://inv/QKKNHJJWWK |
|---|---|
| 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 2606.11100#OPXN (statement). In K6TFPPVEF9/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
QKM2W2RGPA QKM2W2RGPA
| URI | m2://inv/QKM2W2RGPA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-27 (proof). In N54F33XE07, proof, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Guido Toja QKMDJ5YKN3
| URI | m2://inv/QKMDJ5YKN3 |
|---|---|
| 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#HVYO, Guido Toja (unknown)
History
- 2026-11-02: add by m2/dev
QKMGVT4RDT QKMGVT4RDT
| URI | m2://inv/QKMGVT4RDT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 92.7
History
- 2026-11-01: add by m2/v0.6.13
Triangle inequality QKMNDJRHXQ
| URI | m2://inv/QKMNDJRHXQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#YVRA, Triangle inequality (statement)
- wikipedia: Wikipedia List of real analysis topics#R97C, Triangle inequality (statement)
- wikipedia: Wikipedia List of inequalities#AF47, Triangle inequality (statement)
- wikipedia: Wikipedia List of inequalities#UGRV, Triangle inequality (statement)
History
- 2026-11-02: add by m2/dev
QKMRZAQ9ZX QKMRZAQ9ZX
| URI | m2://inv/QKMRZAQ9ZX |
|---|---|
| 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.35123#TZNN (statement). In 6106R88BNE/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
QKMZ7WPKFE QKMZ7WPKFE
| URI | m2://inv/QKMZ7WPKFE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-6-5-2.xml#act-6-5-2 (exercise). In 907G4C4EJ1, activity, section 6.5.3
History
- 2026-11-01: add by m2/v0.6.13
Example QKN00VV06N
| URI | m2://inv/QKN00VV06N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function theorem#E1H9, Example (example)
History
- 2026-11-02: add by m2/dev
Behrend's trace formula QKN83KQBB2
| URI | m2://inv/QKN83KQBB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#34N5, Behrend's trace formula (definition)
History
- 2026-11-02: add by m2/dev
Joseph Kouneiher QKNA48SDYW
| URI | m2://inv/QKNA48SDYW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TW9U, Joseph Kouneiher (unknown)
History
- 2026-11-02: add by m2/dev
Tangled nature model QKNFSD10CA
| URI | m2://inv/QKNFSD10CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangled nature model, Tangled nature model (definition). Also Wikidata Q137603732
History
- 2026-11-02: add by m2/dev
Applications QKNWXE30WF
| URI | m2://inv/QKNWXE30WF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor sketch#T20B, Applications (example)
History
- 2026-11-02: add by m2/dev
Global positive factorization in arbitrary lower bandwidth QKP2YVJF4V
| URI | m2://inv/QKP2YVJF4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 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 2610.08568#TQZ6, Global positive factorization in arbitrary lower bandwidth (statement). In FDDA562VCA/e1, theorem 2.25
History
- 2026-10-29: add by m2/v0.4.10
centimetre QKP47KXXHH
| URI | m2://inv/QKP47KXXHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q174728, centimetre (definition). Also ProofWiki Definition:Metric_System/Length/Centimetre
History
- 2026-10-26: add by m2/dev
Colors of the rainbow QKP8W45AA4
| URI | m2://inv/QKP8W45AA4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rainbow#6CFJ, Colors of the rainbow (unknown)
History
- 2026-11-02: add by m2/dev
The Flajolet–Sedgewick fundamental theorem QKPBT3FY74
| URI | m2://inv/QKPBT3FY74 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic method (combinatorics)#FKWP, The Flajolet–Sedgewick fundamental theorem (statement)
History
- 2026-11-02: add by m2/dev
Moving least squares QKPH6QB2G4
| URI | m2://inv/QKPH6QB2G4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving least squares, Moving least squares (definition). Also Wikidata Q6927143
History
- 2026-11-02: add by m2/dev
Impossibility of angle trisection QKPKVV0H6F
| URI | m2://inv/QKPKVV0H6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9XR7, Impossibility of angle trisection (definition)
History
- 2026-11-02: add by m2/dev
TDOA principle / surveillance QKPM46JHFV
| URI | m2://inv/QKPM46JHFV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-range multilateration#1IXC, TDOA principle / surveillance (statement)
History
- 2026-11-02: add by m2/dev
Consequences of the axioms QKPQ2MQ5XK
| URI | m2://inv/QKPQ2MQ5XK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wightman axioms#WUJZ, Consequences of the axioms (statement)
History
- 2026-11-02: add by m2/dev
Peter Kuchment QKPR2YX199
| URI | m2://inv/QKPR2YX199 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Kuchment, Peter Kuchment (topic). Also Wikidata Q102131717
History
- 2026-11-02: add by m2/dev
QKPSDEERS9 QKPSDEERS9
| URI | m2://inv/QKPSDEERS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#8MZF (statement). In HH35K7S17H/e1, lemma 4.16
History
- 2026-10-29: add by m2/v0.4.10
Francis D. Murnaghan QKPVTB1WDY
| URI | m2://inv/QKPVTB1WDY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TT0V, Francis D. Murnaghan (topic)
History
- 2026-11-02: add by m2/dev
QKQ02WAC0F QKQ02WAC0F
| URI | m2://inv/QKQ02WAC0F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-1.xml#proposition-inverse-solve (statement). In 649HGZKE96, proposition, section 3.1.2
History
- 2026-11-01: add by m2/v0.6.13
Miner's rule QKQ3MJK4XB
| URI | m2://inv/QKQ3MJK4XB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatigue (material)#32D5, Miner's rule (unknown)
History
- 2026-11-02: add by m2/dev
induction principle, for dependent pair type QKQC0EXHQT
| URI | m2://inv/QKQC0EXHQT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.6/induction-principle-for-dependent-pair-type, induction principle, for dependent pair type (concept). In N54F33XE07, index, section A.6
History
- 2026-11-01: add by m2/v0.6.13
Abelian length functions QKQHZ9Y196
| URI | m2://inv/QKQHZ9Y196 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#6ZD5, Abelian length functions (definition). In A02X6MX28Y/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Unsolved problems QKQK9YRKFA
| URI | m2://inv/QKQK9YRKFA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pcf theory#4LIF, Unsolved problems (statement)
History
- 2026-11-02: add by m2/dev
Application QKQNN193T4
| URI | m2://inv/QKQNN193T4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Honey encryption#X9HT, Application (example)
History
- 2026-11-02: add by m2/dev
QKQR8JEA1D QKQR8JEA1D
| URI | m2://inv/QKQR8JEA1D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30315#JVNW (definition). In FXTCVHYW5S/e1, definition 5.4
History
- 2026-10-31: add by m2/v0.5.6
QKQRKDJ07G QKQRKDJ07G
| URI | m2://inv/QKQRKDJ07G |
|---|---|
| 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.08342#LS1O (statement). In PJBVMDPSR3/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.10
QKQS2Y5G1R QKQS2Y5G1R
| URI | m2://inv/QKQS2Y5G1R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#XAO7 (statement). In A93R925Z24/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
Sibylle Schroll QKQT9CPXVP
| URI | m2://inv/QKQT9CPXVP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sibylle Schroll, Sibylle Schroll (topic). Also Wikidata Q102438116
History
- 2026-11-02: add by m2/dev
QKR31F7HR9 QKR31F7HR9
| URI | m2://inv/QKR31F7HR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27694#2BCW (statement)
History
- 2026-11-01: add by m2/v0.6.15
QKR3NJWNF1 QKR3NJWNF1
| URI | m2://inv/QKR3NJWNF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#9NOG (statement). In GMRT5GHBZS/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
QKR7A78YW4 QKR7A78YW4
| URI | m2://inv/QKR7A78YW4 |
|---|---|
| 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.13792#FKLJ (definition). In ZH0PFTZ12Y/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
QKRCA9RCTJ QKRCA9RCTJ
| URI | m2://inv/QKRCA9RCTJ |
|---|---|
| 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 2403.02207#4RCC (statement). In 1T3ZYPQZF0/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
QKRCBYFCY6 QKRCBYFCY6
| URI | m2://inv/QKRCBYFCY6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30113#P98G (statement)
History
- 2026-11-01: add by m2/v0.6.15
QKRJZ1DKCP QKRJZ1DKCP
| URI | m2://inv/QKRJZ1DKCP |
|---|---|
| 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.07790#TZW4 (statement). In A5YJDDM0NX/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
McCrossan, Paul QKRPGQYWRN
| URI | m2://inv/QKRPGQYWRN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#OQ8F, McCrossan, Paul (unknown)
History
- 2026-11-02: add by m2/dev
Properties QKRRN6WR3D
| URI | m2://inv/QKRRN6WR3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated cube#YTUX, Properties (statement)
History
- 2026-11-02: add by m2/dev
Edinburgh Mathematical Society QKRYTQG3NM
| URI | m2://inv/QKRYTQG3NM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#IKMA, Edinburgh Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
QKRZAA0KA9 QKRZAA0KA9
| URI | m2://inv/QKRZAA0KA9 |
|---|---|
| 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.21305#1V0K (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jean Fasel QKS1EZZ29W
| URI | m2://inv/QKS1EZZ29W |
|---|---|
| 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#D64Y, Jean Fasel (unknown)
History
- 2026-11-02: add by m2/dev
quasiperfect number QKS1R1CZ4S
| URI | m2://inv/QKS1R1CZ4S |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3343131, quasiperfect number (unknown). Also MathWorld QuasiperfectNumber
- wikipedia: Wikipedia Quasiperfect number, Quasiperfect number (conjecture). Also Wikidata Q3343131
History
- 2026-10-26: add by m2/dev
Root vectors of the plant form a Riesz basis with parentheses QKSG0GY2SS
| URI | m2://inv/QKSG0GY2SS |
|---|---|
| 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#I2V3, Root vectors of the plant form a Riesz basis with parentheses (statement)
History
- 2026-11-02: add by m2/v0.6.17
QKSGK5M121 QKSGK5M121
| URI | m2://inv/QKSGK5M121 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
Many-sorted first-order logic QKSJ36WWB2
| URI | m2://inv/QKSJ36WWB2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-order logic#LRK3, Many-sorted first-order logic (unknown)
History
- 2026-11-02: add by m2/dev
Properties QKSP3DMKZ7
| URI | m2://inv/QKSP3DMKZ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gompertz function#8H05, Properties (statement)
History
- 2026-11-02: add by m2/dev
QKST6K68AA QKST6K68AA
| URI | m2://inv/QKST6K68AA |
|---|---|
| Kind | example |
| 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.06895#CIO7 (example). In PBB3PSDP0S/e1, example 4
History
- 2026-10-29: add by m2/v0.4.10
Local orientability and two-sidedness QKT28AY8CG
| URI | m2://inv/QKT28AY8CG |
|---|---|
| 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 2609.32001#F4DR, Local orientability and two-sidedness (statement). In 5FZGDECW2R/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
\textsf{Small-support estimate QKT7NB7RQQ
| URI | m2://inv/QKT7NB7RQQ |
|---|---|
| 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.09404#9MTT, \textsf{Small-support estimate (statement). In D7CZZ48FRN/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Ibn Sahl QKT8XC5APS
| URI | m2://inv/QKT8XC5APS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#BIXN, Ibn Sahl (unknown)
History
- 2026-11-02: add by m2/dev
Latent and observable variables QKTATCA17V
| URI | m2://inv/QKTATCA17V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latent and observable variables, Latent and observable variables (definition). Also Wikidata Q4422623
History
- 2026-11-02: add by m2/dev
Aitken, Alexander QKTH0GZ8F3
| URI | m2://inv/QKTH0GZ8F3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#KLRU, Aitken, Alexander (topic)
History
- 2026-11-02: add by m2/dev
Edit distance QKTRMS1EKR
| URI | m2://inv/QKTRMS1EKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#LX1T, Edit distance (definition)
History
- 2026-11-02: add by m2/dev
Anisotropic Drucker Criterion QKTRZ47S9N
| URI | m2://inv/QKTRZ47S9N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drucker–Prager yield criterion#MHDX, Anisotropic Drucker Criterion (statement)
History
- 2026-11-02: add by m2/dev
QKTTQSX3DF QKTTQSX3DF
| URI | m2://inv/QKTTQSX3DF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.00412#4RJG (statement). In APD8GE0E4F/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
CAcert.org QKTWT34RBZ
| URI | m2://inv/QKTWT34RBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CAcert.org, CAcert.org (definition). Also Wikidata Q856056
History
- 2026-11-02: add by m2/dev
QKTZK6D7FY QKTZK6D7FY
| URI | m2://inv/QKTZK6D7FY |
|---|---|
| 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.13260#XUA7 (statement). In ZBQX9341RV/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.2
Parity basis QKV37RN7YF
| URI | m2://inv/QKV37RN7YF |
|---|---|
| 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.39262#RFLA, Parity basis (statement). In XA2NE2Z06S/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Predictive projections and copied indicator blocks QKVCRQ9FSZ
| URI | m2://inv/QKVCRQ9FSZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33868#G76A, Predictive projections and copied indicator blocks (statement). In 7TQ3XH3X79/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
Xiong Qinglai QKVPCDMRTP
| URI | m2://inv/QKVPCDMRTP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#KSO9, Xiong Qinglai (unknown)
History
- 2026-11-02: add by m2/dev
QKVYHZGDW0 QKVYHZGDW0
| URI | m2://inv/QKVYHZGDW0 |
|---|---|
| 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 2609.23093#N8AO (statement)
History
- 2026-11-02: add by m2/v0.6.17
QKVZBZH6NZ QKVZBZH6NZ
| URI | m2://inv/QKVZBZH6NZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#W2S1 (statement). In 1NY2SA03XF/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.10
divides QKW1XN7G4E
| URI | m2://inv/QKW1XN7G4E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/6.2.1/divides, divides (concept). In Y91XFCEVHQ, index, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
Examples QKW5WFD4HQ
| URI | m2://inv/QKW5WFD4HQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definable set#CXP4, Examples (example)
History
- 2026-11-02: add by m2/dev
QKWBHZ899D QKWBHZ899D
| URI | m2://inv/QKWBHZ899D |
|---|---|
| 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.20488#5MDI (statement)
History
- 2026-11-02: add by m2/v0.6.18
forcing QKWJHA899V
| URI | m2://inv/QKWJHA899V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#ZT7T, forcing (definition)
History
- 2026-11-02: add by m2/dev
sheafed space QKX1J54FTC
| URI | m2://inv/QKX1J54FTC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > sheafed space, sheafed space (unknown). Also Mathlib AlgebraicGeometry.SheafedSpace
History
- 2026-10-26: add by m2/dev
QKX2NM3EBR QKX2NM3EBR
| URI | m2://inv/QKX2NM3EBR |
|---|---|
| Kind | definition |
| 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 2301.04933#FEIU (definition). In Q70CTMCJTP/e1, definition A.3
History
- 2026-10-27: add by m2/v0.3.5
Quanta Magazine QKXEXW2ZB5
| URI | m2://inv/QKXEXW2ZB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quanta Magazine, Quanta Magazine (definition). Also Wikidata Q28403687
History
- 2026-11-02: add by m2/dev
Definition QKXM8KHCZY
| URI | m2://inv/QKXM8KHCZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCH code#1D0I, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples QKXQPY4XE0
| URI | m2://inv/QKXQPY4XE0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bump function#BYQE, Examples (example)
History
- 2026-11-02: add by m2/dev
QKXRB30YYQ QKXRB30YYQ
| URI | m2://inv/QKXRB30YYQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#proof-6 (proof). In E59CDZA4DP, proof, section 6.3.1
History
- 2026-11-01: add by m2/v0.6.13
QKXYPB07PS QKXYPB07PS
| URI | m2://inv/QKXYPB07PS |
|---|---|
| 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 2106.01660#PVXC (statement). In DY520CF58X/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
Symmetry QKY1A6XCHW
| URI | m2://inv/QKY1A6XCHW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octagon#9QYQ, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Nonlinear stability and mass selection QKY3R5Q4T0
| URI | m2://inv/QKY3R5Q4T0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34202#XF5D, Nonlinear stability and mass selection (statement). In 57CRGWHT13/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Definitions QKY3YPYK3N
| URI | m2://inv/QKY3YPYK3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylinder stress#HIGK, Definitions (definition)
History
- 2026-11-02: add by m2/dev
length QKY7PVABHG
| URI | m2://inv/QKY7PVABHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Length of a module CZSCNZH8VY |
Mentions
- wikidata: Wikidata Q1761084, length (unknown). Also MathWorld ModuleLength
- wikipedia: Wikipedia Length of a module, Length of a module (definition). Also Wikidata Q1761084
History
- 2026-10-26: add by m2/dev
Statement QKYF7KMJWX
| URI | m2://inv/QKYF7KMJWX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain rule#S3LW, Statement (statement)
History
- 2026-11-02: add by m2/dev
QKYGPKV6S1 QKYGPKV6S1
| URI | m2://inv/QKYGPKV6S1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#proof-7 (proof). In RZP28ERRZV, proof, section 20.5
History
- 2026-11-01: add by m2/v0.6.13
Greiner's equality QKYHKBP2BS
| URI | m2://inv/QKYHKBP2BS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kendall rank correlation coefficient#BHIX, Greiner's equality (statement)
History
- 2026-11-02: add by m2/dev
Weinan E QKYK89QH3F
| URI | m2://inv/QKYK89QH3F |
|---|---|
| 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#HJRO, Weinan E (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TPF6, Weinan E (unknown)
History
- 2026-11-02: add by m2/dev
QKYKN20TPT QKYKN20TPT
| URI | m2://inv/QKYKN20TPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06746#FULI (statement). In B8A6BPP922/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Semi-continuity QKYKVA27JX
| URI | m2://inv/QKYKVA27JX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#5UKB, Semi-continuity (definition)
History
- 2026-11-02: add by m2/dev
Properties QKYRF9JSY7
| URI | m2://inv/QKYRF9JSY7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldbach's comet#OOHT, Properties (statement)
History
- 2026-11-02: add by m2/dev
\(\W_2\) estimate for one auxiliary step QKYWX38780
| URI | m2://inv/QKYWX38780 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2610.06308#1GGT, \(\W_2\) estimate for one auxiliary step (statement). In HTWSDDAWGS/e1, lemma A.12
History
- 2026-10-29: add by m2/v0.4.10
QKYY1NC71B QKYY1NC71B
| URI | m2://inv/QKYY1NC71B |
|---|---|
| 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 2504.09464#1RU1 (statement). In RN1XRCS2CH/e1, lemma 20
History
- 2026-10-27: add by m2/v0.3.6
Martingale maximal theorem QKYYT6RVKN
| URI | m2://inv/QKYYT6RVKN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#S9NC, Martingale maximal theorem (statement). In SBZNH932ZV/e1, theorem 4.10
History
- 2026-10-30: add by m2/v0.4.12
QKZ3J8HZ29 QKZ3J8HZ29
| URI | m2://inv/QKZ3J8HZ29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#52DR (statement). In REDG6QVHM3/e1, theorem 8.18
History
- 2026-10-29: add by m2/v0.4.12
Kőnig's theorem and perfect graphs QKZFGMCS9R
| URI | m2://inv/QKZFGMCS9R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipartite graph#LPQS, Kőnig's theorem and perfect graphs (statement)
History
- 2026-11-02: add by m2/dev
QKZNP7A12X QKZNP7A12X
| URI | m2://inv/QKZNP7A12X |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/prim-rec.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 29.11
History
- 2026-11-01: add by m2/v0.6.13