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 2701–2800 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| BN9D8AR2RR | BN9D8AR2RR | 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.05327#CA0O |
| BN9PT9E273 | BN9PT9E273 | 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.19954#PKZK |
| BN9YEE9HB2 | BN9YEE9HB2 | 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.00134#QONU |
| BNA7DR3W4Y | BNA7DR3W4Y | 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.29450#4102 |
| BNAC89P7K1 | BNAC89P7K1 | 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 2609.29158#4ISP |
| BNAT8STF6E | BNAT8STF6E | 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 1806.00752#AD52 |
| BNAWZT0CBA | BNAWZT0CBA | 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 2210.02261#QT6S |
| BNC66H62YF | BNC66H62YF | 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.39104#NA3E |
| BND28TJ8CA | BND28TJ8CA | 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.05708#EGTX |
| BND7SFRVF8 | BND7SFRVF8 | statement | open | open_logic content/lambda-calculus/lambda-definability/partial-recursive-functions.tex#thm-1 |
| BNDEVVAJVY | BNDEVVAJVY | 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.19251#V7Q8 |
| BNDX4PBPA0 | BNDX4PBPA0 | 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.14099#NF1R |
| BNE7N1AGZ3 | BNE7N1AGZ3 | 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 2605.29624#5J1K |
| BNEYZFYJE2 | BNEYZFYJE2 | 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.35209#JME1 |
| BNFACAQ785 | BNFACAQ785 | 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.22040#R5BT |
| BNGWZ91ZGE | BNGWZ91ZGE | 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.25409#8ZMM |
| BNH2M1T1VS | BNH2M1T1VS | 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.25854#MW4M |
| BNHR8BE2E5 | BNHR8BE2E5 | 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.35191#N5MW |
| BNKX33RY7B | BNKX33RY7B | 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.16680#W7VI |
| BNM3039TQB | BNM3039TQB | 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.26479#TET6 |
| BNMY0RGMVA | BNMY0RGMVA | 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.08809#ZOKS |
| BNNAZ1YBND | BNNAZ1YBND | 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.07092#ZUJL |
| BNNVM2VDX5 | BNNVM2VDX5 | 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.03336#UIII |
| BNP1ZCMD14 | BNP1ZCMD14 | 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.21037#4XRA |
| BNPDRT2ZZE | BNPDRT2ZZE | 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.26201#0A8F |
| BNPSWJ1RDG | BNPSWJ1RDG | 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 2309.17091#VB6V |
| BNPXM6C6ZZ | BNPXM6C6ZZ | 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.12908#F4AI |
| BNQ55BY2RW | BNQ55BY2RW | 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.04069#WMIY |
| BNQBNG7Q5H | BNQBNG7Q5H | definition | open | hott_book homotopy.tex#thm:freudcode |
| BNQJGDQNNQ | BNQJGDQNNQ | 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.17129#W4XP |
| BNR6GEJK6B | BNR6GEJK6B | 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.07442#DQAY |
| BNRED3RK2H | BNRED3RK2H | 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.04382#ZJUE |
| BNRGRFXPQM | BNRGRFXPQM | 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.21278#9B6J |
| BNS7SZZWTS | BNS7SZZWTS | 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.04271#VXU2 |
| BNTESG4H6A | BNTESG4H6A | 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 2512.19872#E91L |
| BNV0Y3D42W | BNV0Y3D42W | 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.34856#MCMW |
| BNV4MQKCMY | BNV4MQKCMY | 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.33590#J0JP |
| BNW0BKW7P6 | BNW0BKW7P6 | 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.12188#FSNA |
| BNWZEYMH8S | BNWZEYMH8S | 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.10221#ZGDM |
| BNXGBRTRJA | BNXGBRTRJA | 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.06152#9MXS |
| BNXTEP2ES9 | BNXTEP2ES9 | 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 1002.0879#SPI2 |
| BNYHSYNG7D | BNYHSYNG7D | 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.04835#QDSR |
| BNYTWGJN6F | BNYTWGJN6F | 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.03688#TEIW |
| BNZFVPH8JA | BNZFVPH8JA | 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.02111#E5CQ |
| BNZW0T40ZS | BNZW0T40ZS | 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.04317#7VQ3 |
| Bob Coecke | QWZWAFV34N | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q4932096, nLab Bob Coecke |
| Bobkov | X99438D20W | 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.38041#DQIA |
| Bochner | 7YZ6A46522 | 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.34474#IKB4 |
| Bochner formula | 7Y0DA855D2 | 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.25801#VUWC |
| Bochner identity | SN0RF885XA | statement | open | Wikidata Q4936241, MathWorld BochnerIdentity |
| Bochner inequality on the completion | 376Y8E9592 | 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.05204#PMBP |
| Bochner integral | DMTP1TPHTR | unknown | open | mathlib_overview Analysis > Measures and integral calculus > Bochner integral, Mathlib MeasureTheory.integral, mathlib_undergrad Probability Theory > Random variables and their laws > mean of a random variable |
| Bochner lifting | H06WBF9PVH | 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.26984#3ZIV |
| Bochner's theorem | 1P2WM7G285 | statement | open | arXiv 2610.18907#IROB, Wikidata Q4936242, MathWorld BochnersTheorem |
| Bochner's tube theorem | BP2CJ1SFX1 | statement | open | mathlib_1000 Q107535899, Wikidata Q107535899, thousand_plus Q107535899, Wikipedia Bochner's tube theorem |
| Bochner--Martinelli | 4N0R3F6XXJ | statement | open | lebl_scv scv.tex#thm:bochnermartinelli |
| Bochner--Martinelli integral formula | YF0NZX97K3 | concept | open | lebl_scv index/5.1/bochner-martinelli-integral-formula |
| Bochner-Minlos | 93EGXSWGVB | 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 2503.01567#3M7P |
| Bochner-space and stochastic-Galerkin robustness | 9ERT65ZN80 | 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.30559#7C12 |
| Bochner–Martinelli formula | K33B38RZPT | concept | open | Wikidata Q4936246, EoM Bochner-Martinelli_representation_formula |
| Bockstein homomorphism | AGF0FET6V0 | unknown | open | Wikidata Q4936292, nLab Bockstein homomorphism |
| Bockstein spectral sequence | JQY4EV2JCY | unknown | open | Wikidata Q4936293, nLab Bockstein spectral sequence |
| Bodlaender et al. | GFGWRDNG1R | 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.01441#B5MF |
| Bodo Pareigis | 82NQC2Y366 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q26995329, nLab Bodo Pareigis |
| Boethius | HN97A3G3YQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102851, ProofWiki Mathematician:Anicius_Manlius_Severinus_Boëthius |
| Bogdanov map | 8ACPXRND8X | unknown | open | Wikidata Q22906850, MathWorld BogdanovMap |
| Bogoliubov–Parasyuk theorem | MVDARM36H4 | statement | open | mathlib_1000 Q4937691, Wikidata Q4937691, thousand_plus Q4937691, Wikipedia Bogoliubov–Parasyuk theorem |
| Bogolyubov-Ruzsa Lemma | V88V4MBYDC | 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.11847#0LTX |
| Bogomolny equation | 8VPCSRD7AW | unknown | open | Wikidata Q16963296, nLab Bogomolny equation |
| Bohr compactification | XCPAJFMJXR | concept | open | Wikidata Q4938217, EoM Bohr_compactification, nLab Bohr compactification |
| Bohr magneton | 4PWCW09D8N | definition | open | Wikidata Q737120, ProofWiki Definition:Bohr_Magneton |
| Bohr radius | K57NTW7ZZM | definition | open | Wikidata Q652571, ProofWiki Definition:Bohr_Radius |
| Bohr–Mollerup theorem | 2M2WEN9FWX | statement | open | mathlib_1000 Q2734084, Wikidata Q2734084, thousand_plus Q2734084, Wikipedia Bohr–Mollerup theorem, MathWorld Bohr-MollerupTheorem |
| Bohr–van Leeuwen theorem | ZN82YCG444 | statement | open | mathlib_1000 Q890875, Wikidata Q890875, thousand_plus Q890875, Wikipedia Bohr–van Leeuwen theorem |
| Bol | Z3FHRX4KXB | 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 2212.02556#4RJU |
| Bol loop | G815CAT5BY | unknown | open | Wikidata Q4938867, MathWorld BolLoop, nLab Bol loop |
| Bolker and Roth | DPGT4EXPTS | 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 0909.2893#XSIF |
| Bollob\'as | W2QSK964SA | 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#PVWH |
| Bollob\'as, Daykin and Erd\H{o}s | W4WVXVKJV9 | 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.16203#SEI0 |
| Bollob\'as, H\"{a}ggkvist | ZM3003Y7Y3 | 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 2603.21971#V972 |
| Bollobas-Szemeredi-Thomason | 19FKQEJYSH | 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.30561#JUKV |
| Bollobás | 6XF9PRWRS7 | 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#RLON |
| Bollobás, Thomason | C9Z6PKNX82 | 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#6ZFU |
| Bollobás, Thomason | CMYJTABSEV | 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#DJTA |
| Bollobás, Thomason | HC02CZFC54 | 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#3LDN |
| Bolognesi--Vistoli , Theorem 4.4 | E3G9H2W4ES | 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 2110.14727#QGS4 |
| Boltzmann constant | MFSM263H9E | definition | open | Wikidata Q5962, ProofWiki Definition:Boltzmann's_Constant |
| Boltzmann--Gibbs principle | 9722YDSCHN | 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.37897#VKW9 |
| Boltzmann--Gibbs principle | JPTWNQQ4JT | 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.37897#6N0S |
| Bolza problem | E6XR6G771R | problem | open | Wikidata Q4183824, MathWorld BolzaProblem |
| Bolzano's intermediate value theorem | 29BFA18X44 | statement | open | lebl_ra ch-contfunc.tex#IVT:thm |
| Bolzano's intermediate value theorem | MPZ97Y04G8 | concept | open | lebl_ra index/2.3.2/bolzano-s-intermediate-value-theorem |
| Bolzano's theorem | HNCN03SEFS | statement | open | Wikidata Q137767193, MathWorld BolzanosTheorem |
| Bolzano's theorem | PFP6NSN3PJ | concept | open | lebl_ra index/2.3.2/bolzano-s-theorem |
| Bolzano--Weierstrass | R262R49856 | statement | open | lebl_ra ch-seq-ser.tex#thm:bwseq |
| Bolzano--Weierstrass theorem | PAWD5QMJ6V | concept | open | lebl_ra index/10.3.3/bolzano-weierstrass-theorem |
| Bolzano-Weierstra\ss | WQ0Y9SHKAX | statement | open | napkin tex/topology/compactness.tex#thm:fakeBW |
| Bolzano–Weierstrass theorem | YE728JVGT7 | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q468391, Mathlib tendsto_subseq_of_frequently_bounded, Mathlib tendsto_subseq_of_bounded, Wikidata Q468391, mathlib_undergrad Single Variable Real Analysis > Topology of R > Bolzano-Weierstrass theorem, thousand_plus Q468391, Wikipedia Bolzano–Weierstrass theorem, EoM Bolzano-weierstrass_theorem, MathWorld Bolzano-WeierstrassTheorem |
| Bombieri norm | W9S7TJ9ZEG | unknown | open | Wikidata Q4940677, MathWorld BombieriNorm |
| Bombieri--Giusti Lemma | M4V4W0TD2S | 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.08434#EU66 |