Inventory rows 6Z
The cards of the rows of the inventory whose ids start with 6Z. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Pentagrammic crossed-antiprism 6Z4KNYF3RZ
| URI | m2://inv/6Z4KNYF3RZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q799001, Pentagrammic crossed-antiprism (unknown). Also MathWorld PentagrammicCrossedAntiprism
History
- 2026-10-26: add by m2/dev
enumerated type 6Z58CRR85G
| URI | m2://inv/6Z58CRR85G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q760170, enumerated type (unknown). Also nLab enumerated type
History
- 2026-10-26: add by m2/dev
Buffon's needle 6Z898BPAAP
| URI | m2://inv/6Z898BPAAP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Buffon's needle problem 06X5PF6YFP |
Mentions
- wikidata: Wikidata Q1753097, Buffon's needle (problem). Also MathWorld BuffonsNeedleProblem
History
- 2026-10-26: add by m2/dev
Erich Jantsch 6ZA0B2B380
| URI | m2://inv/6ZA0B2B380 |
|---|---|
| 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 Q86706, Erich Jantsch (unknown). Also nLab Erich Jantsch
History
- 2026-10-26: add by m2/dev
Envelope theorem 6ZBZMVWDFR
| URI | m2://inv/6ZBZMVWDFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 49-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2478371, Envelope theorem (statement). Also Wikidata Q2478371
- thousand_plus: thousand_plus Q2478371, Envelope theorem (statement). Also Wikidata Q2478371, Wikipedia Envelope theorem
History
- 2026-10-26: add by m2/dev
geometric law 6ZD1AKVPNV
| URI | m2://inv/6ZD1AKVPNV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > geometric law, geometric law (unknown). Also Mathlib ProbabilityTheory.geometricMeasure
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > geometric law, geometric law (unknown). Also Mathlib ProbabilityTheory.geometricMeasure
History
- 2026-10-26: add by m2/dev
Lie operad 6ZD8128Z00
| URI | m2://inv/6ZD8128Z00 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60792519, Lie operad (unknown). Also nLab Lie operad
History
- 2026-10-26: add by m2/dev
set of integers 6ZEDPQHWED
| URI | m2://inv/6ZEDPQHWED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47007735, set of integers (unknown). Also MathWorld Z
History
- 2026-10-26: add by m2/dev
catamorphism 6ZFJEPC3YV
| URI | m2://inv/6ZFJEPC3YV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1959790, catamorphism (unknown). Also nLab catamorphism
History
- 2026-10-26: add by m2/dev
Löwenheim–Skolem theorem 6ZHMZD4224
| URI | m2://inv/6ZHMZD4224 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1068283, Löwenheim–Skolem theorem (statement). Also Mathlib FirstOrder.Language.exists_elementaryEmbedding_card_eq, Wikidata Q1068283
- mathlib_overview: mathlib_overview Logic and computation > Model theory > Löwenheim-Skolem, Löwenheim-Skolem (unknown). Also Mathlib FirstOrder.Language.exists_elementaryEmbedding_card_eq
- thousand_plus: thousand_plus Q1068283, Löwenheim–Skolem theorem (statement). Also Mathlib FirstOrder.Language.exists_elementaryEmbedding_card_eq, Wikidata Q1068283, Wikipedia Löwenheim–Skolem theorem
- wikidata: Wikidata Q1068283, Löwenheim–Skolem theorem (statement). Also MathWorld Loewenheim-SkolemTheorem
History
- 2026-10-26: add by m2/dev
Luigi Cremona 6ZJ5WCYC8D
| URI | m2://inv/6ZJ5WCYC8D |
|---|---|
| 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 Q548266, Luigi Cremona (unknown). Also ProofWiki Mathematician:Antonio_Luigi_Gaudenzio_Giuseppe_Cremona
History
- 2026-10-26: add by m2/dev
Heron’s Formula 6ZJPMK66VN
| URI | m2://inv/6ZJPMK66VN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 57, Heron’s Formula (statement). Also Mathlib Theorems100.heron
History
- 2026-10-26: add by m2/dev
pairing function 6ZKS4KAPYK
| URI | m2://inv/6ZKS4KAPYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Cantor pairing function 0NP5N5PYW5 |
Mentions
- wikidata: Wikidata Q1033906, pairing function (unknown). Also MathWorld PairingFunction
History
- 2026-10-26: add by m2/dev
projection 6ZQQK4PEVJ
| URI | m2://inv/6ZQQK4PEVJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 47B35 |
| Sources | 1 |
| Outcome | open |
| Node | Projection 033DA1WE8Y |
Mentions
- wikidata: Wikidata Q519967, projection (topic). Also EoM Projector, nLab projector
History
- 2026-10-26: add by m2/dev
finite product of metric spaces 6ZRFR28Z2F
| URI | m2://inv/6ZRFR28Z2F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > finite product of metric spaces, finite product of metric spaces (unknown). Also Mathlib metricSpacePi
History
- 2026-10-26: add by m2/dev
cumulative frequency 6ZS4RVZC6V
| URI | m2://inv/6ZS4RVZC6V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q73129, cumulative frequency (unknown). Also MathWorld CumulativeFrequency
History
- 2026-10-26: add by m2/dev
Fuglede's conjecture 6ZY4H0GTQ7
| URI | m2://inv/6ZY4H0GTQ7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56291736, Fuglede's conjecture (concept). Also MathWorld FugledesConjecture
History
- 2026-10-26: add by m2/dev
Balaban 10-cage 6ZZ95RWRB4
| URI | m2://inv/6ZZ95RWRB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q675752, Balaban 10-cage (unknown). Also House of Graphs 949, MathWorld Balaban10-Cage
History
- 2026-10-26: add by m2/dev