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 101–200 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| B14BRMHG0Y | B14BRMHG0Y | example | open | levin_dmoi ptx/sec_counting-advPIE.ptx#example-9 |
| B14Z2D9S5W | B14Z2D9S5W | statement | record (an 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.21444#ZKXS |
| B155D2WXQS | B155D2WXQS | statement | record (an 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.25431#2MMC |
| B16NCMC7E1 | B16NCMC7E1 | proof | open | hott_book logic.tex#proof-9 |
| B16VP29W5V | B16VP29W5V | 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#0EIX |
| B1719P2R86 | B1719P2R86 | statement | record (an 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.38068#IJZK |
| B17B13QXJT | B17B13QXJT | 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.05722#12UW |
| B17HG0NFGE | B17HG0NFGE | proof | open | open_logic content/first-order-logic/tableaux/provability-quantifiers.tex#proof-2 |
| B17ZPR09QZ | B17ZPR09QZ | statement | record (an 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.39845#6BZ2 |
| B182493MZD | B182493MZD | statement | record (an 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.00625#LHCM |
| B184RAZGTP | B184RAZGTP | statement | record (an 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.26650#R91Z |
| B1870FDTXM | B1870FDTXM | 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.14045#0W0Q |
| B18EYMKE6S | B18EYMKE6S | statement | record (an 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#WGZJ |
| B18T8NF2MH | B18T8NF2MH | exercise | open | lebl_ra ch-metric.tex#exercise-15 |
| B1993XJHMC | B1993XJHMC | statement | record (an 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.13122#04V1 |
| B1AM7BK6V4 | B1AM7BK6V4 | 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.07828#KH3B |
| B1AVJ2D6DS | B1AVJ2D6DS | statement | record (an 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#3Z91 |
| B1B15NKNNC | B1B15NKNNC | statement | record (an 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.33383#ZZ8U |
| B1B28NF7YA | B1B28NF7YA | statement | record (an 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.02506#C1Q0 |
| B1BGYJXWX2 | B1BGYJXWX2 | 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.19260#B9Q9 |
| B1BNBF24M8 | B1BNBF24M8 | statement | record (an 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.12908#40T5 |
| B1BSRC8A3X | B1BSRC8A3X | statement | record (an 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.10086#AZQR |
| B1BZ8VJBC1 | B1BZ8VJBC1 | 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.11101#PXS1 |
| B1C41JJJNQ | B1C41JJJNQ | statement | record (an 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.35597#UT54 |
| B1CDGJ93FY | B1CDGJ93FY | statement | record (an 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.11829#FQAP |
| B1CT89FDZM | B1CT89FDZM | statement | record (an 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.37208#XER8 |
| B1CVRKRYQM | B1CVRKRYQM | statement | record (an 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.26479#FIIL |
| B1DACWFJ1Z | B1DACWFJ1Z | statement | record (an 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.26496#FOA4 |
| B1DVF8WWB3 | B1DVF8WWB3 | statement | record (an 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.33941#GHG8 |
| B1EB8MYVZ7 | B1EB8MYVZ7 | statement | record (an 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.21632#IR1C |
| B1EBTJS305 | B1EBTJS305 | statement | record (an 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.27270#OKF2 |
| B1EG09D5FQ | B1EG09D5FQ | statement | record (an 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.24363#IENC |
| B1ERB3SW8X | B1ERB3SW8X | 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#IEG1 |
| B1EVMH7X45 | B1EVMH7X45 | 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 2506.16491#SGAO |
| B1F3MDTQSK | B1F3MDTQSK | statement | record (an 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.07741#67T8 |
| B1FQJR0NW9 | B1FQJR0NW9 | exercise | open | lebl_ra ch-approximate.tex#exercise-36 |
| B1G4WWGTER | B1G4WWGTER | exercise | open | levin_dmoi ptx/exercises/intro-statements.ptx#exercise-4 |
| B1G7H4JA35 | B1G7H4JA35 | 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.40054#YOA7 |
| B1GNFZD4PB | B1GNFZD4PB | statement | record (an 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.10902#P804 |
| B1HJA7E9ZN | B1HJA7E9ZN | statement | record (an 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#2WEB |
| B1HYJ8ET8N | B1HYJ8ET8N | statement | record (an 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.39260#U43H |
| B1JYK005PD | B1JYK005PD | statement | record (an 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.00596#HS2N |
| B1MHF3S94A | B1MHF3S94A | statement | record (an 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.22268#HO90 |
| B1MK7V4ESV | B1MK7V4ESV | statement | record (an 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.38013#Q7DJ |
| B1N04X5B5T | B1N04X5B5T | 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 2508.21045#GORN |
| B1NDMHGQF1 | B1NDMHGQF1 | statement | record (an 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.16180#FQNK |
| B1Q821KY8R | B1Q821KY8R | statement | record (an 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.28295#E2BL |
| B1QRF50GM6 | B1QRF50GM6 | statement | record (an 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.05442#FUQV |
| B1RY670JDV | B1RY670JDV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.15403#5FOY |
| B1S63GQ2K2 | B1S63GQ2K2 | statement | record (an 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#09RR |
| B1S6JMX7T0 | B1S6JMX7T0 | statement | record (an 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.12994#ANNX |
| B1S7F62YRR | B1S7F62YRR | statement | record (an 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/0003117#P54U |
| B1SXW5CVPV | B1SXW5CVPV | statement | record (an 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.38539#83BB |
| B1SZCPAN4R | B1SZCPAN4R | statement | record (an 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.18690#8NM6 |
| B1T5WN7HCA | B1T5WN7HCA | statement | record (an 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.04809#525V |
| B1VCJ7AZNW | B1VCJ7AZNW | statement | record (an 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#Z4GS |
| B1VTF8AYX5 | B1VTF8AYX5 | statement | record (an 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#BZT5 |
| B1W5EW1PB5 | B1W5EW1PB5 | definition | open | napkin tex/cats/abelian.tex#definition-3 |
| B1X6HBY31R | B1X6HBY31R | statement | record (an 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.14380#MMG5 |
| B1XM623WZB | B1XM623WZB | statement | record (an 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.14446#GKFE |
| B1XRHAGAC6 | B1XRHAGAC6 | 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.07092#HFM7 |
| B1XWMBFJWN | B1XWMBFJWN | 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.32358#A4OT |
| B1Y36V3PY9 | B1Y36V3PY9 | statement | open | open_logic content/sets-functions-relations/size-of-sets/zig-zag.tex#natsquaredenumerable |
| B1Y4GYM32S | B1Y4GYM32S | statement | record (an 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.26701#874Y |
| B1ZJV0Q1YM | B1ZJV0Q1YM | statement | record (an 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.37920#1QFB |
| B202VB0G68 | B202VB0G68 | statement | record (an 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.04694#2W6O |
| B203A3TZKK | B203A3TZKK | statement | record (an 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#ONBF |
| B20W56F6T3 | B20W56F6T3 | statement | record (an 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.28323#IZG7 |
| B20ZZ1YR0M | B20ZZ1YR0M | statement | record (an 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.11002#JEYJ |
| B21AEGQT23 | B21AEGQT23 | statement | record (an 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.33704#CFKL |
| B21EE3SBD1 | B21EE3SBD1 | 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 2401.14143#IMA1 |
| B21H0G26D1 | B21H0G26D1 | statement | record (an 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/0512416#3VU3 |
| B21MBMAQ9B | B21MBMAQ9B | statement | record (an 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.32174#FXS2 |
| B21YE5X7QP | B21YE5X7QP | statement | record (an 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.28514#06IZ |
| B229T6FRVK | B229T6FRVK | statement | record (an 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#DHTF |
| B236MHRJ4Q | B236MHRJ4Q | statement | record (an 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#F4XP |
| B23G5JCAFP | B23G5JCAFP | statement | record (an 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.01572#NLVS |
| B23STEE8PN | B23STEE8PN | statement | record (an 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.08658#2RV1 |
| B243ZW6WT5 | B243ZW6WT5 | statement | record (an 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.03126#IG3C |
| B24MB825XA | B24MB825XA | statement | record (an 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.15887#AS1I |
| B24SBXNHQ9 | B24SBXNHQ9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2408.13548#R092 |
| B258YB6G82 | B258YB6G82 | statement | record (an 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.08599#ZKAH |
| B25N7VMDQV | B25N7VMDQV | statement | record (an 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.40156#HT1G |
| B269ERVP1G | B269ERVP1G | statement | record (an 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.14240#DV3J |
| B26XRWYT7D | B26XRWYT7D | exercise | open | ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-6 |
| B270PF5E7R | B270PF5E7R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.05875#5ZSG |
| B27BVQXSJ8 | B27BVQXSJ8 | statement | record (an 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.37124#YI6F |
| B27RMDJNQ3 | B27RMDJNQ3 | statement | record (an 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.17070#UYDO |
| B27Z65PVF4 | B27Z65PVF4 | 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.07280#T9IW |
| B298C1M3TM | B298C1M3TM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#2KVY |
| B29AC9MR18 | B29AC9MR18 | statement | record (an 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#VKNS |
| B29P37V5HM | B29P37V5HM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.15228#QLLB |
| B2ABVJJNRN | B2ABVJJNRN | statement | record (an 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.0868#UUWV |
| B2ADTAG5G1 | B2ADTAG5G1 | statement | record (an 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.37739#8CHL |
| B2AJRZM4E9 | B2AJRZM4E9 | 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.39539#IW2S |
| B2AVCFHEJW | B2AVCFHEJW | statement | record (an 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.04993#J7EN |
| B2B6EK16YR | B2B6EK16YR | statement | record (an 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.19273#F9ED |
| B2B6P2EVPS | B2B6P2EVPS | statement | record (an 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.26438#QSUK |
| B2BA3AJ950 | B2BA3AJ950 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.08413#W790 |
| B2BNEYDN84 | B2BNEYDN84 | 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.06699#03CB |