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 26896
A 5694
B 4524
C 7434
D 4863
E 5167
F 4998
G 4504
H 4194
I 1415
J 3180
K 3512
L 1962
M 5019
N 4008
O 928
P 5631
Q 3296
R 5027
S 7101
T 5981
U 1055
V 3253
W 3675
X 2801
Y 2926
Z 3092

Rows 4501–4524 of 4524.

Name	Id	Kind	Outcome	Sources
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