Inventory rows 7C
The cards of the rows of the inventory whose ids start with 7C. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
7C0H6DRWHC 7C0H6DRWHC
| URI | m2://inv/7C0H6DRWHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#YQT8 (statement). In RBQ5FNCVNZ/e1, lemma B.7
History
- 2026-10-30: add by m2/v0.4.12
The method 7C0HJGKWW4
| URI | m2://inv/7C0HJGKWW4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least squares#PQEH, The method (definition)
History
- 2026-11-02: add by m2/dev
Sum and difference formulas 7C0HK5EXQ1
| URI | m2://inv/7C0HK5EXQ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric functions#MOQI, Sum and difference formulas (statement)
History
- 2026-11-02: add by m2/dev
7C0WCCW2K4 7C0WCCW2K4
| URI | m2://inv/7C0WCCW2K4 |
|---|---|
| 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.18632#OCYG (statement). In PTM5MVD4M0/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Lambert summation 7C15RK9K5C
| URI | m2://inv/7C15RK9K5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambert summation, Lambert summation (definition). Also Wikidata Q6481320
History
- 2026-11-02: add by m2/dev
7C16KFFSXP 7C16KFFSXP
| URI | m2://inv/7C16KFFSXP |
|---|---|
| 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.20311#TQQ8 (statement). In SW758TCN31/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
modulus 7C172V9KYW
| URI | m2://inv/7C172V9KYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex plane#NL08, modulus (definition)
History
- 2026-11-02: add by m2/dev
tact invariant 7C17K9VG8P
| URI | m2://inv/7C17K9VG8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#2854, tact invariant (definition)
History
- 2026-11-02: add by m2/dev
Eric Temple Bell 7C1EPC77DE
| URI | m2://inv/7C1EPC77DE |
|---|---|
| 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#03I1, Eric Temple Bell (topic)
History
- 2026-11-02: add by m2/dev
7C1EV0K3HJ 7C1EV0K3HJ
| URI | m2://inv/7C1EV0K3HJ |
|---|---|
| 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.11440#5S98 (statement). In KBV6TD64F1/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.3
7C1HXDEH8E 7C1HXDEH8E
| URI | m2://inv/7C1HXDEH8E |
|---|---|
| Kind | example |
| 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.20899#ZCY4 (example). In BSMDFADA39/e1, example 1.2
History
- 2026-10-27: add by m2/v0.4.2
7C1Q2JBG49 7C1Q2JBG49
| URI | m2://inv/7C1Q2JBG49 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23833#DBEM (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition 7C1YTGE0TG
| URI | m2://inv/7C1YTGE0TG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointwise mutual information#9RWX, Definition (definition)
History
- 2026-11-02: add by m2/dev
7C21FT8CZE 7C21FT8CZE
| URI | m2://inv/7C21FT8CZE |
|---|---|
| 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.15262#A983 (statement). In C44HVXWYRF/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
Formulation 7C25NC1WDE
| URI | m2://inv/7C25NC1WDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple continued fraction#2UU2, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Colex 7C2794BF6M
| URI | m2://inv/7C2794BF6M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexicographic order#7JGB, Colex (unknown)
History
- 2026-11-02: add by m2/dev
Welch–Satterthwaite equation 7C2EV6JFPP
| URI | m2://inv/7C2EV6JFPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Welch–Satterthwaite equation, Welch–Satterthwaite equation (definition). Also Wikidata Q13107586
History
- 2026-11-02: add by m2/dev
7C2FT5RZ9Q 7C2FT5RZ9Q
| URI | m2://inv/7C2FT5RZ9Q |
|---|---|
| Kind | definition |
| 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#P0IT (definition). In CM2YEK9T4F/e1, definition 5.7
History
- 2026-10-27: add by m2/v0.4.2
7C2GE7SB57 7C2GE7SB57
| URI | m2://inv/7C2GE7SB57 |
|---|---|
| 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.07290#UN5X (statement). In WC7BN66XSN/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
7C2GEKW513 7C2GEKW513
| URI | m2://inv/7C2GEKW513 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28412#4BUL (statement)
History
- 2026-11-01: add by m2/v0.6.15
7C2GYXK7RS 7C2GYXK7RS
| URI | m2://inv/7C2GYXK7RS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-5-1-2.xml#act-5-1-2 (exercise). In 907G4C4EJ1, activity, section 5.1.3
History
- 2026-11-01: add by m2/v0.6.13
7C2PQ1CZZ6 7C2PQ1CZZ6
| URI | m2://inv/7C2PQ1CZZ6 |
|---|---|
| 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.27168#N3D7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ward's method 7C2T05MZW2
| URI | m2://inv/7C2T05MZW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MAIA, Ward's method (definition)
History
- 2026-11-02: add by m2/dev
Definition 7C312WJA80
| URI | m2://inv/7C312WJA80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial functor#AQRW, Definition (definition)
History
- 2026-11-02: add by m2/dev
7C31B03G83 7C31B03G83
| URI | m2://inv/7C31B03G83 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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.11902#ILRD (definition). In K66QKM4N5E/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.3
7C328Z93B4 7C328Z93B4
| URI | m2://inv/7C328Z93B4 |
|---|---|
| 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 2610.20376#QMSG (statement). In DGTCGQX6YZ/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Applications 7C38WHRHK5
| URI | m2://inv/7C38WHRHK5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum authentication#RWT1, Applications (example)
History
- 2026-11-02: add by m2/dev
7C3A5EZXZ3 7C3A5EZXZ3
| URI | m2://inv/7C3A5EZXZ3 |
|---|---|
| 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 2503.08018#NZ5R (statement). In TN93YFN45W/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.4.0
7C3AVDAJZD 7C3AVDAJZD
| URI | m2://inv/7C3AVDAJZD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.14956#FJXQ (definition). In T8BQ6HHZYT/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Nichols algebra 7C3QT2RFEP
| URI | m2://inv/7C3QT2RFEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nichols algebra, Nichols algebra (definition). Also Wikidata Q17099388
History
- 2026-11-02: add by m2/dev
Example 7C3T71RJN9
| URI | m2://inv/7C3T71RJN9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blocknots#2M3M, Example (example)
History
- 2026-11-02: add by m2/dev
Schwarz triangle function 7C3X6CAQX5
| URI | m2://inv/7C3X6CAQX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz triangle function, Schwarz triangle function (definition). Also Wikidata Q30324144
History
- 2026-11-02: add by m2/dev
International Society for Mathematical Sciences 7C3YBK6JD1
| URI | m2://inv/7C3YBK6JD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#YJHT, International Society for Mathematical Sciences (definition)
History
- 2026-11-02: add by m2/dev
rational 7C42FK3W8S
| URI | m2://inv/7C42FK3W8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#KIQ7, rational (definition)
History
- 2026-11-02: add by m2/dev
7C44JX0K6S 7C44JX0K6S
| URI | m2://inv/7C44JX0K6S |
|---|---|
| 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.14667#3GGB (statement). In EV886Y8PD7/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
The theorem 7C4GMGMEY1
| URI | m2://inv/7C4GMGMEY1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aumann's agreement theorem#XD4W, The theorem (statement)
History
- 2026-11-02: add by m2/dev
A variant 7C4KFPJ9WG
| URI | m2://inv/7C4KFPJ9WG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester matrix#GP6E, A variant (statement)
History
- 2026-11-02: add by m2/dev
7C4TZDFDN2 7C4TZDFDN2
| URI | m2://inv/7C4TZDFDN2 |
|---|---|
| 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.16727#IVBF (statement). In Z5QS3MD8HN/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
7C4WXBYBMB 7C4WXBYBMB
| URI | m2://inv/7C4WXBYBMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#ICAD (statement). In 9S7HGSEX6Q/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
7C5HRR3Y8E 7C5HRR3Y8E
| URI | m2://inv/7C5HRR3Y8E |
|---|---|
| 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.31327#L41N (statement). In F605BQ3AYX/e1, proposition 2.5
History
- 2026-10-31: add by m2/v0.5.6
7C5R21JJXD 7C5R21JJXD
| URI | m2://inv/7C5R21JJXD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-4 (exercise). In E9HS8K3A52, exercise, section 9.1.6
History
- 2026-11-01: add by m2/v0.6.13
7C5RFE0ZZT 7C5RFE0ZZT
| URI | m2://inv/7C5RFE0ZZT |
|---|---|
| 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.22784#2LUM (statement)
History
- 2026-11-02: add by m2/v0.6.17
Donald Aronson 7C5TZHKVEM
| URI | m2://inv/7C5TZHKVEM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald Aronson, Donald Aronson (topic). Also Wikidata Q30069605
History
- 2026-11-02: add by m2/dev
7C5XV5PKZ4 7C5XV5PKZ4
| URI | m2://inv/7C5XV5PKZ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-2.xml#example-wavelet-basis (example). In 649HGZKE96, example, section 3.2.4
History
- 2026-11-01: add by m2/v0.6.13
Felix Klein and Sophus Lie 7C5Y8BE8KR
| URI | m2://inv/7C5Y8BE8KR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Felix Klein and Sophus Lie, Felix Klein and Sophus Lie (definition). Also Wikidata Q135206217
History
- 2026-11-02: add by m2/dev
Position operator 7C6GT8KK4B
| URI | m2://inv/7C6GT8KK4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Position operator, Position operator (definition). Also Wikidata Q903835
History
- 2026-11-02: add by m2/dev
Ljunggren equation 7C6KVHYVJ2
| URI | m2://inv/7C6KVHYVJ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stella octangula number#PLU5, Ljunggren equation (unknown)
History
- 2026-11-02: add by m2/dev
7C6RMPDNTZ 7C6RMPDNTZ
| URI | m2://inv/7C6RMPDNTZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2609.21860#LW3A (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications 7C6W5QKD41
| URI | m2://inv/7C6W5QKD41 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multidimensional parity-check code#KIZN, Applications (example)
History
- 2026-11-02: add by m2/dev
7C6WPC5H6Y 7C6WPC5H6Y
| URI | m2://inv/7C6WPC5H6Y |
|---|---|
| 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#6C8W (statement). In 3A4K47Y9F2/e1, lemma 3.32
History
- 2026-10-27: add by m2/v0.4.0
Integration of differential forms and Stokes' theorem for chains 7C72MR79B8
| URI | m2://inv/7C72MR79B8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilinear form#I4QQ, Integration of differential forms and Stokes' theorem for chains (statement)
History
- 2026-11-02: add by m2/dev
7C79P2TD8E 7C79P2TD8E
| URI | m2://inv/7C79P2TD8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 1802.02910#VZ71 (statement). In AY2MA29921/e1, lemma 010
History
- 2026-10-27: add by m2/v0.3.5
Rademacher's theorem 7C79W3FN1Y
| URI | m2://inv/7C79W3FN1Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BMSA, Rademacher's theorem (statement)
History
- 2026-11-02: add by m2/dev
False dilemma 7C7PD5SEMS
| URI | m2://inv/7C7PD5SEMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#P7MN, False dilemma (definition)
History
- 2026-11-02: add by m2/dev
7C7SWHTZC9 7C7SWHTZC9
| URI | m2://inv/7C7SWHTZC9 |
|---|---|
| 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 2601.01000#IK8B (statement). In RYFV9HGWWZ/e1, proposition 50
History
- 2026-10-27: add by m2/v0.3.5
neighbor 7C8A68YVAC
| URI | m2://inv/7C8A68YVAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#J85N, neighbor (definition)
History
- 2026-11-02: add by m2/dev
Trusted root store 7C8B64MTV1
| URI | m2://inv/7C8B64MTV1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Public key certificate#42LL, Trusted root store (unknown)
History
- 2026-11-02: add by m2/dev
Sequentially compact $\iff$ compact 7C8BH0QH6W
| URI | m2://inv/7C8BH0QH6W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#thm:compactness_metric, Sequentially compact $\iff$ compact (statement). In RZP28ERRZV, theorem, section 95.3
History
- 2026-11-01: add by m2/v0.6.13
Hans Albrecht von Beckh-Widmanstetter 7C8KW6SHTB
| URI | m2://inv/7C8KW6SHTB |
|---|---|
| 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#FNPC, Hans Albrecht von Beckh-Widmanstetter (unknown)
History
- 2026-11-02: add by m2/dev
7C8NFTKB4F 7C8NFTKB4F
| URI | m2://inv/7C8NFTKB4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#T8AN (statement). In GXHKRV5BPY/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.10
Example 7C8QHMJ07N
| URI | m2://inv/7C8QHMJ07N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jet bundle#BFUG, Example (example)
History
- 2026-11-02: add by m2/dev
7C8SK5WTC6 7C8SK5WTC6
| URI | m2://inv/7C8SK5WTC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#81XO (statement). In V7SN19J84T/e1, theorem 5.11
History
- 2026-10-28: add by m2/v0.4.2
General converse 7C96EZ83MQ
| URI | m2://inv/7C96EZ83MQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.05364#N6IG, General converse (statement). In TPYRE2ARMD/e1, theorem 6.9
History
- 2026-10-29: add by m2/v0.4.10
Journal of Integer Sequences 7C9AH6KSAD
| URI | m2://inv/7C9AH6KSAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Integer Sequences, Journal of Integer Sequences (definition). Also Wikidata Q15749163
History
- 2026-11-02: add by m2/dev
Trichotomy in the width exponent 7C9C4V9SGS
| URI | m2://inv/7C9C4V9SGS |
|---|---|
| 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.04357#JSW5, Trichotomy in the width exponent (statement). In 6FY8BVP1F3/e1, theorem K.12
History
- 2026-10-29: add by m2/v0.4.12
Uses 7C9QQB72EQ
| URI | m2://inv/7C9QQB72EQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root mean square#MK5O, Uses (example)
History
- 2026-11-02: add by m2/dev
7C9R9CZPFB 7C9R9CZPFB
| URI | m2://inv/7C9R9CZPFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14847#5YMA (statement). In 2RC8WXQ9ET/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
7C9WDG6MQZ 7C9WDG6MQZ
| URI | m2://inv/7C9WDG6MQZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#97HN (definition). In DGE917KQSQ/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Implementations 7C9Z8CNWAY
| URI | m2://inv/7C9Z8CNWAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brent's method#W19M, Implementations (definition)
History
- 2026-11-02: add by m2/dev
7C9ZJTW885 7C9ZJTW885
| URI | m2://inv/7C9ZJTW885 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-198 (exercise). In VNMV985MXX, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
7CA40HVTBP 7CA40HVTBP
| URI | m2://inv/7CA40HVTBP |
|---|---|
| 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#JAGW (statement). In CPDMYJ0NJV/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Gheorghe Moroșanu 7CA9YB0GBV
| URI | m2://inv/7CA9YB0GBV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gheorghe Moroșanu, Gheorghe Moroșanu (topic). Also Wikidata Q19819733
History
- 2026-11-02: add by m2/dev
Kullback–Leibler divergence 7CAP71QXW8
| URI | m2://inv/7CAP71QXW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YK6L, Kullback–Leibler divergence (definition)
- wikipedia: Wikipedia List of probability topics#1JOB, Kullback–Leibler divergence (definition)
History
- 2026-11-02: add by m2/dev
Uniform relative separation of branch points 7CAXC4DPYC
| URI | m2://inv/7CAXC4DPYC |
|---|---|
| Kind | definition |
| 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#T8VE, Uniform relative separation of branch points (definition). In XEQD21EBTT/e1, definition 1.4
History
- 2026-10-28: add by m2/v0.4.2
7CAXN96H12 7CAXN96H12
| URI | m2://inv/7CAXN96H12 |
|---|---|
| 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#ZZM9 (statement). In 1PR73ECTZB/e1, proposition 32
History
- 2026-10-27: add by m2/v0.3.5
measuring coalgebra 7CAXZRRRKE
| URI | m2://inv/7CAXZRRRKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17098815, measuring coalgebra (unknown). Also nLab measuring coalgebra
History
- 2026-10-26: add by m2/dev
7CB7AW3YZP 7CB7AW3YZP
| URI | m2://inv/7CB7AW3YZP |
|---|---|
| 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.37589#H10Q (statement). In 18HVB2SKW1/e1, theorem 2.8
History
- 2026-10-30: add by m2/v0.4.12
Example 7CB8M70MNS
| URI | m2://inv/7CB8M70MNS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian inference in marketing#2I0S, Example (example)
History
- 2026-11-02: add by m2/dev
7CB9TCCT76 7CB9TCCT76
| URI | m2://inv/7CB9TCCT76 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-35 (proof). In N54F33XE07, proof, section 1.13
History
- 2026-11-01: add by m2/v0.6.13
7CBCKDY5QZ 7CBCKDY5QZ
| URI | m2://inv/7CBCKDY5QZ |
|---|---|
| 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.37093#F0M6 (statement). In GA6QH32CJQ/e1, proposition 28
History
- 2026-10-30: add by m2/v0.4.12
Example 7CBEXE2YKG
| URI | m2://inv/7CBEXE2YKG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric table#2O0U, Example (example)
History
- 2026-11-02: add by m2/dev
7CBJ1FV8SV 7CBJ1FV8SV
| URI | m2://inv/7CBJ1FV8SV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#W8GD (statement). In E7BPGPP9Z5/e1, theorem 6.8
History
- 2026-10-29: add by m2/v0.4.10
Rank certificate 7CBQ3ZFK4V
| URI | m2://inv/7CBQ3ZFK4V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#DIRR, Rank certificate (definition). In ZZER8ZBSCR/e1, definition B.1
History
- 2026-10-29: add by m2/v0.4.12
7CBST0N4VW 7CBST0N4VW
| URI | m2://inv/7CBST0N4VW |
|---|---|
| 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 2301.04933#4L2A (statement). In Q70CTMCJTP/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Specialist Operations 7CBX4NC71N
| URI | m2://inv/7CBX4NC71N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#2FDT, Specialist Operations (unknown)
History
- 2026-11-02: add by m2/dev
Examples 7CBXP4VV48
| URI | m2://inv/7CBXP4VV48 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricci-flat manifold#D95X, Examples (example)
History
- 2026-11-02: add by m2/dev
angle chasing 7CBY3QW6YS
| URI | m2://inv/7CBY3QW6YS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#8HC4, angle chasing (definition)
History
- 2026-11-02: add by m2/dev
Hirzebruch signature theorem 7CC12J4GSC
| URI | m2://inv/7CC12J4GSC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7512855, Hirzebruch signature theorem (statement). Also Wikidata Q7512855
- thousand_plus: thousand_plus Q7512855, Hirzebruch signature theorem (statement). Also Wikidata Q7512855, Wikipedia Hirzebruch signature theorem
- wikipedia: Wikipedia Hirzebruch signature theorem, Hirzebruch signature theorem (statement). Also Wikidata Q7512855
History
- 2026-10-26: add by m2/dev
Complex adaptive system 7CC3EECPWT
| URI | m2://inv/7CC3EECPWT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#APY2, Complex adaptive system (unknown)
History
- 2026-11-02: add by m2/dev
7CC43J4E4M 7CC43J4E4M
| URI | m2://inv/7CC43J4E4M |
|---|---|
| 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.20145#K0SA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cartesian spaces; the Jacobian 7CCA0FX1NE
| URI | m2://inv/7CCA0FX1NE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.26270#Y2LT, Cartesian spaces; the Jacobian (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bert Schellekens 7CCBMTWA3Q
| URI | m2://inv/7CCBMTWA3Q |
|---|---|
| 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 Q71165337, Bert Schellekens (unknown). Also nLab Bert Schellekens
History
- 2026-10-26: add by m2/dev
Algorithm 7CCC0X7WPE
| URI | m2://inv/7CCC0X7WPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lenstra elliptic-curve factorization#DKVJ, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
7CCDZCEJ32 7CCDZCEJ32
| URI | m2://inv/7CCDZCEJ32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 2206.11797#XA8X (statement). In 8SJWWZN4FH/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.4.0
7CCK5Z1BTG 7CCK5Z1BTG
| URI | m2://inv/7CCK5Z1BTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14582#7COD (statement). In 6XP6PD2XZA/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
sulfate ion 7CCKKBFCD5
| URI | m2://inv/7CCKKBFCD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q172290, sulfate ion (definition). Also ProofWiki Definition:Sulphate_Ion
History
- 2026-10-26: add by m2/dev
A merged cluster 7CD3T6FEHZ
| URI | m2://inv/7CD3T6FEHZ |
|---|---|
| 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.21301#UWT8, A merged cluster (statement). In W7GCDXAK1K/e1, proposition 6
History
- 2026-10-27: add by m2/v0.4.2
7CD6KBCEN3 7CD6KBCEN3
| URI | m2://inv/7CD6KBCEN3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/primes.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 3.32
History
- 2026-11-01: add by m2/v0.6.13
7CD6VMXTH3 7CD6VMXTH3
| URI | m2://inv/7CD6VMXTH3 |
|---|---|
| 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.22952#4D9N (statement)
History
- 2026-11-02: add by m2/v0.6.17
nontotient 7CDFJZPYDM
| URI | m2://inv/7CDFJZPYDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2048257, nontotient (object). Also MathWorld Nontotient, OEIS A005277
- wikipedia: Wikipedia Nontotient, Nontotient (definition). Also Wikidata Q2048257
History
- 2026-10-26: add by m2/dev
7CDK2B3QN2 7CDK2B3QN2
| URI | m2://inv/7CDK2B3QN2 |
|---|---|
| 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 1903.07030#DLOW (example). In 9H45HQE7AZ/e1, example 3.30
History
- 2026-10-27: add by m2/v0.3.5
7CDKQJ360C 7CDKQJ360C
| URI | m2://inv/7CDKQJ360C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26191#P18C (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Dynamics of an Asteroid 7CDVC9TV8G
| URI | m2://inv/7CDVC9TV8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Dynamics of an Asteroid, The Dynamics of an Asteroid (definition). Also Wikidata Q7731300
History
- 2026-11-02: add by m2/dev
7CE1V205QW 7CE1V205QW
| URI | m2://inv/7CE1V205QW |
|---|---|
| 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#7QDV (statement). In XEQD21EBTT/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
truth function 7CE5F2G7MM
| URI | m2://inv/7CE5F2G7MM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QC1O, truth function (definition)
History
- 2026-11-02: add by m2/dev
7CE814QHC4 7CE814QHC4
| URI | m2://inv/7CE814QHC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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 2108.10246#N03W (statement). In XD0YT3XCW2/e1, proposition 3.12
History
- 2026-10-27: add by m2/v0.3.5
7CECG73CJZ 7CECG73CJZ
| URI | m2://inv/7CECG73CJZ |
|---|---|
| Kind | definition |
| 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#X99T (definition). In S26QVW5613/e1, definition 3.7.3
History
- 2026-10-30: add by m2/v0.4.12
Properties 7CEF5SSCS6
| URI | m2://inv/7CEF5SSCS6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian path#PZHE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Run formula for arbitrary degree 7CEH6GWXYA
| URI | m2://inv/7CEH6GWXYA |
|---|---|
| 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.23781#C9HZ, Run formula for arbitrary degree (statement)
History
- 2026-11-02: add by m2/v0.6.17
7CEJBKKGC0 7CEJBKKGC0
| URI | m2://inv/7CEJBKKGC0 |
|---|---|
| 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.20025#3IQ1 (definition). In 4W1WR4JB89/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.4.2
7CEMGSC47J 7CEMGSC47J
| URI | m2://inv/7CEMGSC47J |
|---|---|
| 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 1701.00517#08JV (statement). In JHPBT88FDW/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
Properties 7CEMXX4RPH
| URI | m2://inv/7CEMXX4RPH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet negative multinomial distribution#QR9P, Properties (statement)
History
- 2026-11-02: add by m2/dev
Sphenomegacorona 7CERNQPK9Y
| URI | m2://inv/7CERNQPK9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#A1S8, Sphenomegacorona (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#6O9G, Sphenomegacorona (definition)
History
- 2026-11-02: add by m2/dev
Baire set 7CFDE07S96
| URI | m2://inv/7CFDE07S96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#FZ75, Baire set (definition)
History
- 2026-11-02: add by m2/dev
Borel graph theorem 7CFE2M172N
| URI | m2://inv/7CFE2M172N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel graph theorem, Borel graph theorem (statement). Also Wikidata Q96373810
History
- 2026-11-02: add by m2/dev
Formula 7CFK3MT1G4
| URI | m2://inv/7CFK3MT1G4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeller's congruence#G7V4, Formula (statement)
History
- 2026-11-02: add by m2/dev
7CFQ69QJZW 7CFQ69QJZW
| URI | m2://inv/7CFQ69QJZW |
|---|---|
| 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.12013#QU4R (statement). In 3V26T0265C/e1, theorem 2.9
History
- 2026-10-28: add by m2/v0.4.3
The Cognitive Style of PowerPoint 7CFT9V86XG
| URI | m2://inv/7CFT9V86XG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Tufte#DM7A, The Cognitive Style of PowerPoint (unknown)
History
- 2026-11-02: add by m2/dev
Phillip Kott 7CFV15BMV5
| URI | m2://inv/7CFV15BMV5 |
|---|---|
| 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#N00H, Phillip Kott (topic)
History
- 2026-11-02: add by m2/dev
Expected utility 7CFVCH7S3Q
| URI | m2://inv/7CFVCH7S3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#D01K, Expected utility (statement)
History
- 2026-11-02: add by m2/dev
7CFYCDZNR0 7CFYCDZNR0
| URI | m2://inv/7CFYCDZNR0 |
|---|---|
| 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.31604#8PXO (statement). In GSN5YTQS2K/e1, lemma 1.27
History
- 2026-10-31: add by m2/v0.5.6
7CFYSQHRZ6 7CFYSQHRZ6
| URI | m2://inv/7CFYSQHRZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15982#CGLX (statement). In KB50SHR229/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.2
Flag-transitive triple systems 7CG1SRMJT9
| URI | m2://inv/7CG1SRMJT9 |
|---|---|
| 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.15340#R3FZ, Flag-transitive triple systems (statement). In 9NVKKW8HDH/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
7CG391MDB3 7CG391MDB3
| URI | m2://inv/7CG391MDB3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 15.4
History
- 2026-11-01: add by m2/v0.6.13
7CG5MQSEY2 7CG5MQSEY2
| URI | m2://inv/7CG5MQSEY2 |
|---|---|
| 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#RJI5 (statement). In E7W2HDNEKJ/e1, proposition 10.14
History
- 2026-10-30: add by m2/v0.4.12
7CG5Z2QSFS 7CG5Z2QSFS
| URI | m2://inv/7CG5Z2QSFS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/minimization-representable.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 29.10
History
- 2026-11-01: add by m2/v0.6.13
Functionality of $\Uc_i^\ast$ 7CGD4C6K9K
| URI | m2://inv/7CGD4C6K9K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#GN7E, Functionality of $\Uc_i^\ast$ (statement). In CPYWHRTPKC/e1, lemma 7.24
History
- 2026-10-27: add by m2/v0.4.2
Properties 7CGHD9DCRT
| URI | m2://inv/7CGHD9DCRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal torus#43D3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Zero-eigenvalue mass and rank loss 7CGMX858ZX
| URI | m2://inv/7CGMX858ZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16680#4NA4, Zero-eigenvalue mass and rank loss (statement). In H29YHXQZV6/e1, proposition 14
History
- 2026-10-28: add by m2/v0.4.2
Du--Zhang 7CGPWPKE27
| URI | m2://inv/7CGPWPKE27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12565#G6YC, Du--Zhang (statement). In 9RYQ164FWA/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Semi-decidability 7CGVVAVN4N
| URI | m2://inv/7CGVVAVN4N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decidability (logic)#E8PR, Semi-decidability (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 7CGYK16NJS
| URI | m2://inv/7CGYK16NJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph flattenability#D3MI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
List of Wenninger polyhedron models 7CH3979S6G
| URI | m2://inv/7CH3979S6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Wenninger polyhedron models, List of Wenninger polyhedron models (topic). Also Wikidata Q3893180
History
- 2026-11-02: add by m2/dev
Example 7CHHD7W6DR
| URI | m2://inv/7CHHD7W6DR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperoperation#9H6H, Example (example)
History
- 2026-11-02: add by m2/dev
Douglas Bernheim 7CHKC9X8AR
| URI | m2://inv/7CHKC9X8AR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3A9Y, Douglas Bernheim (unknown)
History
- 2026-11-02: add by m2/dev
7CHM80H3DZ 7CHM80H3DZ
| URI | m2://inv/7CHM80H3DZ |
|---|---|
| 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.18673#L2HQ (statement). In 7ZFD9XRKA1/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
Statement 7CHSQBZ8ED
| URI | m2://inv/7CHSQBZ8ED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kőnig's theorem (complex analysis)#CZZJ, Statement (statement)
History
- 2026-11-02: add by m2/dev
7CHTJQVTRB 7CHTJQVTRB
| URI | m2://inv/7CHTJQVTRB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#QEEQ (definition). In 5350Q52F6P/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Quillen metric 7CHVBTCPJ5
| URI | m2://inv/7CHVBTCPJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quillen metric, Quillen metric (definition). Also Wikidata Q25305107
History
- 2026-11-02: add by m2/dev
7CJ014XZBB 7CJ014XZBB
| URI | m2://inv/7CJ014XZBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.08839#KAJC (statement). In HJPDS53MX4/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.4.0
Vendergood 7CJ1G1GXKS
| URI | m2://inv/7CJ1G1GXKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William James Sidis#FK6G, Vendergood (unknown)
History
- 2026-11-02: add by m2/dev
7CJ6R6MNBG 7CJ6R6MNBG
| URI | m2://inv/7CJ6R6MNBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#L2R8 (statement). In F8RC6AENB0/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.3.5
7CJ8FC373W 7CJ8FC373W
| URI | m2://inv/7CJ8FC373W |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-11 (proof). In E59CDZA4DP, proof, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
7CJ8FZAMYQ 7CJ8FZAMYQ
| URI | m2://inv/7CJ8FZAMYQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20225#TVMW (example)
History
- 2026-11-02: add by m2/v0.6.18
7CJ9E04FTG 7CJ9E04FTG
| URI | m2://inv/7CJ9E04FTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.19658#AO1B (statement). In G00EYA9DXG/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Back edge 7CJAPC441G
| URI | m2://inv/7CJAPC441G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Depth-first search#TKLW, Back edge (unknown)
History
- 2026-11-02: add by m2/dev
Properties 7CJEG8J5AC
| URI | m2://inv/7CJEG8J5AC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil restriction#WZAK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Binary response model with latent variable 7CJJ0GE4W6
| URI | m2://inv/7CJJ0GE4W6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary regression#83YN, Binary response model with latent variable (unknown)
History
- 2026-11-02: add by m2/dev
weak Kleene connectives 7CJJ970Q4Q
| URI | m2://inv/7CJJ970Q4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#NKIB, weak Kleene connectives (definition)
History
- 2026-11-02: add by m2/dev
Spin multiplet 7CJREQ1VPC
| URI | m2://inv/7CJREQ1VPC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin (physics)#N3CR, Spin multiplet (unknown)
History
- 2026-11-02: add by m2/dev
tu quoque 7CJRSEGV52
| URI | m2://inv/7CJRSEGV52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#OTXL, tu quoque (definition)
History
- 2026-11-02: add by m2/dev
interquartile range (IQR) 7CJVDGRTWR
| URI | m2://inv/7CJVDGRTWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#AUIL, interquartile range (IQR) (definition)
History
- 2026-11-02: add by m2/dev
7CJZ08BZH2 7CJZ08BZH2
| URI | m2://inv/7CJZ08BZH2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#J1PV (definition)
History
- 2026-11-02: add by m2/v0.6.18
7CK0WGC3C3 7CK0WGC3C3
| URI | m2://inv/7CK0WGC3C3 |
|---|---|
| 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.17137#59YU (statement). In GKHSE92M91/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
Volker Oppitz 7CK1NPTKHJ
| URI | m2://inv/7CK1NPTKHJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volker Oppitz (scientist), Volker Oppitz (topic). Also Wikidata Q78243
History
- 2026-11-02: add by m2/dev
Definition 7CK32WAT54
| URI | m2://inv/7CK32WAT54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical Wiener space#18LN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dugald Macpherson 7CKFCT4771
| URI | m2://inv/7CKFCT4771 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dugald Macpherson, Dugald Macpherson (topic). Also Wikidata Q3562480
History
- 2026-11-02: add by m2/dev
Optimal job scheduling 7CKSA74TTM
| URI | m2://inv/7CKSA74TTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal job scheduling, Optimal job scheduling (definition). Also Wikidata Q7062516
History
- 2026-11-02: add by m2/dev
Heine's identity 7CKXTYY0JD
| URI | m2://inv/7CKXTYY0JD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#O13P, Heine's identity (statement)
- wikipedia: Wikipedia List of things named after Eduard Heine#985G, Heine's identity (statement)
History
- 2026-11-02: add by m2/dev
skew 7CM1C0TGC7
| URI | m2://inv/7CM1C0TGC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#FLSE, skew (definition)
History
- 2026-11-02: add by m2/dev
Gauss valuation 7CM4VFQ3HY
| URI | m2://inv/7CM4VFQ3HY |
|---|---|
| Kind | definition |
| 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.05652#RYQ8, Gauss valuation (definition). In 8BNPFYQDQX/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Boy or Girl paradox 7CMQ0ZH5V8
| URI | m2://inv/7CMQ0ZH5V8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#ROSQ, Boy or Girl paradox (statement)
History
- 2026-11-02: add by m2/dev
7CN14HRY1G 7CN14HRY1G
| URI | m2://inv/7CN14HRY1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.02634#64B2 (statement). In EZ6PAF0MXH/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.5
Moffat distribution 7CNJKAMJC5
| URI | m2://inv/7CNJKAMJC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#W0VE, Moffat distribution (definition)
History
- 2026-11-02: add by m2/dev
Thomsen's theorem 7CNQ2VHK0F
| URI | m2://inv/7CNQ2VHK0F |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q19779530, Thomsen's theorem (statement). Also Wikidata Q19779530
- thousand_plus: thousand_plus Q19779530, Thomsen's theorem (statement). Also Wikidata Q19779530, Wikipedia Thomsen's theorem
- wikidata: Wikidata Q19779530, Thomsen's theorem (statement). Also MathWorld ThomsensFigure
- wikipedia: Wikipedia Thomsen's theorem, Thomsen's theorem (statement). Also Wikidata Q19779530
History
- 2026-10-26: add by m2/dev
discrete space 7CNSY6RM6E
| URI | m2://inv/7CNSY6RM6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Discrete topology 0S2TEHX4E1 |
Mentions
- wikidata: Wikidata Q175116, discrete space (unknown). Also MathWorld DiscreteSpace, nLab discrete object
- wikipedia: Wikipedia Discrete space, Discrete space (definition). Also Wikidata Q175116
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
homology 7CPC9JSZ6B
| URI | m2://inv/7CPC9JSZ6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#JRP3, homology (definition)
History
- 2026-11-02: add by m2/dev
Uniform approximation of the exponential function (Lemma F.12 in the arXiv version 7CPD4H355Y
| URI | m2://inv/7CPD4H355Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.12544#GNZ7, Uniform approximation of the exponential function (Lemma F.12 in the arXiv version (statement). In XXV36V6CK8/e1, lemma 14
History
- 2026-10-28: add by m2/v0.4.2
reduced Planck constant 7CPJNMZ4CD
| URI | m2://inv/7CPJNMZ4CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2115969, reduced Planck constant (definition). Also ProofWiki Definition:Reduced_Planck_Constant
History
- 2026-10-26: add by m2/dev
Formal statement 7CPKRFDG3P
| URI | m2://inv/7CPKRFDG3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ore's theorem#S8EX, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
7CPVB30TEF 7CPVB30TEF
| URI | m2://inv/7CPVB30TEF |
|---|---|
| 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.12295#PF6R (statement). In 6DZPR52HRP/e1, lemma 4.32
History
- 2026-10-28: add by m2/v0.4.2
7CPZ5H9KW1 7CPZ5H9KW1
| URI | m2://inv/7CPZ5H9KW1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-8 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
Carlos Kenig 7CPZZWWXXE
| URI | m2://inv/7CPZZWWXXE |
|---|---|
| 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#G4MR, Carlos Kenig (topic)
History
- 2026-11-02: add by m2/dev
Communications-Electronics Security Group 7CQ3D70AAN
| URI | m2://inv/7CQ3D70AAN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GCHQ#07Q2, Communications-Electronics Security Group (unknown)
History
- 2026-11-02: add by m2/dev
altitude 7CQ97G5SP0
| URI | m2://inv/7CQ97G5SP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#TAYN, altitude (definition)
History
- 2026-11-02: add by m2/dev
symplectic form 7CQF6QM53H
| URI | m2://inv/7CQF6QM53H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3077487, symplectic form (unknown). Also LMFDB knowl st_group.symplectic_form, MathWorld SymplecticForm
History
- 2026-10-26: add by m2/dev
Definitions and properties 7CQFH5VDYZ
| URI | m2://inv/7CQFH5VDYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi field#PDYU, Definitions and properties (definition)
History
- 2026-11-02: add by m2/dev
Properties 7CQGCTESSD
| URI | m2://inv/7CQGCTESSD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime ring#N9VO, Properties (statement)
History
- 2026-11-02: add by m2/dev
7CQP28BTXA 7CQP28BTXA
| URI | m2://inv/7CQP28BTXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15424#2IGQ (statement). In C4081PN64B/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
7CQP61YP2X 7CQP61YP2X
| URI | m2://inv/7CQP61YP2X |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-18 (proof). In N54F33XE07, proof, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
7CQRB980CR 7CQRB980CR
| URI | m2://inv/7CQRB980CR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04498#S1TB (statement). In HHF08X70P6/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Hilb's type formula 7CQT144QKH
| URI | m2://inv/7CQT144QKH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi polynomials#AXPF, Hilb's type formula (statement)
History
- 2026-11-02: add by m2/dev
7CQVWYJ2MN 7CQVWYJ2MN
| URI | m2://inv/7CQVWYJ2MN |
|---|---|
| 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.14458#SEX2 (statement). In WJ76MVYAZQ/e1, corollary 2.10
History
- 2026-10-28: add by m2/v0.4.2
Laguerre's theorem 7CR14CKYMJ
| URI | m2://inv/7CR14CKYMJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power of a point#4AUB, Laguerre's theorem (statement)
History
- 2026-11-02: add by m2/dev
7CRMA1KYWE 7CRMA1KYWE
| URI | m2://inv/7CRMA1KYWE |
|---|---|
| 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 2609.26896#R6QA (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications 7CRPHBJXCQ
| URI | m2://inv/7CRPHBJXCQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph Coarsening Algorithm#V2JW, Applications (example)
History
- 2026-11-02: add by m2/dev
Example 7CRPHKTXDX
| URI | m2://inv/7CRPHKTXDX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iwahori–Hecke algebra#DYLP, Example (example)
History
- 2026-11-02: add by m2/dev
Generalizations 7CRT8VDVC3
| URI | m2://inv/7CRT8VDVC3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Puiseux series#BX8H, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Normal cone 7CRYTX1A89
| URI | m2://inv/7CRYTX1A89 |
|---|---|
| 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 2506.09840#CKJL, Normal cone (definition). In Y7TWHSF2HC/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.3.5
7CS428MR9G 7CS428MR9G
| URI | m2://inv/7CS428MR9G |
|---|---|
| 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 2509.05577#XYXQ (statement). In EFWBREMZAP/e1, corollary 1.6
History
- 2026-10-27: add by m2/v0.3.5
W. Stephen Wilson 7CS8MK2VYK
| URI | m2://inv/7CS8MK2VYK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W. Stephen Wilson, W. Stephen Wilson (topic). Also Wikidata Q20831467
History
- 2026-11-02: add by m2/dev
Definition 7CS8YE68EG
| URI | m2://inv/7CS8YE68EG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin L-function#I8U0, Definition (definition)
History
- 2026-11-02: add by m2/dev
icosagonal number 7CSC5R8HKX
| URI | m2://inv/7CSC5R8HKX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18451091, icosagonal number (object). Also OEIS A051872
History
- 2026-10-26: add by m2/dev
Sós, Vera T. 7CSHAS4SQ5
| URI | m2://inv/7CSHAS4SQ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#1U08, Sós, Vera T. (unknown)
History
- 2026-11-02: add by m2/dev
7CSHVBD6GZ 7CSHVBD6GZ
| URI | m2://inv/7CSHVBD6GZ |
|---|---|
| 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 2410.22045#PQFA (statement). In 81TAX528PQ/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
A distribution-free Gaussian channel 7CSM748HFE
| URI | m2://inv/7CSM748HFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#FXWG, A distribution-free Gaussian channel (statement). In 9YAE8FNQST/e1, theorem 20.9
History
- 2026-10-30: add by m2/v0.4.12
Definition 7CSNR338MK
| URI | m2://inv/7CSNR338MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan graph#GEW1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Exact target-row valuation 7CSP7PJSHR
| URI | m2://inv/7CSP7PJSHR |
|---|---|
| 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.01328#YED3, Exact target-row valuation (statement). In GNY2MTPWW6/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.12
q-polygamma function 7CSQAV08NT
| URI | m2://inv/7CSQAV08NT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20920730, q-polygamma function (unknown). Also MathWorld q-PolygammaFunction
History
- 2026-10-26: add by m2/dev
Maximin (decision theory) 7CT3W2D9CR
| URI | m2://inv/7CT3W2D9CR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimax#H5SZ, Maximin (decision theory) (unknown)
History
- 2026-11-02: add by m2/dev
7CT4CYQGJK 7CT4CYQGJK
| URI | m2://inv/7CT4CYQGJK |
|---|---|
| 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.08382#ROEX (statement). In GYMGDQS25R/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.10
Method 7CT9YNRFKF
| URI | m2://inv/7CT9YNRFKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patched conic approximation#Z11G, Method (definition)
History
- 2026-11-02: add by m2/dev
Linear continuum 7CTB5MYVEM
| URI | m2://inv/7CTB5MYVEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear continuum, Linear continuum (definition). Also Wikidata Q3688953
History
- 2026-11-02: add by m2/dev
Cohen 7CTCTKKWT5
| URI | m2://inv/7CTCTKKWT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#GCMC, Cohen (definition)
History
- 2026-11-02: add by m2/dev
Gordon Welchman 7CTGG6WVQQ
| URI | m2://inv/7CTGG6WVQQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#3I6Z, Gordon Welchman (topic)
History
- 2026-11-02: add by m2/dev
Panaretos, John 7CTKHR8CK0
| URI | m2://inv/7CTKHR8CK0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ZB1K, Panaretos, John (unknown)
History
- 2026-11-02: add by m2/dev
Classical XY model 7CTNPKD7GT
| URI | m2://inv/7CTNPKD7GT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical XY model, Classical XY model (definition). Also Wikidata Q469596
History
- 2026-11-02: add by m2/dev
7CV0FR5JT8 7CV0FR5JT8
| URI | m2://inv/7CV0FR5JT8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18632#SPNA (definition). In PTM5MVD4M0/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
pointless topology 7CV1AGH8V8
| URI | m2://inv/7CV1AGH8V8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Pointless topology CYEMGH98WN |
Mentions
- wikidata: Wikidata Q7208386, pointless topology (topic). Also nLab point-free topology
- wikipedia: Wikipedia Pointless topology, Pointless topology (definition). Also Wikidata Q7208386
History
- 2026-10-26: add by m2/dev
7CV27P4M53 7CV27P4M53
| URI | m2://inv/7CV27P4M53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#WMPV (statement). In SD28S3K7BT/e1, theorem 54
History
- 2026-10-29: add by m2/v0.4.12
Dantzig–Wolfe decomposition 7CV4T8RACV
| URI | m2://inv/7CV4T8RACV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dantzig–Wolfe decomposition, Dantzig–Wolfe decomposition (definition). Also Wikidata Q4388617
History
- 2026-11-02: add by m2/dev
7CV9AJWRGE 7CV9AJWRGE
| URI | m2://inv/7CV9AJWRGE |
|---|---|
| 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#7GNX (statement). In 4FWAY748N7/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
7CVCYFK4DJ 7CVCYFK4DJ
| URI | m2://inv/7CVCYFK4DJ |
|---|---|
| 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.11002#JNEQ (statement). In P55JSAYR3T/e1, lemma
History
- 2026-10-28: add by m2/v0.4.3
7CVE8V77BB 7CVE8V77BB
| URI | m2://inv/7CVE8V77BB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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.04314#4K8T (example). In AKWTE0M6PE/e1, example
History
- 2026-10-29: add by m2/v0.4.12
Rhombille tiling 7CVJ0KBBSP
| URI | m2://inv/7CVJ0KBBSP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombille tiling, Rhombille tiling (object). Also Wikidata Q7321283
History
- 2026-11-02: add by m2/dev
7CVQD18THG 7CVQD18THG
| URI | m2://inv/7CVQD18THG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39353#1ZLW (statement). In 2PZR1KX2RC/e1, theorem C.4
History
- 2026-10-30: add by m2/v0.4.12
Definition 7CVS4WDY3M
| URI | m2://inv/7CVS4WDY3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank of an abelian group#JYQY, Definition (definition)
History
- 2026-11-02: add by m2/dev
7CVV0KS4CJ 7CVV0KS4CJ
| URI | m2://inv/7CVV0KS4CJ |
|---|---|
| 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.23522#M1VF (statement)
History
- 2026-11-02: add by m2/v0.6.17
7CVW9RB7AR 7CVW9RB7AR
| URI | m2://inv/7CVW9RB7AR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#N1BY (statement). In CBF6TQS4DW/e1, proposition 1.11
History
- 2026-10-28: add by m2/v0.4.2
7CVZQXS5GB 7CVZQXS5GB
| URI | m2://inv/7CVZQXS5GB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#NX7Q (statement). In 79H1DEK4M9/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Super-Poincaré algebra 7CW05JV7AZ
| URI | m2://inv/7CW05JV7AZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Super-Poincaré algebra, Super-Poincaré algebra (definition). Also Wikidata Q3611542
History
- 2026-11-02: add by m2/dev
Wiener process 7CW08GSKF9
| URI | m2://inv/7CW08GSKF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#G3RU, Wiener process (definition)
- wikipedia: Wikipedia List of statistics articles#VXRF, Wiener process (definition)
- wikipedia: Wikipedia List of probability topics#WWQD, Wiener process (definition)
History
- 2026-11-02: add by m2/dev
Properties 7CW3JGG5P2
| URI | m2://inv/7CW3JGG5P2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cake number#A72K, Properties (statement)
History
- 2026-11-02: add by m2/dev
7CW3MZXTEH 7CW3MZXTEH
| URI | m2://inv/7CW3MZXTEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.06555#G0RH (statement). In 5GDDS20Q3D/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.4.0
Newton's law of cooling 7CW7PQQBH5
| URI | m2://inv/7CW7PQQBH5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Newton's law of cooling 02HB5F40VR |
Mentions
- wikidata: Wikidata Q2902868, Newton's law of cooling (statement). Also ProofWiki Newton's_Law_of_Cooling
- wikipedia: Wikipedia Newton's law of cooling, Newton's law of cooling (statement). Also Wikidata Q2902868
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
7CWACTY1ZM 7CWACTY1ZM
| URI | m2://inv/7CWACTY1ZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:functor-composition (definition). In N54F33XE07, defn, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
7CWD681D7F 7CWD681D7F
| URI | m2://inv/7CWD681D7F |
|---|---|
| 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.32104#SL1A (statement). In YRJSYFXNM8/e1, theorem 5.10
History
- 2026-10-31: add by m2/v0.5.6
7CWM6S55Z6 7CWM6S55Z6
| URI | m2://inv/7CWM6S55Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.05914#G1PO (statement). In V8MYP6MBAZ/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
shape of $\widehat Q_{\bf m}f$ and of the phase function $\theta$ 7CWSHD22V7
| URI | m2://inv/7CWSHD22V7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#1VL4, shape of $\widehat Q_{\bf m}f$ and of the phase function $\theta$ (statement). In 94RBNQA07A/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Mischievous responders 7CWW82CH0P
| URI | m2://inv/7CWW82CH0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mischievous responders, Mischievous responders (definition). Also Wikidata Q136756431
History
- 2026-11-02: add by m2/dev
Algebraic extension 7CWYVGG1AJ
| URI | m2://inv/7CWYVGG1AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#AZIE, Algebraic extension (definition)
History
- 2026-11-02: add by m2/dev
7CX1JDV58C 7CX1JDV58C
| URI | m2://inv/7CX1JDV58C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27023#VUDF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Guido Fubini 7CX2NJ1RBW
| URI | m2://inv/7CX2NJ1RBW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#K26D, Guido Fubini (topic)
History
- 2026-11-02: add by m2/dev
Smale conjecture 7CX3RZDGVQ
| URI | m2://inv/7CX3RZDGVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smale conjecture, Smale conjecture (statement). Also Wikidata Q16947992
History
- 2026-11-02: add by m2/dev
Poisson's ratio 7CX7EYSJRM
| URI | m2://inv/7CX7EYSJRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson's ratio, Poisson's ratio (definition). Also Wikidata Q190453
History
- 2026-11-02: add by m2/dev
7CXA0QVM6K 7CXA0QVM6K
| URI | m2://inv/7CXA0QVM6K |
|---|---|
| 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 2211.10816#X9RS (statement). In 8VNN8PX49Y/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.6
virtual 7CXFT8B0FB
| URI | m2://inv/7CXFT8B0FB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal point (optics)#8KQH, virtual (definition)
- wikipedia: Wikipedia Cardinal point (optics)#IMML, real (definition)
History
- 2026-11-02: add by m2/dev
7CXKS807YS 7CXKS807YS
| URI | m2://inv/7CXKS807YS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#6ZQ6 (definition). In TTRSZVT4VX/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.4.2
7CXNF4F6CR 7CXNF4F6CR
| URI | m2://inv/7CXNF4F6CR |
|---|---|
| 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 2610.09739#LLFG (example). In ZYNZ95FSFD/e1, example 2.3
History
- 2026-10-29: add by m2/v0.4.10
Asymptotic efficiency 7CXRQKZPZX
| URI | m2://inv/7CXRQKZPZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Efficiency (statistics)#CHU2, Asymptotic efficiency (unknown)
History
- 2026-11-02: add by m2/dev
7CXTQ9FE0D 7CXTQ9FE0D
| URI | m2://inv/7CXTQ9FE0D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.08633#WH70 (statement). In 7MV7RGDVXF/e1, theorem 3.4.1
History
- 2026-10-29: add by m2/v0.4.10
Coopetition 7CXXC4VBGF
| URI | m2://inv/7CXXC4VBGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coopetition, Coopetition (definition). Also Wikidata Q615782
History
- 2026-11-02: add by m2/dev
7CXXG65BBW 7CXXG65BBW
| URI | m2://inv/7CXXG65BBW |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claw-free graph#OIBM (problem)
History
- 2026-11-02: add by m2/dev
meson 7CY1SCB6BQ
| URI | m2://inv/7CY1SCB6BQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q102742, meson (unknown). Also nLab meson
History
- 2026-10-26: add by m2/dev
Eight, West Virginia 7CY527TH75
| URI | m2://inv/7CY527TH75 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KM2O, Eight, West Virginia (unknown)
History
- 2026-11-02: add by m2/dev
7CY8XFB6RA 7CY8XFB6RA
| URI | m2://inv/7CY8XFB6RA |
|---|---|
| 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.14821#Y1LZ (statement). In B0B2P7JEAQ/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Thomas Bassett Macaulay 7CY96CE0N1
| URI | m2://inv/7CY96CE0N1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#CAWY, Thomas Bassett Macaulay (unknown)
History
- 2026-11-02: add by m2/dev
7CY9KJGE0R 7CY9KJGE0R
| URI | m2://inv/7CY9KJGE0R |
|---|---|
| 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.24931#FTGV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gheorghe Vrânceanu 7CYBACGZQF
| URI | m2://inv/7CYBACGZQF |
|---|---|
| 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#S5M8, Gheorghe Vrânceanu (topic)
History
- 2026-11-02: add by m2/dev
Hughes plane 7CYW96YYGS
| URI | m2://inv/7CYW96YYGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hughes plane, Hughes plane (definition). Also Wikidata Q17130701
History
- 2026-11-02: add by m2/dev
Icosikaidigon 7CYXYRJG02
| URI | m2://inv/7CYXYRJG02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#93VC, Icosikaidigon (definition)
History
- 2026-11-02: add by m2/dev
Stack machine 7CYZ3ZGJ3C
| URI | m2://inv/7CYZ3ZGJ3C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#X1RG, Stack machine (unknown)
History
- 2026-11-02: add by m2/dev
7CZ78J1GRV 7CZ78J1GRV
| URI | m2://inv/7CZ78J1GRV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#ZTDA (definition)
History
- 2026-11-01: add by m2/v0.6.15
Shafi Goldwasser 7CZ7DXJHHG
| URI | m2://inv/7CZ7DXJHHG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q3BP, Shafi Goldwasser (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#64MY, Shafi Goldwasser (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CVE0, Shafi Goldwasser (topic)
History
- 2026-11-02: add by m2/dev
7CZ81R3Z3T 7CZ81R3Z3T
| URI | m2://inv/7CZ81R3Z3T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#ex:Wbounds-loose (exercise). In N54F33XE07, ex, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Rudolf Ahlswede 7CZ82W2FM3
| URI | m2://inv/7CZ82W2FM3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TPA4, Rudolf Ahlswede (topic)
- wikipedia: Wikipedia List of German mathematicians#58IX, Rudolf Ahlswede (topic)
History
- 2026-11-02: add by m2/dev
Definition 7CZFZP3FSV
| URI | m2://inv/7CZFZP3FSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ω-complete theory#BWWA, Definition (definition)
History
- 2026-11-02: add by m2/dev
7CZKDHDM1S 7CZKDHDM1S
| URI | m2://inv/7CZKDHDM1S |
|---|---|
| Kind | example |
| 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.07280#X1BX (example). In 1FJKW4WGEN/e1, example 3.8
History
- 2026-10-29: add by m2/v0.4.10
Properties 7CZRV7T6S3
| URI | m2://inv/7CZRV7T6S3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph (topology)#P3A1, Properties (statement)
History
- 2026-11-02: add by m2/dev