Inventory rows Q4
The cards of the rows of the inventory whose ids start with Q4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
superfactorial Q42FTE5EAB
| URI | m2://inv/Q42FTE5EAB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11636332, superfactorial (unknown). Also MathWorld Superfactorial
History
- 2026-10-26: add by m2/dev
Tutte 12-cage Q456GZWBT4
| URI | m2://inv/Q456GZWBT4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q731686, Tutte 12-cage (unknown). Also House of Graphs 1397, MathWorld Tutte12-Cage
History
- 2026-10-26: add by m2/dev
binary pulsar Q4AHFRJTWT
| URI | m2://inv/Q4AHFRJTWT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3142966, binary pulsar (unknown). Also nLab binary pulsar
History
- 2026-10-26: add by m2/dev
Ptolemy's theorem Q4C823BVS2
| URI | m2://inv/Q4C823BVS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Ptolemy's theorem 058YS05YP5 |
Mentions
- mathlib_100: mathlib_100 95, Ptolemy’s Theorem (statement). Also Mathlib EuclideanGeometry.mul_dist_add_mul_dist_eq_mul_dist_of_cospherical
- mathlib_1000: mathlib_1000 Q459547, Ptolemy's theorem (statement). Also Mathlib EuclideanGeometry.mul_dist_add_mul_dist_eq_mul_dist_of_cospherical, Wikidata Q459547
- thousand_plus: thousand_plus Q459547, Ptolemy's theorem (statement). Also Mathlib EuclideanGeometry.mul_dist_add_mul_dist_eq_mul_dist_of_cospherical, Wikidata Q459547, Wikipedia Ptolemy's theorem
- wikidata: Wikidata Q459547, Ptolemy's theorem (statement). Also MathWorld PtolemyInequality
History
- 2026-10-26: add by m2/dev
Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables Q4DP8MB201
| URI | m2://inv/Q4DP8MB201 |
|---|---|
| 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 Q24555, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables (unknown). Also ProofWiki Book:Milton_Abramowitz/Handbook_of_Mathematical_Functions
History
- 2026-10-26: add by m2/dev
integral of motion Q4F87NM3FT
| URI | m2://inv/Q4F87NM3FT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12021694, integral of motion (unknown). Also MathWorld IntegralofMotion
History
- 2026-10-26: add by m2/dev
Kawamata–Viehweg vanishing theorem Q4GFA4YAW5
| URI | m2://inv/Q4GFA4YAW5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6379606, Kawamata–Viehweg vanishing theorem (statement). Also Wikidata Q6379606
- thousand_plus: thousand_plus Q6379606, Kawamata–Viehweg vanishing theorem (statement). Also Wikidata Q6379606, Wikipedia Kawamata–Viehweg vanishing theorem
History
- 2026-10-26: add by m2/dev
Maurice Kraitchik Q4H45VRK7F
| URI | m2://inv/Q4H45VRK7F |
|---|---|
| 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 Q983279, Maurice Kraitchik (unknown). Also ProofWiki Mathematician:Maurice_Kraitchik
History
- 2026-10-26: add by m2/dev
Georg Mohr Q4JDMEK45F
| URI | m2://inv/Q4JDMEK45F |
|---|---|
| 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 Q559436, Georg Mohr (unknown). Also ProofWiki Mathematician:Georg_Mohr
History
- 2026-10-26: add by m2/dev
regular polytope Q4KSZEM3XS
| URI | m2://inv/Q4KSZEM3XS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2745944, regular polytope (concept). Also MathWorld RegularPolytope
History
- 2026-10-26: add by m2/dev
Boolean algebra Q4NRHJG50F
| URI | m2://inv/Q4NRHJG50F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Boolean algebra 0XADJKM699 |
Mentions
- wikidata: Wikidata Q4973304, Boolean algebra (unknown). Also MathWorld BooleanAlgebra, nLab Boolean algebra
History
- 2026-10-26: add by m2/dev
dilation Q4QC3TJ6NW
| URI | m2://inv/Q4QC3TJ6NW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1225416, dilation (unknown). Also MathWorld Dilation
History
- 2026-10-26: add by m2/dev
noetherian scheme Q4QHEJC1H3
| URI | m2://inv/Q4QHEJC1H3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3475675, noetherian scheme (concept). Also EoM Noetherian_scheme, nLab noetherian scheme, ProofWiki Definition:Noetherian_Scheme
History
- 2026-10-26: add by m2/dev
Feynman point Q4QZ6AH5F3
| URI | m2://inv/Q4QZ6AH5F3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q874591, Feynman point (unknown). Also MathWorld FeynmanPoint
History
- 2026-10-26: add by m2/dev
Mikhail Suslin Q4X2ZPQSHG
| URI | m2://inv/Q4X2ZPQSHG |
|---|---|
| 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 Q1273671, Mikhail Suslin (unknown). Also nLab Mikhail Yakovlevich Suslin
History
- 2026-10-26: add by m2/dev