Inventory rows 8V
The cards of the rows of the inventory whose ids start with 8V. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Steiner surfaces 8V1GACB3VK
| URI | m2://inv/8V1GACB3VK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2340608, Steiner surfaces (concept). Also MathWorld SteinerSurface
History
- 2026-10-26: add by m2/dev
primality test 8V217AAQXJ
| URI | m2://inv/8V217AAQXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Primality test 0EGJZHZ02C |
Mentions
- wikidata: Wikidata Q829546, primality test (unknown). Also MathWorld PrimalityTest
History
- 2026-10-26: add by m2/dev
inscribed triangle 8V9PWPYYZ4
| URI | m2://inv/8V9PWPYYZ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18762468, inscribed triangle (unknown). Also MathWorld InscribedTriangle
History
- 2026-10-26: add by m2/dev
regular language 8VA3ZKVAK4
| URI | m2://inv/8VA3ZKVAK4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Formal languages > regular language, regular language (unknown). Also Mathlib Language.IsRegular
History
- 2026-10-26: add by m2/dev
Hypsicles 8VAF87M090
| URI | m2://inv/8VAF87M090 |
|---|---|
| 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 Q929483, Hypsicles (unknown). Also ProofWiki Mathematician:Hypsicles_of_Alexandria
History
- 2026-10-26: add by m2/dev
complementary angles 8VAGH33GMC
| URI | m2://inv/8VAGH33GMC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q864413, complementary angles (unknown). Also MathWorld ComplementaryAngles
History
- 2026-10-26: add by m2/dev
measure-theoretic entropy 8VAQKPKRP1
| URI | m2://inv/8VAQKPKRP1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20180528, measure-theoretic entropy (unknown). Also EoM Metric_entropy, MathWorld MetricEntropy
History
- 2026-10-26: add by m2/dev
impossible cube 8VBB09WT7A
| URI | m2://inv/8VBB09WT7A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1464984, impossible cube (unknown). Also MathWorld FreemishCrate
History
- 2026-10-26: add by m2/dev
chromatic number 8VBXSJQZ63
| URI | m2://inv/8VBXSJQZ63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3879388, chromatic number (definition). Also MathWorld ChromaticNumber, ProofWiki Definition:Chromatic_Number
History
- 2026-10-26: add by m2/dev
theory of integral domains 8VC36T6HDX
| URI | m2://inv/8VC36T6HDX |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 13G05 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114705004, theory of integral domains (topic)
History
- 2026-10-26: add by m2/dev
Peter Higgs 8VK1H6M396
| URI | m2://inv/8VK1H6M396 |
|---|---|
| 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 Q192112, Peter Higgs (unknown). Also nLab Peter Higgs
History
- 2026-10-26: add by m2/dev
No-trade theorem 8VKDC0P85A
| URI | m2://inv/8VKDC0P85A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7042801, No-trade theorem (statement). Also Wikidata Q7042801
- thousand_plus: thousand_plus Q7042801, No-trade theorem (statement). Also Wikidata Q7042801, Wikipedia No-trade theorem
History
- 2026-10-26: add by m2/dev
Bogomolny equation 8VPCSRD7AW
| URI | m2://inv/8VPCSRD7AW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16963296, Bogomolny equation (unknown). Also nLab Bogomolny equation
History
- 2026-10-26: add by m2/dev
Stone duality 8VSWFEECHF
| URI | m2://inv/8VSWFEECHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7619060, The duality theorem (statement). Also Wikidata Q7619060
- thousand_plus: thousand_plus Q7619060, The duality theorem (statement). Also Wikidata Q7619060
- wikidata: Wikidata Q7619060, Stone duality (concept). Also nLab Stone duality
History
- 2026-10-26: add by m2/dev
Pohlke's theorem 8VZVE3SWAS
| URI | m2://inv/8VZVE3SWAS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3984032, Pohlke's theorem (statement). Also EoM Pohlke-Schwarz_theorem, MathWorld PohlkesTheorem
History
- 2026-10-26: add by m2/dev