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 1901–2000 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| BFXQY3P1T6 | BFXQY3P1T6 | example | open | lebl_ra ch-seq-funcs.tex#example-13 |
| BFXR2BV8NF | BFXR2BV8NF | 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.38865#QENU |
| BFYQV1E6CN | BFYQV1E6CN | 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.33552#K5IO |
| BFZEHNHB9P | BFZEHNHB9P | unknown | open | arXiv 2002.11125#4YET |
| BFZESCXTW1 | BFZESCXTW1 | 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.33573#OKZY |
| BFZMDN559R | BFZMDN559R | 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.24500#XMWM |
| BFZPW3DRDY | BFZPW3DRDY | 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.02065#7TW7 |
| BFZRVYY2AW | BFZRVYY2AW | 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.13114#IXO2 |
| BG09RVN3B1 | BG09RVN3B1 | 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.05259#CKCV |
| BG0BSFNW9M | BG0BSFNW9M | 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.16785#XSMW |
| BG0D48PV0N | BG0D48PV0N | 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 1904.08413#GY0P |
| BG0JP7DA64 | BG0JP7DA64 | exercise | open | levin_dmoi ptx/exercises/counting-binom.ptx#exercise-11 |
| BG0WKQD1KY | BG0WKQD1KY | 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.17863#BGSK |
| BG0XHJJBWZ | BG0XHJJBWZ | 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.01501#S3TS |
| BG1X64QHQW | BG1X64QHQW | 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.18377#J8CJ |
| BG2CN20CKA | BG2CN20CKA | 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.24569#GUJY |
| BG38KBB49E | BG38KBB49E | 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 2607.00146#RWYF |
| BG3EY3AVNC | BG3EY3AVNC | 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#LIUU |
| BG43VJ4AMB | BG43VJ4AMB | 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 2111.01197#2LYZ |
| BG4DY9VVVP | BG4DY9VVVP | 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.23812#L4PV |
| BG4FHTHNM5 | BG4FHTHNM5 | proof | open | lebl_scv scv.tex#proof-77 |
| BG4GVFX4KP | BG4GVFX4KP | 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.18673#7UE6 |
| BG4NPYG5TQ | BG4NPYG5TQ | statement | open | hott_book hlevels.tex#thm:hlevel-loops |
| BG4VC7B3C7 | BG4VC7B3C7 | 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 2211.04758#UR2A |
| BG4XG6AC9W | BG4XG6AC9W | 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.06300#D38A |
| BG57RT8EX5 | BG57RT8EX5 | 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.14742#PUPH |
| BG5A280G34 | BG5A280G34 | 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.13213#3X1G |
| BG5QP0BP6M | BG5QP0BP6M | 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.12543#8C05 |
| BG62FMW72P | BG62FMW72P | 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.01433#3JYQ |
| BG6M82347G | BG6M82347G | 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.30067#K069 |
| BG6P7PQ2F5 | BG6P7PQ2F5 | 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.21298#VUSK |
| BG719FB5ZG | BG719FB5ZG | 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.40054#NX11 |
| BG7M6EAJ88 | BG7M6EAJ88 | 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.32816#1XYT |
| BG7Q93J990 | BG7Q93J990 | 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.38017#KFUA |
| BG89Z27FTE | BG89Z27FTE | 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.38975#EGCX |
| BG8CDEK9G5 | BG8CDEK9G5 | 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.26169#EUY2 |
| BG8KM7B3J9 | BG8KM7B3J9 | 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.38206#45OM |
| BG8SGMDT8R | BG8SGMDT8R | 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.20663#0LU6 |
| BG979SGA51 | BG979SGA51 | 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.05784#U79Y |
| BG9HY63038 | BG9HY63038 | 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 1512.06981#42QH |
| BG9Q3S9BHJ | BG9Q3S9BHJ | 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.14428#K6GT |
| BGA0NXVPDQ | BGA0NXVPDQ | 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.04870#5V0F |
| BGA2RKV67N | BGA2RKV67N | 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.19194#TNDP |
| BGAD635QM0 | BGAD635QM0 | 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.26357#WHBU |
| BGAG67XYK3 | BGAG67XYK3 | exercise | open | levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-4 |
| BGBAH3YF32 | BGBAH3YF32 | 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 2102.09374#ANRX |
| BGC1W8MP7K | BGC1W8MP7K | 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.31242#G038 |
| BGC81EMMK6 | BGC81EMMK6 | 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.01968#SWTT |
| BGCE40DVGP | BGCE40DVGP | 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.13888#8G51 |
| BGCEP46KNS | BGCEP46KNS | 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.02061#JAS0 |
| BGDCVGSJVH | BGDCVGSJVH | 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 2609.30098#W6VM |
| BGDJFBNC70 | BGDJFBNC70 | 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.21960#YU0H |
| BGEEPFW4HM | BGEEPFW4HM | 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.20944#E393 |
| BGEHCNEGCW | BGEHCNEGCW | 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.10813#GVM9 |
| BGEXQ40ZM6 | BGEXQ40ZM6 | 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.17909#NL1Q |
| BGFBW98JYG | BGFBW98JYG | 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 2402.17852#MVRW |
| BGFMW6B1EP | BGFMW6B1EP | 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 2208.06310#7SER |
| BGGNCDD401 | BGGNCDD401 | exercise | open | active_calculus source/activities/act-6-4-2.xml#act-6-4-2 |
| BGGVA9C611 | BGGVA9C611 | 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.14985#JJX6 |
| BGGX93ZDFX | BGGX93ZDFX | 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 2312.14319#X0A8 |
| BGH2RQVYGQ | BGH2RQVYGQ | 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.01802#8SKU |
| BGH8K49QYY | BGH8K49QYY | 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.29531#TXIA |
| BGJSWJPY8P | BGJSWJPY8P | 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.19455#LC1L |
| BGJYXNZ58K | BGJYXNZ58K | 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 1004.4564#41T3 |
| BGKRW9VHN6 | BGKRW9VHN6 | 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.12857#1UIK |
| BGMHYKATG1 | BGMHYKATG1 | 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.00562#JPRA |
| BGN16ZBXYK | BGN16ZBXYK | 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#IESI |
| BGNANMWWVT | BGNANMWWVT | 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.17909#UNRS |
| BGNBJZ1VKW | BGNBJZ1VKW | 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.20421#KPGW |
| BGNFF7RJA4 | BGNFF7RJA4 | 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.04895#7CAO |
| BGNHHNB66Y | BGNHHNB66Y | 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.05396#6I32 |
| BGP5X805E4 | BGP5X805E4 | 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.18673#10RH |
| BGPD15NN6D | BGPD15NN6D | 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.35858#Y5FS |
| BGPP1ZFW5J | BGPP1ZFW5J | 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.26269#6F2P |
| BGPR5H2ST8 | BGPR5H2ST8 | 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.17066#BNPU |
| BGPYYQ12ZR | BGPYYQ12ZR | statement | open | ernst_ibl MAAPressVersion/CompositionsInverses.tex#thm:comp of inverses |
| BGQ32AE7S4 | BGQ32AE7S4 | 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.16055#MPT8 |
| BGQXB449BD | BGQXB449BD | 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.11210#C396 |
| BGR3QXKKBA | BGR3QXKKBA | 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.35213#HN0W |
| BGRZG2ZSZG | BGRZG2ZSZG | 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.33015#08N3 |
| BGSRHRZ8GC | BGSRHRZ8GC | 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.15982#CSCT |
| BGSYYNV995 | BGSYYNV995 | 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.12054#FJZ5 |
| BGT7YGSGAT | BGT7YGSGAT | 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 2402.05268#NBTL |
| BGT9MSMAMY | BGT9MSMAMY | 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.16706#MGL5 |
| BGV6MZYV2S | BGV6MZYV2S | 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.20391#YLMR |
| BGVPZFPZ83 | BGVPZFPZ83 | 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.08599#N98B |
| BGWE6N1WP7 | BGWE6N1WP7 | 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.24578#NG7R |
| BGWRW83FN8 | BGWRW83FN8 | 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#PWOD |
| BGWT9GZ4VB | BGWT9GZ4VB | 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.28323#QEFV |
| BGXGAW7TNC | BGXGAW7TNC | 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.35180#08G3 |
| BGXKRQBAE8 | BGXKRQBAE8 | statement | open | open_logic content/normal-modal-logic/syntax-and-semantics/modal-validity.tex#prop:subset-class |
| BGXKS40WC1 | BGXKS40WC1 | example | open | active_calculus source/sec-1-5-units.xml#Ex-1-5-1-central-difference |
| BGYH2974ST | BGYH2974ST | 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 2410.10337#VKMD |
| BGYH89Y7TT | BGYH89Y7TT | exercise | open | open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#prob-1 |
| BGZGSBVCAP | BGZGSBVCAP | 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.02642#JCCZ |
| BGZHCTA50Z | BGZHCTA50Z | 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.11778#A0QL |
| BH00WHMTVN | BH00WHMTVN | 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.14692#8OT8 |
| BH01T20B86 | BH01T20B86 | 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.08193#OZBK |
| BH02QN10Q2 | BH02QN10Q2 | 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.07718#9CLM |
| BH0446WSDV | BH0446WSDV | 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.18084#ILB3 |