Inventory rows K3
The cards of the rows of the inventory whose ids start with K3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Zermelo–Fraenkel set theory K31R8M94JX
| URI | m2://inv/K31R8M94JX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Zermelo–Fraenkel set theory 0HE5WDQ9FJ |
Mentions
- wikidata: Wikidata Q191849, Zermelo–Fraenkel set theory (definition). Also MathWorld Zermelo-FraenkelSetTheory, ProofWiki Definition:Zermelo-Fraenkel_Set_Theory
History
- 2026-10-26: add by m2/dev
Bochner–Martinelli formula K33B38RZPT
| URI | m2://inv/K33B38RZPT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4936246, Bochner–Martinelli formula (concept). Also EoM Bochner-Martinelli_representation_formula
History
- 2026-10-26: add by m2/dev
octadecagon K34WAWPY6B
| URI | m2://inv/K34WAWPY6B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1054120, octadecagon (unknown). Also MathWorld Octadecagon
History
- 2026-10-26: add by m2/dev
birotunda K35NKDDEA7
| URI | m2://inv/K35NKDDEA7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4916930, birotunda (unknown). Also MathWorld Birotunda
History
- 2026-10-26: add by m2/dev
monotonicity criterion K35RVHZMMG
| URI | m2://inv/K35RVHZMMG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6902035, monotonicity criterion (unknown). Also MathWorld MonotonicVoting
History
- 2026-10-26: add by m2/dev
self-descriptive number K38NV7BHDJ
| URI | m2://inv/K38NV7BHDJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1781115, self-descriptive number (unknown). Also MathWorld Self-DescriptiveNumber, OEIS A046043
History
- 2026-10-26: add by m2/dev
electrostatic system of units K3BVRGY78G
| URI | m2://inv/K3BVRGY78G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1370826, electrostatic system of units (definition). Also ProofWiki Definition:CGS_Unrationalised_Electrostatic_System
History
- 2026-10-26: add by m2/dev
perfect set K3C59NMS64
| URI | m2://inv/K3C59NMS64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7168101, perfect set (definition). Also nLab perfect space, ProofWiki Definition:Perfect_Set
History
- 2026-10-26: add by m2/dev
Frank Adams K3DJJQABFH
| URI | m2://inv/K3DJJQABFH |
|---|---|
| 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 Q1385061, Frank Adams (unknown). Also nLab John Frank Adams
History
- 2026-10-26: add by m2/dev
Eutocius of Ascalon K3G65XQTX4
| URI | m2://inv/K3G65XQTX4 |
|---|---|
| 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 Q510719, Eutocius of Ascalon (unknown). Also ProofWiki Mathematician:Eutocius_of_Ascalon
History
- 2026-10-26: add by m2/dev
quotient category K3RGRJC2C0
| URI | m2://inv/K3RGRJC2C0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7272896, quotient category (unknown). Also nLab quotient category
History
- 2026-10-26: add by m2/dev
Theorema Egregium K3V08B0QZE
| URI | m2://inv/K3V08B0QZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1048874, Gauss's Theorema Egregium (statement). Also Wikidata Q1048874
- thousand_plus: thousand_plus Q1048874, Gauss's Theorema Egregium (statement). Also Wikidata Q1048874, Wikipedia Gauss's Theorema Egregium
- wikidata: Wikidata Q1048874, Theorema Egregium (statement). Also MathWorld GausssTheoremaEgregium, ProofWiki Theorema_Egregium
History
- 2026-10-26: add by m2/dev
magic cube K3W5GHG70Y
| URI | m2://inv/K3W5GHG70Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1884152, magic cube (unknown). Also MathWorld MagicCube
History
- 2026-10-26: add by m2/dev
particle accelerator K3X3VKG93Y
| URI | m2://inv/K3X3VKG93Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130825, particle accelerator (unknown). Also nLab particle accelerator
History
- 2026-10-26: add by m2/dev