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 201–300 of 8378.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| B1SE9XRZDF | B1SE9XRZDF | 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.22011#O6GE |
| 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 |
| B1TEXVMVH9 | B1TEXVMVH9 | 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.21692#UESO |
| 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 |
| B1YD6XBXJY | B1YD6XBXJY | 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.24023#7V4I |
| 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 |
| B22C8CKFPS | B22C8CKFPS | 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.21060#HY1F |
| 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 |
| B26V8A9PAB | B26V8A9PAB | 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.21552#QQQ1 |
| 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 |
| 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 |
| B2FEZBDWV5 | B2FEZBDWV5 | statement | record (an 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.22296#TKHN |
| 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 |
| B2GR6AD45H | B2GR6AD45H | statement | record (an 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.24154#YIFP |
| B2HYVABHY2 | B2HYVABHY2 | statement | open | open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#prop:explicit-inc |
| B2JWCF9GC6 | B2JWCF9GC6 | statement | record (an 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.21972#2JZ5 |
| 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 |