Inventory: B
The rows of the inventory whose names start with B. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 1501–1600 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| BDD878T0ZH | BDD878T0ZH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38194#GQIQ |
| BDDAN9GB97 | BDDAN9GB97 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30018#WVPD |
| BDDD1DE0VM | BDDD1DE0VM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12330#GCIV |
| BDDH3RWJVJ | BDDH3RWJVJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24701#IAWO |
| BDE0EGNB2V | BDE0EGNB2V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30165#DOGE |
| BDEAVXKTSF | BDEAVXKTSF | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25168#1JQL |
| BDEJTZHRF2 | BDEJTZHRF2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28552#369W |
| BDFV62N0EF | BDFV62N0EF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12736#VS1E |
| BDFZEZAHE4 | BDFZEZAHE4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.02275#SXWO |
| BDH276VR0N | BDH276VR0N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39293#8Z07 |
| BDHR2FG9H2 | BDHR2FG9H2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00856#MZV0 |
| BDHYAJ57H2 | BDHYAJ57H2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15926#YNFB |
| BDJ36YSTRD | BDJ36YSTRD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25275#QWFV |
| BDJA1XFHF2 | BDJA1XFHF2 | statement | open | napkin tex/H113/quotient.tex#fact-1 |
| BDK0C58WCN | BDK0C58WCN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24901#UBZ7 |
| BDM46JKTFK | BDM46JKTFK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25168#301V |
| BDMGDSJYZF | BDMGDSJYZF | exercise | open | open_logic content/normal-modal-logic/completeness/complete-consistent-sets.tex#probtag-1 |
| BDMGMV5C9R | BDMGMV5C9R | exercise | open | hott_book reals.tex#ex:RD-lt-vs-le |
| BDMVGQG3QE | BDMVGQG3QE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35404#O8OW |
| BDMX43CAYD | BDMX43CAYD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.31445#M4Z7 |
| BDN1BKJ8T6 | BDN1BKJ8T6 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.12669#A4WS |
| BDNNJ1WKSR | BDNNJ1WKSR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.05577#LJC9 |
| BDP94GTXT8 | BDP94GTXT8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35669#UBF7 |
| BDPVF2GK8H | BDPVF2GK8H | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2504.10954#C198 |
| BDQ9Z2XG97 | BDQ9Z2XG97 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04349#SSA9 |
| BDRC6X20HG | BDRC6X20HG | statement | open | open_logic content/first-order-logic/beyond/intuitionistic-logic.tex#thm-2 |
| BDRY6C95GY | BDRY6C95GY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2408.01345#794K |
| BDS63E4SWP | BDS63E4SWP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16114#F6PE |
| BDSSCN286C | BDSSCN286C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19694#FXBO |
| BDT7SRF43E | BDT7SRF43E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28009#TMPM |
| BDT97A16SC | BDT97A16SC | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv math/9602216#SJY0 |
| BDTB3J8QF0 | BDTB3J8QF0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21935#944C |
| BDTBKNRPS7 | BDTBKNRPS7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.34946#I0N2 |
| BDTG5S0K7M | BDTG5S0K7M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.01658#2PJW |
| BDTWS8GAEA | BDTWS8GAEA | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10930#19QL |
| BDVB9468TW | BDVB9468TW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30519#I88K |
| BDVBDTFB3R | BDVBDTFB3R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.01073#2WVF |
| BDWDR6BWP1 | BDWDR6BWP1 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21494#Q2NW |
| BDWG7CTZ6T | BDWG7CTZ6T | exercise | open | lebl_diffyqs ch-intro.tex#exercise-20 |
| BDWZCG5249 | BDWZCG5249 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16844#HWYK |
| BDXR3W1P3A | BDXR3W1P3A | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10930#97OP |
| BDZ074S8AX | BDZ074S8AX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv math/0411039#QXOG |
| BDZXYZ8837 | BDZXYZ8837 | problem | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01919#HE62 |
| BE14EQ55BY | BE14EQ55BY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28046#QBFB |
| BE1HFPC9CW | BE1HFPC9CW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09084#AAT1 |
| BE1X10YHWM | BE1X10YHWM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06488#W26O |
| BE1YVVPAKC | BE1YVVPAKC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.07812#853L |
| BE2K2P9GFB | BE2K2P9GFB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.11301#JQ0M |
| BE2N15MXWX | BE2N15MXWX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17045#FR9Q |
| BE308VYT1J | BE308VYT1J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39809#GM0O |
| BE36QNMJ3B | BE36QNMJ3B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.13933#5796 |
| BE4GDAG6JM | BE4GDAG6JM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19088#OZ6H |
| BE5DMCRFBT | BE5DMCRFBT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2010.04617#K5CW |
| BE616SSXJN | BE616SSXJN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.22218#XVCW |
| BE61XYAKM6 | BE61XYAKM6 | exercise | open | napkin tex/homology/cup-product.tex#exercise-1 |
| BE695094XC | BE695094XC | definition | open | hott_book hits.tex#defn:cocone |
| BE6CG8TQSW | BE6CG8TQSW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.13291#STXV |
| BE7H1PFNJD | BE7H1PFNJD | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30018#JDKT |
| BE81Z8DM0P | BE81Z8DM0P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17677#BRFU |
| BE84AVK925 | BE84AVK925 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11905#MWJ6 |
| BE882BFDDG | BE882BFDDG | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.02432#GFSX |
| BE9RKPYE26 | BE9RKPYE26 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.34066#EJHQ |
| BE9X0G53JB | BE9X0G53JB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.09207#MD4G |
| BEA7HXRPQB | BEA7HXRPQB | unknown | open | arXiv 1804.05688#FE7H |
| Beal's conjecture | KTCQH2ETDV | conjecture | open | Wikidata Q508173, MathWorld BealsConjecture |
| Beamforming ceiling and finite-$N$ law | V2FA10QFJT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15184#GYIO |
| bean curve | 82AVSXVZV2 | unknown | open | Wikidata Q2708656, MathWorld BeanCurve |
| bean machine | CQ80CQAD73 | unknown | open | Wikidata Q139622, MathWorld GaltonBoard |
| BEARN4GSVG | BEARN4GSVG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.00585#ZOYX |
| Beastly (or hateful) numbers: numbers containing the string 666 in their decimal expansion. | EN5VVPYX7N | object | open | Wikidata Q100194614, OEIS A051003 |
| beating | XCSEEHSJWD | concept | open | lebl_diffyqs index/6.6.1/beating |
| Beatty sequence | G3E3HH0BY1 | statement | open | mathlib_1000 Q791663, Mathlib Irrational.beattySeq_symmDiff_beattySeq_pos, Mathlib compl_beattySeq, Wikidata Q791663, thousand_plus Q791663, Wikipedia Beatty's theorem, MathWorld BeattySequence |
| Beauville–Laszlo theorem | CWDVN83VWA | statement | open | mathlib_1000 Q4877965, Wikidata Q4877965, thousand_plus Q4877965, Wikipedia Beauville–Laszlo theorem |
| BEBA3746TC | BEBA3746TC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15720#NJ4J |
| BEBR1FGT3W | BEBR1FGT3W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12732#O0KU |
| BEBVSNQ2N7 | BEBVSNQ2N7 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.09207#2X32 |
| BEC96SHN0Y | BEC96SHN0Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16081#5D7R |
| because | 7G2854FR74 | unknown | open | Wikidata Q12895196, MathWorld Because |
| BECHEX4G9G | BECHEX4G9G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.01873#96SS |
| Beck's monadicity theorem | HZM3C3ATDF | statement | open | mathlib_1000 Q4878586, Mathlib CategoryTheory.Monad.monadicOfCreatesGSplitCoequalizers, Wikidata Q4878586, thousand_plus Q4878586, Wikipedia Beck's monadicity theorem, nLab monadicity theorem |
| Beck's theorem (geometry) | A3C9P7AGAW | statement | open | mathlib_1000 Q3527011, Wikidata Q3527011, thousand_plus Q3527011, Wikipedia Beck's theorem (geometry) |
| Beck--Fiala with a complete reference | ADM06610TD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38228#LRFI |
| Beckman–Quarles theorem | 77QEGFD8B6 | statement | open | mathlib_1000 Q2226606, Wikidata Q2226606, thousand_plus Q2226606, Wikipedia Beckman–Quarles theorem |
| Beckner's entropy inequality | SM7N5X3KA2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35669#QKPU |
| becoming | XCA0SW5JQB | unknown | open | Wikidata Q461674, nLab becoming |
| Bede | V1ATYYM3EQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q154938, ProofWiki Mathematician:Bede |
| BEEFQNVZEV | BEEFQNVZEV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19463#KCYM |
| Beem--Ehrlich--Markvorsen--Galloway | WP1EMVPQ4H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10051#5O0U |
| Beer's theorem | Y663Q0FXDA | statement | open | mathlib_1000 Q7999797, Wikidata Q7999797, thousand_plus Q7999797, Wikipedia Beer's theorem |
| Beer–Lambert law | EB6BMEVYWX | statement | open | Wikidata Q217351, ProofWiki Beer-Lambert-Bouguer_Law |
| BEF3109MJE | BEF3109MJE | exercise | open | ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-4 |
| Before Proposition 2.3 | NFD1GCH0S8 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.10080#3H9Z |
| BEFPE5QJTH | BEFPE5QJTH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25084#0IO1 |
| BEFSFX9BQY | BEFSFX9BQY | proof | open | levin_dmoi ptx/exercises/seq-induction.ptx#proof-11 |
| BEFXKDM83P | BEFXKDM83P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25656#UW8P |
| begging the question | PT6QCPFFC3 | statement | open | Wikidata Q219429, ProofWiki Begging_the_Question |
| BEGS8R5PZV | BEGS8R5PZV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04993#BS2K |
| Behavior of all density entries at zero | 3RQW4T3NQB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.08568#B1YT |
| Behnke--Stein again | PZYJ4JM67E | exercise | open | lebl_scv scv.tex#exercise:behnkestein |
| Behnke--Stein theorem | 60SNM6NGY5 | concept | open | lebl_scv index/2.6/behnke-stein-theorem |