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 2601–2700 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| BM 13901 | 1WCBYP965A | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q2877307, ProofWiki Book:Tablet/BM_13901 |
| BM01GN1D9Y | BM01GN1D9Y | 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 2205.09049#HUKO |
| BM04WCSSF3 | BM04WCSSF3 | 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 math/0512416#NB82 |
| BM0EAH0VG7 | BM0EAH0VG7 | statement | record (an 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.09084#29A5 |
| BM0M7DS7ZE | BM0M7DS7ZE | statement | record (an 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.34289#X2XB |
| BM1XHHRPZX | BM1XHHRPZX | 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 2603.16304#OVA7 |
| BM25VH9QA8 | BM25VH9QA8 | statement | record (an 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.38975#XNVA |
| BM2PT470NA | BM2PT470NA | statement | record (an 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.10519#1CZZ |
| BM2ZHKH9CS | BM2ZHKH9CS | exercise | open | lebl_ra ch-contfunc.tex#exercise-72 |
| BM37NZ16EV | BM37NZ16EV | statement | record (an 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.03555#7ZMS |
| BM4SACK74Z | BM4SACK74Z | exercise | open | open_logic content/model-theory/basics/isomorphism.tex#prob-1 |
| BM4SDPW5YA | BM4SDPW5YA | 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.35682#JN95 |
| BM69GHH0AR | BM69GHH0AR | statement | record (an 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#TAIK |
| BM6JSSRWF1 | BM6JSSRWF1 | 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.16332#RK90 |
| BM6Z5VD8NS | BM6Z5VD8NS | statement | record (an 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.09729#9TAU |
| BM76E0Q2WW | BM76E0Q2WW | statement | record (an 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.10927#YSF1 |
| BM7ZK5CHTZ | BM7ZK5CHTZ | statement | record (an 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.03661#X6P6 |
| BM8XFBB612 | BM8XFBB612 | unknown | open | arXiv 2609.25111#1OVB |
| BMBGCQ435C | BMBGCQ435C | 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.34382#ISUR |
| BMBN7WMJ06 | BMBN7WMJ06 | exercise | open | lebl_scv scv.tex#exercise-245 |
| BMCN84ZZWY | BMCN84ZZWY | statement | record (an 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.27752#H2JZ |
| BMD29CN7BM | BMD29CN7BM | statement | record (an 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#MXYK |
| BMD5T2WZDE | BMD5T2WZDE | statement | record (an 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.27200#D26C |
| BMDA1Q2Y3H | BMDA1Q2Y3H | proof | open | napkin tex/rep-theory/characters.tex#proof-1 |
| BMDW0YDYZB | BMDW0YDYZB | statement | record (an 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.36613#LVV0 |
| BMDWD3Y1WC | BMDWD3Y1WC | statement | record (an 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.10365#5R74 |
| BME2MQ8CW3 | BME2MQ8CW3 | 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.14783#WQXL |
| BME3PDA7SF | BME3PDA7SF | exercise | open | open_logic content/many-valued-logic/three-valued-logics/multiple-designation.tex#prob-2 |
| BMEM0MVJPW | BMEM0MVJPW | statement | record (an 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.37265#V5EE |
| BMF8Y8601X | BMF8Y8601X | 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.12691#CCW9 |
| BMFD86FBWK | BMFD86FBWK | 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.02689#NIG1 |
| BMG1PNT53J | BMG1PNT53J | 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 2601.04559#THIE |
| BMGD5BARZ8 | BMGD5BARZ8 | 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.16731#09HV |
| BMHMVBDWNW | BMHMVBDWNW | 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.06338#7LW9 |
| BMJ2BAWMY5 | BMJ2BAWMY5 | statement | record (an 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.03628#7QZX |
| BMJSVPBXEW | BMJSVPBXEW | 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.07695#PAIT |
| BMM1FS5803 | BMM1FS5803 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1903.07030#FHDF |
| BMM26SFPFM | BMM26SFPFM | statement | record (an 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.13214#E71T |
| BMM97KBWQ2 | BMM97KBWQ2 | exercise | open | hott_book preliminaries.tex#ex:subtFromPathInd |
| BMMYMAZHBP | BMMYMAZHBP | problem | record (an 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.15180#PFNB |
| BMN02QS0D3 | BMN02QS0D3 | exercise | open | hott_book logic.tex#ex:omit-contr2 |
| BMN05MYC4W | BMN05MYC4W | 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.25983#VHPC |
| BMN69QF0QF | BMN69QF0QF | 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.21080#MXCP |
| BMP7Y298WG | BMP7Y298WG | example | open | levin_dmoi ptx/sec_intro-statements.ptx#example-3 |
| BMPNGJWSEK | BMPNGJWSEK | 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 2109.09268#NOHB |
| BMPT3R7D4E | BMPT3R7D4E | statement | record (an 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#V5HN |
| BMQRV0XEBS | BMQRV0XEBS | statement | record (an 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.37520#T6KK |
| BMRJ39W8CB | BMRJ39W8CB | statement | record (an 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.11596#IOC6 |
| BMRTGKANJ9 | BMRTGKANJ9 | statement | record (an 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.21945#H1MA |
| BMSA3CZCA8 | BMSA3CZCA8 | 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.12489#VMLY |
| BMSD83RVFS | BMSD83RVFS | statement | record (an 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.16022#W8FT |
| BMSF1N7914 | BMSF1N7914 | 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.07644#DEXX |
| BMSYAN0E2A | BMSYAN0E2A | 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.10930#KAKT |
| BMTCCXK0ZT | BMTCCXK0ZT | statement | record (an 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.24542#FJ62 |
| BMTDXA7JK8 | BMTDXA7JK8 | statement | record (an 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.16821#8BGQ |
| BMV0WPMW9S | BMV0WPMW9S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1002.0879#VLUD |
| BMV4EDG5GB | BMV4EDG5GB | statement | record (an 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.01251#TIDH |
| BMVG8M2SP1 | BMVG8M2SP1 | 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 1002.0879#3B7M |
| BMW0P1F4ST | BMW0P1F4ST | statement | record (an 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.16655#KJ0B |
| BMWV1VBN7C | BMWV1VBN7C | statement | record (an 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.12120#SCPB |
| BMWVWDMV1P | BMWVWDMV1P | statement | record (an 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.38228#8Q6Q |
| BMXDZZF0FM | BMXDZZF0FM | 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.01473#IADX |
| BMXQKHSTB9 | BMXQKHSTB9 | 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#P6MY |
| BMXQWRBXJV | BMXQWRBXJV | proof | open | open_logic content/normal-modal-logic/axioms-systems/systems-distinct.tex#proof-3 |
| BMXVB5344K | BMXVB5344K | statement | record (an 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.17349#XLK8 |
| BMYNNQQF3Y | BMYNNQQF3Y | statement | record (an 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.29653#FOZM |
| BMYY3MZ16N | BMYY3MZ16N | statement | record (an 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.31126#HXA0 |
| BMZ4GTHCTM | BMZ4GTHCTM | proof | open | open_logic content/set-theory/card-arithmetic/fix.tex#proof-2 |
| BMZA1Y391W | BMZA1Y391W | statement | record (an 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.31781#VAWW |
| BN04WXEQ6W | BN04WXEQ6W | statement | record (an 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.09882#DEG2 |
| BN19YZG623 | BN19YZG623 | statement | record (an 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#XSHD |
| BN1ZDZKWC0 | BN1ZDZKWC0 | 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.12295#K61R |
| BN21SJGYGB | BN21SJGYGB | statement | record (an 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.24212#VRDC |
| BN25B0K59R | BN25B0K59R | statement | record (an 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.24701#34TW |
| BN25BB2GS4 | BN25BB2GS4 | 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.09809#ZQME |
| BN271KEE8V | BN271KEE8V | exercise | open | applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-23 |
| BN290GYEAS | BN290GYEAS | statement | record (an 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#HYMO |
| BN2V0EHT0B | BN2V0EHT0B | statement | open | open_logic content/turing-machines/undecidability/verification.tex#lem:config |
| BN336ASRJ6 | BN336ASRJ6 | statement | record (an 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.01354#HDZV |
| BN39W8DJ3K | BN39W8DJ3K | statement | record (an 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.22170#GTM1 |
| BN3CFWTCRQ | BN3CFWTCRQ | statement | record (an 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.05423#OMTC |
| BN3DK70A0A | BN3DK70A0A | statement | record (an 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.13213#BZE1 |
| BN3EMY6ZRY | BN3EMY6ZRY | statement | record (an 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.05986#6UGC |
| BN3RGA4Q7Z | BN3RGA4Q7Z | statement | record (an 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.20891#X1PC |
| BN41PHQVCC | BN41PHQVCC | statement | record (an 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.35600#KXNQ |
| BN41X5XAPT | BN41X5XAPT | statement | record (an 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.24320#X46C |
| BN4PE3E5B1 | BN4PE3E5B1 | statement | record (an 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.27617#4SXJ |
| BN4WYTTE3H | BN4WYTTE3H | statement | record (an 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.26713#HX07 |
| BN5B8B45R7 | BN5B8B45R7 | statement | record (an 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.16707#06J2 |
| BN5EATMMZK | BN5EATMMZK | statement | record (an 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.13979#EY46 |
| BN5MC8KHD5 | BN5MC8KHD5 | statement | record (an 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.00869#TUW2 |
| BN5NKY71TD | BN5NKY71TD | exercise | open | lebl_diffyqs ch-intro.tex#exercise-22 |
| BN5W937515 | BN5W937515 | statement | record (an 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.09810#1W69 |
| BN6GM10KYZ | BN6GM10KYZ | exercise | open | napkin tex/H113/structure.tex#problem-2 |
| BN7NPWJF1K | BN7NPWJF1K | statement | record (an 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.19251#7AJK |
| BN8474DFRN | BN8474DFRN | statement | record (an 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.06755#ROVL |
| BN8YR84GQ7 | BN8YR84GQ7 | 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 2204.13401#8GEG |
| BN90S810J1 | BN90S810J1 | 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.21627#53ZK |
| BN95BR0Y4A | BN95BR0Y4A | statement | record (an 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.07541#EMLW |
| BN9CRA0C2C | BN9CRA0C2C | statement | record (an 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.25094#5SBZ |