Inventory rows FD
The cards of the rows of the inventory whose ids start with FD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
F/f FD2AP492Z3
| URI | m2://inv/FD2AP492Z3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9765, F/f (unknown). Also ProofWiki Symbols:F
History
- 2026-10-26: add by m2/dev
quintillion FD3NAJVTF5
| URI | m2://inv/FD3NAJVTF5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11751755, quintillion (unknown). Also MathWorld Quintillion
History
- 2026-10-26: add by m2/dev
knight's tour FD6EPZCNAE
| URI | m2://inv/FD6EPZCNAE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q12524, Schwenk's theorem (statement). Also Wikidata Q12524
- thousand_plus: thousand_plus Q12524, Schwenk's theorem (statement). Also Wikidata Q12524, Wikipedia Schwenk's theorem
- wikidata: Wikidata Q12524, knight's tour (definition). Also MathWorld KnightsTour, OEIS A001230, ProofWiki Definition:Knight's_Tour
History
- 2026-10-26: add by m2/dev
mathematical definition FD7HWASJTS
| URI | m2://inv/FD7HWASJTS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114425676, mathematical definition (unknown). Also MathWorld Definition
History
- 2026-10-26: add by m2/dev
gravitational acceleration FD800S4KZJ
| URI | m2://inv/FD800S4KZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30006, gravitational acceleration (statement). Also ProofWiki Acceleration_Due_to_Gravity
History
- 2026-10-26: add by m2/dev
Bernoulli number FD9PQSN2R7
| URI | m2://inv/FD9PQSN2R7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Bernoulli number 0KC00K7KY4 |
Mentions
- wikidata: Wikidata Q694114, Bernoulli number (concept). Also LMFDB knowl af.bernoulli_numbers, MathWorld BernoulliNumber, nLab Bernoulli number, OEIS A027641, OEIS A027642, ProofWiki Definition:Bernoulli_Numbers
History
- 2026-10-26: add by m2/dev
checkerboard FDC1VX90R5
| URI | m2://inv/FDC1VX90R5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q460711, checkerboard (unknown). Also MathWorld Checkerboard
History
- 2026-10-26: add by m2/dev
Mumford vanishing theorem FDD5979JZT
| URI | m2://inv/FDD5979JZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6935403, Mumford vanishing theorem (statement). Also Wikidata Q6935403
- thousand_plus: thousand_plus Q6935403, Mumford vanishing theorem (statement). Also Wikidata Q6935403, Wikipedia Mumford vanishing theorem
History
- 2026-10-26: add by m2/dev
Arnaud Beauville FDDPQVA90Y
| URI | m2://inv/FDDPQVA90Y |
|---|---|
| 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 Q691176, Arnaud Beauville (unknown). Also nLab Arnaud Beauville
History
- 2026-10-26: add by m2/dev
Ford circle FDFEK5XF4B
| URI | m2://inv/FDFEK5XF4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1436714, Ford circle (unknown). Also MathWorld FordCircle
History
- 2026-10-26: add by m2/dev
FDK5EHTS2A FDK5EHTS2A
| URI | m2://inv/FDK5EHTS2A |
|---|---|
| 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 Q102195427 (unknown). Also ProofWiki Mathematician:Patrick_Michael_Fitzpatrick
History
- 2026-10-26: add by m2/dev
principle of computational equivalence FDRC9MN3PQ
| URI | m2://inv/FDRC9MN3PQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17990750, principle of computational equivalence (unknown). Also MathWorld PrincipleofComputationalEquivalence
History
- 2026-10-26: add by m2/dev
Fagnano's problem FDRPSEEEX8
| URI | m2://inv/FDRPSEEEX8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q918258, Fagnano's problem (problem). Also EoM Fagnano_problem, MathWorld FagnanosProblem
History
- 2026-10-26: add by m2/dev
path graph P3 FDRRYJM2DR
| URI | m2://inv/FDRRYJM2DR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q127699255, path graph P3 (unknown). Also House of Graphs 32234
History
- 2026-10-26: add by m2/dev
kite FDS819NAT5
| URI | m2://inv/FDS819NAT5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107061, kite (unknown). Also MathWorld Kite
History
- 2026-10-26: add by m2/dev
Stefan-Boltzmann law FDSPM3173H
| URI | m2://inv/FDSPM3173H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q704747, Stefan-Boltzmann law (unknown). Also EoM Stefan-Boltzmann_law
History
- 2026-10-26: add by m2/dev
trapezoidal number FDWC5ZG65P
| URI | m2://inv/FDWC5ZG65P |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q115868096, trapezoidal number (object). Also OEIS A165513
History
- 2026-10-26: add by m2/dev
composition series FDZAFM4G3W
| URI | m2://inv/FDZAFM4G3W |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | Composition series 0XV2A49X6Q |
Mentions
- mathlib_1000: mathlib_1000 Q2525646, Jordan–Hölder theorem (statement). Also Mathlib CompositionSeries.jordan_holder, Wikidata Q2525646
- thousand_plus: thousand_plus Q2525646, Jordan–Hölder theorem (statement). Also Mathlib CompositionSeries.jordan_holder, Wikidata Q2525646, Wikipedia Jordan–Hölder theorem
- wikidata: Wikidata Q2525646, composition series (unknown). Also EoM Composition_series, MathWorld CompositionSeries, nLab composition series
History
- 2026-10-26: add by m2/dev