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 4001–4100 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| BW11M5BXNZ | BW11M5BXNZ | 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.17408#76Q7 |
| BW15712JAE | BW15712JAE | 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.07001#3QYX |
| BW28MVNRC3 | BW28MVNRC3 | 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 2105.08875#UGNA |
| BW3DPA6ENZ | BW3DPA6ENZ | 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.08251#R1EL |
| BW3HE5CEN5 | BW3HE5CEN5 | 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.28649#9IG8 |
| BW3RCY6T4C | BW3RCY6T4C | 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 2602.07485#7TP5 |
| BW3XGS8FAY | BW3XGS8FAY | exercise | open | austin_ula src/exercises/exercises1-3.xml#exercise-1 |
| BW3ZAFC9TG | BW3ZAFC9TG | 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.07828#HPMY |
| BW41MCMPVT | BW41MCMPVT | 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.27136#7M96 |
| BW4MBXKXPE | BW4MBXKXPE | definition | open | lebl_ra ch-approximate.tex#defn-7 |
| BW4RQC7Y9N | BW4RQC7Y9N | 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.26600#SZTH |
| BW4X6SR2WR | BW4X6SR2WR | 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#N9PT |
| BW582QEYF9 | BW582QEYF9 | 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.20406#EMUA |
| BW5ZD856HG | BW5ZD856HG | 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 2409.01237#8ENN |
| BW63ZQDASJ | BW63ZQDASJ | 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.26922#Y8JC |
| BW67XV0WK2 | BW67XV0WK2 | 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#QTXT |
| BW6C894BPX | BW6C894BPX | exercise | open | lebl_ra ch-multivar-int.tex#exercise-46 |
| BW6HX0RAV4 | BW6HX0RAV4 | 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.12810#0DGG |
| BW6RB74VYD | BW6RB74VYD | 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#TQVI |
| BW70S8AXGK | BW70S8AXGK | 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.19249#YE9J |
| BW76CSTRZX | BW76CSTRZX | 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.04179#HYRT |
| BW79CHBXHR | BW79CHBXHR | 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.40123#WTKF |
| BW7FVP1HEN | BW7FVP1HEN | 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.33679#WYJ4 |
| BW7MVEVPS7 | BW7MVEVPS7 | 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.35340#ZSA9 |
| BW8RV5XE01 | BW8RV5XE01 | 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.29723#2A4M |
| BW96VAKJD2 | BW96VAKJD2 | 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.00843#MVFV |
| BWAEH5DRQ3 | BWAEH5DRQ3 | example | open | napkin tex/topology/fundamental-group.tex#ex:figure8 |
| BWAJDRXKCG | BWAJDRXKCG | 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.16233#6HV4 |
| BWB87RD0JB | BWB87RD0JB | 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.27103#H2T7 |
| BWBA6S35RD | BWBA6S35RD | 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#76A4 |
| BWBED6BV97 | BWBED6BV97 | 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.31269#RCCD |
| BWC4ZW1TX0 | BWC4ZW1TX0 | 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.22218#N12F |
| BWC8RFJJ87 | BWC8RFJJ87 | 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 2208.06310#F2UD |
| BWCVZGE6FC | BWCVZGE6FC | 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.18555#5T8O |
| BWDAA4KQ0M | BWDAA4KQ0M | statement | open | open_logic content/incompleteness/arithmetization-syntax/substitution.tex#prop:subst-primrec |
| BWDR8JTJVW | BWDR8JTJVW | 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.37520#D5A0 |
| BWEW94K1PB | BWEW94K1PB | 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.04164#K1JB |
| BWF50CY75H | BWF50CY75H | 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/9802134#CCNF |
| BWFPFTR31C | BWFPFTR31C | 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.33154#Q3AT |
| BWFTQKGRYY | BWFTQKGRYY | 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.32829#3H7U |
| BWFXBFMJMA | BWFXBFMJMA | 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 2409.03461#9SPH |
| BWGF4C9X0V | BWGF4C9X0V | 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.21632#LXET |
| BWGQNGTB3N | BWGQNGTB3N | statement | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prop:M-discrete |
| BWHGX8ZTE3 | BWHGX8ZTE3 | 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.12736#WVMV |
| BWJAX33Z7E | BWJAX33Z7E | 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.35467#C4ID |
| BWJT6B1BYE | BWJT6B1BYE | 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.04527#DBIK |
| BWJWQ5XX8H | BWJWQ5XX8H | 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.31556#JTVF |
| BWKBTZSVS7 | BWKBTZSVS7 | 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.02628#X2LV |
| BWKT53XD0R | BWKT53XD0R | 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 2507.17002#4Q9W |
| BWKZ7C5DA3 | BWKZ7C5DA3 | exercise | open | lebl_diffyqs ch-systems.tex#exercise-19 |
| BWM77K8CZ2 | BWM77K8CZ2 | 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.17060#EO93 |
| BWM9ESJCKF | BWM9ESJCKF | example | open | napkin tex/homology/singular.tex#example-9 |
| BWMENWK97J | BWMENWK97J | 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.02993#V36K |
| BWN319ENSH | BWN319ENSH | 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.27902#9F1Q |
| BWN9Y15M3R | BWN9Y15M3R | 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.10873#UQ7L |
| BWNG44BGAD | BWNG44BGAD | exercise | open | ernst_ibl MAAPressVersion/MoreQuantification.tex#problem-4 |
| BWNN7MAKVE | BWNN7MAKVE | 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.04694#K89Z |
| BWNQYYRSDD | BWNQYYRSDD | 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.10247#OVSP |
| BWNY4VB1GA | BWNY4VB1GA | 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 2604.05177#K3VC |
| BWPX1C9JKB | BWPX1C9JKB | 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.02295#BYQ8 |
| BWQJBNYH3E | BWQJBNYH3E | 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 1504.03271#VOWB |
| BWR3MF842A | BWR3MF842A | 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.18324#1CWF |
| BWRTBDTBQH | BWRTBDTBQH | 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.36022#8HCD |
| BWS6FFXR2H | BWS6FFXR2H | 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.19309#MSXU |
| BWSBPYT3K6 | BWSBPYT3K6 | 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.13291#B9UV |
| BWSJH6PBWF | BWSJH6PBWF | definition | open | open_logic content/counterfactuals/minimal-change-semantics/sphere-models.tex#defn-2 |
| BWTM3R3YJY | BWTM3R3YJY | 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 2508.02432#SS16 |
| BWTR8KS308 | BWTR8KS308 | 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.33469#B488 |
| BWTSQ57ZY2 | BWTSQ57ZY2 | 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 2304.09819#YB7B |
| BWW6AJ87N7 | BWW6AJ87N7 | proof | open | hott_book basics.tex#proof-12 |
| BWWD8VSZEF | BWWD8VSZEF | 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 2302.05529#X7HT |
| BWWRFNN7ND | BWWRFNN7ND | 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.15723#8SGU |
| BWXQ15VVWA | BWXQ15VVWA | 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.28677#S1NH |
| BWXT6MN4XF | BWXT6MN4XF | 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.02756#ZRAU |
| BWXWPZJ402 | BWXWPZJ402 | 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.35474#7F1S |
| BWXYHJW65Q | BWXYHJW65Q | proof | open | open_logic content/computability/recursive-functions/examples.tex#proof-5 |
| BWY0FZYDWH | BWY0FZYDWH | 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.27641#1BQ0 |
| BWY8Q7DPF5 | BWY8Q7DPF5 | exercise | open | levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-10 |
| BWYP0F026Y | BWYP0F026Y | 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.27295#ZDK8 |
| BWYYHWSV8P | BWYYHWSV8P | 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 2507.12309#CMG6 |
| BWZ0AM6EGC | BWZ0AM6EGC | 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.33313#5LHA |
| BWZA5NYQ74 | BWZA5NYQ74 | 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 2601.04559#G5CR |
| BWZGYNRXSC | BWZGYNRXSC | 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.38014#Y541 |
| BWZX7NQ3PG | BWZX7NQ3PG | 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#WB1Z |
| BX001MYVSC | BX001MYVSC | 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.24902#O51K |
| BX017AYNKV | BX017AYNKV | 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.00135#W92Z |
| BX09NEQ1V4 | BX09NEQ1V4 | 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.29107#RBIK |
| BX0HN2QPCJ | BX0HN2QPCJ | 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.04709#EN0R |
| BX0Q65H95F | BX0Q65H95F | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-18 |
| BX1B1Z55RZ | BX1B1Z55RZ | definition | open | open_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#defn-1 |
| BX1DJ8ECM0 | BX1DJ8ECM0 | 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 0904.0817#0MAQ |
| BX1K056F88 | BX1K056F88 | 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.34013#RKNR |
| BX1PGN38Q2 | BX1PGN38Q2 | 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.33162#46GN |
| BX20K2FC1M | BX20K2FC1M | 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 2207.11097#E915 |
| BX21RCGDFZ | BX21RCGDFZ | example | open | lebl_diffyqs ch-systems.tex#sosa:railcarexample |
| BX2QP7HBCR | BX2QP7HBCR | statement | open | napkin tex/rep-theory/rep-alg.tex#claim-2 |
| BX34HQVJ8G | BX34HQVJ8G | 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 2512.22986#5PKQ |
| BX35W6012Y | BX35W6012Y | 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 2208.06310#2ZTL |
| BX3J0D34AA | BX3J0D34AA | 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.06899#NW75 |
| BX3KNTQDJE | BX3KNTQDJE | 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.05391#4CES |