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 2401–2500 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| BJXZ5DY8AE | BJXZ5DY8AE | 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.24545#EHP7 |
| BJY58NN84P | BJY58NN84P | 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#WB04 |
| BJYEZT7E88 | BJYEZT7E88 | 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#XJTZ |
| BJZFPJXJMN | BJZFPJXJMN | 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#OP4J |
| BJZRJFVJDA | BJZRJFVJDA | 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#WQF4 |
| BK14ZEM4Q8 | BK14ZEM4Q8 | statement | open | napkin tex/measure/martingale.tex#corollary-1 |
| BK19SBDEJ1 | BK19SBDEJ1 | 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.12857#3WDI |
| BK1M4DT9AT | BK1M4DT9AT | 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.01015#RYD3 |
| BK1XPFT89D | BK1XPFT89D | 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.10078#LM8D |
| BK22REEMTD | BK22REEMTD | exercise | open | napkin tex/alg-NT/numfield.tex#prob:alg_int_conjugates |
| BK40XXMPWZ | BK40XXMPWZ | 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.21489#C6LP |
| BK47H1JYE5 | BK47H1JYE5 | 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 2511.07697#VHA1 |
| BK4BX0CC3Z | BK4BX0CC3Z | 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 1209.5343#CIKY |
| BK4CAD4DJ8 | BK4CAD4DJ8 | 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 2601.15010#1XQS |
| BK64NHM3B9 | BK64NHM3B9 | 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.16779#93SV |
| BK68PSYTSK | BK68PSYTSK | 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#0I1E |
| BK6D2SDXNZ | BK6D2SDXNZ | 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.08382#DB5R |
| BK6S3J0HPW | BK6S3J0HPW | 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.35095#FHGN |
| BK76J7GCEE | BK76J7GCEE | 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 0709.4546#U8O6 |
| BK77JF0BCB | BK77JF0BCB | 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.29748#F2EI |
| BK7GF7RTQT | BK7GF7RTQT | proof | open | open_logic content/lambda-calculus/church-rosser/beta-eta-reduction.tex#proof-4 |
| BK7P4ZBD8S | BK7P4ZBD8S | 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.39531#DFSO |
| BK7W0BPQ9C | BK7W0BPQ9C | 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.14045#5Z29 |
| BK7XCE6WNK | BK7XCE6WNK | 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.01653#R5MD |
| BK801PGYEM | BK801PGYEM | 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.00770#GC9S |
| BK81NGCVKH | BK81NGCVKH | 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.03719#NBMW |
| BK8HJ0CH5Y | BK8HJ0CH5Y | example | open | levin_dmoi ptx/sec_intro-sets.ptx#example-3 |
| BK90KXY9D1 | BK90KXY9D1 | 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.04325#LOI5 |
| BK93A8A9XE | BK93A8A9XE | 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 math/0406514#XLTC |
| BK9FPVGKNF | BK9FPVGKNF | statement | open | hott_book categories.tex#ct:natiso |
| BK9VDADZM4 | BK9VDADZM4 | 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.40261#V2MM |
| BKA0QXPEPF | BKA0QXPEPF | 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.28669#MURG |
| BKANE3KH5D | BKANE3KH5D | 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.38068#79UP |
| BKAVWXWSAC | BKAVWXWSAC | 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.40345#UH2T |
| BKAY3A7V1A | BKAY3A7V1A | 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.15228#C3RV |
| BKB73BZH1Q | BKB73BZH1Q | 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.39103#LD77 |
| BKBFFQFA69 | BKBFFQFA69 | 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 2508.21045#9WLH |
| BKBXGY6Y2Q | BKBXGY6Y2Q | 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.15352#NMHP |
| BKC9C6EDN4 | BKC9C6EDN4 | 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.24917#19QH |
| BKCAG9SF5Z | BKCAG9SF5Z | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-41 |
| BKCRK5FM5Z | BKCRK5FM5Z | 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.08226#863F |
| BKCXWDRM95 | BKCXWDRM95 | 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.11671#8WKL |
| BKD226G064 | BKD226G064 | 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.08714#0UG9 |
| BKD35SN46W | BKD35SN46W | 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.28046#E2CX |
| BKDTFR3KP7 | BKDTFR3KP7 | 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.35844#6RLP |
| BKDYNY19FD | BKDYNY19FD | exercise | open | austin_ula src/exercises/exercises2-4.xml#exercise-4 |
| BKE71FKAQ3 | BKE71FKAQ3 | 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.33841#S7X7 |
| BKE74GC89A | BKE74GC89A | 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.08714#2VFG |
| BKEEEF65ZJ | BKEEEF65ZJ | 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.09295#QSEP |
| BKEGB54214 | BKEGB54214 | 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 1512.06981#Q1SN |
| BKET04H767 | BKET04H767 | 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.01915#5T1P |
| BKET8S4GGZ | BKET8S4GGZ | definition | open | napkin tex/measure/martingale.tex#definition-4 |
| BKEXPRWW7P | BKEXPRWW7P | 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.13898#XV72 |
| BKF1G91S3D | BKF1G91S3D | 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#R6MT |
| BKFJ472ZNA | BKFJ472ZNA | definition | open | open_logic content/second-order-logic/syntax-and-semantics/expressive-power.tex#defn-1 |
| BKG0J4QS6S | BKG0J4QS6S | 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#BJ8C |
| BKGMKQS96W | BKGMKQS96W | 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.18847#4RZC |
| BKH3CQ3RPQ | BKH3CQ3RPQ | 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.33856#8ZAF |
| BKHEG2P8J9 | BKHEG2P8J9 | 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.31278#QMFT |
| BKHM556AA7 | BKHM556AA7 | 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.06326#13ZD |
| BKHV2KYV7W | BKHV2KYV7W | 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.27931#TTZC |
| BKHVXH388F | BKHVXH388F | exercise | open | lebl_scv scv.tex#exercise-199 |
| BKJMETH3BC | BKJMETH3BC | 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.01433#CO5U |
| BKK8DRF9N4 | BKK8DRF9N4 | 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#YK5F |
| BKKA619EV2 | BKKA619EV2 | 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.28861#7H32 |
| BKKJSR47Y7 | BKKJSR47Y7 | 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.36321#HAOU |
| BKM110S5KC | BKM110S5KC | exercise | open | applied_combinatorics source/s_posets_exercises.ptx#exercise-19 |
| BKMNVNYNZW | BKMNVNYNZW | 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.32338#DTY5 |
| BKMPEE1T2E | BKMPEE1T2E | 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#3PKF |
| BKMXG7AZA2 | BKMXG7AZA2 | 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.17817#UUE5 |
| BKNH7X3SEN | BKNH7X3SEN | 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.05986#6O1C |
| BKP4W3P93E | BKP4W3P93E | 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.09729#DMPJ |
| BKPHB15GH5 | BKPHB15GH5 | 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.02634#KTSH |
| BKQ26MKEXP | BKQ26MKEXP | 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 2503.00560#040M |
| BKQT351JK8 | BKQT351JK8 | proof | open | lebl_ra ch-contfunc.tex#proof-15 |
| BKR8WD3RT5 | BKR8WD3RT5 | 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.03601#ZTLP |
| BKRV177RYZ | BKRV177RYZ | 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.14323#47KE |
| BKRVM2TDV7 | BKRVM2TDV7 | 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.11679#PSJ8 |
| BKS2NT2K06 | BKS2NT2K06 | 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.29326#FJTO |
| BKS6TW3R2B | BKS6TW3R2B | 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.08567#0B5Q |
| BKSHKQB7C0 | BKSHKQB7C0 | 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.07673#Q5SS |
| BKSTP529XG | BKSTP529XG | 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.15525#2LMM |
| BKSY6XK5AX | BKSY6XK5AX | 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 2011.14561#TFUR |
| BKV03V6Q9A | BKV03V6Q9A | 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.03384#MBSP |
| BKVH1RXFJ6 | BKVH1RXFJ6 | 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.22317#E1C6 |
| BKW8678GQM | BKW8678GQM | 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.40138#DAIJ |
| BKWCMF9D3N | BKWCMF9D3N | 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.12108#VGB5 |
| BKWFWNNQGY | BKWFWNNQGY | 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.20849#W0NH |
| BKWHQHS8FM | BKWHQHS8FM | 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.26951#2B8K |
| BKWR83WWC6 | BKWR83WWC6 | 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.13898#VWHO |
| BKWX83FJZZ | BKWX83FJZZ | 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.07744#M4JX |
| BKX32PFSYB | BKX32PFSYB | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-7 |
| BKX74B5NTE | BKX74B5NTE | 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.18536#Z5RF |
| BKXZ502526 | BKXZ502526 | 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 1809.06512#MUOE |
| BKYJE29CYF | BKYJE29CYF | 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.29898#6OTI |
| BKYPTV6GQ9 | BKYPTV6GQ9 | 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.15869#DR9Y |
| BKZ26G6G0Y | BKZ26G6G0Y | 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 0906.2853#4EVX |
| BKZ7R4X7A6 | BKZ7R4X7A6 | 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 2508.21045#N2Y1 |
| BKZBWXG4KB | BKZBWXG4KB | statement | open | open_logic content/model-theory/basics/theory-of-m.tex#prop-1 |
| BKZC64QFNK | BKZC64QFNK | exercise | open | open_logic content/many-valued-logic/syntax-and-semantics/semantic-notions.tex#prob-1 |