Inventory rows PF
The cards of the rows of the inventory whose ids start with PF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Alain Connes PF1JC3XFXG
| URI | m2://inv/PF1JC3XFXG |
|---|---|
| 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 Q313590, Alain Connes (unknown). Also nLab Alain Connes, ProofWiki Mathematician:Alain_Connes
History
- 2026-10-26: add by m2/dev
Kevin Iga PF4HHHAJFK
| URI | m2://inv/PF4HHHAJFK |
|---|---|
| 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 Q59753345, Kevin Iga (unknown). Also nLab Kevin Iga
History
- 2026-10-26: add by m2/dev
Pontryagin duality PF7Q1PW6WF
| URI | m2://inv/PF7Q1PW6WF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1632419, Pontryagin duality (statement). Also MathWorld PontryaginDuality, nLab Pontryagin duality
History
- 2026-10-26: add by m2/dev
quantum master equation PF83K0XP6D
| URI | m2://inv/PF83K0XP6D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18389871, quantum master equation (unknown). Also nLab quantum master equation
History
- 2026-10-26: add by m2/dev
trichotomy law PF9ETK3GJ1
| URI | m2://inv/PF9ETK3GJ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2713184, trichotomy law (unknown). Also MathWorld TrichotomyLaw
History
- 2026-10-26: add by m2/dev
specialization (pre)order PFFKRJDZ0Q
| URI | m2://inv/PFFKRJDZ0Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5569420, specialization (pre)order (unknown). Also EoM Specialization_of_a_point, nLab specialization order
History
- 2026-10-26: add by m2/dev
program PFFR1AHS14
| URI | m2://inv/PFFR1AHS14 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4303335, program (unknown). Also MathWorld Program
History
- 2026-10-26: add by m2/dev
even permutation PFH9829RX1
| URI | m2://inv/PFH9829RX1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78485892, even permutation (unknown). Also MathWorld EvenPermutation
History
- 2026-10-26: add by m2/dev
augmented truncated tetrahedron PFHJ88HK4S
| URI | m2://inv/PFHJ88HK4S |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2402112, augmented truncated tetrahedron (object). Also MathWorld AugmentedTruncatedTetrahedron
History
- 2026-10-26: add by m2/dev
Masahito Hasegawa PFKWD5T5SN
| URI | m2://inv/PFKWD5T5SN |
|---|---|
| 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 Q93944812, Masahito Hasegawa (unknown). Also nLab Masahito Hasegawa
History
- 2026-10-26: add by m2/dev
Acta Eruditorum PFPFGY1H2J
| URI | m2://inv/PFPFGY1H2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q343161, Acta Eruditorum (unknown). Also ProofWiki Book:Journal/Acta_Eruditorum
History
- 2026-10-26: add by m2/dev
Helmholtz decomposition PFPY4T0EG8
| URI | m2://inv/PFPY4T0EG8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1153588, Helmholtz decomposition (statement). Also MathWorld HelmholtzsTheorem, ProofWiki Helmholtz's_Theorem
History
- 2026-10-26: add by m2/dev
Hamiltonian group PFQCPNB9TK
| URI | m2://inv/PFQCPNB9TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1573561, Hamiltonian group (definition). Also MathWorld HamiltonianGroup, ProofWiki Definition:Hamiltonian_Group
History
- 2026-10-26: add by m2/dev
Gerd Rudolph PFRWD1G2V2
| URI | m2://inv/PFRWD1G2V2 |
|---|---|
| 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 Q112475035, Gerd Rudolph (unknown). Also ProofWiki Mathematician:Gerd_Rudolph
History
- 2026-10-26: add by m2/dev
extendible cardinal PFV7NC8RWE
| URI | m2://inv/PFV7NC8RWE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5421910, extendible cardinal (unknown). Also nLab extendible cardinal
History
- 2026-10-26: add by m2/dev
Myers theorem PFVWCC525Q
| URI | m2://inv/PFVWCC525Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q929547, Myers theorem (statement). Also Wikidata Q929547
- thousand_plus: thousand_plus Q929547, Myers theorem (statement). Also Wikidata Q929547, Wikipedia Myers theorem
History
- 2026-10-26: add by m2/dev
Lucas–Carmichael number PFWME2AZ30
| URI | m2://inv/PFWME2AZ30 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q507937, Lucas–Carmichael number (object). Also OEIS A006972
History
- 2026-10-26: add by m2/dev
1-based ruler function PFZ6JDD77Y
| URI | m2://inv/PFZ6JDD77Y |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122695881, 1-based ruler function (object). Also OEIS A001511
History
- 2026-10-26: add by m2/dev