Inventory rows PE
The cards of the rows of the inventory whose ids start with PE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
nonempty subset PE05RQ9HGM
| URI | m2://inv/PE05RQ9HGM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.4/nonempty-subset, nonempty subset (concept). In N54F33XE07, index, section C.4
History
- 2026-11-01: add by m2/v0.6.13
PE05YWVTB0 PE05YWVTB0
| URI | m2://inv/PE05YWVTB0 |
|---|---|
| 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 2503.16884#N9NW (statement). In B984KNW591/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Prime ideal theorems PE0G0G68ZJ
| URI | m2://inv/PE0G0G68ZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean prime ideal theorem#A6GM, Prime ideal theorems (statement)
History
- 2026-11-02: add by m2/dev
golden rhombus PE14TR2J4M
| URI | m2://inv/PE14TR2J4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5580046, golden rhombus (unknown). Also MathWorld GoldenRhombus
- wikipedia: Wikipedia Golden rhombus, Golden rhombus (definition). Also Wikidata Q5580046
History
- 2026-10-26: add by m2/dev
Fedorov's five parallelohedra PE1FSEN2DC
| URI | m2://inv/PE1FSEN2DC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#8PV6, Fedorov's five parallelohedra (example)
History
- 2026-11-01: add by m2/v0.6.15
PE1G2BYQ3A PE1G2BYQ3A
| URI | m2://inv/PE1G2BYQ3A |
|---|---|
| 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.15217#LD32 (statement). In G70Q2FB591/e1, lemma 2.12
History
- 2026-10-28: add by m2/v0.4.2
PE1JFD6SVA PE1JFD6SVA
| URI | m2://inv/PE1JFD6SVA |
|---|---|
| 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.29623#47JH (statement)
History
- 2026-11-01: add by m2/v0.6.15
PE1M8PCF6P PE1M8PCF6P
| URI | m2://inv/PE1M8PCF6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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 2609.25275#U5E9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kirchhoff's theorem PE1Q9FY6BJ
| URI | m2://inv/PE1Q9FY6BJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#P2VG, Kirchhoff's theorem (statement)
History
- 2026-11-02: add by m2/dev
PE1V0KTRDE PE1V0KTRDE
| URI | m2://inv/PE1V0KTRDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-6 (definition). In VNMV985MXX, defn, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Noga Alon PE23NX1HPP
| URI | m2://inv/PE23NX1HPP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#N7SM, Noga Alon (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IXU9, Noga Alon (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RV2Q, Noga Alon (topic)
History
- 2026-11-02: add by m2/dev
PE26YPWBZ5 PE26YPWBZ5
| URI | m2://inv/PE26YPWBZ5 |
|---|---|
| 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.01329#5ACC (statement). In 7XEVYJKJ5C/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
Dorothy Blum PE2BWQX99G
| URI | m2://inv/PE2BWQX99G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorothy Blum, Dorothy Blum (topic). Also Wikidata Q23806463
History
- 2026-11-02: add by m2/dev
Krull–Schmidt theorem PE2CZK9JTA
| URI | m2://inv/PE2CZK9JTA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#1Z2Z, Krull–Schmidt theorem (statement)
History
- 2026-11-02: add by m2/dev
PE2G1E0R25 PE2G1E0R25
| URI | m2://inv/PE2G1E0R25 |
|---|---|
| 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.17303#K8CS (statement). In PHD4ABS8WH/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
PE2GZDCBVB PE2GZDCBVB
| URI | m2://inv/PE2GZDCBVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#RT5P (statement). In F7TDYCHCSE/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
PE2JVCKZ06 PE2JVCKZ06
| URI | m2://inv/PE2JVCKZ06 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-36 (exercise). In E9HS8K3A52, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
PE39AKBYD1 PE39AKBYD1
| URI | m2://inv/PE39AKBYD1 |
|---|---|
| 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 2108.09796#QTTH (statement). In NAA7WFQN20/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Map count for bad profiles PE39DNWV91
| URI | m2://inv/PE39DNWV91 |
|---|---|
| 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.40252#JYOB, Map count for bad profiles (statement). In 7MVPNFPRKB/e1, lemma 11.7
History
- 2026-10-30: add by m2/v0.4.12
Alexander Weinstein PE3A41S972
| URI | m2://inv/PE3A41S972 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#HNHO, Alexander Weinstein (topic)
History
- 2026-11-02: add by m2/dev
Moore space PE3EMRRNDG
| URI | m2://inv/PE3EMRRNDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#MXJP, Moore space (definition)
History
- 2026-11-02: add by m2/dev
Constructions PE3ERV3WMT
| URI | m2://inv/PE3ERV3WMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leech lattice#L2UH, Constructions (definition)
History
- 2026-11-02: add by m2/dev
PE3J0S4QT0 PE3J0S4QT0
| URI | m2://inv/PE3J0S4QT0 |
|---|---|
| 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.11120#AT4S (statement). In KCY80F2YGP/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.3
subrepresentation PE3MWMMFKZ
| URI | m2://inv/PE3MWMMFKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#C9PX, subrepresentation (definition)
History
- 2026-11-02: add by m2/dev
PE3RES4FX0 PE3RES4FX0
| URI | m2://inv/PE3RES4FX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22642#GT3F (statement)
History
- 2026-11-02: add by m2/v0.6.17
rigid cohomology PE3S7ARPDD
| URI | m2://inv/PE3S7ARPDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7333805, rigid cohomology (unknown). Also nLab rigid cohomology
- wikipedia: Wikipedia Rigid cohomology, Rigid cohomology (definition). Also Wikidata Q7333805
History
- 2026-10-26: add by m2/dev
PE3ZXBNBPQ PE3ZXBNBPQ
| URI | m2://inv/PE3ZXBNBPQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13746#VFH2 (definition). In 70EJ0YJBQ7/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Tornike Kadeishvili PE454JAPYQ
| URI | m2://inv/PE454JAPYQ |
|---|---|
| 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 Q102262999, Tornike Kadeishvili (unknown). Also nLab Tornike Kadeishvili
History
- 2026-10-26: add by m2/dev
Absolute infinite, well-ordering theorem, and paradoxes PE47AJ97JJ
| URI | m2://inv/PE47AJ97JJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg Cantor#SRRP, Absolute infinite, well-ordering theorem, and paradoxes (statement)
History
- 2026-11-02: add by m2/dev
PE48QKMA5P PE48QKMA5P
| URI | m2://inv/PE48QKMA5P |
|---|---|
| Kind | example |
| 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.33238#4YOZ (example). In MVWXMDFP3P/e1, example 2.5
History
- 2026-10-30: add by m2/v0.4.12
PE49W4BA87 PE49W4BA87
| URI | m2://inv/PE49W4BA87 |
|---|---|
| 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.03081#7Q62 (statement). In TX0H26X4VX/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.12
PE4B2QYVD5 PE4B2QYVD5
| URI | m2://inv/PE4B2QYVD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.11946#5E6P (statement). In VQ96F8CY5M/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
Christopher J. Bishop PE4CZ31BRH
| URI | m2://inv/PE4CZ31BRH |
|---|---|
| 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#HK04, Christopher J. Bishop (topic)
History
- 2026-11-02: add by m2/dev
PE4EK5V1EF PE4EK5V1EF
| URI | m2://inv/PE4EK5V1EF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.14306#AK26 (statement). In ZNBQD5WH1M/e1, theorem 5.10
History
- 2026-10-27: add by m2/v0.3.5
Ω-stable PE4KRY2SRD
| URI | m2://inv/PE4KRY2SRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#VBQ9, Ω-stable (definition)
History
- 2026-11-02: add by m2/dev
PE4TS2GG2S PE4TS2GG2S
| URI | m2://inv/PE4TS2GG2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#defn:biinv (definition). In N54F33XE07, defn, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
PE54C65B5T PE54C65B5T
| URI | m2://inv/PE54C65B5T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11800#DRIB (statement). In 8TSZ2E32K3/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.3
Unit of area PE54HARKH3
| URI | m2://inv/PE54HARKH3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area#4J3K, Unit of area (unknown)
History
- 2026-11-02: add by m2/dev
Elementary mathematics PE5R1P3RK6
| URI | m2://inv/PE5R1P3RK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#QXQP, Elementary mathematics (definition)
History
- 2026-11-02: add by m2/dev
PE60JAVZP7 PE60JAVZP7
| URI | m2://inv/PE60JAVZP7 |
|---|---|
| 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 2609.25353#MD1M (statement)
History
- 2026-11-01: add by m2/v0.6.15
PE62SK5BFY PE62SK5BFY
| URI | m2://inv/PE62SK5BFY |
|---|---|
| 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.03754#JRHO (statement). In J1Z9P0H13V/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
PE65KY1ASG PE65KY1ASG
| URI | m2://inv/PE65KY1ASG |
|---|---|
| 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 2510.12502#X8BA (statement). In 3A4K47Y9F2/e1, lemma 3.24
History
- 2026-10-27: add by m2/v0.4.0
PE68VTXCB3 PE68VTXCB3
| URI | m2://inv/PE68VTXCB3 |
|---|---|
| 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 2610.17547#K2W9 (definition). In XJ59TDP4HA/e1, definition 4.13
History
- 2026-10-28: add by m2/v0.4.2
Shallow representation lower bound, ResNet pushforward PE6ES9CXD0
| URI | m2://inv/PE6ES9CXD0 |
|---|---|
| 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.10875#3WZW, Shallow representation lower bound, ResNet pushforward (statement). In N91F15MHW1/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.3
Theorem of Serre PE6G55BMAW
| URI | m2://inv/PE6G55BMAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#RANQ, Theorem of Serre (statement)
History
- 2026-11-02: add by m2/dev
Formal statement PE6G61BPQ1
| URI | m2://inv/PE6G61BPQ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ghosh–Pratt identity#DIZJ, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
PE6NHMCQX3 PE6NHMCQX3
| URI | m2://inv/PE6NHMCQX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.30200#5WMY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples PE6T7QYCXP
| URI | m2://inv/PE6T7QYCXP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter complex#HJ0R, Examples (example)
History
- 2026-11-02: add by m2/dev
Small-time expansion II PE6YBTNY02
| URI | m2://inv/PE6YBTNY02 |
|---|---|
| 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.39409#AZAH, Small-time expansion II (statement). In CQ0Z7QA0A5/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
Johannes Sjöstrand PE7F5WHY8H
| URI | m2://inv/PE7F5WHY8H |
|---|---|
| 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#HSQQ, Johannes Sjöstrand (unknown)
History
- 2026-11-02: add by m2/dev
PE7GVGFCKF PE7GVGFCKF
| URI | m2://inv/PE7GVGFCKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#4TPL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples PE7N7Z25EG
| URI | m2://inv/PE7N7Z25EG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root test#M5CN, Examples (example)
History
- 2026-11-02: add by m2/dev
PE7Q6QKG4Y PE7Q6QKG4Y
| URI | m2://inv/PE7Q6QKG4Y |
|---|---|
| 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.09735#CIYP (statement). In C518KB563H/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Ferromagnetic bins near $\mu$ PE8A9D0XK8
| URI | m2://inv/PE8A9D0XK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#WRKD, Ferromagnetic bins near $\mu$ (statement). In P3RTT99C41/e1, lemma 7.11
History
- 2026-10-30: add by m2/v0.4.12
PE8GVMRD8C PE8GVMRD8C
| URI | m2://inv/PE8GVMRD8C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 38.6
History
- 2026-11-01: add by m2/v0.6.13
PE8K37GV6D PE8K37GV6D
| URI | m2://inv/PE8K37GV6D |
|---|---|
| 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.33578#GO0Z (statement). In 3XTDDKY6YE/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
PE8XG694A7 PE8XG694A7
| URI | m2://inv/PE8XG694A7 |
|---|---|
| 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.10372#YABW (statement). In P77W283VXT/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
Schützenberger involution PE8YY91SVZ
| URI | m2://inv/PE8YY91SVZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeu de taquin#OJBJ, Schützenberger involution (unknown)
History
- 2026-11-02: add by m2/dev
PE8Z16QQ9P PE8Z16QQ9P
| URI | m2://inv/PE8Z16QQ9P |
|---|---|
| Kind | definition |
| 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#FWPD (definition)
History
- 2026-11-02: add by m2/v0.6.18
Properties PE909P09MS
| URI | m2://inv/PE909P09MS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floyd's triangle#UKUV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Averaging interchange PE93B6XPD9
| URI | m2://inv/PE93B6XPD9 |
|---|---|
| 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.33027#SWP6, Averaging interchange (statement). In E2AF84709B/e1, proposition 26
History
- 2026-10-31: add by m2/v0.5.6
Sibuya steps PE9BZG8KZQ
| URI | m2://inv/PE9BZG8KZQ |
|---|---|
| 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.11872#85JR, Sibuya steps (statement). In NKDA88318F/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.3
Edward Wegman PE9CV5B52C
| URI | m2://inv/PE9CV5B52C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Wegman, Edward Wegman (topic). Also Wikidata Q5345831
History
- 2026-11-02: add by m2/dev
PE9DKZZMWM PE9DKZZMWM
| URI | m2://inv/PE9DKZZMWM |
|---|---|
| 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 2311.01874#NPF5 (statement). In A4TR95VGX2/e1, theorem 5.5.2
History
- 2026-10-27: add by m2/v0.3.5
Venkatesan Guruswami PE9EB2KK1H
| URI | m2://inv/PE9EB2KK1H |
|---|---|
| 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#T25G, Venkatesan Guruswami (unknown)
History
- 2026-11-02: add by m2/dev
PE9G2CHSZR PE9G2CHSZR
| URI | m2://inv/PE9G2CHSZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#LP27 (statement). In XEQD21EBTT/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
Reduced Effort LQR with Initial Condition PE9G44MRNB
| URI | m2://inv/PE9G44MRNB |
|---|---|
| Kind | example |
| 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.17604#O36J, Reduced Effort LQR with Initial Condition (example). In CZNRSB168G/e1, example 3
History
- 2026-10-28: add by m2/v0.4.2
PE9H0ABVBH PE9H0ABVBH
| URI | m2://inv/PE9H0ABVBH |
|---|---|
| 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 2405.05684#UYWC (statement). In 1PR73ECTZB/e1, proposition 11
History
- 2026-10-27: add by m2/v0.3.5
PE9KPR1AHC PE9KPR1AHC
| URI | m2://inv/PE9KPR1AHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-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.10591#5SSZ (statement). In FTEA0TM35J/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
Complete classification of all subvarieties PE9Q2E7PSK
| URI | m2://inv/PE9Q2E7PSK |
|---|---|
| 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#34PI, Complete classification of all subvarieties (statement). In E7W2HDNEKJ/e1, theorem H.18
History
- 2026-10-30: add by m2/v0.4.12
PE9VVTMM50 PE9VVTMM50
| URI | m2://inv/PE9VVTMM50 |
|---|---|
| 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.17518#1IU1 (statement). In YA4JEWTVS4/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Mikhail Birman PEA8KNT33F
| URI | m2://inv/PEA8KNT33F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mikhail Birman, Mikhail Birman (topic). Also Wikidata Q4087046
History
- 2026-11-02: add by m2/dev
Moral reasoning PEAMFEXTKN
| URI | m2://inv/PEAMFEXTKN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moral reasoning, Moral reasoning (topic). Also Wikidata Q6909140
History
- 2026-11-02: add by m2/dev
PEAR4XHKGX PEAR4XHKGX
| URI | m2://inv/PEAR4XHKGX |
|---|---|
| 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#M286 (statement). In QHT28GABDG/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Noncrossing partition PEAXG3WT9B
| URI | m2://inv/PEAXG3WT9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncrossing partition, Noncrossing partition (definition). Also Wikidata Q7049245
History
- 2026-11-02: add by m2/dev
List of exponential topics PEAXG6S981
| URI | m2://inv/PEAXG6S981 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#VRKO, List of exponential topics (topic)
History
- 2026-11-02: add by m2/dev
PEB4W9E7AJ PEB4W9E7AJ
| URI | m2://inv/PEB4W9E7AJ |
|---|---|
| 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.33383#6RTP (statement). In 8AHWRHTP5G/e1, theorem 9
History
- 2026-10-30: add by m2/v0.4.12
PEB5Y63V30 PEB5Y63V30
| URI | m2://inv/PEB5Y63V30 |
|---|---|
| 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.07445#KVOC (statement). In F1BM3Q8125/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
PEBETD2768 PEBETD2768
| URI | m2://inv/PEBETD2768 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#7ZS6 (statement). In 13H5BTAXHF/e1, proposition 22
History
- 2026-10-27: add by m2/v0.3.5
PEBF1BDBFG PEBF1BDBFG
| URI | m2://inv/PEBF1BDBFG |
|---|---|
| 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.13723#7BWO (statement). In HPBCRT0Z0V/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Symmetries PEBF2TC4J1
| URI | m2://inv/PEBF2TC4J1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear Schrödinger equation#7OYG, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Hill differential equation PEBSS5WJ59
| URI | m2://inv/PEBSS5WJ59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#SHVX, Hill differential equation (definition)
History
- 2026-11-02: add by m2/dev
Dual theorem PEBVS9ABA5
| URI | m2://inv/PEBVS9ABA5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pappus's hexagon theorem#I8VX, Dual theorem (statement)
History
- 2026-11-02: add by m2/dev
Sierpiński theorem PEC0615292
| URI | m2://inv/PEC0615292 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann series theorem#9VYC, Sierpiński theorem (statement)
History
- 2026-11-02: add by m2/dev
PEC1M6R0M3 PEC1M6R0M3
| URI | m2://inv/PEC1M6R0M3 |
|---|---|
| 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 1912.13357#0OHU (statement). In K8CQDCYBR3/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
PECE275SR0 PECE275SR0
| URI | m2://inv/PECE275SR0 |
|---|---|
| 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.21752#L34J (statement). In E4DJTPKHAX/e1, theorem 6.13
History
- 2026-10-27: add by m2/v0.4.2
PECKBM3JKH PECKBM3JKH
| URI | m2://inv/PECKBM3JKH |
|---|---|
| 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.39505#AVXF (statement). In WAXS6FS388/e1, lemma 2.15
History
- 2026-10-30: add by m2/v0.4.12
composition PECP5PCTKY
| URI | m2://inv/PECP5PCTKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#PQCT, composition (definition)
History
- 2026-11-02: add by m2/dev
PECSJYTRZ5 PECSJYTRZ5
| URI | m2://inv/PECSJYTRZ5 |
|---|---|
| Kind | definition |
| 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.20170#AU5F (definition)
History
- 2026-11-02: add by m2/v0.6.18
PED0VB2EPA PED0VB2EPA
| URI | m2://inv/PED0VB2EPA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2405.14678#BTXV (example). In 9ZSNSJRJ5N/e1, example 50
History
- 2026-10-27: add by m2/v0.4.2
Variants PED1ZM588N
| URI | m2://inv/PED1ZM588N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proportional cake-cutting#Y00Y, Variants (statement)
History
- 2026-11-02: add by m2/dev
PED3XGS99F PED3XGS99F
| URI | m2://inv/PED3XGS99F |
|---|---|
| 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.04264#4LV8 (statement). In 5YRJ4HGY4N/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Statement PED4G8QK5J
| URI | m2://inv/PED4G8QK5J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data processing inequality#YHRF, Statement (statement)
History
- 2026-11-02: add by m2/dev
PEDCA7G9ZV PEDCA7G9ZV
| URI | m2://inv/PEDCA7G9ZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.22326#6E8Q (statement). In EAABRG99V8/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.0
PEDD6X6HHN PEDD6X6HHN
| URI | m2://inv/PEDD6X6HHN |
|---|---|
| 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 2506.07061#46TC (statement). In G2PA4KAGRP/e1, corollary 3.16
History
- 2026-10-27: add by m2/v0.3.6
Joint one-dimensional thermal lower bound PEDF37QTBG
| URI | m2://inv/PEDF37QTBG |
|---|---|
| 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.15199#ZYXO, Joint one-dimensional thermal lower bound (statement). In EVFTDVP4K4/e1, corollary H.3
History
- 2026-10-28: add by m2/v0.4.2
Maurice Kraitchik PEDHD7PXBS
| URI | m2://inv/PEDHD7PXBS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AYZE, Maurice Kraitchik (topic)
History
- 2026-11-02: add by m2/dev
PEDR9EQ103 PEDR9EQ103
| URI | m2://inv/PEDR9EQ103 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#U9MP (statement). In 3KTZ6Z615H/e1, lemma 4.9
History
- 2026-10-30: add by m2/v0.4.12
PEDT7R34Y4 PEDT7R34Y4
| URI | m2://inv/PEDT7R34Y4 |
|---|---|
| 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.21762#S5BV (definition). In CYDJ6JGD4A/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.4.2
Robert Ernest Gompf PEDZ3GZZA4
| URI | m2://inv/PEDZ3GZZA4 |
|---|---|
| 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#NLKX, Robert Ernest Gompf (topic)
History
- 2026-11-02: add by m2/dev
Dorothy P. Rice PEE2776BGT
| URI | m2://inv/PEE2776BGT |
|---|---|
| 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#DYDE, Dorothy P. Rice (topic)
History
- 2026-11-02: add by m2/dev
untouchable number PEECP8G6Y4
| URI | m2://inv/PEECP8G6Y4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1193504, untouchable number (unknown). Also MathWorld UntouchableNumber, OEIS A005114
- wikipedia: Wikipedia Untouchable number, Untouchable number (definition). Also Wikidata Q1193504
History
- 2026-10-26: add by m2/dev
PEEK7QKFPE PEEK7QKFPE
| URI | m2://inv/PEEK7QKFPE |
|---|---|
| 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.14741#XB7S (statement). In RK1VPWWX9E/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Applications PEEMGE4PSN
| URI | m2://inv/PEEMGE4PSN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finsler's lemma#ZIYD, Applications (example)
History
- 2026-11-02: add by m2/dev
Multiple factor analysis PEEQ1TQB8C
| URI | m2://inv/PEEQ1TQB8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple factor analysis, Multiple factor analysis (definition). Also Wikidata Q18375842
History
- 2026-11-02: add by m2/dev
PEEXVE0WYE PEEXVE0WYE
| URI | m2://inv/PEEXVE0WYE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#KD0T (definition). In 9DQKY7KGE8/e1, definition A.1
History
- 2026-10-31: add by m2/v0.5.6
PEF0NAPD0R PEF0NAPD0R
| URI | m2://inv/PEF0NAPD0R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.14383#NCS5 (statement). In QD0X3XJS6T/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.3.5
Definitions PEFACYHSPY
| URI | m2://inv/PEFACYHSPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic form#BVEQ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
PEFB4E404P PEFB4E404P
| URI | m2://inv/PEFB4E404P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37159#CW0C (statement). In SBANZ2ZJDD/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
PEFBSXVWGR PEFBSXVWGR
| URI | m2://inv/PEFBSXVWGR |
|---|---|
| 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.18744#QSGU (statement). In AE07JDH5D3/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
11-dimensional supergravity PEFF9RRR9K
| URI | m2://inv/PEFF9RRR9K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3504646, 11-dimensional supergravity (unknown). Also nLab D=11 N=1 supergravity
History
- 2026-10-26: add by m2/dev
PEFNW5KE1X PEFNW5KE1X
| URI | m2://inv/PEFNW5KE1X |
|---|---|
| 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.09594#Z8L9 (statement). In TVE5WK2MH8/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Cullen primes PEFRK68C7R
| URI | m2://inv/PEFRK68C7R |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#0PZE, Cullen primes (conjecture)
History
- 2026-11-02: add by m2/dev
Prikry forcing PEG0EQ7VYB
| URI | m2://inv/PEG0EQ7VYB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions#GMMR, Prikry forcing (unknown)
History
- 2026-11-02: add by m2/dev
PEG0WZV4EN PEG0WZV4EN
| URI | m2://inv/PEG0WZV4EN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#MVH7 (statement). In X3RFXWN6FW/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.6
Examples PEG1ZRY063
| URI | m2://inv/PEG1ZRY063 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial explosion#DPTG, Examples (example)
History
- 2026-11-02: add by m2/dev
David S. Stoffer PEGHC1GSHX
| URI | m2://inv/PEGHC1GSHX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David S. Stoffer, David S. Stoffer (topic). Also Wikidata Q102179687
History
- 2026-11-02: add by m2/dev
PEH0G5N2DN PEH0G5N2DN
| URI | m2://inv/PEH0G5N2DN |
|---|---|
| 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.02993#WSE6 (statement). In TJH58FRGEN/e1, corollary 2.5
History
- 2026-10-29: add by m2/v0.4.12
One-time pad PEH0GXR3HD
| URI | m2://inv/PEH0GXR3HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-time pad, One-time pad (definition). Also Wikidata Q150474
History
- 2026-11-02: add by m2/dev
PEH3KW4SHR PEH3KW4SHR
| URI | m2://inv/PEH3KW4SHR |
|---|---|
| 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#QTAM (statement). In 5350Q52F6P/e1, lemma 2.14
History
- 2026-10-28: add by m2/v0.4.2
PEHM6VNQPR PEHM6VNQPR
| URI | m2://inv/PEHM6VNQPR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#problem-6 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
PEHNENS4WC PEHNENS4WC
| URI | m2://inv/PEHNENS4WC |
|---|---|
| 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.05722#RLNM (statement). In NDKWV5J14V/e1, lemma 2.13
History
- 2026-10-29: add by m2/v0.4.10
Edward Szpilrajn PEHPMWVAEA
| URI | m2://inv/PEHPMWVAEA |
|---|---|
| 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#H5KH, Edward Szpilrajn (topic)
History
- 2026-11-02: add by m2/dev
Stratonovich integral PEHX08FCWT
| URI | m2://inv/PEHX08FCWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HQS3, Stratonovich integral (definition)
History
- 2026-11-02: add by m2/dev
Prime arithmetic-interval uniqueness PEJ10W6QJV
| URI | m2://inv/PEJ10W6QJV |
|---|---|
| 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.17006#ENDC, Prime arithmetic-interval uniqueness (statement). In YY81ZEJ82P/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
\bf{Basis Invariance PEJ7WQZKQ8
| URI | m2://inv/PEJ7WQZKQ8 |
|---|---|
| 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.03661#NBNR, \bf{Basis Invariance (statement). In ESDKTYDHC8/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
PEJAW509CQ PEJAW509CQ
| URI | m2://inv/PEJAW509CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.07240#S8QB (statement). In D0F1GK5AHW/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
PEJBAH07G8 PEJBAH07G8
| URI | m2://inv/PEJBAH07G8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#ROYS (statement). In WJD9YPGGYH/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.3.5
PEJJCA11DF PEJJCA11DF
| URI | m2://inv/PEJJCA11DF |
|---|---|
| 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.21921#PH3A (statement). In CM2YEK9T4F/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
Formulation PEJK15PYNG
| URI | m2://inv/PEJK15PYNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrhenius equation#YX8Y, Formulation (definition)
History
- 2026-11-02: add by m2/dev
PEJKM4B5WC PEJKM4B5WC
| URI | m2://inv/PEJKM4B5WC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36823#HSAF (statement). In 55WT8DME6Y/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
quantum entanglement PEJRPYEA4F
| URI | m2://inv/PEJRPYEA4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q215675, quantum entanglement (unknown). Also nLab entanglement
- wikipedia: Wikipedia Quantum entanglement, Quantum entanglement (definition). Also Wikidata Q215675
History
- 2026-10-26: add by m2/dev
Uniform half density PEJWQ7RJJ6
| URI | m2://inv/PEJWQ7RJJ6 |
|---|---|
| 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.05442#QPRW, Uniform half density (statement). In WEPE51JCHZ/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Almgren Frequency PEJX195THH
| URI | m2://inv/PEJX195THH |
|---|---|
| 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.18270#OX0L, Almgren Frequency (statement). In CPDMYJ0NJV/e1, proposition 2.13
History
- 2026-10-28: add by m2/v0.4.2
PEJXQF54WY PEJXQF54WY
| URI | m2://inv/PEJXQF54WY |
|---|---|
| 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 2511.17751#9MSQ (statement). In J39X0NB31S/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
PEK3GQJDCS PEK3GQJDCS
| URI | m2://inv/PEK3GQJDCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#6XJ8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples PEK5CG7P37
| URI | m2://inv/PEK5CG7P37 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solvmanifold#M7WF, Examples (example)
History
- 2026-11-02: add by m2/dev
PEKDCC2EZW PEKDCC2EZW
| URI | m2://inv/PEKDCC2EZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#F5B6 (statement). In X47RYAZF8P/e1, lemma 6.20
History
- 2026-10-28: add by m2/v0.4.2
PEKJG22C0S PEKJG22C0S
| URI | m2://inv/PEKJG22C0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.40017#LNV9 (statement). In MBHJA0HT06/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
Hall's conjecture PEKQX6TJ7H
| URI | m2://inv/PEKQX6TJ7H |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#JI28, Hall's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Eilenberg–Zilber theorem PEKSS2HSS1
| URI | m2://inv/PEKSS2HSS1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 55-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1349282, Eilenberg–Zilber theorem (statement). Also Wikidata Q1349282
- thousand_plus: thousand_plus Q1349282, Eilenberg–Zilber theorem (statement). Also Wikidata Q1349282, Wikipedia Eilenberg–Zilber theorem
- wikipedia: Wikipedia Eilenberg–Zilber theorem, Eilenberg–Zilber theorem (statement). Also Wikidata Q1349282
History
- 2026-10-26: add by m2/dev
Theorems PEKTBYWWHR
| URI | m2://inv/PEKTBYWWHR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Global field#MYV0, Theorems (statement)
History
- 2026-11-02: add by m2/dev
PEKWP38B3H PEKWP38B3H
| URI | m2://inv/PEKWP38B3H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-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 2609.25168#TSZS (definition)
History
- 2026-11-01: add by m2/v0.6.15
PEM5AV998X PEM5AV998X
| URI | m2://inv/PEM5AV998X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19954#RS18 (statement). In AXPPYWYJZ5/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
Thornton Carle Fry PEM7XTZ4QE
| URI | m2://inv/PEM7XTZ4QE |
|---|---|
| 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#3QMK, Thornton Carle Fry (topic)
History
- 2026-11-02: add by m2/dev
Examples PEM7ZMPGRM
| URI | m2://inv/PEM7ZMPGRM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunctive sequence#1H1C, Examples (example)
History
- 2026-11-02: add by m2/dev
Kenneth Jon Barwise PEM9C2GGQS
| URI | m2://inv/PEM9C2GGQS |
|---|---|
| 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#IWUU, Kenneth Jon Barwise (topic)
History
- 2026-11-02: add by m2/dev
PEMARXDKME PEMARXDKME
| URI | m2://inv/PEMARXDKME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.25801#9XJZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
prime element PEMB7C1PQG
| URI | m2://inv/PEMB7C1PQG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Prime element 01VH21EV6F |
Mentions
- wikidata: Wikidata Q240651, prime element (unknown). Also MathWorld PrimeElement, nLab prime element
- wikipedia: Wikipedia Prime element, Prime element (object). Also Wikidata Q240651
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Hattendorff's theorem PEMCJGGZPE
| URI | m2://inv/PEMCJGGZPE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hattendorff's theorem, Hattendorff's theorem (statement). Also Wikidata Q25109625
History
- 2026-11-02: add by m2/dev
snark PEMD3PCA0H
| URI | m2://inv/PEMD3PCA0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#4DT3, snark (definition)
History
- 2026-11-02: add by m2/dev
Low-dimensional topology PEMDKVMPK7
| URI | m2://inv/PEMDKVMPK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#MICS, Low-dimensional topology (definition)
History
- 2026-11-02: add by m2/dev
PEMFDMD9QD PEMFDMD9QD
| URI | m2://inv/PEMFDMD9QD |
|---|---|
| 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.21399#ZDK0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Diaconis and Graham PEMJ968HJC
| URI | m2://inv/PEMJ968HJC |
|---|---|
| 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.17479#72IG, Diaconis and Graham (statement). In 4FWAY748N7/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
⯑ PEMPNS6XHP
| URI | m2://inv/PEMPNS6XHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical operators and symbols in Unicode#9GTY, ⯑ (unknown)
History
- 2026-11-02: add by m2/dev
PEMSC3GBPF PEMSC3GBPF
| URI | m2://inv/PEMSC3GBPF |
|---|---|
| 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#IICO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Johann Makowsky PEN9XYQGNE
| URI | m2://inv/PEN9XYQGNE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Makowsky, Johann Makowsky (topic). Also Wikidata Q17489674
History
- 2026-11-02: add by m2/dev
Properties PENFV67GHD
| URI | m2://inv/PENFV67GHD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet-multinomial distribution#3XV4, Properties (statement)
History
- 2026-11-02: add by m2/dev
PENG5WJRYA PENG5WJRYA
| URI | m2://inv/PENG5WJRYA |
|---|---|
| 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.39531#B4OU (statement). In SN9RSTHQ07/e1, lemma H.5
History
- 2026-10-30: add by m2/v0.4.12
Orthogonality for the Gauss products PENJ2AK744
| URI | m2://inv/PENJ2AK744 |
|---|---|
| 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.07905#SMOJ, Orthogonality for the Gauss products (statement). In 88GEN3Z5VG/e1, lemma 7.6
History
- 2026-10-29: add by m2/v0.4.10
Properties PENJHP8X2Y
| URI | m2://inv/PENJHP8X2Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic progression topologies#UWO9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Midpoint-stretching polygon PENRD3DWP2
| URI | m2://inv/PENRD3DWP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Midpoint-stretching polygon, Midpoint-stretching polygon (definition). Also Wikidata Q6842954
History
- 2026-11-02: add by m2/dev
PENW30VGWR PENW30VGWR
| URI | m2://inv/PENW30VGWR |
|---|---|
| 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.39293#UJ1C (statement). In S26QVW5613/e1, proposition 4.6.3
History
- 2026-10-30: add by m2/v0.4.12
Supercitical sharpness for FK-Ising PEP7VYJD34
| URI | m2://inv/PEP7VYJD34 |
|---|---|
| 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.20583#EKT5, Supercitical sharpness for FK-Ising (statement). In 5YEEPDPAQE/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.4.2
PEP9JZ63MK PEP9JZ63MK
| URI | m2://inv/PEP9JZ63MK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/expressive-power.tex#ex-2 (example). In PKGMM3P5QY, ex, section 67.1
History
- 2026-11-01: add by m2/v0.6.13
Small Veblen ordinal PEPAM2THY0
| URI | m2://inv/PEPAM2THY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small Veblen ordinal, Small Veblen ordinal (definition). Also Wikidata Q7542961
History
- 2026-11-02: add by m2/dev
Gregorius Itelson PEPASSEXXE
| URI | m2://inv/PEPASSEXXE |
|---|---|
| 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#88XQ, Gregorius Itelson (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JVEG, Gregorius Itelson (unknown)
History
- 2026-11-02: add by m2/dev
PEPCTRQ7VJ PEPCTRQ7VJ
| URI | m2://inv/PEPCTRQ7VJ |
|---|---|
| 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.08091#9I9C (statement). In MS13WE3CSD/e1, theorem 2.16
History
- 2026-10-29: add by m2/v0.4.10
PEPFP25ZGG PEPFP25ZGG
| URI | m2://inv/PEPFP25ZGG |
|---|---|
| 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.21036#SOHH (statement). In G0M4N3E0CG/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
Boundary blow-up of the diagonal regular part PEPJXD0PAM
| URI | m2://inv/PEPJXD0PAM |
|---|---|
| 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.08011#0I7P, Boundary blow-up of the diagonal regular part (statement). In K0BXT951HT/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.10
Formal definition PEPMVBWXGB
| URI | m2://inv/PEPMVBWXGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random-access machine#ZJ2X, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
PEPRCQ424Z PEPRCQ424Z
| URI | m2://inv/PEPRCQ424Z |
|---|---|
| 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#JUSD (statement). In CY1FE8W1ZW/e1, lemma 0.24
History
- 2026-10-27: add by m2/v0.4.0
Test functions for optimization PEPTY1KBCP
| URI | m2://inv/PEPTY1KBCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Test functions for optimization, Test functions for optimization (definition). Also Wikidata Q7705773
History
- 2026-11-02: add by m2/dev
PEPX6EFR8V PEPX6EFR8V
| URI | m2://inv/PEPX6EFR8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#K7XW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Martin Heidegger PEQ1AXCJEY
| URI | m2://inv/PEQ1AXCJEY |
|---|---|
| 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 Q48301, Martin Heidegger (unknown). Also nLab Martin Heidegger
History
- 2026-10-26: add by m2/dev
PEQ56RFKX1 PEQ56RFKX1
| URI | m2://inv/PEQ56RFKX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#XU5T (statement). In XEQD21EBTT/e1, lemma 5.10
History
- 2026-10-28: add by m2/v0.4.2
De Morgan negation PEQDWQ6JT6
| URI | m2://inv/PEQDWQ6JT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#MXPD, De Morgan negation (definition)
History
- 2026-11-02: add by m2/dev
Lorentz factor PER3BCJ6SH
| URI | m2://inv/PER3BCJ6SH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorentz factor, Lorentz factor (definition). Also Wikidata Q599404
History
- 2026-11-02: add by m2/dev
Meyerhoff manifold PER8STTT3A
| URI | m2://inv/PER8STTT3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meyerhoff manifold, Meyerhoff manifold (definition). Also Wikidata Q17098901
History
- 2026-11-02: add by m2/dev
Normalized Newton factor PERBYNN9F5
| URI | m2://inv/PERBYNN9F5 |
|---|---|
| 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.03242#YM6N, Normalized Newton factor (statement). In MJE6HRC6PX/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Formalization of abduction PEREYYQ6KF
| URI | m2://inv/PEREYYQ6KF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abductive reasoning#52Y3, Formalization of abduction (unknown)
History
- 2026-11-02: add by m2/dev
PERH0KXYJJ PERH0KXYJJ
| URI | m2://inv/PERH0KXYJJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-9 (example). In E9HS8K3A52, example, section 10.4.1
History
- 2026-11-01: add by m2/v0.6.13
PERHY5B8JY PERHY5B8JY
| URI | m2://inv/PERHY5B8JY |
|---|---|
| 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.23128#P5DD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Bateman function PERMJWFXY7
| URI | m2://inv/PERMJWFXY7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q810749, Bateman function (concept). Also EoM Bateman_function
- wikipedia: Wikipedia Bateman function, Bateman function (definition). Also Wikidata Q810749
History
- 2026-10-26: add by m2/dev
PERNETRDVM PERNETRDVM
| URI | m2://inv/PERNETRDVM |
|---|---|
| Kind | statement |
| 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 2609.35858#8R5N (statement). In R2K4HZN8RW/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
PERQQ32H3G PERQQ32H3G
| URI | m2://inv/PERQQ32H3G |
|---|---|
| Kind | example |
| 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 2102.12931#X7L2 (example). In PQHTR84RAJ/e1, example 5.12
History
- 2026-10-27: add by m2/v0.4.0
PERV44T872 PERV44T872
| URI | m2://inv/PERV44T872 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-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 2111.14699#YPSV (statement). In ES1CVGG59Y/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.3.5
Bolesław Szymański PERYEVMTE0
| URI | m2://inv/PERYEVMTE0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3LXB, Bolesław Szymański (unknown)
History
- 2026-11-02: add by m2/dev
Circle packing in a rectangle PES5PMFAE8
| URI | m2://inv/PES5PMFAE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle packing in a square#P8T4, Circle packing in a rectangle (unknown)
History
- 2026-11-02: add by m2/dev
PES6DMQMC3 PES6DMQMC3
| URI | m2://inv/PES6DMQMC3 |
|---|---|
| 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.12619#9AG8 (statement). In 7F8KACT5AJ/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Standard fundamental domain PES7MGXYZT
| URI | m2://inv/PES7MGXYZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental domain#9WYZ, Standard fundamental domain (unknown)
History
- 2026-11-02: add by m2/dev
Graph manifold PESBS1B6GP
| URI | m2://inv/PESBS1B6GP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph manifold, Graph manifold (definition). Also Wikidata Q4148033
History
- 2026-11-02: add by m2/dev
survivorship curve PESCGFSJEN
| URI | m2://inv/PESCGFSJEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q332796, survivorship curve (unknown). Also MathWorld SurvivorshipCurve
- wikipedia: Wikipedia Survivorship curve, Survivorship curve (definition). Also Wikidata Q332796
History
- 2026-10-26: add by m2/dev
PESFYFSG76 PESFYFSG76
| URI | m2://inv/PESFYFSG76 |
|---|---|
| Kind | definition |
| 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 2110.06338#RXPM (definition). In W1VVK7WDPK/e1, definition 2.15
History
- 2026-10-27: add by m2/v0.4.0
Hill climbing PESG5XECDS
| URI | m2://inv/PESG5XECDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hill climbing, Hill climbing (definition). Also Wikidata Q820272
History
- 2026-11-02: add by m2/dev
Group isomorphism PESM0FDH6R
| URI | m2://inv/PESM0FDH6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group isomorphism, Group isomorphism (definition). Also Wikidata Q742064
History
- 2026-11-02: add by m2/dev
Instrument calculus for CoT PESPG5576S
| URI | m2://inv/PESPG5576S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25039#TLB2, Instrument calculus for CoT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hermann Brunn PESR46ENJP
| URI | m2://inv/PESR46ENJP |
|---|---|
| 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#HCFV, Hermann Brunn (topic)
History
- 2026-11-02: add by m2/dev
PESYKFP3N3 PESYKFP3N3
| URI | m2://inv/PESYKFP3N3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#theorem-4 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
PESYR9J6DN PESYR9J6DN
| URI | m2://inv/PESYR9J6DN |
|---|---|
| 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.23238#57UL (statement)
History
- 2026-11-02: add by m2/v0.6.17
PET0MP856G PET0MP856G
| URI | m2://inv/PET0MP856G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#EIQB (statement). In 5KR3MHYVV6/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
PET1QX6ZND PET1QX6ZND
| URI | m2://inv/PET1QX6ZND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#FRAT (statement). In 6HJQXZS0A6/e1, lemma 6.14
History
- 2026-10-29: add by m2/v0.4.12
PETGCX3VPX PETGCX3VPX
| URI | m2://inv/PETGCX3VPX |
|---|---|
| Kind | example |
| 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 2610.17004#U9SZ (example). In XNJGNMS6H0/e1, example 4.6
History
- 2026-10-28: add by m2/v0.4.2
Fox H-function PETRHFZTP0
| URI | m2://inv/PETRHFZTP0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fox H-function EAZMKENA4N |
Mentions
- wikidata: Wikidata Q8565199, Fox H-function (concept). Also MathWorld FoxH-Function
- wikipedia: Wikipedia Fox H-function, Fox H-function (definition). Also Wikidata Q8565199
History
- 2026-10-26: add by m2/dev
PETXZNY6JQ PETXZNY6JQ
| URI | m2://inv/PETXZNY6JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35229#CMT7 (statement). In XBAXW1YBAK/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
PEV05PT55A PEV05PT55A
| URI | m2://inv/PEV05PT55A |
|---|---|
| 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.12054#8N0L (statement). In 1A01NFHBGA/e1, lemma 1.14
History
- 2026-10-28: add by m2/v0.4.3
Hankel transform PEV1XHQM4P
| URI | m2://inv/PEV1XHQM4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier-related transforms#C3TC, Hankel transform (definition)
History
- 2026-11-02: add by m2/dev
PEV4RJ76FN PEV4RJ76FN
| URI | m2://inv/PEV4RJ76FN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16475#3SZA (definition). In FM9SKN560Q/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Construction PEV4YKFBR0
| URI | m2://inv/PEV4YKFBR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brocard points#XVIL, Construction (definition)
History
- 2026-11-02: add by m2/dev
PEVD0X2BP8 PEVD0X2BP8
| URI | m2://inv/PEVD0X2BP8 |
|---|---|
| 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.25823#7JH8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PEVJFE0T78 PEVJFE0T78
| URI | m2://inv/PEVJFE0T78 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InfinitudeOfPrimes.tex#proof-1 (proof). In P1C114YBXG, proof, section D
History
- 2026-11-01: add by m2/v0.6.13
PEVJSE7Z1C PEVJSE7Z1C
| URI | m2://inv/PEVJSE7Z1C |
|---|---|
| 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.08198#S4XK (statement). In 50K0H8HRED/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
PEVMX1ZWD9 PEVMX1ZWD9
| URI | m2://inv/PEVMX1ZWD9 |
|---|---|
| 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.35030#T531 (statement). In DPT4P2BTEW/e1, theorem 10.5
History
- 2026-10-30: add by m2/v0.4.12
copper PEVXK3YNT0
| URI | m2://inv/PEVXK3YNT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q753, copper (definition). Also ProofWiki Definition:Copper
History
- 2026-10-26: add by m2/dev
PEVY0AP12M PEVY0AP12M
| URI | m2://inv/PEVY0AP12M |
|---|---|
| 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.03081#JP6F (statement). In TX0H26X4VX/e1, theorem 7.13
History
- 2026-10-29: add by m2/v0.4.12
Dirichlet series PEVYC6E6VS
| URI | m2://inv/PEVYC6E6VS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#8EQ1, Dirichlet series (definition)
History
- 2026-11-02: add by m2/dev
PEW2Q42V5E PEW2Q42V5E
| URI | m2://inv/PEW2Q42V5E |
|---|---|
| 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 2408.13548#2EOB (definition). In EQF1ZQ5K1S/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.4.0
PEW8RZ121E PEW8RZ121E
| URI | m2://inv/PEW8RZ121E |
|---|---|
| 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 2103.12669#GABH (statement). In ZA6XNBA90V/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Omnibus test PEWBB3ECTB
| URI | m2://inv/PEWBB3ECTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omnibus test, Omnibus test (definition). Also Wikidata Q1669154
History
- 2026-11-02: add by m2/dev
PEWSXJ7C1A PEWSXJ7C1A
| URI | m2://inv/PEWSXJ7C1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.25468#W32S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Special cases PEX4V2Z6H5
| URI | m2://inv/PEX4V2Z6H5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presheaf with transfers#WTZI, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Generalizations PEX7B4318J
| URI | m2://inv/PEX7B4318J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean algorithm#6ZWS, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
PEXD0DZJHW PEXD0DZJHW
| URI | m2://inv/PEXD0DZJHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13214#37R6 (statement). In 4GRNWWH88J/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
PEXH5GM1VY PEXH5GM1VY
| URI | m2://inv/PEXH5GM1VY |
|---|---|
| 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 2509.09379#KNSF (statement). In DJXA86KDY8/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
PEXJ2873HR PEXJ2873HR
| URI | m2://inv/PEXJ2873HR |
|---|---|
| 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 2610.20386#YJC5 (statement). In 4WC4V49KAC/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.2
PEXWDS1XGV PEXWDS1XGV
| URI | m2://inv/PEXWDS1XGV |
|---|---|
| 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.31907#U891 (statement). In 6B2PCEGCYZ/e1, lemma 6.10
History
- 2026-10-31: add by m2/v0.5.6
Percus–Yevick approximation PEXWPW9CH4
| URI | m2://inv/PEXWPW9CH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percus–Yevick approximation, Percus–Yevick approximation (definition). Also Wikidata Q3620962
History
- 2026-11-02: add by m2/dev
PEXX58BTEF PEXX58BTEF
| URI | m2://inv/PEXX58BTEF |
|---|---|
| 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.26521#HGLH (statement)
History
- 2026-11-01: add by m2/v0.6.15
PEY4S2XAJ5 PEY4S2XAJ5
| URI | m2://inv/PEY4S2XAJ5 |
|---|---|
| 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 2205.13464#X7PF (statement). In JPYGC2R3FC/e1, proposition 6.8
History
- 2026-10-27: add by m2/v0.3.6
PEY4X4M9P6 PEY4X4M9P6
| URI | m2://inv/PEY4X4M9P6 |
|---|---|
| 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 2401.05118#2TES (statement). In BT0T0QS2TN/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.4.0
From the covering lemma to the covering theorem PEYCNRAX40
| URI | m2://inv/PEYCNRAX40 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali covering lemma#MV13, From the covering lemma to the covering theorem (statement)
History
- 2026-11-02: add by m2/dev
PEYH9F1WS5 PEYH9F1WS5
| URI | m2://inv/PEYH9F1WS5 |
|---|---|
| Kind | example |
| 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.10581#Z3HP (example). In 6V42A71SPC/e1, example 1
History
- 2026-10-29: add by m2/v0.4.10
Transversal Clifford gates on the $\mathbb{Z}_5$ Reed--Solomon code PEYHWXNQHW
| URI | m2://inv/PEYHWXNQHW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#FBRP, Transversal Clifford gates on the $\mathbb{Z}_5$ Reed--Solomon code (example). In YZNK67K060/e1, example 5.3
History
- 2026-10-29: add by m2/v0.4.12
PEYNDZNY65 PEYNDZNY65
| URI | m2://inv/PEYNDZNY65 |
|---|---|
| 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.11900#QNXP (statement). In TV4E4ZEAM4/e1, theorem IV.1
History
- 2026-10-28: add by m2/v0.4.3
Zellig Harris PEYRRKC852
| URI | m2://inv/PEYRRKC852 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#PY6I, Zellig Harris (unknown)
History
- 2026-11-02: add by m2/dev
PEYZKMADVP PEYZKMADVP
| URI | m2://inv/PEYZKMADVP |
|---|---|
| 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.00525#7UHM (statement). In JN34PDDXH8/e1, lemma 2.10
History
- 2026-10-30: add by m2/v0.4.12
PEZ27TF2W3 PEZ27TF2W3
| URI | m2://inv/PEZ27TF2W3 |
|---|---|
| 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.00934#ZFSU (statement). In SHCQDPCF2J/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
1930 Dutch East Indies census PEZ3VXTCDM
| URI | m2://inv/PEZ3VXTCDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1930 Dutch East Indies census, 1930 Dutch East Indies census (definition). Also Wikidata Q115715680
History
- 2026-11-02: add by m2/dev
Linear crossing defect PEZ6T9Y09K
| URI | m2://inv/PEZ6T9Y09K |
|---|---|
| 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.37208#6G5E, Linear crossing defect (statement). In 7MCBCP4T0B/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
9-demicube PEZ85W5TYQ
| URI | m2://inv/PEZ85W5TYQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#A25P, 9-demicube (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#09Y5, 9-demicube (object)
History
- 2026-11-02: add by m2/dev
Examples PEZ98R9HXQ
| URI | m2://inv/PEZ98R9HXQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical hypothesis test#Y652, Examples (example)
History
- 2026-11-02: add by m2/dev
Keith Briggs PEZAGJJ0JZ
| URI | m2://inv/PEZAGJJ0JZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F0V5, Keith Briggs (unknown)
History
- 2026-11-02: add by m2/dev
Relationships among probability distributions PEZG1GK2W2
| URI | m2://inv/PEZG1GK2W2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WZDR, Relationships among probability distributions (definition)
History
- 2026-11-02: add by m2/dev
Linear stability of the positive homogeneous equilibrium PEZHJDS30D
| URI | m2://inv/PEZHJDS30D |
|---|---|
| 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.08374#IDA1, Linear stability of the positive homogeneous equilibrium (statement). In XYVSD6A7GV/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.10
Johann Georg Rosenhain PEZHTSF99E
| URI | m2://inv/PEZHTSF99E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Georg Rosenhain, Johann Georg Rosenhain (topic). Also Wikidata Q67400
History
- 2026-11-02: add by m2/dev
D7 lattice PEZJ58V94T
| URI | m2://inv/PEZJ58V94T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 7-demicubic honeycomb#7H12, D7 lattice (unknown)
History
- 2026-11-02: add by m2/dev
spinor PEZQVBKW42
| URI | m2://inv/PEZQVBKW42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q604907, spinor (unknown). Also EoM Spinor, MathWorld Spinor
- wikipedia: Wikipedia Spinor, Spinor (definition). Also Wikidata Q604907
History
- 2026-10-26: add by m2/dev
Jeffrey Rabin PEZRS6GAG9
| URI | m2://inv/PEZRS6GAG9 |
|---|---|
| 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 Q59752470, Jeffrey Rabin (unknown). Also nLab Jeffrey Rabin
History
- 2026-10-26: add by m2/dev
PEZVTC8YC4 PEZVTC8YC4
| URI | m2://inv/PEZVTC8YC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 30-XX, 32-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 2609.26808#4C6I (statement)
History
- 2026-11-01: add by m2/v0.6.15