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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 301–400 of 8378.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| B34H4TCFXA | B34H4TCFXA | statement | record (an 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.23847#STDF |
| 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 |
| B38XJY0KAG | B38XJY0KAG | statement | record (an 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.21668#R8XG |
| 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 |
| B3H4SB4ARZ | B3H4SB4ARZ | 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.31327#6IHO |
| B3J4V4WJQ9 | B3J4V4WJQ9 | 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 2510.02019#HS38 |
| B3J7YX6RW4 | B3J7YX6RW4 | statement | record (an 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.23871#XFC2 |
| B3J9M9ZAD4 | B3J9M9ZAD4 | example | open | active_calculus source/sec-6-2-volume.xml#Ex-6-2-AboutNotY |
| B3JWACTSGQ | B3JWACTSGQ | 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.21860#6HZG |
| B3K8K7NXNQ | B3K8K7NXNQ | statement | record (an 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.18101#23BF |
| B3KQVMZDVV | B3KQVMZDVV | definition | open | napkin tex/diffgeo/manifolds.tex#definition-6 |
| B3KW79SZQC | B3KW79SZQC | statement | record (an 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.19812#7UCY |
| B3MDMST2MF | B3MDMST2MF | statement | record (an 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#T3MC |
| B3MDYHQRS9 | B3MDYHQRS9 | statement | record (an 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.21367#OH9J |
| B3N7CWHM50 | B3N7CWHM50 | 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.03264#N4TE |
| B3N8YNQHHZ | B3N8YNQHHZ | exercise | open | open_logic content/computability/recursive-functions/sequences.tex#prob-3 |
| B3NFWE2QBN | B3NFWE2QBN | 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.08193#T4CC |
| B3NSJF0237 | B3NSJF0237 | statement | record (an 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#TF6S |
| B3NXDCHP4R | B3NXDCHP4R | 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.14502#0VBZ |
| B3P1MH6BFA | B3P1MH6BFA | statement | record (an 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.30285#KHJN |
| B3PHF0YPR7 | B3PHF0YPR7 | statement | record (an 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.28509#PWT5 |
| B3PSJP0FFS | B3PSJP0FFS | statement | record (an 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.15787#22IT |
| B3PXY0F4AA | B3PXY0F4AA | statement | open | open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#prop:diamond-2 |
| B3Q7JYJDT7 | B3Q7JYJDT7 | statement | record (an 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#PXXT |
| B3QKAEVFC5 | B3QKAEVFC5 | 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.39218#75RW |
| B3QZSDYTF4 | B3QZSDYTF4 | 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.16834#OAB4 |
| B3R3PWVTQA | B3R3PWVTQA | 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.10925#0LUC |
| B3R9RRZYG6 | B3R9RRZYG6 | statement | record (an 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.36509#YRM1 |
| B3RWBG0E9M | B3RWBG0E9M | statement | record (an 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#C4MT |
| B3S32QABZR | B3S32QABZR | statement | record (an 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.11301#9V17 |
| B3S3M4KMM0 | B3S3M4KMM0 | statement | open | ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-6 |
| B3S6TFWDVD | B3S6TFWDVD | statement | record (an 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#WM41 |
| B3SEFPTBVV | B3SEFPTBVV | statement | record (an 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#87OX |
| B3SPY351ZM | B3SPY351ZM | 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 0904.0817#UO91 |
| B3SZ48MRPQ | B3SZ48MRPQ | 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 1712.02437#ADKU |
| B3T29T0JFM | B3T29T0JFM | statement | record (an 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#PJWY |
| B3T39Y0VSH | B3T39Y0VSH | statement | record (an 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#SBSS |
| B3V1ZWZ3FM | B3V1ZWZ3FM | statement | record (an 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.06438#UTX2 |
| B3V5AKHPDH | B3V5AKHPDH | statement | record (an 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.31274#EGJT |
| B3VC7C9YS7 | B3VC7C9YS7 | 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.12054#ERUE |
| B3VT80H3BA | B3VT80H3BA | statement | record (an 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.03520#QPX3 |
| B3VZ4RDSX3 | B3VZ4RDSX3 | statement | record (an 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.17691#JUFT |
| B3WHQ0E1JC | B3WHQ0E1JC | 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 2108.10246#W9UE |
| B3X7BZ7KAV | B3X7BZ7KAV | statement | record (an 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.16203#LCTG |
| B3XZ5Y541N | B3XZ5Y541N | statement | record (an 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.30015#RMBO |