Inventory rows QC
The cards of the rows of the inventory whose ids start with QC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Amina Doumane QC0082955J
| URI | m2://inv/QC0082955J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#SO1L, Amina Doumane (topic)
History
- 2026-11-02: add by m2/dev
QC04R7H85M QC04R7H85M
| URI | m2://inv/QC04R7H85M |
|---|---|
| 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#DBLN (statement). In 5350Q52F6P/e1, proposition 2.11
History
- 2026-10-28: add by m2/v0.4.2
Alexander Weinstein QC0BRP1X0M
| URI | m2://inv/QC0BRP1X0M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Weinstein, Alexander Weinstein (topic). Also Wikidata Q276980
History
- 2026-11-02: add by m2/dev
$g=2$, one node, maximal QC156S04ES
| URI | m2://inv/QC156S04ES |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22557#3GMR, $g=2$, one node, maximal (example)
History
- 2026-11-02: add by m2/v0.6.17
Related conjectures QC1599KCRZ
| URI | m2://inv/QC1599KCRZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalai's 3^d conjecture#7XMX, Related conjectures (statement)
History
- 2026-11-02: add by m2/dev
Twelve Corners, Wisconsin QC16315X8Z
| URI | m2://inv/QC16315X8Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#XS2U, Twelve Corners, Wisconsin (unknown)
History
- 2026-11-02: add by m2/dev
QC1DW9C1T6 QC1DW9C1T6
| URI | m2://inv/QC1DW9C1T6 |
|---|---|
| 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.17717#Q1WX (statement). In YXRKS451PK/e1, lemma A.13
History
- 2026-10-28: add by m2/v0.4.2
Comparison with error terms QC1E6EW85G
| URI | m2://inv/QC1E6EW85G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18350#66CO, Comparison with error terms (statement). In A20E8FZS21/e1, lemma 8.2
History
- 2026-10-28: add by m2/v0.4.2
Examples QC1GQWWVMB
| URI | m2://inv/QC1GQWWVMB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equilateral pentagon#3W5D, Examples (example)
History
- 2026-11-02: add by m2/dev
Adrienne Sophie Rayl QC1H78KQGX
| URI | m2://inv/QC1H78KQGX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adrienne Sophie Rayl, Adrienne Sophie Rayl (topic). Also Wikidata Q94520091
History
- 2026-11-02: add by m2/dev
Mary Wynne Warner QC1JQ5MXT2
| URI | m2://inv/QC1JQ5MXT2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Wynne Warner, Mary Wynne Warner (topic). Also Wikidata Q23681122
History
- 2026-11-02: add by m2/dev
QC1QZQ87HW QC1QZQ87HW
| URI | m2://inv/QC1QZQ87HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36412#UU1E (statement). In 6HKGGCMBCK/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
QC1XDGEE4A QC1XDGEE4A
| URI | m2://inv/QC1XDGEE4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32977#V84K (statement). In 4KT9TK3MG4/e1, lemma D.15
History
- 2026-10-31: add by m2/v0.5.6
Jean-Marie Duhamel QC21441Q7D
| URI | m2://inv/QC21441Q7D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Marie Duhamel, Jean-Marie Duhamel (topic). Also Wikidata Q957069
History
- 2026-11-02: add by m2/dev
Gottfried E. Noether QC21N26A7F
| URI | m2://inv/QC21N26A7F |
|---|---|
| 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#BAVZ, Gottfried E. Noether (topic)
History
- 2026-11-02: add by m2/dev
polyhedron QC290XT4BC
| URI | m2://inv/QC290XT4BC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.3.2/polyhedron, polyhedron (concept). In Y91XFCEVHQ, index, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
Richard Arens QC2BW0N48Y
| URI | m2://inv/QC2BW0N48Y |
|---|---|
| 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#87G4, Richard Arens (topic)
History
- 2026-11-02: add by m2/dev
Path arrangement with bounded edge congestion QC2H780VB9
| URI | m2://inv/QC2H780VB9 |
|---|---|
| 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.02843#XJMX, Path arrangement with bounded edge congestion (statement). In 2XC1KQXA9H/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
Accounting and diagnostic moments QC2WCVJ425
| URI | m2://inv/QC2WCVJ425 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#6HGY, Accounting and diagnostic moments (statement). In X1FPG0KYBM/e1, lemma L.1
History
- 2026-10-28: add by m2/v0.4.2
Properties QC3J5FA1GY
| URI | m2://inv/QC3J5FA1GY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercovering#IDTC, Properties (statement)
History
- 2026-11-02: add by m2/dev
axiom, versus rules QC3JF2T2JH
| URI | m2://inv/QC3JF2T2JH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.1/axiom-versus-rules, axiom, versus rules (concept). In N54F33XE07, index, section A.1
History
- 2026-11-01: add by m2/v0.6.13
Great Instauration QC416QCHZH
| URI | m2://inv/QC416QCHZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Works by Francis Bacon#0DKR, Great Instauration (unknown)
History
- 2026-11-02: add by m2/dev
diverges, function in a metric space QC42BKP35R
| URI | m2://inv/QC42BKP35R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.5.5/diverges-function-in-a-metric-space, diverges, function in a metric space (concept). In E59CDZA4DP, index, section 4.5.5
History
- 2026-11-01: add by m2/v0.6.13
QC49XQVWN4 QC49XQVWN4
| URI | m2://inv/QC49XQVWN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#PT1L (statement). In CY1FE8W1ZW/e1, corollary 0.3
History
- 2026-10-27: add by m2/v0.3.5
QC4FB30QMN QC4FB30QMN
| URI | m2://inv/QC4FB30QMN |
|---|---|
| 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 2609.36884#QP1V (definition). In Z7E16PFFCP/e1, definition 3.20
History
- 2026-10-30: add by m2/v0.4.12
Terence Parsons QC4FWAPRH3
| URI | m2://inv/QC4FWAPRH3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#QBNK, Terence Parsons (unknown)
History
- 2026-11-02: add by m2/dev
QC515KGRSH QC515KGRSH
| URI | m2://inv/QC515KGRSH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#YBTV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Paravector QC5987KEZ7
| URI | m2://inv/QC5987KEZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paravector, Paravector (definition). Also Wikidata Q7136258
History
- 2026-11-02: add by m2/dev
Shao--Ren QC59KNSE5B
| URI | m2://inv/QC59KNSE5B |
|---|---|
| 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.39700#K4NN, Shao--Ren (statement). In E7W2HDNEKJ/e1, theorem H.3
History
- 2026-10-30: add by m2/v0.4.12
QC5MBZ7AW1 QC5MBZ7AW1
| URI | m2://inv/QC5MBZ7AW1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#ZW67 (definition). In M4JGP708F4/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Georgy Voronoy QC5PMJS8GE
| URI | m2://inv/QC5PMJS8GE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georgy Voronoy, Georgy Voronoy (topic). Also Wikidata Q268869
History
- 2026-11-02: add by m2/dev
Sharp reference for a compact homogeneous orbit QC5RDVSVPK
| URI | m2://inv/QC5RDVSVPK |
|---|---|
| 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#K965, Sharp reference for a compact homogeneous orbit (statement). In 9YAE8FNQST/e1, theorem 22.2
History
- 2026-10-30: add by m2/v0.4.12
Positivity effect QC5S4P1X05
| URI | m2://inv/QC5S4P1X05 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pollyanna principle#NNJJ, Positivity effect (unknown)
History
- 2026-11-02: add by m2/dev
nabla operator QC5XSC1KAP
| URI | m2://inv/QC5XSC1KAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Del operator 0H6DP8CHND |
Mentions
- wikidata: Wikidata Q334508, nabla operator (unknown). Also MathWorld Del, MathWorld Nabla
- wikipedia: Wikipedia Del, Del (definition). Also Wikidata Q334508
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
QC61KAPGTN QC61KAPGTN
| URI | m2://inv/QC61KAPGTN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-38 (exercise). In E9HS8K3A52, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
The descent part and the frontier gradient QC63XX1KH6
| URI | m2://inv/QC63XX1KH6 |
|---|---|
| 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.03638#377L, The descent part and the frontier gradient (statement). In H39AZG67B6/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.12
Fill-edge interaction graph QC6GJP2AKS
| URI | m2://inv/QC6GJP2AKS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#51SA, Fill-edge interaction graph (definition). In 1QPAA94Q76/e1, definition 23
History
- 2026-10-28: add by m2/v0.4.2
Algebraic complement QC6HC98GVG
| URI | m2://inv/QC6HC98GVG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complemented subspace#WTLE, Algebraic complement (unknown)
History
- 2026-11-02: add by m2/dev
QC6SP6QZNM QC6SP6QZNM
| URI | m2://inv/QC6SP6QZNM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#H49S (definition). In 9H45HQE7AZ/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.5
Fabry–Pérot interferometer QC6Z256TDH
| URI | m2://inv/QC6Z256TDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fabry–Pérot interferometer, Fabry–Pérot interferometer (definition). Also Wikidata Q1359945
History
- 2026-11-02: add by m2/dev
QC73AFXXV2 QC73AFXXV2
| URI | m2://inv/QC73AFXXV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#42Z2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elongated gyrobifastigium honeycomb QC759VTC4W
| URI | m2://inv/QC759VTC4W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated gyrobifastigium#CEWX, Elongated gyrobifastigium honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
Hidden Markov random field QC7E2SAHH4
| URI | m2://inv/QC7E2SAHH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MN8X, Hidden Markov random field (definition)
History
- 2026-11-02: add by m2/dev
QC7FPK0GC0 QC7FPK0GC0
| URI | m2://inv/QC7FPK0GC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.16241#SFKB (statement). In WNDHZVY4WK/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
QC7P0JW4ZK QC7P0JW4ZK
| URI | m2://inv/QC7P0JW4ZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38844#7UQ7 (statement). In PX8D91DQCX/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Localized forward and inverse stochastic-flow formulas QC7PAE7Q98
| URI | m2://inv/QC7PAE7Q98 |
|---|---|
| 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.09278#ACV5, Localized forward and inverse stochastic-flow formulas (statement). In XREKHJHAT7/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
Geometric invariant theory QC7PYJXMJY
| URI | m2://inv/QC7PYJXMJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#BYAO, Geometric invariant theory (definition)
History
- 2026-11-02: add by m2/dev
QC7VSSB8KB QC7VSSB8KB
| URI | m2://inv/QC7VSSB8KB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.27931#4IFB (statement)
History
- 2026-11-01: add by m2/v0.6.15
the witness curve QC84SF5BFW
| URI | m2://inv/QC84SF5BFW |
|---|---|
| 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.07508#JLRS, the witness curve (statement). In TPA3E67MKK/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.10
Example QC856J6FZR
| URI | m2://inv/QC856J6FZR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annihilator method#U7Y7, Example (example)
History
- 2026-11-02: add by m2/dev
Klecka's tau QC885SBF6S
| URI | m2://inv/QC885SBF6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klecka's tau, Klecka's tau (definition). Also Wikidata Q6420057
History
- 2026-11-02: add by m2/dev
Mackey's countability condition QC88NM6RDG
| URI | m2://inv/QC88NM6RDG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metrizable topological vector space#WGY7, Mackey's countability condition (statement)
History
- 2026-11-02: add by m2/dev
homological dimension QC8CJYSEAH
| URI | m2://inv/QC8CJYSEAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#Y7B4, homological dimension (definition)
History
- 2026-11-02: add by m2/dev
QC8KG1JN22 QC8KG1JN22
| URI | m2://inv/QC8KG1JN22 |
|---|---|
| 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 2208.04502#P8HD (statement). In BT6E9BXXF3/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
Heavy-row enumeration QC8KJQT8J4
| URI | m2://inv/QC8KJQT8J4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31641#O8FV, Heavy-row enumeration (statement). In XC2HE3KXPM/e1, corollary 3.5
History
- 2026-10-31: add by m2/v0.5.6
QC8PY9ZCZF QC8PY9ZCZF
| URI | m2://inv/QC8PY9ZCZF |
|---|---|
| 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 2208.04502#CGG2 (statement). In BT6E9BXXF3/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
QC8S50KSCT QC8S50KSCT
| URI | m2://inv/QC8S50KSCT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-34 (exercise). In E9HS8K3A52, exercise, section 8.4.1
History
- 2026-11-01: add by m2/v0.6.13
QC8T3BRF18 QC8T3BRF18
| URI | m2://inv/QC8T3BRF18 |
|---|---|
| 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.20306#IGWU (statement). In YG5EX49042/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
QC8Y54MQED QC8Y54MQED
| URI | m2://inv/QC8Y54MQED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#RFJB (statement). In V6EPE8XHAD/e1, corollary 3.10
History
- 2026-10-29: add by m2/v0.4.10
Well--posedness of the summed flow QC94Q17ESG
| URI | m2://inv/QC94Q17ESG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29605#5PWR, Well--posedness of the summed flow (statement)
History
- 2026-11-01: add by m2/v0.6.15
scalar function QC96DA7ZS9
| URI | m2://inv/QC96DA7ZS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11893837, scalar function (unknown). Also MathWorld ScalarFunction
History
- 2026-10-26: add by m2/dev
Theorem QC974THE3K
| URI | m2://inv/QC974THE3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum operation#B1LL, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Exact maximum-determinant optimizer QC9DVFZSMZ
| URI | m2://inv/QC9DVFZSMZ |
|---|---|
| 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.13464#DPEQ, Exact maximum-determinant optimizer (statement). In P40KK40XFP/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
QC9EBRNGC4 QC9EBRNGC4
| URI | m2://inv/QC9EBRNGC4 |
|---|---|
| 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.00584#I91S (statement). In 3CRSR95BNA/e1, proposition 5.5
History
- 2026-10-30: add by m2/v0.4.12
Matching case QC9KVTW5M8
| URI | m2://inv/QC9KVTW5M8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14373#G3W4, Matching case (statement). In 77TK7M3B9Y/e1, proposition 6
History
- 2026-10-28: add by m2/v0.4.2
QC9MVH97AA QC9MVH97AA
| URI | m2://inv/QC9MVH97AA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.25762#T9N6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem (Wehrung 2008) QC9P6119TG
| URI | m2://inv/QC9P6119TG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#BCJN, Theorem (Wehrung 2008) (statement)
History
- 2026-11-02: add by m2/dev
QC9YPVT8DP QC9YPVT8DP
| URI | m2://inv/QC9YPVT8DP |
|---|---|
| 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.08873#3TTQ (statement). In 7WMNVJBAVR/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.10
Hahn decomposition theorem QCA3FDJNM0
| URI | m2://inv/QCA3FDJNM0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#I88G, Hahn decomposition theorem (statement)
History
- 2026-11-02: add by m2/dev
QCA4632QTE QCA4632QTE
| URI | m2://inv/QCA4632QTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05611#OU3N (statement). In QDTX6NXFEB/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
characteristic equation QCAG503EPP
| URI | m2://inv/QCAG503EPP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Characteristic equation 0GZWXM2DKE |
Mentions
- wikidata: Wikidata Q33104580, characteristic equation (unknown). Also MathWorld CharacteristicEquation
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Global transversal QCANKDZ1AM
| URI | m2://inv/QCANKDZ1AM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#67OA, Global transversal (statement)
History
- 2026-11-01: add by m2/v0.6.15
Merkle tree QCAQ1T0EK9
| URI | m2://inv/QCAQ1T0EK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merkle tree, Merkle tree (definition). Also Wikidata Q14746
History
- 2026-11-02: add by m2/dev
QCAR9VT178 QCAR9VT178
| URI | m2://inv/QCAR9VT178 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07401#B3DH (statement). In FQ5435B36D/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Dowker space QCAY391SDF
| URI | m2://inv/QCAY391SDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#O4DJ, Dowker space (definition)
History
- 2026-11-02: add by m2/dev
QCB2NP97N8 QCB2NP97N8
| URI | m2://inv/QCB2NP97N8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00021#3O7Q (statement). In EX42AVA7CV/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
Definition QCB5B70TEQ
| URI | m2://inv/QCB5B70TEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mendelian randomization#K12A, Definition (definition)
History
- 2026-11-02: add by m2/dev
QCBAR84ZWC QCBAR84ZWC
| URI | m2://inv/QCBAR84ZWC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#FDAD (statement). In RBQ5FNCVNZ/e1, corollary B.12
History
- 2026-10-30: add by m2/v0.4.12
standard functional dif\/feology on maps QCBJY4XQK3
| URI | m2://inv/QCBJY4XQK3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#GDPV, standard functional dif\/feology on maps (definition). In S1F2QW24YW/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.3.5
Abdusalam Abubakar QCBQ9FANHB
| URI | m2://inv/QCBQ9FANHB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abdusalam Abubakar, Abdusalam Abubakar (topic). Also Wikidata Q4666329
History
- 2026-11-02: add by m2/dev
Euler tour technique QCBXYWWRZ9
| URI | m2://inv/QCBXYWWRZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#K075, Euler tour technique (definition)
- wikipedia: Wikipedia List of graph theory topics#KHK3, Euler tour technique (definition)
History
- 2026-11-02: add by m2/dev
Generalization of the Pythagorean theorem QCCASGM24D
| URI | m2://inv/QCCASGM24D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parseval's identity#H3EY, Generalization of the Pythagorean theorem (statement)
History
- 2026-11-02: add by m2/dev
Computation of actuarial reserves QCCE0Z0YF4
| URI | m2://inv/QCCE0Z0YF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Actuarial reserves#NMYG, Computation of actuarial reserves (definition)
History
- 2026-11-02: add by m2/dev
QCCE10SD8D QCCE10SD8D
| URI | m2://inv/QCCE10SD8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21781#KS7O (statement). In FEQ72D1AX6/e1, proposition 5.15
History
- 2026-10-27: add by m2/v0.4.2
QCCYJGWRG8 QCCYJGWRG8
| URI | m2://inv/QCCYJGWRG8 |
|---|---|
| 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.13295#G2GY (statement). In 8Q7QXTWD0S/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
QCD7B30XWN QCD7B30XWN
| URI | m2://inv/QCD7B30XWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22011#DOCJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Johann Caspar Horner QCD8XE8WDM
| URI | m2://inv/QCD8XE8WDM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Caspar Horner, Johann Caspar Horner (topic). Also Wikidata Q124899
History
- 2026-11-02: add by m2/dev
Procedure QCDJ37R859
| URI | m2://inv/QCDJ37R859 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Breusch–Godfrey test#Y4BZ, Procedure (definition)
History
- 2026-11-02: add by m2/dev
QCDRXBXPQD QCDRXBXPQD
| URI | m2://inv/QCDRXBXPQD |
|---|---|
| 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.18562#1V29 (statement). In 793KXAR957/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
QCDVJ8PVNG QCDVJ8PVNG
| URI | m2://inv/QCDVJ8PVNG |
|---|---|
| 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 1709.01658#DBXE (statement). In 90A5Q9HRQK/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Special cases QCDWZ0F2YK
| URI | m2://inv/QCDWZ0F2YK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex optimization#4KGO, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Digital topology QCDY7Q8MCC
| URI | m2://inv/QCDY7Q8MCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital topology, Digital topology (definition). Also Wikidata Q5276205
History
- 2026-11-02: add by m2/dev
QCEE7F5SPE QCEE7F5SPE
| URI | m2://inv/QCEE7F5SPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#RK5Z (statement). In PA6JQDSKQT/e1, theorem 4.17
History
- 2026-10-28: add by m2/v0.4.2
Dual curve QCEFTMVZB5
| URI | m2://inv/QCEFTMVZB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#FJRQ, Dual curve (definition)
History
- 2026-11-02: add by m2/dev
List of countries by past and projected GDP QCEJ35292V
| URI | m2://inv/QCEJ35292V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by past and projected GDP (nominal), List of countries by past and projected GDP (topic). Also Wikidata Q3768194
History
- 2026-11-02: add by m2/dev
\textbf{Feynman--Kac formula, free case QCEK9P2R58
| URI | m2://inv/QCEK9P2R58 |
|---|---|
| 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.22170#IH6Y, \textbf{Feynman--Kac formula, free case (statement). In 74MMMHHPW5/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.0
QCEQ2QJPFY QCEQ2QJPFY
| URI | m2://inv/QCEQ2QJPFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#BYNT (statement). In 6WJ0R9YEBR/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Kelly criterion QCES3GVB4G
| URI | m2://inv/QCES3GVB4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelly criterion, Kelly criterion (statement). Also Wikidata Q2065471
History
- 2026-11-02: add by m2/dev
QCET5VKNDM QCET5VKNDM
| URI | m2://inv/QCET5VKNDM |
|---|---|
| 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.33557#7W4K (statement). In 95YZVAPGJA/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Conventions QCETWF0KWV
| URI | m2://inv/QCETWF0KWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allan variance#FH2Y, Conventions (definition)
History
- 2026-11-02: add by m2/dev
prosentential theory of truth QCEZP0SXHA
| URI | m2://inv/QCEZP0SXHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#E7QA, prosentential theory of truth (definition)
History
- 2026-11-02: add by m2/dev
QCF90G76T5 QCF90G76T5
| URI | m2://inv/QCF90G76T5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/sequences.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
János Bolyai QCFBVJ110G
| URI | m2://inv/QCFBVJ110G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#D1CA, János Bolyai (topic)
History
- 2026-11-02: add by m2/dev
Donovan Harold Van Osdol QCFD2WBAV3
| URI | m2://inv/QCFD2WBAV3 |
|---|---|
| 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 Q102144095, Donovan Harold Van Osdol (unknown). Also nLab Donovan van Osdol
History
- 2026-10-26: add by m2/dev
Möbius inversion formula QCFE72YRDT
| URI | m2://inv/QCFE72YRDT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Möbius inversion formula 07Q4TBTFVB |
Mentions
- wikidata: Wikidata Q1072771, Möbius inversion formula (concept). Also MathWorld MoebiusTransform
- wikipedia: Wikipedia Möbius inversion formula, Möbius inversion formula (statement). Also Wikidata Q1072771
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
QCFVZ3M0PM QCFVZ3M0PM
| URI | m2://inv/QCFVZ3M0PM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#proof-4 (proof). In Y91XFCEVHQ, proof, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
QCG3MRH0JR QCG3MRH0JR
| URI | m2://inv/QCG3MRH0JR |
|---|---|
| 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 2610.12736#KTRW (definition). In 5350Q52F6P/e1, definition 9.1
History
- 2026-10-28: add by m2/v0.4.2
Evolution algebra QCG6D1XSZG
| URI | m2://inv/QCG6D1XSZG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genetic algebra#VUOD, Evolution algebra (unknown)
History
- 2026-11-02: add by m2/dev
QCGE2F2P25 QCGE2F2P25
| URI | m2://inv/QCGE2F2P25 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37093#TR0Y (conjecture). In GA6QH32CJQ/e1, conjecture 7
History
- 2026-10-30: add by m2/v0.4.12
QCGFMJRY9S QCGFMJRY9S
| URI | m2://inv/QCGFMJRY9S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-22 (example). In E9HS8K3A52, example, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
QCGJPNM9SB QCGJPNM9SB
| URI | m2://inv/QCGJPNM9SB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14914#G2H2 (statement). In CHC3T113Y4/e1, proposition 6.6
History
- 2026-10-28: add by m2/v0.4.2
Excess intersection formula QCGKVHR8WQ
| URI | m2://inv/QCGKVHR8WQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residual intersection#RQLW, Excess intersection formula (statement)
History
- 2026-11-02: add by m2/dev
QCGYBMW7C4 QCGYBMW7C4
| URI | m2://inv/QCGYBMW7C4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19251#NMU5 (statement). In CSW6NG0FRN/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Causal network QCH214QARG
| URI | m2://inv/QCH214QARG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian network#RK0S, Causal network (unknown)
History
- 2026-11-02: add by m2/dev
Angelina Jolie QCH864WWXT
| URI | m2://inv/QCH864WWXT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#OCMH, Angelina Jolie (unknown)
History
- 2026-11-02: add by m2/dev
Syllabical and Steganographical Table QCHB3BS5K7
| URI | m2://inv/QCHB3BS5K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syllabical and Steganographical Table, Syllabical and Steganographical Table (definition). Also Wikidata Q22909215
History
- 2026-11-02: add by m2/dev
A functional at the exact rate QCHD50Q52K
| URI | m2://inv/QCHD50Q52K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#1MWF, A functional at the exact rate (statement). In 65TJENWK7X/e1, lemma 63
History
- 2026-10-29: add by m2/v0.4.10
QCHER49D9E QCHER49D9E
| URI | m2://inv/QCHER49D9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.06310#V29M (statement). In 9YR0E0T9XA/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.3.5
QCHGCX49SS QCHGCX49SS
| URI | m2://inv/QCHGCX49SS |
|---|---|
| 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.14985#1AZJ (statement). In DGXJW3SCBR/e1, theorem 54
History
- 2026-10-28: add by m2/v0.4.2
Emilio Spedicato QCHT2RC943
| URI | m2://inv/QCHT2RC943 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#WZFI, Emilio Spedicato (topic)
History
- 2026-11-02: add by m2/dev
George B. Purdy QCHXMQ2X04
| URI | m2://inv/QCHXMQ2X04 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RN1G, George B. Purdy (unknown)
History
- 2026-11-02: add by m2/dev
QCJ0Q2XJMS QCJ0Q2XJMS
| URI | m2://inv/QCJ0Q2XJMS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-17 (exercise). In E59CDZA4DP, exercise, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
Unique extremizer and stability QCJ6NSDVVA
| URI | m2://inv/QCJ6NSDVVA |
|---|---|
| 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#KS0O, Unique extremizer and stability (statement). In 9YAE8FNQST/e1, theorem 19.5
History
- 2026-10-30: add by m2/v0.4.12
Cantor–Bernstein–Schroeder theorem QCJKARK1T4
| URI | m2://inv/QCJKARK1T4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#NBGD, Cantor–Bernstein–Schroeder theorem (statement)
- wikipedia: Wikipedia List of mathematical logic topics#7RFE, Cantor–Bernstein–Schroeder theorem (statement)
History
- 2026-11-02: add by m2/dev
QCJT0VZ28T QCJT0VZ28T
| URI | m2://inv/QCJT0VZ28T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-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.22317#UBPX (example). In 2W5Z97BBW4/e1, example 3.11
History
- 2026-10-27: add by m2/v0.4.0
Example QCK3815J2A
| URI | m2://inv/QCK3815J2A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrence quantification analysis#I54I, Example (example)
History
- 2026-11-02: add by m2/dev
Diocles QCK9Y9C35A
| URI | m2://inv/QCK9Y9C35A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#0TO5, Diocles (topic)
History
- 2026-11-02: add by m2/dev
probability amplitude QCKHJT5APD
| URI | m2://inv/QCKHJT5APD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q653850, probability amplitude (unknown). Also nLab probability amplitude
History
- 2026-10-26: add by m2/dev
Karl Bobek QCKPCQDQXD
| URI | m2://inv/QCKPCQDQXD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#J29H, Karl Bobek (topic)
History
- 2026-11-02: add by m2/dev
trillion QCKSA0QHQ2
| URI | m2://inv/QCKSA0QHQ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41650357, trillion (unknown). Also MathWorld Trillion
History
- 2026-10-26: add by m2/dev
Notation QCKV3C7J2D
| URI | m2://inv/QCKV3C7J2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic polyhedron#MJEY, Notation (definition)
History
- 2026-11-02: add by m2/dev
Properties QCM0BPRVH1
| URI | m2://inv/QCM0BPRVH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection type discipline#KJZ6, Properties (statement)
History
- 2026-11-02: add by m2/dev
unknotting number QCM0RAAED5
| URI | m2://inv/QCM0RAAED5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Unknotting number PW9D9QKAD4 |
Mentions
- wikidata: Wikidata Q7896949, unknotting number (unknown). Also MathWorld UnknottingNumber, nLab unknotting number
- wikipedia: Wikipedia Unknotting number, Unknotting number (definition). Also Wikidata Q7896949
History
- 2026-10-26: add by m2/dev
Theorem. QCMKV0X7FJ
| URI | m2://inv/QCMKV0X7FJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfand–Naimark–Segal construction#IZU4, Theorem. (statement)
History
- 2026-11-02: add by m2/dev
W. Edwards Deming QCMPR93F79
| URI | m2://inv/QCMPR93F79 |
|---|---|
| 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#D3N5, W. Edwards Deming (topic)
History
- 2026-11-02: add by m2/dev
QCMQ45YD46 QCMQ45YD46
| URI | m2://inv/QCMQ45YD46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#89YP (statement). In FDYZFDHZH9/e1, lemma 4.5
History
- 2026-10-31: add by m2/v0.5.6
QCMW6PTFW1 QCMW6PTFW1
| URI | m2://inv/QCMW6PTFW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.08210#8M1K (statement). In D4VDVX74FT/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.6
Applications QCN68JD53D
| URI | m2://inv/QCN68JD53D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple continued fraction#BCQT, Applications (example)
History
- 2026-11-02: add by m2/dev
Bicupola QCN6F1EF6Y
| URI | m2://inv/QCN6F1EF6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicupola, Bicupola (definition). Also Wikidata Q2901668
History
- 2026-11-02: add by m2/dev
QCN8BAVCHC QCN8BAVCHC
| URI | m2://inv/QCN8BAVCHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.15812#QSC9 (statement). In GAAZD3SGPN/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
QCN9NZT1P4 QCN9NZT1P4
| URI | m2://inv/QCN9NZT1P4 |
|---|---|
| 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.13715#6SZZ (statement). In FAVGZDVJS9/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
QCNA5AHZEY QCNA5AHZEY
| URI | m2://inv/QCNA5AHZEY |
|---|---|
| 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 2504.18390#EVTZ (example). In A1E8BB0QHC/e1, example 3.7
History
- 2026-10-27: add by m2/v0.3.5
QCNHTZ06N4 QCNHTZ06N4
| URI | m2://inv/QCNHTZ06N4 |
|---|---|
| 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.27730#JMVA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples QCNMG58VS2
| URI | m2://inv/QCNMG58VS2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factor graph#FW6C, Examples (example)
History
- 2026-11-02: add by m2/dev
Pooled standard deviation QCNWMQ16FR
| URI | m2://inv/QCNWMQ16FR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K8F9, Pooled standard deviation (definition)
History
- 2026-11-02: add by m2/dev
autonomous equation QCP3GGCNV0
| URI | m2://inv/QCP3GGCNV0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/4.6/autonomous-equation, autonomous equation (concept). In E9HS8K3A52, index, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
QCP83KF70J QCP83KF70J
| URI | m2://inv/QCP83KF70J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-36 (exercise). In E9HS8K3A52, exercise, section 2.3.6
History
- 2026-11-01: add by m2/v0.6.13
Zorn ring QCPE7KQAJB
| URI | m2://inv/QCPE7KQAJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zorn ring, Zorn ring (definition). Also Wikidata Q8074489
History
- 2026-11-02: add by m2/dev
Fieller's theorem QCPGRDPZE2
| URI | m2://inv/QCPGRDPZE2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GN5P, Fieller's theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition QCQ55F9NEN
| URI | m2://inv/QCQ55F9NEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual bundle#6UEQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
CertCo QCQ80M4K7H
| URI | m2://inv/QCQ80M4K7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CertCo, CertCo (definition). Also Wikidata Q5065057
History
- 2026-11-02: add by m2/dev
QCQBY83GFJ QCQBY83GFJ
| URI | m2://inv/QCQBY83GFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#J1H2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Delzant's theorem QCQF34TH0Q
| URI | m2://inv/QCQF34TH0Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delzant's theorem, Delzant's theorem (statement). Also Wikidata Q16942395
History
- 2026-11-02: add by m2/dev
QCQJ4P9S5H QCQJ4P9S5H
| URI | m2://inv/QCQJ4P9S5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10086#S0VM (statement). In NP9X9CAK19/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Horng-Tzer Yau QCQMG28SXV
| URI | m2://inv/QCQMG28SXV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6IAZ, Horng-Tzer Yau (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W63E, Horng-Tzer Yau (topic)
History
- 2026-11-02: add by m2/dev
Applications QCQQ9KQ8PP
| URI | m2://inv/QCQQ9KQ8PP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substitution model#4TTN, Applications (example)
History
- 2026-11-02: add by m2/dev
Morrey decay of the energy QCQW1HSETH
| URI | m2://inv/QCQW1HSETH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00339#MI08, Morrey decay of the energy (statement). In ZRG6NY1ECH/e1, proposition 24
History
- 2026-10-30: add by m2/v0.4.12
QCQW54Z7QQ QCQW54Z7QQ
| URI | m2://inv/QCQW54Z7QQ |
|---|---|
| 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 2109.12716#LJYI (statement). In 6X76XBE3HV/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Special cases QCR0C8PKN9
| URI | m2://inv/QCR0C8PKN9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamming graph#7CHX, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Generalizations QCR6MVB935
| URI | m2://inv/QCR6MVB935 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave front set#MA96, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Exterior determination at Lebesgue points QCR8JJHJJV
| URI | m2://inv/QCR8JJHJJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17524#18HQ, Exterior determination at Lebesgue points (statement). In MKA4QH9VRE/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
QCRM2F2HV1 QCRM2F2HV1
| URI | m2://inv/QCRM2F2HV1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#cor:sat-sentence (statement). In PKGMM3P5QY, cor, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
Leon Chwistek QCRY4577P7
| URI | m2://inv/QCRY4577P7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#XFFR, Leon Chwistek (topic)
History
- 2026-11-02: add by m2/dev
Systemic bias QCS55D2ZFN
| URI | m2://inv/QCS55D2ZFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Systemic bias, Systemic bias (definition). Also Wikidata Q15490293
History
- 2026-11-02: add by m2/dev
QCS6ZCFPCN QCS6ZCFPCN
| URI | m2://inv/QCS6ZCFPCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#3ME1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cartan–Hadamard theorem QCS915QE21
| URI | m2://inv/QCS915QE21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5047048, Cartan–Hadamard theorem (statement). Also Wikidata Q5047048
- thousand_plus: thousand_plus Q5047048, Cartan–Hadamard theorem (statement). Also Wikidata Q5047048, Wikipedia Cartan–Hadamard theorem
- wikipedia: Wikipedia Cartan–Hadamard theorem, Cartan–Hadamard theorem (statement). Also Wikidata Q5047048
History
- 2026-10-26: add by m2/dev
QCSANVG5C4 QCSANVG5C4
| URI | m2://inv/QCSANVG5C4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#RXW3 (definition). In NSYR6W27FP/e1, definition 4.8
History
- 2026-10-27: add by m2/v0.3.5
QCSMWCSAGV QCSMWCSAGV
| URI | m2://inv/QCSMWCSAGV |
|---|---|
| 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 math/0003117#L2F3 (statement). In WD2NCBV9F0/e1, corollary 7.21
History
- 2026-10-27: add by m2/v0.3.5
Credible interval QCSNE1MCXG
| URI | m2://inv/QCSNE1MCXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BFC7, Credible interval (definition)
History
- 2026-11-02: add by m2/dev
Elementary properties QCSTVYDPBX
| URI | m2://inv/QCSTVYDPBX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral element#RODF, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
SC2000 QCSW81TGRF
| URI | m2://inv/QCSW81TGRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SC2000, SC2000 (definition). Also Wikidata Q3459272
History
- 2026-11-02: add by m2/dev
Strip algebra QCSYGWRGGN
| URI | m2://inv/QCSYGWRGGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strip algebra, Strip algebra (definition). Also Wikidata Q7624083
History
- 2026-11-02: add by m2/dev
QCT0YY122D QCT0YY122D
| URI | m2://inv/QCT0YY122D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24131#R81Y (statement)
History
- 2026-11-02: add by m2/v0.6.17
Example QCT5ASPHTB
| URI | m2://inv/QCT5ASPHTB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sample ratio mismatch#3QQ1, Example (example)
History
- 2026-11-02: add by m2/dev
single-ball hitting QCT5GTJPHJ
| URI | m2://inv/QCT5GTJPHJ |
|---|---|
| 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.04000#S9Z6, single-ball hitting (statement). In CBCCH5VTMQ/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
M8 QCT7M2ZQQS
| URI | m2://inv/QCT7M2ZQQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M8 (cipher), M8 (definition). Also Wikidata Q6713956
History
- 2026-11-02: add by m2/dev
Link group QCT915KW4N
| URI | m2://inv/QCT915KW4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#N2II, Link group (definition)
History
- 2026-11-02: add by m2/dev
QCTD50VN9V QCTD50VN9V
| URI | m2://inv/QCTD50VN9V |
|---|---|
| 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 2502.04323#X9KN (statement). In MK60S6RKJP/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Notation QCV0B40H9H
| URI | m2://inv/QCV0B40H9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypertopology#9AEP, Notation (definition)
History
- 2026-11-02: add by m2/dev
Enea Bortolotti QCV51XVHX7
| URI | m2://inv/QCV51XVHX7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#ZCRO, Enea Bortolotti (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PJNF, Enea Bortolotti (topic)
History
- 2026-11-02: add by m2/dev
Einstein relation QCV97R2CAV
| URI | m2://inv/QCV97R2CAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q900855, Einstein relation (unknown). Also EoM Einstein-Smoluchowski_equation
- wikipedia: Wikipedia Einstein relation (kinetic theory), Einstein relation (definition). Also Wikidata Q900855
History
- 2026-10-26: add by m2/dev
Derivation of the formulas QCVC23TSFF
| URI | m2://inv/QCVC23TSFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit curve#FD1F, Derivation of the formulas (statement)
History
- 2026-11-02: add by m2/dev
Ventimiglia QCVFBYP65E
| URI | m2://inv/QCVFBYP65E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Y6WA, Ventimiglia (unknown)
History
- 2026-11-02: add by m2/dev
QCVMGZBAMH QCVMGZBAMH
| URI | m2://inv/QCVMGZBAMH |
|---|---|
| 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 1709.01658#KFE1 (statement). In 90A5Q9HRQK/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
QCVNE7Y50M QCVNE7Y50M
| URI | m2://inv/QCVNE7Y50M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20725#HZCQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statistical area QCVR7H14HE
| URI | m2://inv/QCVR7H14HE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical area, Statistical area (definition). Also Wikidata Q7604380
History
- 2026-11-02: add by m2/dev
QCVTPH1QSA QCVTPH1QSA
| URI | m2://inv/QCVTPH1QSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20077#5TLT (statement). In W5XRKWDADE/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
Variants QCW6DWGZ1E
| URI | m2://inv/QCW6DWGZ1E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentially private analysis of graphs#TUQ2, Variants (statement)
History
- 2026-11-02: add by m2/dev
QCW7S0J1RV QCW7S0J1RV
| URI | m2://inv/QCW7S0J1RV |
|---|---|
| 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.19192#I5JG (statement). In E53KCQ5029/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Normal number QCWAZXBNGT
| URI | m2://inv/QCWAZXBNGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#5RD0, Normal number (definition)
History
- 2026-11-02: add by m2/dev
base unit QCWFKZQEEY
| URI | m2://inv/QCWFKZQEEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q810225, base unit (definition). Also ProofWiki Definition:Fundamental_Unit_(Physics)
History
- 2026-10-26: add by m2/dev
QCWV1JB122 QCWV1JB122
| URI | m2://inv/QCWV1JB122 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25973#8YSI (statement)
History
- 2026-11-01: add by m2/v0.6.15
QCX2MHS6WW QCX2MHS6WW
| URI | m2://inv/QCX2MHS6WW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#example-4 (example). In P1C114YBXG, example, section D
History
- 2026-11-01: add by m2/v0.6.13
QCX4TMTQ3B QCX4TMTQ3B
| URI | m2://inv/QCX4TMTQ3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27114#G8OX (statement)
History
- 2026-11-01: add by m2/v0.6.15
compression QCX6DM2YQ5
| URI | m2://inv/QCX6DM2YQ5 |
|---|---|
| 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.07508#4YK7, compression (statement). In TPA3E67MKK/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
QCX73ZZZ7J QCX73ZZZ7J
| URI | m2://inv/QCX73ZZZ7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#7TL8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
QCXCMJJRJ1 QCXCMJJRJ1
| URI | m2://inv/QCXCMJJRJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.08789#HQQA (statement). In 43AGRMP7T3/e1, lemma 1.21
History
- 2026-10-27: add by m2/v0.3.5
QCXF3TFYZ0 QCXF3TFYZ0
| URI | m2://inv/QCXF3TFYZ0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#3WG5 (definition). In F6C80AEXC1/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.12
The triangular period and its harmonics QCXFHVKY3J
| URI | m2://inv/QCXFHVKY3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2501.09848#ITIY, The triangular period and its harmonics (statement). In HF7YNMW39N/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.0
QCXG478WY2 QCXG478WY2
| URI | m2://inv/QCXG478WY2 |
|---|---|
| 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.28323#RVA4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
QCXHMRV0C9 QCXHMRV0C9
| URI | m2://inv/QCXHMRV0C9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/swapsum.tex#example-2 (example). In RZP28ERRZV, example, section 70.4
History
- 2026-11-01: add by m2/v0.6.13
QCXN7HDT10 QCXN7HDT10
| URI | m2://inv/QCXN7HDT10 |
|---|---|
| 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.11082#1DYL (statement). In GFPFFN0BXV/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.3
Sector decomposition of history families QCXR2VMHS6
| URI | m2://inv/QCXR2VMHS6 |
|---|---|
| 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.37375#GAR1, Sector decomposition of history families (statement). In PV4Z2FRXRZ/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
K-finite QCXT2VTTMS
| URI | m2://inv/QCXT2VTTMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-finite, K-finite (definition). Also Wikidata Q6322832
History
- 2026-11-02: add by m2/dev
QCXW1NPDV6 QCXW1NPDV6
| URI | m2://inv/QCXW1NPDV6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#DAQJ (statement). In 9B5TNEBJHV/e1, lemma 2.12
History
- 2026-10-29: add by m2/v0.4.10
or QCXXRQMSF5
| URI | m2://inv/QCXXRQMSF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#IJD3, or (definition)
History
- 2026-11-02: add by m2/dev
Hidden-direction geometry QCY1ZV342Z
| URI | m2://inv/QCY1ZV342Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#M6KX, Hidden-direction geometry (statement). In X1FPG0KYBM/e1, proposition Z.2
History
- 2026-10-28: add by m2/v0.4.2
QCY8TXEMW5 QCY8TXEMW5
| URI | m2://inv/QCY8TXEMW5 |
|---|---|
| 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 2609.22374#U8B6 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Ulam QCYAMXDMYD
| URI | m2://inv/QCYAMXDMYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#D4Y7, Ulam (definition)
History
- 2026-11-02: add by m2/dev
QCYC1AQ2V8 QCYC1AQ2V8
| URI | m2://inv/QCYC1AQ2V8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/valuations-sat.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 63.1
History
- 2026-11-01: add by m2/v0.6.13
QCYC9P5T3A QCYC9P5T3A
| URI | m2://inv/QCYC9P5T3A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#UTCL (definition). In BDN507RN7J/e1, definition 3.3.8
History
- 2026-10-30: add by m2/v0.4.12
QCYFMT5PDW QCYFMT5PDW
| URI | m2://inv/QCYFMT5PDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.05069#0XUC (statement). In SFQBJBTW8K/e1, proposition 14.3
History
- 2026-10-27: add by m2/v0.3.5
QCYJSWR8BR QCYJSWR8BR
| URI | m2://inv/QCYJSWR8BR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.14879#PQSD (definition). In 3VZ55B2N0D/e1, definition 6.4
History
- 2026-10-27: add by m2/v0.4.0
QCYNZ76K1C QCYNZ76K1C
| URI | m2://inv/QCYNZ76K1C |
|---|---|
| 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.28674#VTPJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
 genus and Rochlin's theorem QCYXARW3G2
| URI | m2://inv/QCYXARW3G2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah–Singer index theorem#6MEP, Â genus and Rochlin's theorem (statement)
History
- 2026-11-02: add by m2/dev
QCZ495E5ZB QCZ495E5ZB
| URI | m2://inv/QCZ495E5ZB |
|---|---|
| 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 2607.20739#ENE1 (statement). In XFZJZS3GB1/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
QCZA6TAX13 QCZA6TAX13
| URI | m2://inv/QCZA6TAX13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33829#SZGC (statement). In S34H2JTJHH/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Wang--Wu QCZA82YMPC
| URI | m2://inv/QCZA82YMPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.16114#X5TW, Wang--Wu (statement). In JZZ3FJ382R/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Second continuum hypothesis QCZCS49XN9
| URI | m2://inv/QCZCS49XN9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second continuum hypothesis, Second continuum hypothesis (statement). Also Wikidata Q124096694
History
- 2026-11-02: add by m2/dev
QCZDK191ZZ QCZDK191ZZ
| URI | m2://inv/QCZDK191ZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#RPLT (statement). In 332PQD90SW/e1, theorem 4.8
History
- 2026-10-27: add by m2/v0.3.5
QCZF6ECQQZ QCZF6ECQQZ
| URI | m2://inv/QCZF6ECQQZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete logarithm#A0ZX (problem)
History
- 2026-11-02: add by m2/dev
Terminology QCZGS6WCV1
| URI | m2://inv/QCZGS6WCV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computer algebra#UDBB, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Cantor–Dedekind axiom QCZKQDD2EZ
| URI | m2://inv/QCZKQDD2EZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#OI2F, Cantor–Dedekind axiom (statement)
History
- 2026-11-02: add by m2/dev
Number field QCZKS91H5T
| URI | m2://inv/QCZKS91H5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#OFEP, Number field (definition)
History
- 2026-11-02: add by m2/dev