Inventory rows KP
The cards of the rows of the inventory whose ids start with KP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
9999 KP0Q88B6WZ
| URI | m2://inv/KP0Q88B6WZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2607589, 9999 (statement). Also ProofWiki 9999
History
- 2026-10-26: add by m2/dev
peta KP2GWY5Z71
| URI | m2://inv/KP2GWY5Z71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q108468, peta (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/peta-
History
- 2026-10-26: add by m2/dev
osculating circle KP46WK208N
| URI | m2://inv/KP46WK208N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2166240, osculating circle (unknown). Also MathWorld OsculatingCircle
History
- 2026-10-26: add by m2/dev
Artstein's theorem KP6NCH4EJY
| URI | m2://inv/KP6NCH4EJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 93-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4801563, Artstein's theorem (statement). Also Wikidata Q4801563
- thousand_plus: thousand_plus Q4801563, Artstein's theorem (statement). Also Wikidata Q4801563, Wikipedia Artstein's theorem
History
- 2026-10-26: add by m2/dev
Hamming distance KP9WZ8JZNZ
| URI | m2://inv/KP9WZ8JZNZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q272172, Hamming distance (concept). Also EoM Hamming_distance, MathWorld HammingDistance
History
- 2026-10-26: add by m2/dev
Steve Awodey KPCVK6ZF2H
| URI | m2://inv/KPCVK6ZF2H |
|---|---|
| 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 Q7611834, Steve Awodey (unknown). Also nLab Steve Awodey
History
- 2026-10-26: add by m2/dev
John Terning KPCW1PFNCC
| URI | m2://inv/KPCW1PFNCC |
|---|---|
| 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 Q43200329, John Terning (unknown). Also nLab John Terning
History
- 2026-10-26: add by m2/dev
New Math KPJXYZCCG0
| URI | m2://inv/KPJXYZCCG0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q336700, New Math (unknown). Also nLab New Math
History
- 2026-10-26: add by m2/dev
Carlo Becchi KPM77KRN8W
| URI | m2://inv/KPM77KRN8W |
|---|---|
| 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 Q1041872, Carlo Becchi (unknown). Also nLab Carlo Becchi
History
- 2026-10-26: add by m2/dev
function type KPP16BAEGV
| URI | m2://inv/KPP16BAEGV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5508778, function type (unknown). Also nLab function type
History
- 2026-10-26: add by m2/dev
Julian year KPR8GWWQMM
| URI | m2://inv/KPR8GWWQMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q217208, Julian year (definition). Also ProofWiki Definition:Calendar/Julian/Year
History
- 2026-10-26: add by m2/dev
categorical logic KPXYRNG5E2
| URI | m2://inv/KPXYRNG5E2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03G30 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5051813, categorical logic (topic)
History
- 2026-10-26: add by m2/dev