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 601–700 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| B6X8MEJEHM | B6X8MEJEHM | statement | record (an 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.22281#P6QW |
| B6XHYEGMA4 | B6XHYEGMA4 | proof | open | open_logic content/sets-functions-relations/infinite/dedekind-algebra.tex#proof-2 |
| B6XNTWYJMB | B6XNTWYJMB | statement | record (an 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.05403#X7RV |
| B6XTFNW6FZ | B6XTFNW6FZ | statement | record (an 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.06645#CMN1 |
| B6Y0EBRA6S | B6Y0EBRA6S | statement | record (an 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.24931#9XE3 |
| B6Y31HSEDP | B6Y31HSEDP | proof | open | lebl_ra ch-metric.tex#proof-31 |
| B6YVQTJ9YR | B6YVQTJ9YR | counterexample | record (an 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.10930#N4UE |
| B6YX0Y6SG6 | B6YX0Y6SG6 | statement | record (an 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.02833#4PPT |
| B6Z3RDX322 | B6Z3RDX322 | 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.04046#6VES |
| B6Z4YSTFF9 | B6Z4YSTFF9 | 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.21981#BI02 |
| B6ZXDYBNPR | B6ZXDYBNPR | statement | record (an 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.31126#WTD9 |
| B704S1XRB2 | B704S1XRB2 | 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.22218#C54P |
| B708R205Z4 | B708R205Z4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.05533#4320 |
| B70J826FPQ | B70J826FPQ | statement | open | hott_book setmath.tex#lem-4 |
| B70QC9N22T | B70QC9N22T | statement | record (an 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#BU86 |
| B70Y75BMK1 | B70Y75BMK1 | statement | record (an 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.25015#PPR3 |
| B713R7Y0WG | B713R7Y0WG | statement | record (an 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.30685#1PZ8 |
| B714NW34H9 | B714NW34H9 | statement | record (an 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.22073#G0G3 |
| B71B64HWBH | B71B64HWBH | statement | record (an 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.16381#NSCN |
| B71GGEXRM6 | B71GGEXRM6 | 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.20285#JMSQ |
| B71R79WH08 | B71R79WH08 | statement | record (an 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.33733#YRLF |
| B7374EESPY | B7374EESPY | statement | record (an 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.09140#K3IZ |
| B73ATX23FW | B73ATX23FW | 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.30579#AWGA |
| B73C6JYWZV | B73C6JYWZV | unknown | open | arXiv 2610.13680#O4SI |
| B73XSH5KY2 | B73XSH5KY2 | statement | record (an 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.20593#YH8Y |
| B742G6MQAY | B742G6MQAY | statement | record (an 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.16225#08G3 |
| B743794T2V | B743794T2V | statement | record (an 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.18744#CA9I |
| B74BEGH22V | B74BEGH22V | statement | record (an 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#H7XD |
| B74E81X6W2 | B74E81X6W2 | statement | record (an 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#IPOR |
| B74QKAH66Y | B74QKAH66Y | statement | record (an 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.38194#PMUI |
| B75FZGVPP1 | B75FZGVPP1 | exercise | open | levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-1 |
| B762D707DK | B762D707DK | 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 2508.07340#KSM1 |
| B76ABMYG78 | B76ABMYG78 | exercise | open | hott_book hlevels.tex#ex:ntypes-closed-under-wtypes |
| B76DXQEP22 | B76DXQEP22 | statement | record (an 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.12740#V4M3 |
| B76QRRDHSS | B76QRRDHSS | statement | record (an 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.16362#6BK2 |
| B76WYM6QEB | B76WYM6QEB | statement | record (an 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.18016#W1T1 |
| B7717R54D6 | B7717R54D6 | statement | record (an 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.33590#NJ9I |
| B774XN6FJ1 | B774XN6FJ1 | 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.17589#KNBF |
| B7754H50FF | B7754H50FF | statement | record (an 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.08583#W1PS |
| B77F3GH99J | B77F3GH99J | statement | record (an 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#BOWS |
| B7822Q5T2E | B7822Q5T2E | statement | record (an 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.12479#MQXB |
| B789BSTJXS | B789BSTJXS | exercise | open | austin_ula src/exercises/exercises3-4.xml#exercise-3 |
| B78DWYQB93 | B78DWYQB93 | statement | record (an 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.37634#MRGC |
| B78NESHVWJ | B78NESHVWJ | statement | record (an 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.28503#HZNG |
| B78WTHCV3R | B78WTHCV3R | statement | record (an 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.16036#EYZE |
| B790T9K96Q | B790T9K96Q | statement | record (an 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.15316#KS3L |
| B79X7ZNPJ1 | B79X7ZNPJ1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.07983#WL29 |
| B7AMV8DEHH | B7AMV8DEHH | statement | record (an 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.01087#NXZM |
| B7B788Z3YF | B7B788Z3YF | 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.16883#B77O |
| B7BHPSPDS9 | B7BHPSPDS9 | statement | open | napkin tex/measure/martingale.tex#prop:conditional_exp |
| B7C3KHARTF | B7C3KHARTF | statement | record (an 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.33957#NYSQ |
| B7C61T2K3C | B7C61T2K3C | statement | record (an 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#7PTA |
| B7C7G6131P | B7C7G6131P | statement | record (an 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.07090#I0QC |
| B7CCBGD55G | B7CCBGD55G | statement | record (an 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.08211#3EEU |
| B7CDESZ3G6 | B7CDESZ3G6 | 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 2311.16205#I89O |
| B7CE5C9Q3R | B7CE5C9Q3R | statement | record (an 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.13745#MI98 |
| B7D2YBDGCX | B7D2YBDGCX | statement | record (an 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.27056#AF04 |
| B7DB7V54TJ | B7DB7V54TJ | exercise | open | levin_dmoi ptx/exercises/counting-binom.ptx#exercise-12 |
| B7E6PVDT13 | B7E6PVDT13 | 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.07644#P4WW |
| B7EREQ0QE9 | B7EREQ0QE9 | statement | record (an 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.30200#T5AB |
| B7EX4B12HG | B7EX4B12HG | 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.26114#96QX |
| B7EXH40BC0 | B7EXH40BC0 | proof | open | hott_book hlevels.tex#proof-22 |
| B7EXNGA4XW | B7EXNGA4XW | statement | record (an 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.11965#5C68 |
| B7FKZ1AYC8 | B7FKZ1AYC8 | example | open | hott_book categories.tex#ct:chaotic |
| B7G9228FP7 | B7G9228FP7 | statement | record (an 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.03555#5NDV |
| B7GH7F2XCV | B7GH7F2XCV | statement | record (an 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.35632#WEPD |
| B7H8JVJG11 | B7H8JVJG11 | statement | record (an 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.17547#IRTX |
| B7HVQD4FGH | B7HVQD4FGH | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-8 |
| B7HX3YBR57 | B7HX3YBR57 | statement | record (an 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.07164#QQS9 |
| B7HZ03YXJZ | B7HZ03YXJZ | statement | record (an 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#S9W9 |
| B7J1DZTW83 | B7J1DZTW83 | statement | record (an 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#BYBA |
| B7JE6HKPB0 | B7JE6HKPB0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.5574#T1OS |
| B7JNE6FSBT | B7JNE6FSBT | statement | record (an 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.05327#UGX4 |
| B7JP0A1R12 | B7JP0A1R12 | statement | record (an 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.39104#S6R0 |
| B7KCBTGXW9 | B7KCBTGXW9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.5574#CM9J |
| B7KS4DPSCG | B7KS4DPSCG | 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.14838#O5MW |
| B7M2C7FNXB | B7M2C7FNXB | statement | record (an 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.35625#Z0V4 |
| B7ME1FSFYW | B7ME1FSFYW | statement | record (an 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.21036#1YMN |
| B7MFCABQ2R | B7MFCABQ2R | statement | record (an 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.24463#5084 |
| B7MJSN435B | B7MJSN435B | statement | record (an 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#A6DD |
| B7MQNC9XC5 | B7MQNC9XC5 | statement | record (an 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.05506#RR35 |
| B7MW8XWH9N | B7MW8XWH9N | statement | record (an 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.03081#DF15 |
| B7N2Z9SJPW | B7N2Z9SJPW | statement | record (an 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.21475#KOKL |
| B7N80W6CNH | B7N80W6CNH | statement | record (an 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.19360#LC57 |
| B7NBDJZ09G | B7NBDJZ09G | statement | open | hott_book setmath.tex#thm:wellorder |
| B7PE3QHJNB | B7PE3QHJNB | statement | record (an 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.13100#NVIK |
| B7PF5ZVCRA | B7PF5ZVCRA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.16814#K8GY |
| B7PMDPDYXZ | B7PMDPDYXZ | statement | record (an 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.01970#W18Q |
| B7Q2ZYVVQM | B7Q2ZYVVQM | 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.33263#CTIL |
| B7QQKC760P | B7QQKC760P | statement | record (an 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.32104#GW5T |
| B7QS733NEK | B7QS733NEK | statement | record (an 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.34213#YRDH |
| B7R0BSDX9T | B7R0BSDX9T | statement | record (an 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.20299#OMJZ |
| B7RDEKT3X3 | B7RDEKT3X3 | 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.07927#EYSS |
| B7REPZHXYV | B7REPZHXYV | 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.35682#73IJ |
| B7S9FKCQAK | B7S9FKCQAK | example | open | lebl_diffyqs ch-fourier-and-pde.tex#bvp-periodic:example |
| B7S9NX2Y4N | B7S9NX2Y4N | statement | record (an 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#XCZM |
| B7SKKHP9AV | B7SKKHP9AV | statement | record (an 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/9602216#NSZS |
| B7SQ6YFKAA | B7SQ6YFKAA | statement | record (an 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.27049#ZFOL |
| B7TDQFYAMK | B7TDQFYAMK | statement | record (an 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.31907#VEQM |
| B7TG34B597 | B7TG34B597 | statement | record (an 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.08500#UCOA |