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 4201–4300 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| BY3N2CD7TB | BY3N2CD7TB | 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.13347#INMU |
| BY408A74DY | BY408A74DY | exercise | open | austin_ula src/section2-5.xml#activity-1 |
| BY5ANNZATT | BY5ANNZATT | statement | record (an 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.21692#PWCO |
| BY5WXG18SY | BY5WXG18SY | statement | record (an 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.33651#1OKK |
| BY5X70E2JM | BY5X70E2JM | proof | open | ernst_ibl MAAPressVersion/CompleteInduction.tex#proof-1 |
| BY5XT2GH9A | BY5XT2GH9A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.00162#UEB5 |
| BY615SGHPX | BY615SGHPX | 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.09300#BOZA |
| BY65MP2ATS | BY65MP2ATS | statement | record (an 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.37901#ONGM |
| BY6GNYGAHS | BY6GNYGAHS | 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.14692#OVMV |
| BY6JMXNXNN | BY6JMXNXNN | statement | record (an 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.18017#3AYI |
| BY82DV7P3V | BY82DV7P3V | exercise | open | napkin tex/linalg/dets.tex#problem-4 |
| BY82V86M3N | BY82V86M3N | statement | record (an 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#MX8G |
| BY8J871XMB | BY8J871XMB | 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 2206.05392#CYT0 |
| BY8V94PHYG | BY8V94PHYG | unknown | open | |
| BY95NCV54T | BY95NCV54T | statement | record (an 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#S0YN |
| BYA4Z9Q0NJ | BYA4Z9Q0NJ | definition | open | open_logic content/normal-modal-logic/axioms-systems/introduction.tex#defn-2 |
| BYA5H7CCAH | BYA5H7CCAH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.01036#VUO9 |
| BYAPJDSPSM | BYAPJDSPSM | statement | record (an 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.09578#FK84 |
| BYASEYXQKC | BYASEYXQKC | unknown | open | |
| BYAW19PTG9 | BYAW19PTG9 | statement | record (an 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.04252#Y4Q7 |
| BYBA6QWZBV | BYBA6QWZBV | statement | record (an 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.15344#V289 |
| BYBCNVT6QT | BYBCNVT6QT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2101.07846#2PFX |
| BYBGFW3SYG | BYBGFW3SYG | statement | record (an 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.06466#D7AZ |
| BYBKGRMD5A | BYBKGRMD5A | statement | record (an 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.02634#LU98 |
| BYC2Z69M9N | BYC2Z69M9N | statement | record (an 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.35307#VNC8 |
| BYCESTMKRC | BYCESTMKRC | statement | record (an 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.12181#GX57 |
| BYCFBPZCQZ | BYCFBPZCQZ | statement | record (an 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.30663#OD1S |
| BYCPQSZHKZ | BYCPQSZHKZ | statement | record (an 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.40017#SCSK |
| BYD82Y323T | BYD82Y323T | statement | record (an 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#ZAIH |
| BYDA095Z6A | BYDA095Z6A | statement | record (an 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.21768#ADZ3 |
| BYDAPT5ZA4 | BYDAPT5ZA4 | 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.24878#A6EK |
| BYDMFJYHAC | BYDMFJYHAC | statement | record (an 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#SL1O |
| BYE3XHSF7H | BYE3XHSF7H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.14445#I01I |
| BYE4B6W5WS | BYE4B6W5WS | statement | record (an 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.25000#UJNS |
| BYEBS4CY4G | BYEBS4CY4G | statement | record (an 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#L99F |
| BYERJJ6E23 | BYERJJ6E23 | statement | record (an 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.15535#6M6Y |
| Byers–Yang theorem | 7DNJT1S6W0 | statement | open | mathlib_1000 Q18205730, Wikidata Q18205730, thousand_plus Q18205730, Wikipedia Byers–Yang theorem |
| BYEWH0VCRX | BYEWH0VCRX | statement | open | open_logic content/normal-modal-logic/filtrations/finite.tex#prop:filt-are-finite |
| BYF906RY2C | BYF906RY2C | statement | record (an 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.06419#AAZB |
| BYGJRXD2TT | BYGJRXD2TT | statement | open | open_logic content/computability/recursive-functions/examples.tex#prop-2 |
| BYHMGG85CQ | BYHMGG85CQ | statement | record (an 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.16339#1YWD |
| BYHS41DB4T | BYHS41DB4T | statement | record (an 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.17863#XIX3 |
| BYHTNMBVB9 | BYHTNMBVB9 | statement | record (an 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.03341#2O11 |
| BYJA551TVV | BYJA551TVV | statement | record (an 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.40214#KF7A |
| BYJYJZ3B5A | BYJYJZ3B5A | 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 2311.01874#FQPI |
| BYK1AK4DFA | BYK1AK4DFA | statement | record (an 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.29537#IU4Q |
| BYK89JZTV9 | BYK89JZTV9 | exercise | open | levin_dmoi ptx/exercises/gt-intro.ptx#exercise-6 |
| BYKAS4Y4WA | BYKAS4Y4WA | statement | record (an 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#9P48 |
| BYKRY0QZ02 | BYKRY0QZ02 | statement | record (an 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.13621#6A82 |
| BYKX41TYRV | BYKX41TYRV | statement | record (an 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.19470#04UK |
| BYM3WRPWY9 | BYM3WRPWY9 | statement | record (an 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.17181#FUSJ |
| BYMW8QCEB4 | BYMW8QCEB4 | statement | record (an 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.36377#DC1E |
| BYN769DAKT | BYN769DAKT | statement | record (an 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.21675#TC3T |
| BYNE5VKXFC | BYNE5VKXFC | statement | record (an 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.17276#488L |
| BYNPZED6D4 | BYNPZED6D4 | 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.29304#8RT5 |
| BYNQQX5BXE | BYNQQX5BXE | statement | record (an 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.01932#797C |
| BYNR831DYA | BYNR831DYA | statement | record (an 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.07790#DRLB |
| BYNSSXRGXW | BYNSSXRGXW | statement | record (an 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.02570#6AXR |
| BYP5CNAWD3 | BYP5CNAWD3 | statement | record (an 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#4U4Q |
| BYQ7QD21R4 | BYQ7QD21R4 | exercise | open | lebl_diffyqs ch-systems.tex#exercise-26 |
| BYQKW4F3QX | BYQKW4F3QX | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-45 |
| BYQZXM376P | BYQZXM376P | proof | open | napkin tex/alg-NT/finite-field.tex#proof-4 |
| BYRGW0TE39 | BYRGW0TE39 | statement | record (an 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.06529#THY9 |
| BYRHZ4Z3Z6 | BYRHZ4Z3Z6 | statement | record (an 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.08581#460W |
| BYRTXSSPAG | BYRTXSSPAG | statement | record (an 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.03071#DYKZ |
| BYSG0MD0D1 | BYSG0MD0D1 | statement | record (an 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.13137#LFPX |
| BYSHN93YM7 | BYSHN93YM7 | statement | record (an 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.17139#PDS5 |
| byte | PV77N3SS9Q | definition | open | Wikidata Q8799, MathWorld Byte, ProofWiki Definition:Byte |
| BYTN0KG1ST | BYTN0KG1ST | example | open | napkin tex/topology/metric-prop.tex#example-2 |
| BYV0AK9XY2 | BYV0AK9XY2 | statement | record (an 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#ETR4 |
| BYV5PXJWH2 | BYV5PXJWH2 | statement | record (an 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.27687#IDC8 |
| BYVA9XNKX3 | BYVA9XNKX3 | proof | open | napkin tex/alg-geom/localization.tex#proof-3 |
| BYVKF3VT3A | BYVKF3VT3A | statement | record (an 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#PZPW |
| BYVNB6G92P | BYVNB6G92P | statement | record (an 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.19283#UYS3 |
| BYW5AZSVP0 | BYW5AZSVP0 | 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.10600#0JO9 |
| BYW9K33MCE | BYW9K33MCE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#EARJ |
| BYX3J1HAMJ | BYX3J1HAMJ | 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.17589#UJLA |
| BYXZBZKYR7 | BYXZBZKYR7 | exercise | open | napkin tex/H113/ring-flavors.tex#exercise-4 |
| BYYAC6HCXX | BYYAC6HCXX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.01517#1A07 |
| BYYJS2RAFF | BYYJS2RAFF | 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.37520#3PB3 |
| BYYNSNF1CV | BYYNSNF1CV | statement | record (an 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.33766#XLC0 |
| BYYPCMTWFY | BYYPCMTWFY | statement | record (an 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.15352#KLYI |
| BYYRCYSHX2 | BYYRCYSHX2 | statement | record (an 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.16883#1TV5 |
| BYZ93FDVV3 | BYZ93FDVV3 | 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.16475#LA6H |
| BYZ9W2BC5X | BYZ9W2BC5X | statement | record (an 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.15405#N98K |
| Byzantine fault | MEGK7R9XKS | unknown | open | Wikidata Q1353446, MathWorld ByzantineGeneralsProblem |
| BYZMK4K8GY | BYZMK4K8GY | statement | record (an 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.12329#W4F7 |
| BYZMNDWZED | BYZMNDWZED | statement | record (an 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.20207#43L5 |
| BYZXVV522E | BYZXVV522E | statement | record (an 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#2CTD |
| BZ0J3BYBV9 | BZ0J3BYBV9 | statement | record (an 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.36412#QMKZ |
| BZ1EMB2D4E | BZ1EMB2D4E | statement | record (an 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.01208#YI7A |
| BZ261HA7TY | BZ261HA7TY | statement | record (an 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.35209#F4P0 |
| BZ2NXAW836 | BZ2NXAW836 | exercise | open | lebl_ra ch-der.tex#exercise-23 |
| BZ35JH9CQX | BZ35JH9CQX | statement | record (an 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.30519#Y80R |
| BZ3BZQC2TN | BZ3BZQC2TN | 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 2309.15228#SKIG |
| BZ3HGRNJMN | BZ3HGRNJMN | statement | record (an 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.20207#MXA2 |
| BZ3N9F9SE8 | BZ3N9F9SE8 | statement | record (an 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.02059#1XCK |
| BZ4B199D46 | BZ4B199D46 | statement | record (an 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.10477#IPMU |
| BZ4JMQF372 | BZ4JMQF372 | 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 2007.14459#4A70 |
| BZ4V8DKC6C | BZ4V8DKC6C | statement | record (an 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.06556#T3P2 |