Inventory rows 97
The cards of the rows of the inventory whose ids start with 97. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Branching theorem 972A0PRS7B
| URI | m2://inv/972A0PRS7B |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 32-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4956438, Branching theorem (statement). Also Wikidata Q4956438
- thousand_plus: thousand_plus Q4956438, Branching theorem (statement). Also Wikidata Q4956438, Wikipedia Branching theorem
History
- 2026-10-26: add by m2/dev
Euler's criterion 976VF01XY6
| URI | m2://inv/976VF01XY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Euler's criterion 0M7DEDKSYB |
Mentions
- wikidata: Wikidata Q2346904, Euler's criterion (statement). Also MathWorld EulersCriterion
History
- 2026-10-26: add by m2/dev
topological sorting 97BGHRYBMN
| URI | m2://inv/97BGHRYBMN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q753127, topological sorting (unknown). Also MathWorld TopologicalSort
History
- 2026-10-26: add by m2/dev
weakly inaccessible cardinal 97EKKDGJBV
| URI | m2://inv/97EKKDGJBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12054637, weakly inaccessible cardinal (definition). Also ProofWiki Definition:Weakly_Inaccessible_Cardinal
History
- 2026-10-26: add by m2/dev
reducible set 97F1Q0N2DJ
| URI | m2://inv/97F1Q0N2DJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141499243, reducible set (unknown). Also MathWorld Reducible
History
- 2026-10-26: add by m2/dev
Heronian triangle 97FNE25NWY
| URI | m2://inv/97FNE25NWY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1613856, Heronian triangle (unknown). Also MathWorld HeronianTriangle
History
- 2026-10-26: add by m2/dev
Saul Kripke 97GK4ABZ1A
| URI | m2://inv/97GK4ABZ1A |
|---|---|
| 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 Q298521, Saul Kripke (unknown). Also nLab Saul Kripke
History
- 2026-10-26: add by m2/dev
cryptanalysis 97KA7F1SPH
| URI | m2://inv/97KA7F1SPH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q897511, cryptanalysis (unknown). Also MathWorld Cryptanalysis
History
- 2026-10-26: add by m2/dev
Royle graph 97RSAYY0VQ
| URI | m2://inv/97RSAYY0VQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118371984, Royle graph (unknown). Also MathWorld RoyleGraphs
History
- 2026-10-26: add by m2/dev
Keller's conjecture 97TE3M6AQ5
| URI | m2://inv/97TE3M6AQ5 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4802474, Keller's conjecture (conjecture). Also MathWorld KellersConjecture
History
- 2026-10-26: add by m2/dev