Inventory rows Z5
The cards of the rows of the inventory whose ids start with Z5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
satisfiability Z50GN9D7HM
| URI | m2://inv/Z50GN9D7HM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Model theory > satisfiability, satisfiability (unknown). Also Mathlib FirstOrder.Language.Theory.IsSatisfiable
History
- 2026-10-26: add by m2/dev
computability Z50MZZ5A94
| URI | m2://inv/Z50MZZ5A94 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q818888, computability (unknown). Also MathWorld Computability, nLab computability
History
- 2026-10-26: add by m2/dev
Berlekamp–Zassenhaus algorithm Z523SK07QS
| URI | m2://inv/Z523SK07QS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4892326, Berlekamp–Zassenhaus algorithm (unknown). Also MathWorld Berlekamp-ZassenhausAlgorithm
History
- 2026-10-26: add by m2/dev
Hilbert number Z5342D1EGG
| URI | m2://inv/Z5342D1EGG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1440989, Hilbert number (unknown). Also MathWorld HilbertNumber, OEIS A016813
History
- 2026-10-26: add by m2/dev
clutching construction Z53N8WZC42
| URI | m2://inv/Z53N8WZC42 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5136742, clutching construction (unknown). Also nLab clutching construction
History
- 2026-10-26: add by m2/dev
Zorn's lemma Z57N8742HN
| URI | m2://inv/Z57N8742HN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Zorn's lemma 04RXTQA5ZA |
Mentions
- wikidata: Wikidata Q290810, Zorn's lemma (statement). Also MathWorld ZornsLemma, nLab Zorn's lemma, ProofWiki Zorn's_Lemma
History
- 2026-10-26: add by m2/dev
Lily Serna Z584WQ5SWW
| URI | m2://inv/Z584WQ5SWW |
|---|---|
| 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 Q6548564, Lily Serna (unknown). Also ProofWiki Mathematician:Lily_Serna
History
- 2026-10-26: add by m2/dev
Tunnell's theorem Z59TZJME24
| URI | m2://inv/Z59TZJME24 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7853325, Tunnell's theorem (statement). Also Wikidata Q7853325
- thousand_plus: thousand_plus Q7853325, Tunnell's theorem (statement). Also Wikidata Q7853325, Wikipedia Tunnell's theorem
History
- 2026-10-26: add by m2/dev
Abelian surface Z5EYCRYGTG
| URI | m2://inv/Z5EYCRYGTG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4666683, Abelian surface (unknown). Also EoM Abelian_surface, LMFDB knowl ag.abelian_surface
History
- 2026-10-26: add by m2/dev
arcminute Z5GCPBRA1T
| URI | m2://inv/Z5GCPBRA1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q209426, arcminute (definition). Also EoM Minute, MathWorld ArcMinute, ProofWiki Definition:Angle/Unit/Minute
History
- 2026-10-26: add by m2/dev
Laurent polynomial Z5H8TF1CC7
| URI | m2://inv/Z5H8TF1CC7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1701125, Laurent polynomial (unknown). Also MathWorld LaurentPolynomial, nLab Laurent polynomial
History
- 2026-10-26: add by m2/dev
Alicia Boole Stott Z5KW3F1P1A
| URI | m2://inv/Z5KW3F1P1A |
|---|---|
| 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 Q441991, Alicia Boole Stott (unknown). Also ProofWiki Mathematician:Alicia_Boole_Stott
History
- 2026-10-26: add by m2/dev
57-cell Z5QSH0JVSY
| URI | m2://inv/Z5QSH0JVSY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4640774, 57-cell (unknown). Also MathWorld 57-Cell
History
- 2026-10-26: add by m2/dev
Pythagorean quadruple Z5R3KZJGHA
| URI | m2://inv/Z5R3KZJGHA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7263849, Pythagorean quadruple (unknown). Also MathWorld PythagoreanQuadruple
History
- 2026-10-26: add by m2/dev
Lindelöf's theorem Z5WSFDVF0S
| URI | m2://inv/Z5WSFDVF0S |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4454973, Lindelöf's theorem (statement). Also Wikidata Q4454973
- thousand_plus: thousand_plus Q4454973, Lindelöf's theorem (statement). Also Wikidata Q4454973, Wikipedia Lindelöf's theorem
History
- 2026-10-26: add by m2/dev
Penrose–Hawking singularity theorems Z5WXPEG15Z
| URI | m2://inv/Z5WXPEG15Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1452678, Penrose–Hawking singularity theorems (statement). Also Wikidata Q1452678
- thousand_plus: thousand_plus Q1452678, Penrose–Hawking singularity theorems (statement). Also Wikidata Q1452678, Wikipedia Penrose–Hawking singularity theorems
History
- 2026-10-26: add by m2/dev