Inventory rows 77
The cards of the rows of the inventory whose ids start with 77. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Georg Kreisel 7702CAV3DK
| URI | m2://inv/7702CAV3DK |
|---|---|
| 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 Q951409, Georg Kreisel (unknown). Also nLab Georg Kreisel
History
- 2026-10-26: add by m2/dev
Polykay 77060B9FT4
| URI | m2://inv/77060B9FT4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16879636, Polykay (unknown). Also MathWorld Polykay
History
- 2026-10-26: add by m2/dev
minimum vertex degree 771PC63AVE
| URI | m2://inv/771PC63AVE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q106553065, minimum vertex degree (unknown). Also MathWorld MinimumVertexDegree
History
- 2026-10-26: add by m2/dev
30-60-90 triangle 77288AK5FV
| URI | m2://inv/77288AK5FV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105332790, 30-60-90 triangle (unknown). Also MathWorld 30-60-90Triangle
History
- 2026-10-26: add by m2/dev
Eric van Damme 772VFPA0TF
| URI | m2://inv/772VFPA0TF |
|---|---|
| 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 Q15127191, Eric van Damme (unknown). Also ProofWiki Mathematician:Eric_Eleterius_Coralie_van_Damme
History
- 2026-10-26: add by m2/dev
antiparticle 774JW8Z3BR
| URI | m2://inv/774JW8Z3BR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q182717, antiparticle (unknown). Also nLab antiparticle
History
- 2026-10-26: add by m2/dev
loop group 7752XN4VZD
| URI | m2://inv/7752XN4VZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6675827, loop group (unknown). Also nLab loop group
History
- 2026-10-26: add by m2/dev
Jacobi polynomials 775AX7TRTK
| URI | m2://inv/775AX7TRTK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q371631, Jacobi polynomials (concept). Also MathWorld JacobiPolynomial
History
- 2026-10-26: add by m2/dev
Perpendicular axis theorem 778TZP1NKE
| URI | m2://inv/778TZP1NKE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q995926, Perpendicular axis theorem (statement). Also Wikidata Q995926
- thousand_plus: thousand_plus Q995926, Perpendicular axis theorem (statement). Also Wikidata Q995926, Wikipedia Perpendicular axis theorem
History
- 2026-10-26: add by m2/dev
measure theory 778XWY2MZG
| URI | m2://inv/778XWY2MZG |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 28Axx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15614122, measure theory (topic). Also MathWorld MeasureTheory, nLab measure theory, ProofWiki Definition:Measure_Theory
History
- 2026-10-26: add by m2/dev
Occam's razor 779GX081HT
| URI | m2://inv/779GX081HT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131012, Occam's razor (statement). Also ProofWiki Occam's_Razor
History
- 2026-10-26: add by m2/dev
Poynting's theorem 77AW9JB5PF
| URI | m2://inv/77AW9JB5PF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1637085, Poynting's theorem (statement). Also Wikidata Q1637085
- thousand_plus: thousand_plus Q1637085, Poynting's theorem (statement). Also Wikidata Q1637085, Wikipedia Poynting's theorem
History
- 2026-10-26: add by m2/dev
Schinzel's theorem 77AXJ9YYAX
| URI | m2://inv/77AXJ9YYAX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25304092, Schinzel's theorem (statement). Also MathWorld SchinzelsTheorem
History
- 2026-10-26: add by m2/dev
proper element search 77BG0NWZPB
| URI | m2://inv/77BG0NWZPB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > proper element search, proper element search (unknown)
History
- 2026-10-26: add by m2/dev
Isabelle 77DRVPQ8R4
| URI | m2://inv/77DRVPQ8R4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q460340, Isabelle (unknown). Also nLab Isabelle
History
- 2026-10-26: add by m2/dev
inter-universal Teichmüller theory 77MVWW9EWS
| URI | m2://inv/77MVWW9EWS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19597596, inter-universal Teichmüller theory (unknown). Also nLab inter-universal Teichmüller theory
History
- 2026-10-26: add by m2/dev
biproduct 77MWGAT2F6
| URI | m2://inv/77MWGAT2F6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4915506, biproduct (unknown). Also nLab biproduct
History
- 2026-10-26: add by m2/dev
triangularization 77NWAD65ZK
| URI | m2://inv/77NWAD65ZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > triangularization, triangularization (unknown)
History
- 2026-10-26: add by m2/dev
Beckman–Quarles theorem 77QEGFD8B6
| URI | m2://inv/77QEGFD8B6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226606, Beckman–Quarles theorem (statement). Also Wikidata Q2226606
- thousand_plus: thousand_plus Q2226606, Beckman–Quarles theorem (statement). Also Wikidata Q2226606, Wikipedia Beckman–Quarles theorem
History
- 2026-10-26: add by m2/dev
structuralism 77QVN780Z0
| URI | m2://inv/77QVN780Z0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q179168, structuralism (unknown). Also nLab structuralism
History
- 2026-10-26: add by m2/dev
silver 77VVNQAJM8
| URI | m2://inv/77VVNQAJM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1090, silver (definition). Also ProofWiki Definition:Silver
History
- 2026-10-26: add by m2/dev
Mixtilinear Incircle 77VZBZ6NJT
| URI | m2://inv/77VZBZ6NJT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55730659, Mixtilinear Incircle (unknown). Also MathWorld MixtilinearIncircles
History
- 2026-10-26: add by m2/dev
lazy list 77XDKWW0H4
| URI | m2://inv/77XDKWW0H4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > List-like structures > lazy list, lazy list (unknown). Also Mathlib MLList
History
- 2026-10-26: add by m2/dev