| Borcherds algebra | 7JP0Q15EVM | definition | open | Wikipedia List of algebras#PUZX |
| Borchers algebra | HSGKA2V28H | definition | open | Wikipedia Borchers algebra, Wikidata Q4944404 |
| Borda count | 9S58QY9ZCD | definition | open | Wikipedia Borda count, Wikidata Q576578 |
| Border Gateway Protocol | BTRNKNT0KJ | unknown | open | Wikipedia List of PSPACE-complete problems#C5PW |
| Border rank | F683N93DBC | unknown | open | Wikipedia Tensor rank decomposition#D3V5 |
| bordered Hessian | 268PHHA5H0 | definition | open | Wikipedia Glossary of invariant theory#38R2 |
| Bordered Hessian | 6328FNMVXK | unknown | open | Wikipedia Hessian matrix#C2H7 |
| Bordering round | AS7GPPNHB0 | 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.27966#XQLB |
| Borderline boost function regularity I | 3M891JFQ3Y | 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.25449#1XM3 |
| Borderline boost function regularity II | 55ERY9Y2JK | 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.25449#N8CX |
| Borderline boost regularity for Dirichlet problems | FHMNX52D02 | 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.25449#GVQ1 |
| borderline case | MXFCVM16NJ | definition | open | Wikipedia Glossary of logic#KWJY |
| Borde–Guth–Vilenkin theorem | AZ371J2DX0 | statement | open | Wikipedia Borde–Guth–Vilenkin theorem, Wikidata Q85850287 |
| Bordiga surface | PNQ622FK1G | definition | open | Wikipedia Bordiga surface, Wikidata Q4944732 |
| Bordism categories with flips | HRHEFBEZYK | 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 2303.09207#1HZZ |
| Bordism categories with real structures | C0JCD9CZV6 | 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 2303.09207#VFP8 |
| Boreham, John | 6CEBADTAW8 | unknown | open | Wikipedia List of statisticians#E3B0 |
| Borel | 3VG0JGNBYP | definition | open | Wikipedia Glossary of Lie groups and Lie algebras#KVM2 |
| Borel | 8VB9EW1S4V | definition | open | Wikipedia Glossary of algebraic topology#OCPX |
| Borel | CP11PWMJRT | definition | open | Wikipedia Glossary of set theory#QS9A |
| Borel | JYAKSJN3WA | definition | open | Wikipedia Glossary of real and complex analysis#J7XZ |
| Borel | V15HP26446 | definition | open | Wikipedia Glossary of functional analysis#X7PI |
| Borel $\sigma$-algebras with $\ext P\neq P_1$ | F9F654CG6K | 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 2606.21391#3ZO9 |
| Borel algebra | 60411N1KE3 | definition | open | Wikipedia List of integration and measure theory topics#BD8S |
| Borel algebra | 6EDWAS0YY8 | definition | open | Wikipedia Glossary of general topology#071Y |
| Borel algebra | D2K7WJZ87P | definition | open | Wikidata Q1080067, MathWorld BorelSigma-Algebra, ProofWiki Definition:Borel_Sigma-Algebra |
| Borel conjecture | 89PZ5ZD8VS | conjecture | open | Wikipedia List of unsolved problems in mathematics#E4G8 |
| Borel conjecture | PWFWHG7R6R | conjecture | open | Wikipedia Borel conjecture, Wikidata Q4138792 |
| Borel Conjecture | YDQHDP2MHB | conjecture | 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.20131#O2J9 |
| Borel determinacy theorem | R1WTKV2RW4 | statement | open | mathlib_1000 Q4944906, Wikidata Q4944906, thousand_plus Q4944906, Wikipedia Borel determinacy theorem |
| Borel determinacy theorem | Y24F84BNCK | statement | open | Wikipedia List of theorems#2BIM |
| Borel distribution | BZ35M6A695 | definition | open | Wikipedia Borel distribution, Wikidata Q17005364 |
| Borel distribution | ZHCE539SSZ | definition | open | Wikipedia List of probability distributions#EXN3 |
| Borel equivalence relation | PVRTPBJSV0 | definition | open | Wikipedia Borel equivalence relation, Wikidata Q4944905 |
| Borel fixed point theorem, III.10.4 | 2DHRXCS6JF | 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 2504.07573#45ZI |
| Borel fixed-point theorem | 4NRT4HPZR2 | statement | open | mathlib_1000 Q4944908, Wikidata Q4944908, thousand_plus Q4944908, Wikipedia Borel fixed-point theorem |
| Borel fixed-point theorem | S2BHNWHNCD | statement | open | Wikipedia List of theorems#C5GL |
| Borel function | 93AAHV1QP9 | unknown | open | Wikidata Q15895745, EoM Borel_function |
| Borel function | 9NHHXR36DC | unknown | open | Wikipedia Measurable function#H7WA |
| Borel function | TNBB9AYS7N | definition | open | Wikipedia List of types of functions#CMJQ |
| Borel functional calculus | B4V04HGPGY | topic | open | Wikipedia Borel functional calculus, Wikidata Q829645 |
| Borel graph theorem | 1GPNQ1T0QR | statement | open | Wikipedia Closed graph theorem (functional analysis)#N2VR |
| Borel graph theorem | 7CFE2M172N | statement | open | Wikipedia Borel graph theorem, Wikidata Q96373810 |
| Borel Graph Theorem | X08S5XG8YF | statement | open | Wikipedia Closed graph theorem (functional analysis)#WRWR |
| Borel hierarchy | K2KK7HJBAT | definition | open | Wikipedia Borel hierarchy, Wikidata Q893487 |
| Borel isomorphism | J6SZNS9WEN | definition | open | Wikipedia Borel isomorphism, Wikidata Q4944909 |
| Borel measurability of projections | VEN54MJQYP | 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#MNZA |
| Borel measure | 2SFGRDKEVB | definition | open | Wikipedia List of integration and measure theory topics#PFYB |
| Borel measure | N8E57CN8TA | definition | open | Wikidata Q892585, MathWorld BorelMeasure, nLab Borel measure, Wikipedia Borel measure |
| Borel regular measure | W7XQEX3AAH | definition | open | Wikipedia Borel regular measure, Wikidata Q3088680 |
| Borel regular measure | XC2EZF2G21 | definition | open | Wikipedia List of integration and measure theory topics#KAQJ |
| Borel right process | RH9B9XEARV | definition | open | Wikipedia Borel right process, Wikidata Q4944911 |
| Borel set | CJAS93RGAZ | definition | open | Wikipedia List of properties of sets of reals#EC60, Wikipedia List of types of sets#B3OL |
| Borel set | EMZAZR75D3 | definition | open | Wikipedia Glossary of general topology#PZVK |
| Borel set | THPTM2KK38 | definition | node (a node has the same Wikidata item as the row) | Wikidata Q21086747, EoM Borel_set, MathWorld BorelSet, nLab Borel subset, ProofWiki Definition:Borel_Sigma-Algebra/Borel_Set, Wikipedia Borel set |
| Borel sigma-algebra | 2MRQDP1G9C | unknown | node (a node has the same name as the row) | mathlib_overview Analysis > Measures and integral calculus > Borel sigma-algebra, Mathlib BorelSpace, mathlib_undergrad Measures and integral calculus > Measure theory > Borel sigma-algebras |
| Borel subalgebra | RJYQZYJ3KX | definition | open | Wikipedia Borel subalgebra, Wikidata Q85748295 |
| Borel subgroup | AA18QJ9VSQ | definition | open | Wikidata Q4944913, EoM Borel_subgroup, nLab Borel subgroup, Wikipedia Borel subgroup |
| Borel subgroup | GNMN21KAVZ | definition | open | Wikipedia List of group theory topics#89M9, Wikipedia List of Lie groups topics#LP9T |
| Borel suffices, and $\Theta$ is an isomorphism | S0C4YF8R0X | 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.26270#9415 |
| Borel summation | 4EYSN6G82P | definition | open | Wikidata Q2329388, nLab Borel summation, Wikipedia Borel summation |
| Borel summation | FV6JQ5TE4A | definition | open | Wikipedia List of real analysis topics#0MK6 |
| Borel's law of large numbers | TD4V5SCJEJ | statement | open | Wikipedia Law of large numbers#V77S |
| Borel's lemma | M80N44BH9N | statement | open | Wikipedia List of lemmas#S5KM |
| Borel's lemma | QJRW52J33R | statement | open | Wikipedia Borel's lemma, Wikidata Q3527022 |
| Borel's paradox | TGTCKBWNGS | statement | open | Wikipedia List of probability topics#ARPJ |
| Borel's theorem | XNQ9KQET3Y | statement | open | Wikidata Q18210319, nLab Borel's theorem, Wikipedia Borel's theorem |
| Borel's theorem on power series expansions | E7CXJ9FPSK | statement | open | Wikipedia Surjection of Fréchet spaces#3U2U |
| Borel--Haefliger , Sullivan | MEXXGAQHKZ | 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#S7TW |
| Borel-Cantelli lemma (difficult direction) | WW8SESKX09 | unknown | open | mathlib_undergrad Probability Theory > Definitions of a probability space > Borel-Cantelli lemma (difficult direction), Mathlib ProbabilityTheory.measure_limsup_eq_one |
| Borel-Cantelli lemma (easy direction) | D0MK3EZ2T0 | unknown | open | mathlib_undergrad Probability Theory > Definitions of a probability space > Borel-Cantelli lemma (easy direction), Mathlib MeasureTheory.measure_limsup_atTop_eq_zero |
| Borell-TIS, Theorem 2.1.1 | WQS7TAFNZ5 | 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.05953#QMCS |
| Borell–Brascamp–Lieb inequality | Q0RGGFQF10 | statement | open | Wikipedia List of inequalities#DVKI |
| Borell–Brascamp–Lieb inequality | RGJR6CJ7F0 | statement | open | Wikipedia Borell–Brascamp–Lieb inequality, Wikidata Q4944920 |
| Borell–TIS inequality | 21PE6GCGPF | statement | open | Wikipedia Borell–TIS inequality, Wikidata Q28405810 |
| Borell–TIS inequality | 7N7NP4BX0P | statement | open | Wikipedia List of inequalities#YBNO |
| Borel–Bott–Weil theorem | 7YAVRMZCVY | statement | open | Wikipedia List of theorems#Q4T5 |
| Borel–Cantelli lemma | J9YKBY83ZW | statement | open | Wikipedia List of statistics articles#JJM4, Wikipedia List of probability topics#Q59N, Wikipedia List of lemmas#7OHF, Wikipedia List of integration and measure theory topics#YRL1 |
| Borel–Cantelli lemma | JT477BJE14 | statement | open | Wikipedia Borel–Cantelli lemma#F9QH |
| Borel–Cantelli lemma | ZW8JQW58SK | statement | open | Wikipedia Borel–Cantelli lemma, Wikidata Q893496 |
| Borel–Cantelli Lemma for measure spaces | M23FQ29JK4 | statement | open | Wikipedia Borel–Cantelli lemma#HEZC |
| Borel–Cantelli lemmas | X9JGH9B2G2 | statement | open | Wikipedia Set-theoretic limit#MA23 |
| Borel–Carathéodory theorem | J9PNMMHZ65 | statement | open | mathlib_1000 Q3229335, Mathlib Complex.borelCaratheodory, Wikidata Q3229335, thousand_plus Q3229335, Wikipedia Borel–Carathéodory theorem |
| Borel–Carathéodory theorem | XR71637ER2 | statement | open | Wikipedia List of complex analysis topics#1978 |
| Borel–Carathéodory theorem | YNKZ3SYHYY | statement | open | Wikipedia List of theorems#BLJP |
| Borel–de Siebenthal theory | XJT1ZQ5FQZ | definition | open | Wikipedia Borel–de Siebenthal theory, Wikidata Q17003628 |
| Borel–Kolmogorov paradox | Z2KK5GM32V | statement | open | Wikipedia Borel–Kolmogorov paradox, Wikidata Q3363312 |
| Borel–Moore homology | 73SQ604RQA | definition | open | Wikipedia Borel–Moore homology, Wikidata Q4944924 |
| Borel–Moore homology | ZB5DP1BK6W | definition | open | Wikipedia Glossary of algebraic topology#LLEP |
| Borel–Weil theorem | 458C8YTF8N | statement | open | Wikidata Q4944922, MathWorld Borel-WeilTheorem, nLab Borel-Weil theorem |
| Borel–Weil theorem | 6YQZR92TVS | statement | open | Wikipedia Borel–Weil–Bott theorem#9NOZ |
| Borel–Weil theorem | GASY8J4WHV | statement | open | Wikipedia List of theorems#MY18 |
| Borel–Weil theorem | K4MXPK01GD | statement | open | Wikipedia List of Lie groups topics#LCCF, Wikipedia List of things named after André Weil#CRYE |
| Borel–Weil–Bott theorem | 1P18Z8RW42 | definition | open | Wikipedia Glossary of representation theory#3BKR |
| Borel–Weil–Bott theorem | C8C06867PM | statement | open | mathlib_1000 Q4944923, Wikidata Q4944923, mathlib_1000 Q4944923X, thousand_plus Q4944923, Wikipedia Borel–Bott–Weil theorem, thousand_plus Q4944923X, Wikipedia Borel–Weil theorem, ProofWiki Borel-Bott-Weil_Theorem, Wikipedia Borel–Weil–Bott theorem |
| Borel–Weil–Bott theorem | FXAESJS09S | statement | open | Wikipedia List of representation theory topics#5XMZ |
| Borg cipher | KK4R839RYC | definition | open | Wikipedia Borg cipher, Wikidata Q140032117 |
| BoringSSL | N3ZMMJKY5N | unknown | open | Wikipedia OpenSSL#PYPE |
| Boris Aronov | BPKP0FH6NM | unknown | open | Wikipedia List of people by Erdős number#F9ZQ |
| Boris Aronson | 7YHVWMJ8W3 | unknown | open | Wikipedia List of Ukrainian Jews#L801 |