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 1801–1900 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| BEVH31716J | BEVH31716J | statement | record (an 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.18562#6BN0 |
| BEVHC2C8KK | BEVHC2C8KK | statement | record (an 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#ASSM |
| BEW091BFFD | BEW091BFFD | statement | record (an 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.10790#488M |
| BEW6QKY42P | BEW6QKY42P | statement | record (an 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.31458#Y4YX |
| BEX4725S8T | BEX4725S8T | statement | record (an 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.14838#GRO7 |
| BEX8MF97XD | BEX8MF97XD | statement | record (an 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#1UJ6 |
| BEXSZDEGQ1 | BEXSZDEGQ1 | statement | record (an 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.24325#HM08 |
| BEY8HM0EGH | BEY8HM0EGH | statement | record (an 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.27125#ZH04 |
| BEYAAN6KCN | BEYAAN6KCN | statement | record (an 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.29489#67R0 |
| BEYJ1V69V4 | BEYJ1V69V4 | statement | record (an 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.08323#0O3U |
| BEYQ29GMSK | BEYQ29GMSK | statement | record (an 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.03323#SPKG |
| BEZ31DYA5T | BEZ31DYA5T | statement | record (an 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.35895#6R5X |
| BEZNDWB84C | BEZNDWB84C | 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.20915#PVQU |
| BF0J07DYM1 | BF0J07DYM1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2002.01498#FKAJ |
| BF0P99CS1Q | BF0P99CS1Q | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-29 |
| BF0X385P2C | BF0X385P2C | proof | open | open_logic content/computability/recursive-functions/sequences.tex#proof-5 |
| BF0XJFQCDN | BF0XJFQCDN | statement | record (an 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.31604#9JBU |
| BF0XVJYA0E | BF0XVJYA0E | statement | record (an 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.15169#MVV6 |
| BF1HSMERXJ | BF1HSMERXJ | statement | record (an 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.12483#1K4J |
| BF1N79YQ6D | BF1N79YQ6D | statement | record (an 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.39246#EKNA |
| BF1SFQV6XK | BF1SFQV6XK | statement | record (an 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.19283#9PRG |
| BF2AHKYY0W | BF2AHKYY0W | statement | record (an 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.01216#LCH8 |
| BF2RED30EM | BF2RED30EM | statement | open | applied_combinatorics source/s_graphalgorithms_shortest-paths.ptx#proposition-2 |
| BF38WSZSY6 | BF38WSZSY6 | 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 2504.02065#YABO |
| BF3KFA0AP3 | BF3KFA0AP3 | 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.16358#R9AG |
| BF43PEBPFB | BF43PEBPFB | statement | record (an 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.07651#0XA0 |
| BF4ES7QRNS | BF4ES7QRNS | statement | open | hott_book basics.tex#thm:transport-is-ap |
| BF4F0BE5B2 | BF4F0BE5B2 | 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.00789#TGEV |
| BF5A5K60W5 | BF5A5K60W5 | statement | record (an 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.29478#WYTV |
| BF5BZD4DSJ | BF5BZD4DSJ | statement | record (an 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.01411#RXUP |
| BF5C6NJCGJ | BF5C6NJCGJ | 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.36818#SKF0 |
| BF61KHQF4G | BF61KHQF4G | statement | record (an 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.11545#LXSY |
| BF66SWW6JP | BF66SWW6JP | 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 1705.04310#1RFH |
| BF67J8QRVX | BF67J8QRVX | statement | open | hott_book setmath.tex#thm:settopos |
| BF725N840R | BF725N840R | 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.09314#28IY |
| BF781YD8TE | BF781YD8TE | example | open | lebl_diffyqs ch-power-ser.tex#example-8 |
| BF7DWSP1NN | BF7DWSP1NN | 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.19260#17QR |
| BF7FGQY7BC | BF7FGQY7BC | statement | record (an 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.35191#ON51 |
| BF7N6BC68K | BF7N6BC68K | statement | record (an 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#IHTV |
| BF7RM48YC2 | BF7RM48YC2 | statement | record (an 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.17518#9S7O |
| BF7S5GKYS2 | BF7S5GKYS2 | statement | record (an 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#C0D5 |
| BF8VTAZJJV | BF8VTAZJJV | statement | record (an 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.12513#DQAJ |
| BF9D80XHD6 | BF9D80XHD6 | proof | open | hott_book logic.tex#proof-16 |
| BF9MEEBJ11 | BF9MEEBJ11 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17009#WBI7 |
| BF9QTNRDQV | BF9QTNRDQV | statement | record (an 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#41PT |
| BFA03T770J | BFA03T770J | statement | record (an 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.33263#5DR8 |
| BFA0CPBT41 | BFA0CPBT41 | statement | record (an 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.37897#NYQ1 |
| BFAN4D47WN | BFAN4D47WN | statement | record (an 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.17441#J6PM |
| BFATBDZSSZ | BFATBDZSSZ | statement | record (an 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.08010#I0J1 |
| BFAWYPFEPZ | BFAWYPFEPZ | statement | record (an 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.24448#C4I4 |
| BFAXA1GXEV | BFAXA1GXEV | statement | record (an 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.30933#TDST |
| BFAXS6QVYA | BFAXS6QVYA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.09268#46WS |
| BFAYG8FGN7 | BFAYG8FGN7 | 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.03601#FE43 |
| BFAYN2GRJY | BFAYN2GRJY | statement | record (an 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.27617#4G6Z |
| BFAZ3ZEP65 | BFAZ3ZEP65 | 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.12817#LMQ3 |
| BFB158SXD8 | BFB158SXD8 | 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 2404.06445#W3YX |
| BFBFTDCRE8 | BFBFTDCRE8 | exercise | open | open_logic content/counterfactuals/introduction/strict-conditional.tex#prob-1 |
| BFBQ0X8F4A | BFBQ0X8F4A | proof | open | open_logic content/normal-modal-logic/axioms-systems/systems-distinct.tex#proof-1 |
| BFBWHTZZAT | BFBWHTZZAT | statement | record (an 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.26340#C9TX |
| BFC75NV0KZ | BFC75NV0KZ | statement | record (an 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.25275#OX0C |
| BFCS23TCBC | BFCS23TCBC | statement | record (an 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.39317#KB2Y |
| BFE8M6MQJ3 | BFE8M6MQJ3 | statement | record (an 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.21078#VK6F |
| BFEC61B41A | BFEC61B41A | 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 2103.12669#JW8D |
| BFENVZ6E5G | BFENVZ6E5G | 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.02017#DAAZ |
| BFFPF2FXYF | BFFPF2FXYF | statement | open | lebl_ra ch-approximate.tex#cor-5 |
| BFGVWN86HR | BFGVWN86HR | statement | record (an 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.21037#90JO |
| BFH4JH2965 | BFH4JH2965 | statement | record (an 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.06419#421K |
| BFJ32W5Q3C | BFJ32W5Q3C | statement | record (an 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.35030#444J |
| BFJ580QNB7 | BFJ580QNB7 | statement | record (an 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.29432#EMDG |
| BFJHKMM9JK | BFJHKMM9JK | 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.36884#AFYP |
| BFJPXV78MB | BFJPXV78MB | exercise | open | lebl_scv scv.tex#exercise-39 |
| BFJQNA8GH7 | BFJQNA8GH7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.05577#ID8K |
| BFKA6071SW | BFKA6071SW | exercise | open | applied_combinatorics source/s_posets_exercises.ptx#exercise-2 |
| BFKBTZVKFD | BFKBTZVKFD | statement | record (an 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.10840#S91H |
| BFMFRQPX81 | BFMFRQPX81 | statement | record (an 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.27689#P886 |
| BFMZKDA75T | BFMZKDA75T | statement | record (an 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.22082#7P67 |
| BFN98X90XD | BFN98X90XD | exercise | open | lebl_ra ch-der.tex#exercise-8 |
| BFNCR74V5Z | BFNCR74V5Z | statement | record (an 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.00657#M4FZ |
| BFNXK4XYRY | BFNXK4XYRY | statement | record (an 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.28010#OPK8 |
| BFP3M7TPBT | BFP3M7TPBT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1204.5958#8J6Z |
| BFP65JAK3Z | BFP65JAK3Z | statement | record (an 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.11047#HONG |
| BFPREZ0ZGV | BFPREZ0ZGV | statement | record (an 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#AU37 |
| BFQJJ6KC8C | BFQJJ6KC8C | statement | record (an 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.02017#A0P8 |
| BFR3ADA0KB | BFR3ADA0KB | statement | record (an 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#JYXZ |
| BFR9BT8D68 | BFR9BT8D68 | statement | record (an 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.03144#KOW0 |
| BFRSD5KQCW | BFRSD5KQCW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.07710#IKIM |
| BFRXEGVRM9 | BFRXEGVRM9 | statement | record (an 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.10591#DVBO |
| BFS3DKEXW6 | BFS3DKEXW6 | statement | record (an 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.22074#MMSC |
| BFSH1CY2FC | BFSH1CY2FC | definition | open | napkin tex/linalg/transpose.tex#definition-2 |
| BFSNGRRHZS | BFSNGRRHZS | statement | record (an 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#BXII |
| BFT31ZWN0M | BFT31ZWN0M | statement | record (an 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#TBLS |
| BFTAZQMS20 | BFTAZQMS20 | statement | record (an 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#FEKH |
| BFTRNJ7CB1 | BFTRNJ7CB1 | statement | record (an 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.01919#8DOL |
| BFTTDVW4R9 | BFTTDVW4R9 | statement | record (an 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#J0QG |
| BFV60E8CWV | BFV60E8CWV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.11684#U1BL |
| BFV9C66VA2 | BFV9C66VA2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1701.00518#XG37 |
| BFVM1AFFT2 | BFVM1AFFT2 | exercise | open | open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#prob-4 |
| BFVMT3PSR1 | BFVMT3PSR1 | statement | record (an 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.25973#FZ2M |
| BFVNP31Y0Z | BFVNP31Y0Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.12141#HX6A |
| BFVPVG54XY | BFVPVG54XY | statement | record (an 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.40282#ES13 |