Inventory rows RF
The cards of the rows of the inventory whose ids start with RF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
combinatory logic RF09T1AP0Q
| Kind | topic |
|---|---|
| Layer | textbook |
| MSC | 03B40 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1481571, combinatory logic (topic). Also EoM Combinatory_logic, MathWorld CombinatoryLogic, nLab combinatory logic
History
- 2026-10-26: add by m2/dev
Rubik's Cube group RF1Y9DXZAK
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3123152, Rubik's Cube group (unknown). Also MathWorld RubiksGroup
History
- 2026-10-26: add by m2/dev
field of rational numbers RF2GECVTVW
| Kind | definition |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6585992, field of rational numbers (definition). Also MathWorld FieldofRationals, ProofWiki Definition:Field_of_Rational_Numbers
History
- 2026-10-26: add by m2/dev
additive number theory RF44X0F07D
| Kind | topic |
|---|---|
| Layer | textbook |
| MSC | 11Pxx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3526722, additive number theory (topic). Also EoM Additive_number_theory, MathWorld AdditiveNumberTheory
History
- 2026-10-26: add by m2/dev
pigeonhole principle RFC4P7M3X9
| Kind | statement |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Pigeonhole principle 0HGVCWQGY3 |
Mentions
- wikidata: Wikidata Q188276, pigeonhole principle (statement). Also MathWorld DirichletsBoxPrinciple, ProofWiki Dirichlet's_Box_Principle
History
- 2026-10-26: add by m2/dev
comparison theorem RFFD0WND4S
| Kind | statement |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156040, comparison theorem (statement). Also nLab comparison theorem
History
- 2026-10-26: add by m2/dev
additive functor RFNEDR1ACH
| Kind | concept |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q353285, additive functor (concept). Also MathWorld AdditiveFunctor, nLab additive functor
History
- 2026-10-26: add by m2/dev
Katydid sequence RFPMHZ4NE4
| Kind | object |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6378559, Katydid sequence (object). Also OEIS A060031
History
- 2026-10-26: add by m2/dev
Proceedings of the London Mathematical Society RFRJNVW60R
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6087100, Proceedings of the London Mathematical Society (unknown). Also ProofWiki Book:Journal/Proceedings_of_the_London_Mathematical_Society
History
- 2026-10-26: add by m2/dev
Pfaffian RFXZND52HZ
| Kind | concept |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1189744, Pfaffian (concept). Also EoM Pfaffian, MathWorld Pfaffian, nLab Pfaffian
History
- 2026-10-26: add by m2/dev