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 4301–4390 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| BZ51720X75 | BZ51720X75 | 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.39981#II8J |
| BZ68F02WXY | BZ68F02WXY | 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.21408#US4O |
| BZ6M9EJ7GY | BZ6M9EJ7GY | 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.29918#VQAU |
| BZ6QPZD4GX | BZ6QPZD4GX | 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#YURK |
| BZ70BXRNAG | BZ70BXRNAG | statement | open | open_logic content/normal-modal-logic/tableaux/completeness.tex#cor:weak-completeness |
| BZ747H3TT5 | BZ747H3TT5 | 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.01737#B7KS |
| BZ77MD7R7C | BZ77MD7R7C | 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.28295#WGNR |
| BZ78WNN41P | BZ78WNN41P | 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.07828#SO0J |
| BZ8VKWJ7AX | BZ8VKWJ7AX | 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 2112.14455#QWBV |
| BZ97DAHA5Q | BZ97DAHA5Q | statement | open | applied_combinatorics source/s_recurrence_rigorous.ptx#theorem-1 |
| BZ9BCKVRVX | BZ9BCKVRVX | 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.28011#YCCO |
| BZ9FF0AE6Y | BZ9FF0AE6Y | 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 2511.17751#3MYM |
| BZ9N9Z7HS1 | BZ9N9Z7HS1 | exercise | open | lebl_scv scv.tex#exercise-107 |
| BZ9QGGKDX2 | BZ9QGGKDX2 | 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.18219#AXXL |
| BZAD46VZ06 | BZAD46VZ06 | 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.06108#64R9 |
| BZAF099YYJ | BZAF099YYJ | 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.14060#RM7Q |
| BZAKM573H2 | BZAKM573H2 | 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.01802#1VGQ |
| BZB1MPW587 | BZB1MPW587 | 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.01267#DWC0 |
| BZBAGRZ5K7 | BZBAGRZ5K7 | 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.08018#ACQ6 |
| BZC6F76N15 | BZC6F76N15 | 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.13076#LYUR |
| BZCCJNZNGR | BZCCJNZNGR | 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.20489#JUVI |
| BZCW7SP62S | BZCW7SP62S | 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 1103.1038#YMDJ |
| BZCWYYTARC | BZCWYYTARC | 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.10546#H65A |
| BZD94F9C2F | BZD94F9C2F | 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.20299#LYSO |
| BZDQB8ZSF6 | BZDQB8ZSF6 | 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.08697#9OKD |
| BZDQHKZNSX | BZDQHKZNSX | 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.00337#OZS5 |
| BZDSHZS81S | BZDSHZS81S | 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.14847#65BF |
| BZDTYY5M6J | BZDTYY5M6J | 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 1803.10042#6T80 |
| BZE4MY1KSW | BZE4MY1KSW | 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.37815#TS1H |
| BZGGC2BAJV | BZGGC2BAJV | 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.05791#DVWC |
| BZGWXNACC6 | BZGWXNACC6 | 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.09422#S7IB |
| BZGYX9CNQC | BZGYX9CNQC | 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 2411.16465#A7OL |
| BZHAZ0J1PC | BZHAZ0J1PC | 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.35323#O03F |
| BZHDQ821MP | BZHDQ821MP | 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.22170#2RU7 |
| BZHMSZMWV6 | BZHMSZMWV6 | 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.39700#HD9K |
| BZJBY837M0 | BZJBY837M0 | 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.29925#JYHT |
| BZJKJ4T13E | BZJKJ4T13E | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#exercise-7 |
| BZK1J85N4F | BZK1J85N4F | 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.18242#SJVL |
| BZK8W0193J | BZK8W0193J | 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.36204#GBDK |
| BZKA1HHEA2 | BZKA1HHEA2 | statement | open | hott_book setmath.tex#thm:wfrec |
| BZKN87CSVG | BZKN87CSVG | 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 2607.25960#D10O |
| BZKV69XH40 | BZKV69XH40 | 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 2607.00146#HFG8 |
| BZKZPKDMNC | BZKZPKDMNC | 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 2108.03672#MJJW |
| BZMNS5PSZG | BZMNS5PSZG | 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.28893#RJYZ |
| BZNFGDXTSV | BZNFGDXTSV | 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.08958#4L0O |
| BZNV1N9XHW | BZNV1N9XHW | 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.30113#CN58 |
| BZPF6DTFWS | BZPF6DTFWS | 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#R1MB |
| BZPGBW9QDS | BZPGBW9QDS | statement | open | austin_ula src/section2-6.xml#prop-linear-trans-characterization |
| BZPRNZV0H2 | BZPRNZV0H2 | 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.06458#6PDG |
| BZQ93PS3Y4 | BZQ93PS3Y4 | 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.04172#NWC1 |
| BZQEY9DQ5D | BZQEY9DQ5D | exercise | open | lebl_ra ch-multivar-int.tex#exercise-20 |
| BZQJVVDGCP | BZQJVVDGCP | 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 2510.05499#0W76 |
| BZQMMCHVDV | BZQMMCHVDV | 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.13792#TSL4 |
| BZQN3ASJZK | BZQN3ASJZK | statement | open | austin_ula src/section1-4.xml#principle-1 |
| BZR23HRFQJ | BZR23HRFQJ | 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.30527#N1K3 |
| BZR5W0BTCM | BZR5W0BTCM | 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.06544#NFD2 |
| BZRQZ4KHAM | BZRQZ4KHAM | 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.09422#T4Y4 |
| BZS0BTJV5Y | BZS0BTJV5Y | 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#EE4Y |
| BZSM31VAMK | BZSM31VAMK | 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.20207#25VO |
| BZT4HB7W5G | BZT4HB7W5G | example | open | napkin tex/rep-theory/characters.tex#example-4 |
| BZTJA8Y0YE | BZTJA8Y0YE | 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 2409.20170#SI22 |
| BZTTNZHNB4 | BZTTNZHNB4 | statement | open | napkin tex/alg-NT/classgrp.tex#theorem-2 |
| BZTYEHHZVJ | BZTYEHHZVJ | 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.10928#JSQQ |
| BZV9V8AYYX | BZV9V8AYYX | 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.15432#V0EL |
| BZVJXY0BGX | BZVJXY0BGX | 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.14839#KNQS |
| BZVWF170YE | BZVWF170YE | 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 2108.09548#D1YT |
| BZVX9292EK | BZVX9292EK | 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.05299#YGCK |
| BZW8J1NG41 | BZW8J1NG41 | 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.30444#KFL5 |
| BZWK6PA7W9 | BZWK6PA7W9 | 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.18277#YG24 |
| BZWPNHS4VJ | BZWPNHS4VJ | statement | open | open_logic content/set-theory/ordinals/ordtype.tex#ordtypesworklikeyouwant |
| BZWRN229NN | BZWRN229NN | 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.00339#6YIL |
| BZWTRFVKJ9 | BZWTRFVKJ9 | 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.12380#SG9G |
| BZX1YQAJ5B | BZX1YQAJ5B | 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 1707.06795#7A3L |
| BZX8688E6A | BZX8688E6A | definition | open | hott_book hlevels.tex#defn:modality |
| BZX8E3R01P | BZX8E3R01P | 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 1711.00219#XAKG |
| BZXGD4T1DJ | BZXGD4T1DJ | 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.16332#6LC5 |
| BZXQZJ67BZ | BZXQZJ67BZ | 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.39169#8R9Z |
| BZYDNNSS0N | BZYDNNSS0N | 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 2609.28669#C0XI |
| BZYR2A51MM | BZYR2A51MM | exercise | open | active_calculus source/activities/act-4-4-1.xml#act-4-4-1 |
| BZZ55PW4J5 | BZZ55PW4J5 | 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.20760#TL09 |
| BZZHD5R6VE | BZZHD5R6VE | 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.35858#JRDM |
| Bäcklund transform | 6JS6WG37DS | concept | open | Wikidata Q3537515, MathWorld BaecklundTransformation |
| Bézier curve | 16GRJE6PQV | unknown | open | Wikidata Q214728, MathWorld BezierCurve |
| Bézout domain | A47VWFFNF6 | concept | open | Wikidata Q2386260, nLab Bézout domain |
| Bézout matrix | 98KPKK2YYG | concept | open | Wikidata Q5005076, LMFDB knowl alg.bezout_matrix |
| Bézout's identity | 81XSTJYXNF | statement | node (a node has the same Wikidata item as the row) | mathlib_100 60, Mathlib Nat.gcd_eq_gcd_ab, mathlib_1000 Q513028, Wikidata Q513028, MathWorld BezoutsIdentity |
| Bézout's identity | FNJYV0DRC9 | unknown | open | mathlib_undergrad Ring Theory > Divisibility in integral domains > Bézout's identity, Mathlib exists_gcd_eq_mul_add_mul |
| Bézout's theorem | J9VGJ1CT3D | statement | open | mathlib_1000 Q1542114, Wikidata Q1542114, thousand_plus Q1542114, Wikipedia Bézout's theorem, MathWorld BezoutsTheorem, nLab Bézout's theorem |
| Bôcher's theorem | 8MQ5RZR4NR | statement | open | mathlib_1000 Q5005143, Wikidata Q5005143, thousand_plus Q5005143, Wikipedia Bôcher's theorem |
| Büchi-Elgot-Trakhtenbrot theorem | HF5TD523AG | statement | open | mathlib_1000 Q107709489, Wikidata Q107709489, thousand_plus Q107709489, Wikipedia Büchi-Elgot-Trakhtenbrot theorem |