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 301–400 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| B3J9M9ZAD4 | B3J9M9ZAD4 | example | open | active_calculus source/sec-6-2-volume.xml#Ex-6-2-AboutNotY |
| 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 |
| 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 |
| B3YH52STRF | B3YH52STRF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.24190#PW2T |
| B3YJ9FTZVC | B3YJ9FTZVC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1010.3284#HZIY |
| B3ZCMH1ACY | B3ZCMH1ACY | statement | record (an 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.14068#EZMA |
| B40E2T87SG | B40E2T87SG | 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 2405.14678#8UBL |
| B40H7C2XQB | B40H7C2XQB | 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.04730#A8UB |
| B40NFS3VZT | B40NFS3VZT | example | open | levin_dmoi ptx/sec_logic-proofs.ptx#example-4 |
| B40TCA980G | B40TCA980G | statement | record (an 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.39905#5OFQ |
| B41CMC9BH3 | B41CMC9BH3 | statement | record (an 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#T8C7 |
| B41RMFXMTG | B41RMFXMTG | statement | record (an 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#QEDT |
| B424ZAG1Q4 | B424ZAG1Q4 | statement | record (an 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.01802#FYT1 |
| B42NP71MTE | B42NP71MTE | statement | record (an 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.25435#OE3X |
| B42VCBCKEX | B42VCBCKEX | proof | open | lebl_ra ch-several-vars-ders.tex#proof-12 |
| B43409XRE4 | B43409XRE4 | 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 2411.11470#YX7M |
| B43TYH2GF6 | B43TYH2GF6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.4587#CU2R |
| B4494S5DY0 | B4494S5DY0 | statement | record (an 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#M5Z2 |
| B44Z0P8EH8 | B44Z0P8EH8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.00562#V3Q6 |
| B457VBVBEN | B457VBVBEN | statement | record (an 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.34923#X9H5 |
| B45B67RBRH | B45B67RBRH | 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.33018#VAH7 |
| B45JDWKC9F | B45JDWKC9F | 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.26019#BH9W |
| B45W3E93B1 | B45W3E93B1 | statement | record (an 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.01612#RCVE |
| B463K5V5DN | B463K5V5DN | 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 2403.15255#Z2DV |
| B478V78997 | B478V78997 | statement | record (an 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.10248#YPTD |
| B47H2ZC2XF | B47H2ZC2XF | statement | record (an 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#KUUV |
| B487T2ZQBC | B487T2ZQBC | 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 1907.01440#5WJN |
| B4893JHHG0 | B4893JHHG0 | statement | record (an 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#KN2U |
| B48STGVNYF | B48STGVNYF | statement | record (an 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.27673#QNP6 |
| B49E9XJBSM | B49E9XJBSM | 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.06719#NBB1 |
| B4A2F461PM | B4A2F461PM | statement | record (an 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.37589#FDOD |
| B4AF1RZP0M | B4AF1RZP0M | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-9 |
| B4AGSVN2MY | B4AGSVN2MY | statement | record (an 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.02722#LIKO |
| B4BKZW1CBY | B4BKZW1CBY | 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.03488#YALB |
| B4BMQ420J0 | B4BMQ420J0 | statement | record (an 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.07040#NBMM |
| B4BMZV9C6R | B4BMZV9C6R | statement | record (an 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.36186#8FZL |
| B4BQBTGYXF | B4BQBTGYXF | 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 2210.17066#CNBX |
| B4BQGM9YN9 | B4BQGM9YN9 | statement | record (an 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.33231#8NZZ |
| B4BX7QNSEE | B4BX7QNSEE | 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.03672#0Q8Z |
| B4C1Y6D3XJ | B4C1Y6D3XJ | 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.08039#JISS |
| B4D3VWDP8P | B4D3VWDP8P | statement | record (an 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.14985#P9LK |
| B4E9T97S5J | B4E9T97S5J | statement | record (an 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.12502#02V1 |
| B4FT8VX6W9 | B4FT8VX6W9 | statement | record (an 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#A9QJ |
| B4G0SWBYRH | B4G0SWBYRH | statement | record (an 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#C0IG |
| B4GCC2ZR08 | B4GCC2ZR08 | 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.11679#Z0RH |
| B4GN82AVDN | B4GN82AVDN | statement | record (an 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#1378 |
| B4GPS118P4 | B4GPS118P4 | statement | open | austin_ula src/section6-3.xml#prop-orthog-decomp |
| B4HCE0Y53K | B4HCE0Y53K | 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.07379#DRLC |
| B4HD4HFSDC | B4HD4HFSDC | 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.34020#C562 |
| B4JWS1N5MR | B4JWS1N5MR | 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.39317#4DXL |
| B4KT7BRWC7 | B4KT7BRWC7 | statement | record (an 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.07679#2AFD |
| B4M5QRQSH6 | B4M5QRQSH6 | example | open | open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#ex:land-deriv |
| B4M9EFKJCR | B4M9EFKJCR | statement | record (an 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.06206#9QNO |
| B4MBF9SWW3 | B4MBF9SWW3 | exercise | open | open_logic content/proof-theory/cut-elimination/ce-topmost.tex#prob-3 |
| B4MCJVM6F4 | B4MCJVM6F4 | 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 2210.02261#DULV |
| B4P2DRH39D | B4P2DRH39D | unknown | open | arXiv alg-geom/9506022#5TJM |
| B4Q6TDF6QW | B4Q6TDF6QW | statement | record (an 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.40189#CXHO |
| B4Q9ZGMPBA | B4Q9ZGMPBA | 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 2310.15716#V4NB |
| B4QBRRTVCV | B4QBRRTVCV | statement | record (an 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.20510#VSCZ |
| B4R12VFT9B | B4R12VFT9B | statement | record (an 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.21033#AU51 |
| B4R7HTE60F | B4R7HTE60F | statement | record (an 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.05299#Z61G |
| B4R9CKGYNQ | B4R9CKGYNQ | statement | record (an 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.15393#0V8N |
| B4RD3NGJQB | B4RD3NGJQB | statement | record (an 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#Y0ZV |
| B4RJS2CJ20 | B4RJS2CJ20 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.04758#15JJ |
| B4RWM5E6XE | B4RWM5E6XE | statement | record (an 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.21181#LMZF |