Inventory rows 90
The cards of the rows of the inventory whose ids start with 90. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
quarter 902AFMQWPP
| URI | m2://inv/902AFMQWPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1643308, quarter (definition). Also ProofWiki Definition:Time/Unit/Quarter-Year
History
- 2026-10-26: add by m2/dev
ansatz 90351RV1DQ
| URI | m2://inv/90351RV1DQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q568954, ansatz (definition). Also MathWorld Ansatz, ProofWiki Definition:Ansatz
History
- 2026-10-26: add by m2/dev
Barry Simon 903KKA1KDN
| URI | m2://inv/903KKA1KDN |
|---|---|
| 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 Q370126, Barry Simon (unknown). Also nLab Barry Simon, ProofWiki Mathematician:Barry_Martin_Simon
History
- 2026-10-26: add by m2/dev
Loriano Bonora 9048PQRG4H
| URI | m2://inv/9048PQRG4H |
|---|---|
| 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 Q60168208, Loriano Bonora (unknown). Also nLab Loriano Bonora
History
- 2026-10-26: add by m2/dev
Rule 110 9049JE4MBR
| URI | m2://inv/9049JE4MBR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1876486, Rule 110 (unknown). Also MathWorld Rule110
History
- 2026-10-26: add by m2/dev
A priori probability 9095SNX2AY
| URI | m2://inv/9095SNX2AY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2562379, A priori probability (unknown). Also EoM A_priori_probability
History
- 2026-10-26: add by m2/dev
C-theorem 909N4N8E60
| URI | m2://inv/909N4N8E60 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5005965, C-theorem (statement). Also Wikidata Q5005965
- thousand_plus: thousand_plus Q5005965, C-theorem (statement). Also Wikidata Q5005965, Wikipedia C-theorem
History
- 2026-10-26: add by m2/dev
Eugene Paul Wigner 90A3X0WPXJ
| URI | m2://inv/90A3X0WPXJ |
|---|---|
| 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 Q155790, Eugene Paul Wigner (unknown). Also nLab Eugene Wigner
History
- 2026-10-26: add by m2/dev
Adam Falkowski 90AMCYEPKQ
| URI | m2://inv/90AMCYEPKQ |
|---|---|
| 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 Q97600233, Adam Falkowski (unknown). Also nLab Adam Falkowski
History
- 2026-10-26: add by m2/dev
atriphtaloid 90KQE79MG6
| URI | m2://inv/90KQE79MG6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1846429, atriphtaloid (unknown). Also MathWorld Atriphtaloid
History
- 2026-10-26: add by m2/dev
Édouard Lucas 90RNZRJMC0
| URI | m2://inv/90RNZRJMC0 |
|---|---|
| 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 Q274377, Édouard Lucas (unknown). Also ProofWiki Mathematician:François_Édouard_Anatole_Lucas
History
- 2026-10-26: add by m2/dev
Hero of Alexandria 90VTCD4KNJ
| URI | m2://inv/90VTCD4KNJ |
|---|---|
| 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 Q161853, Hero of Alexandria (unknown). Also ProofWiki Mathematician:Heron_of_Alexandria
History
- 2026-10-26: add by m2/dev
Hee Sik Kim 90X2PNK0XD
| URI | m2://inv/90X2PNK0XD |
|---|---|
| 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 Q87518273, Hee Sik Kim (unknown). Also ProofWiki Mathematician:Hee_Sik_Kim
History
- 2026-10-26: add by m2/dev
Catharina Stroppel 90YJZ31KAM
| URI | m2://inv/90YJZ31KAM |
|---|---|
| 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 Q6568683, Catharina Stroppel (unknown). Also nLab Catharina Stroppel
History
- 2026-10-26: add by m2/dev
The (n!)-th composite number. 90YJZE68W5
| URI | m2://inv/90YJZE68W5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194489, The (n!)-th composite number. (object). Also OEIS A073167
History
- 2026-10-26: add by m2/dev
compactness in terms of filters 90YPGRGS24
| URI | m2://inv/90YPGRGS24 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > compactness in terms of filters, compactness in terms of filters (unknown). Also Mathlib IsCompact
History
- 2026-10-26: add by m2/dev