Inventory: other names
The rows of the inventory whose names start with a character that is not a letter of A to Z. 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 10301–10400 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 4FDMM6DGF4 | 4FDMM6DGF4 | statement | record (an 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.10511#DO8T |
| 4FDP1A0A3X | 4FDP1A0A3X | statement | record (an 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.19309#J72K |
| 4FDZBD7R07 | 4FDZBD7R07 | statement | record (an 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.37112#BQ1E |
| 4FEBQ9Z6NT | 4FEBQ9Z6NT | statement | record (an 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.18242#C496 |
| 4FFFX8W5YY | 4FFFX8W5YY | 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 2609.36622#WLUB |
| 4FGS0RD7A2 | 4FGS0RD7A2 | statement | record (an 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#LH0I |
| 4FGSH5MVPP | 4FGSH5MVPP | exercise | open | open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prob-4 |
| 4FH843ZW3J | 4FH843ZW3J | statement | record (an 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.05577#XWPG |
| 4FHHTAS24S | 4FHHTAS24S | statement | record (an 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.30067#H4DO |
| 4FJ39B0H2F | 4FJ39B0H2F | statement | record (an 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.03305#U9BX |
| 4FJ5748R3Z | 4FJ5748R3Z | statement | record (an 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.17520#Y22B |
| 4FJPT3AT32 | 4FJPT3AT32 | 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.14217#5EEC |
| 4FK56YR6QD | 4FK56YR6QD | statement | record (an 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.09897#5Z1P |
| 4FKBH2X0ME | 4FKBH2X0ME | statement | record (an 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.28808#P4VY |
| 4FKC2Q5AZ8 | 4FKC2Q5AZ8 | statement | record (an 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.20242#M7DE |
| 4FKH3ZHGHP | 4FKH3ZHGHP | statement | record (an 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#4IWE |
| 4FKMJVHVM7 | 4FKMJVHVM7 | statement | record (an 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.35678#THEC |
| 4FMKB9BP6P | 4FMKB9BP6P | statement | record (an 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#SBUK |
| 4FMNZ6442P | 4FMNZ6442P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.05066#LNAN |
| 4FP7A70EWK | 4FP7A70EWK | 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 1904.09810#2LP5 |
| 4FP9F81CHW | 4FP9F81CHW | 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.26366#496X |
| 4FPBNFMCTD | 4FPBNFMCTD | statement | record (an 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.24463#9X2T |
| 4FPEZHW79C | 4FPEZHW79C | statement | open | open_logic content/methods/proofs/using-definitions.tex#prop-1 |
| 4FPS277Q0K | 4FPS277Q0K | statement | record (an 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.31220#SSG2 |
| 4FQDMNGFX4 | 4FQDMNGFX4 | statement | record (an 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.00191#7N19 |
| 4FQZ8TM3J0 | 4FQZ8TM3J0 | statement | record (an 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.05973#OUUW |
| 4FR9TRKDAT | 4FR9TRKDAT | statement | record (an 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.11869#2W4S |
| 4FRKMSGP7Y | 4FRKMSGP7Y | statement | record (an 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.06669#0W4D |
| 4FRRWRVGWF | 4FRRWRVGWF | statement | record (an 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.13556#H84Z |
| 4FRT4WYXE4 | 4FRT4WYXE4 | 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#8VPB |
| 4FSPTTFHPN | 4FSPTTFHPN | statement | record (an 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.13378#R3RL |
| 4FTB69BZ1X | 4FTB69BZ1X | statement | open | lebl_ra ch-several-vars-ders.tex#prop-1 |
| 4FTCG4VBZ2 | 4FTCG4VBZ2 | statement | record (an 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#4G23 |
| 4FTFPXTSVP | 4FTFPXTSVP | statement | open | ernst_ibl MAAPressVersion/CompositionsInverses.tex#cor:two-sided inverse |
| 4FTMAYZMZW | 4FTMAYZMZW | statement | record (an 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.08385#3NX0 |
| 4FTQBHBREC | 4FTQBHBREC | statement | record (an 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.03988#QWHK |
| 4FTQD0Q61C | 4FTQD0Q61C | statement | record (an 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.28669#7T3J |
| 4FTXD623K9 | 4FTXD623K9 | proof | open | lebl_scv scv.tex#proof-74 |
| 4FVNFVD5DB | 4FVNFVD5DB | statement | record (an 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.36717#M69A |
| 4FVQ283W7Z | 4FVQ283W7Z | statement | record (an 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.06581#NF4B |
| 4FWGQ8F6F7 | 4FWGQ8F6F7 | statement | open | lebl_ra ch-contfunc.tex#prop-2 |
| 4FWMNAACPT | 4FWMNAACPT | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-21 |
| 4FWN0WES34 | 4FWN0WES34 | statement | open | hott_book homotopy.tex#lem:hspace-S1 |
| 4FX0QYX93Q | 4FX0QYX93Q | statement | record (an 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.08074#0FSO |
| 4FX5HY0NAZ | 4FX5HY0NAZ | statement | record (an 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.09562#VQRD |
| 4FXF9KAXFB | 4FXF9KAXFB | statement | record (an 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.01073#I3Y9 |
| 4FXSTWMT7K | 4FXSTWMT7K | statement | record (an 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.26984#5HJ5 |
| 4FXXEDFQYP | 4FXXEDFQYP | statement | record (an 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.21298#Q7SD |
| 4FXY9Z5WS6 | 4FXY9Z5WS6 | statement | record (an 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.03559#FSX5 |
| 4FY80W161Y | 4FY80W161Y | statement | record (an 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.26450#SHWY |
| 4FYDGNGTYH | 4FYDGNGTYH | statement | record (an 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.13846#STKX |
| 4FZAMNQHAE | 4FZAMNQHAE | statement | record (an 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.32338#X52E |
| 4FZB0AQZ07 | 4FZB0AQZ07 | statement | record (an 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.05850#9O5X |
| 4G03102A2H | 4G03102A2H | statement | record (an 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.21501#DTP9 |
| 4G04T3QFFG | 4G04T3QFFG | 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 2609.26701#CDRA |
| 4G226ZT5X2 | 4G226ZT5X2 | statement | record (an 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.22317#AY5R |
| 4G24WR3FC2 | 4G24WR3FC2 | statement | record (an 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.17116#JEJV |
| 4G2WGVMP8X | 4G2WGVMP8X | statement | record (an 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.18564#8B2D |
| 4G3PSVA4BG | 4G3PSVA4BG | statement | record (an 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.07190#O29E |
| 4G42YAVXSG | 4G42YAVXSG | statement | record (an 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.31243#AK09 |
| 4G43YFQZSG | 4G43YFQZSG | statement | record (an 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.39449#Y0UD |
| 4G4BRRRFDJ | 4G4BRRRFDJ | 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#2Y0I |
| 4G4H1WAMG8 | 4G4H1WAMG8 | statement | record (an 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#CR24 |
| 4G4S4W4HCJ | 4G4S4W4HCJ | 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.27078#PAZO |
| 4G543PCRCP | 4G543PCRCP | statement | record (an 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.10206#QA9Q |
| 4G5EMAGT10 | 4G5EMAGT10 | statement | record (an 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.3835#W812 |
| 4G5W9RXKQV | 4G5W9RXKQV | proof | open | lebl_ra ch-der.tex#proof-7 |
| 4G64PTWBAS | 4G64PTWBAS | statement | record (an 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.21868#XS3G |
| 4G6DRTB6FA | 4G6DRTB6FA | statement | record (an 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.14055#UCKB |
| 4G6WCD08P6 | 4G6WCD08P6 | statement | record (an 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.33771#2X2M |
| 4G7J067B25 | 4G7J067B25 | statement | record (an 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.05914#SUU0 |
| 4G7Z1RQ0CT | 4G7Z1RQ0CT | statement | record (an 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.03477#FWMC |
| 4G7ZMPC9HR | 4G7ZMPC9HR | statement | record (an 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.18709#6FZ4 |
| 4G826YD1KA | 4G826YD1KA | 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 2609.27046#87E2 |
| 4G8BG3F3WF | 4G8BG3F3WF | statement | open | lebl_ra ch-metric.tex#prop:mslimisunique |
| 4G8HDNKB5W | 4G8HDNKB5W | definition | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#definition-1 |
| 4G8K6HCQ1Q | 4G8K6HCQ1Q | statement | record (an 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.30336#22HQ |
| 4G9JW2585D | 4G9JW2585D | statement | record (an 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#4BWG |
| 4G9JWN06YK | 4G9JWN06YK | example | open | lebl_ra ch-seq-funcs.tex#example-3 |
| 4GAD1NES1S | 4GAD1NES1S | statement | record (an 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.06909#Q32V |
| 4GAWPTJR0M | 4GAWPTJR0M | 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 0903.1504#EFT0 |
| 4GBM52G4XJ | 4GBM52G4XJ | 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.33313#XMC6 |
| 4GBNQKA4D9 | 4GBNQKA4D9 | statement | record (an 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.21494#4TKP |
| 4GBRMNS8PM | 4GBRMNS8PM | proof | open | lebl_ra ch-contfunc.tex#proof-10 |
| 4GEATHCQ7Z | 4GEATHCQ7Z | statement | record (an 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#X162 |
| 4GEHNPA113 | 4GEHNPA113 | statement | record (an 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.19360#GRYB |
| 4GF5KVXW8W | 4GF5KVXW8W | 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.07001#0618 |
| 4GF6W6KJ60 | 4GF6W6KJ60 | statement | record (an 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.08382#9ICV |
| 4GFNWE7EGH | 4GFNWE7EGH | statement | record (an 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.29699#C7YV |
| 4GFNY8FTXX | 4GFNY8FTXX | proof | open | hott_book hlevels.tex#proof-6 |
| 4GFRD2JZWS | 4GFRD2JZWS | statement | record (an 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.22345#PXEA |
| 4GFTE1FHZ5 | 4GFTE1FHZ5 | statement | record (an 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.01924#LCR3 |
| 4GG0NB9JST | 4GG0NB9JST | 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.01737#MBLV |
| 4GGD7MYW8F | 4GGD7MYW8F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.14727#LRJA |
| 4GHAXXPAGB | 4GHAXXPAGB | statement | open | open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#lem:box-iff-diamond |
| 4GHVFWHC2X | 4GHVFWHC2X | statement | record (an 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.05179#CXV5 |
| 4GHYA0B9KD | 4GHYA0B9KD | statement | record (an 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.10860#IN84 |
| 4GJ90AD771 | 4GJ90AD771 | statement | record (an 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.22074#5AJR |
| 4GJB1C57QA | 4GJB1C57QA | 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.33162#142N |
| 4GJHMDCPN3 | 4GJHMDCPN3 | statement | record (an 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.01000#6967 |