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 201–300 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| B2C156C5W9 | B2C156C5W9 | statement | record (an 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#H7MC |
| B2CEGVFH6B | B2CEGVFH6B | 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.36423#2BG0 |
| B2DD0AY3DX | B2DD0AY3DX | statement | record (an 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.25168#DR2Z |
| B2DHCEHFXA | B2DHCEHFXA | statement | record (an 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.14555#0T37 |
| B2EYX6BB28 | B2EYX6BB28 | statement | record (an 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.20466#8EEO |
| B2FASPR7KR | B2FASPR7KR | statement | record (an 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#FG4P |
| B2FF79S32A | B2FF79S32A | statement | record (an 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.25960#Q9F4 |
| B2GHM1W69V | B2GHM1W69V | statement | record (an 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.32176#N5DR |
| B2HYVABHY2 | B2HYVABHY2 | statement | open | open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#prop:explicit-inc |
| B2KNXMB04Z | B2KNXMB04Z | statement | open | hott_book basics.tex#thm:paths-respects-equiv |
| B2M6AV3C88 | B2M6AV3C88 | statement | record (an 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#0C34 |
| B2M9TGYG4W | B2M9TGYG4W | statement | record (an 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.24610#0H41 |
| B2MCKPCSCD | B2MCKPCSCD | statement | record (an 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.08202#A3FZ |
| B2MG2HGBZF | B2MG2HGBZF | exercise | open | austin_ula src/exercises/exercises3-4.xml#exercise-2 |
| B2N3QMEJ41 | B2N3QMEJ41 | 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 2108.10246#62OU |
| B2N889E9PA | B2N889E9PA | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-11 |
| B2N89RE97R | B2N89RE97R | statement | record (an 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#KLBP |
| B2NJBF328E | B2NJBF328E | statement | record (an 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.39455#N0G3 |
| B2NNZQWN04 | B2NNZQWN04 | example | open | lebl_diffyqs ch-higher-order-ode.tex#example-7 |
| B2P1MFPNPK | B2P1MFPNPK | statement | record (an 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.17571#S86H |
| B2PKR0K1K8 | B2PKR0K1K8 | statement | record (an 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.32300#CK1Q |
| B2QE3YE0N0 | B2QE3YE0N0 | 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#Q4TS |
| B2QN92JDPH | B2QN92JDPH | exercise | open | active_calculus source/activities/act-7-2-2.xml#act-7-2-2 |
| B2RCA4Y61E | B2RCA4Y61E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1810.06028#Z8WB |
| B2RK6W9NDV | B2RK6W9NDV | statement | record (an 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.19093#6UDV |
| B2RKDA59N2 | B2RKDA59N2 | statement | record (an 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.13888#0TNE |
| B2RM4KJNWN | B2RM4KJNWN | 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.30444#WJ8U |
| B2S3NA1SHZ | B2S3NA1SHZ | proof | open | lebl_ra ch-metric.tex#proof-13 |
| B2SPVPAS3Z | B2SPVPAS3Z | statement | record (an 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.07099#I9TR |
| B2SX8B1JM0 | B2SX8B1JM0 | statement | record (an 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.28365#R4RK |
| B2T3X1T28D | B2T3X1T28D | statement | record (an 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#53UV |
| B2TPR5E0QW | B2TPR5E0QW | statement | record (an 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.14086#D7LL |
| B2TRSBCA8B | B2TRSBCA8B | statement | record (an 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#7SGV |
| B2VD7493A9 | B2VD7493A9 | statement | record (an 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.09019#V2P0 |
| B2VFVDYMEH | B2VFVDYMEH | statement | record (an 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.37606#3TE3 |
| B2WJ9FXG9Z | B2WJ9FXG9Z | statement | record (an 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.25897#OIQI |
| B2WVRGHGF2 | B2WVRGHGF2 | 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.36423#2W37 |
| B2X0T2JCDB | B2X0T2JCDB | 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 math/0406514#ITX9 |
| B2X3VK0XD9 | B2X3VK0XD9 | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-15 |
| B2XH9M3K7F | B2XH9M3K7F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1805.04646#VWT3 |
| B2Y6PCQJ27 | B2Y6PCQJ27 | statement | record (an 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.11056#3S0Y |
| B30QEJD38N | B30QEJD38N | statement | record (an 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.19437#KSA8 |
| B30QJQ4Z0D | B30QJQ4Z0D | 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.29759#TF5C |
| B30YQYDQTP | B30YQYDQTP | exercise | open | levin_dmoi ptx/exercises/counting-proofs.ptx#exc-bridesmaids |
| B311DV6SRS | B311DV6SRS | statement | record (an 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.07409#CU22 |
| B313DGANQ0 | B313DGANQ0 | statement | record (an 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.27872#MWRO |
| B31VW9GF2M | B31VW9GF2M | statement | record (an 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.16114#64JE |
| B31Y38HCTN | B31Y38HCTN | statement | record (an 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.08912#G88I |
| B31YCJR8NS | B31YCJR8NS | statement | record (an 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#UFWD |
| B32GMT5ARB | B32GMT5ARB | exercise | open | napkin tex/measure/randvar.tex#problem-2 |
| B32P61B0QV | B32P61B0QV | statement | record (an 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#3Q9B |
| B32QGS8B79 | B32QGS8B79 | 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 2209.07892#66UX |
| B32R4SB0TZ | B32R4SB0TZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1711.00219#HIJI |
| B33FAQTG7M | B33FAQTG7M | statement | record (an 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#KYOE |
| B33HBNFHB0 | B33HBNFHB0 | statement | record (an 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.26376#IO2A |
| B33KRQV5J5 | B33KRQV5J5 | 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.10576#SMGM |
| B33NF1PFQ2 | B33NF1PFQ2 | statement | record (an 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#P7SR |
| B33PGCT116 | B33PGCT116 | statement | record (an 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.25289#4PA4 |
| B34283D2J9 | B34283D2J9 | statement | record (an 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.07812#HSJT |
| B344HNX4JZ | B344HNX4JZ | proof | open | open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#proof-3 |
| B34687HXE6 | B34687HXE6 | 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.30444#TFEW |
| B347H096A9 | B347H096A9 | 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.31249#IQTC |
| B34FD46TWK | B34FD46TWK | statement | record (an 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.25167#YT1W |
| B35CCQ7753 | B35CCQ7753 | proof | open | open_logic content/lambda-calculus/syntax/substitution.tex#proof-3 |
| B35FA1F60N | B35FA1F60N | 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.20909#IO0Y |
| B3614N0PNW | B3614N0PNW | 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.27253#HSQF |
| B36KQM263N | B36KQM263N | statement | record (an 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#7667 |
| B37N79VF15 | B37N79VF15 | example | open | lebl_diffyqs ch-fourier-and-pde.tex#dalemb:implusexample |
| B37QKS402P | B37QKS402P | statement | record (an 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.07461#Q2EQ |
| B37QWA9PKG | B37QWA9PKG | statement | record (an 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#9ZLB |
| B37RW0B933 | B37RW0B933 | statement | record (an 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.01828#RVJC |
| B385Z9X68S | B385Z9X68S | statement | record (an 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.15744#EA3W |
| B38F22MHVH | B38F22MHVH | 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.27800#ADXC |
| B38TGVXR54 | B38TGVXR54 | statement | open | applied_combinatorics source/s_genfunction_binom-app.ptx#corollary-1 |
| B38W2NWJCZ | B38W2NWJCZ | statement | record (an 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#HSOT |
| B39984MV84 | B39984MV84 | statement | record (an 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#DGM6 |
| B39BXTMJT5 | B39BXTMJT5 | proof | open | lebl_scv scv.tex#proof-32 |
| B39M7B9R6J | B39M7B9R6J | statement | record (an 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.19872#GFJP |
| B3A29RF17T | B3A29RF17T | statement | open | lebl_ra ch-metric.tex#prop:topology:subspacesame |
| B3A5DN24DX | B3A5DN24DX | statement | record (an 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.07471#C7ZK |
| B3A7D7VQNJ | B3A7D7VQNJ | statement | record (an 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.06895#NR4R |
| B3ANG3GJ5X | B3ANG3GJ5X | statement | record (an 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.39700#WQAS |
| B3BJRDG37F | B3BJRDG37F | statement | record (an 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#RQI1 |
| B3BZ071JGP | B3BZ071JGP | 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.21622#EEXD |
| B3CB1TZKS3 | B3CB1TZKS3 | statement | record (an 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.01924#HP6N |
| B3CEV21H69 | B3CEV21H69 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0810.0962#X6UA |
| B3CYQZAG8F | B3CYQZAG8F | statement | record (an 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#MQFS |
| B3D2J38MZ0 | B3D2J38MZ0 | statement | record (an 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#X3LV |
| B3D8VQKYXQ | B3D8VQKYXQ | statement | record (an 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.21934#3E8U |
| B3DWVHXJX1 | B3DWVHXJX1 | statement | record (an 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.21971#VZ49 |
| B3E95RFN7Z | B3E95RFN7Z | statement | record (an 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.39700#TMR1 |
| B3EA2F1044 | B3EA2F1044 | statement | record (an 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.15421#RNWX |
| B3EAX1B5TN | B3EAX1B5TN | statement | record (an 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.06707#4PDU |
| B3EQS5422E | B3EQS5422E | statement | open | open_logic content/proof-theory/natural-deduction/quantifiers.tex#lem:subst-regular |
| B3ERF3BNRP | B3ERF3BNRP | statement | record (an 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.07461#MSOI |
| B3F6FG9GCV | B3F6FG9GCV | statement | record (an 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.15432#7JP8 |
| B3G21HTNEB | B3G21HTNEB | example | open | lebl_ra ch-seq-funcs.tex#exercise:badconvergenceder |
| B3GM6T2VM4 | B3GM6T2VM4 | statement | record (an 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.01329#D9T2 |
| B3H133D40W | B3H133D40W | statement | open | open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#cor-2 |
| B3H30AKG7J | B3H30AKG7J | statement | record (an 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.15698#4BW1 |