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 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 11701–11800 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 4DF31X3ZH3 | 4DF31X3ZH3 | statement | record (an 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.13513#AGFX |
| 4DF3X0FKY1 | 4DF3X0FKY1 | statement | record (an 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.31907#1W9N |
| 4DFXMNFARS | 4DFXMNFARS | statement | record (an 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.27635#8R7J |
| 4DG1EXDJPQ | 4DG1EXDJPQ | statement | record (an 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.16875#4I3N |
| 4DG1WW7DEX | 4DG1WW7DEX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.24599#ADZ0 |
| 4DGDC65F4Y | 4DGDC65F4Y | statement | record (an 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.35538#DYHZ |
| 4DGM8080NB | 4DGM8080NB | statement | record (an 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.07451#0QSM |
| 4DGS29ZQYH | 4DGS29ZQYH | 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.03688#W475 |
| 4DHKAHTG51 | 4DHKAHTG51 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.22882#IU0X |
| 4DHN3SVS7P | 4DHN3SVS7P | statement | record (an 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.16102#NB3C |
| 4DHRYF81HG | 4DHRYF81HG | 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.14373#VHR3 |
| 4DJYYJG7P4 | 4DJYYJG7P4 | statement | record (an 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.21116#I6GL |
| 4DJZSW5TP7 | 4DJZSW5TP7 | proof | open | open_logic content/set-theory/choice/vitali.tex#proof-1 |
| 4DK1RVCFN5 | 4DK1RVCFN5 | 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.33771#I7DY |
| 4DKAQPM028 | 4DKAQPM028 | statement | record (an 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.20401#Q2OT |
| 4DKDWWPC6X | 4DKDWWPC6X | statement | record (an 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#3RIS |
| 4DKY686WXF | 4DKY686WXF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.19483#0MPQ |
| 4DM5FMAR8F | 4DM5FMAR8F | statement | record (an 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.01783#OGFV |
| 4DM95N6YDP | 4DM95N6YDP | statement | record (an 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.11097#1KAT |
| 4DMKZV0D32 | 4DMKZV0D32 | unknown | open | arXiv 2610.13680#O9AA |
| 4DMVVFX7KR | 4DMVVFX7KR | statement | record (an 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.07546#U62D |
| 4DMW8BJV19 | 4DMW8BJV19 | unknown | open | arXiv 2610.13680#417L |
| 4DN04FNP40 | 4DN04FNP40 | statement | record (an 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.23941#DA5K |
| 4DN0VBCK59 | 4DN0VBCK59 | statement | record (an 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.02295#HK9W |
| 4DN1XYGD4G | 4DN1XYGD4G | 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 2407.02022#MQYG |
| 4DN983XSEM | 4DN983XSEM | statement | record (an 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.23617#1MTS |
| 4DNQ79KTGG | 4DNQ79KTGG | 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#TPD7 |
| 4DP2SX81ZW | 4DP2SX81ZW | statement | record (an 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#ZW2D |
| 4DPA5X328N | 4DPA5X328N | statement | record (an 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.25289#DQD0 |
| 4DPJTN4Q3X | 4DPJTN4Q3X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#UD6H |
| 4DPMM08YMA | 4DPMM08YMA | statement | open | open_logic content/first-order-logic/axiomatic-deduction/proving-things.tex#prop:chain |
| 4DPMYPS8FY | 4DPMYPS8FY | statement | record (an 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.14859#9HH5 |
| 4DPSCAT260 | 4DPSCAT260 | 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 2309.01359#IGNT |
| 4DQXC43WD7 | 4DQXC43WD7 | exercise | open | levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-6 |
| 4DRBM1BXKB | 4DRBM1BXKB | exercise | open | open_logic content/lambda-calculus/syntax/substitution.tex#prob-5 |
| 4DS9WGMKJ5 | 4DS9WGMKJ5 | 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.39254#1OIX |
| 4DSWV80BEP | 4DSWV80BEP | definition | open | open_logic content/applied-modal-logic/epistemic-logic/relational-models.tex#defn-1 |
| 4DTDQ6WZ6G | 4DTDQ6WZ6G | statement | record (an 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.18084#XOGO |
| 4DVC0YE9KY | 4DVC0YE9KY | statement | record (an 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.25129#SPS4 |
| 4DVN7QQZ1A | 4DVN7QQZ1A | statement | record (an 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.20488#07V3 |
| 4DVYWPNCFJ | 4DVYWPNCFJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.14699#J2U3 |
| 4DXX1EVK7B | 4DXX1EVK7B | statement | record (an 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#RWLU |
| 4DY19HX6J4 | 4DY19HX6J4 | 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.10591#SWJM |
| 4DYB36ZVQE | 4DYB36ZVQE | exercise | open | open_logic content/first-order-logic/tableaux/proving-things.tex#prob-3 |
| 4DYQQWR982 | 4DYQQWR982 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.05276#V5LE |
| 4DZ116A3QX | 4DZ116A3QX | statement | record (an 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.05784#9NM7 |
| 4DZ3EKV0SG | 4DZ3EKV0SG | statement | open | open_logic content/lambda-calculus/syntax/unique-readability.tex#lem:app-start |
| 4DZQVE0YXQ | 4DZQVE0YXQ | statement | open | open_logic content/incompleteness/incompleteness-provability/second-incompleteness-thm.tex#thm:second-incompleteness-gen |
| 4E0D4RWBEX | 4E0D4RWBEX | statement | record (an 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.17602#VZ4E |
| 4E0SVP93AV | 4E0SVP93AV | statement | record (an 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.26401#0P0A |
| 4E15JECJH3 | 4E15JECJH3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.12502#63N4 |
| 4E1HE5W8A1 | 4E1HE5W8A1 | statement | record (an 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.22924#CG44 |
| 4E1KF7D6AW | 4E1KF7D6AW | 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.31689#90B0 |
| 4E1NG4B31K | 4E1NG4B31K | statement | record (an 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.28350#7DY8 |
| 4E1R7MVZDY | 4E1R7MVZDY | exercise | open | ernst_ibl MAAPressVersion/ImagesInverseImages.tex#problem-2 |
| 4E1X5GH5ZA | 4E1X5GH5ZA | statement | record (an 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#27R7 |
| 4E222DPZ6V | 4E222DPZ6V | statement | record (an 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.14616#82EV |
| 4E2DPHZ22P | 4E2DPHZ22P | statement | record (an 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.23528#2XBY |
| 4E2NGGZMN2 | 4E2NGGZMN2 | 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.09900#RQYL |
| 4E2TCFVVCV | 4E2TCFVVCV | 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 2504.07573#5YMM |
| 4E307FX6PS | 4E307FX6PS | statement | record (an 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.12326#1DG3 |
| 4E32TFJ74A | 4E32TFJ74A | statement | record (an 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.18084#IEE9 |
| 4E33VMR8GW | 4E33VMR8GW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.08186#V9I5 |
| 4E34G3PNJN | 4E34G3PNJN | statement | record (an 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.31615#DB85 |
| 4E3WM66M5F | 4E3WM66M5F | statement | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#theorem-7 |
| 4E44FZEGBZ | 4E44FZEGBZ | 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 2301.04933#VAWR |
| 4E4FAVQHWB | 4E4FAVQHWB | statement | record (an 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.07116#IMNN |
| 4E5HF76QBH | 4E5HF76QBH | statement | record (an 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.39531#LL5G |
| 4E5TP7BNRP | 4E5TP7BNRP | 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 2411.16655#ARJU |
| 4E61QVDBBR | 4E61QVDBBR | statement | record (an 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.18847#S2I2 |
| 4E7E9148XG | 4E7E9148XG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.00806#WJBR |
| 4E7XQSK95X | 4E7XQSK95X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.02207#6BIJ |
| 4E7ZY5BRQY | 4E7ZY5BRQY | 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.17060#7M1W |
| 4E8V1MP8VX | 4E8V1MP8VX | statement | record (an 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.28540#1L8G |
| 4E95NKYYHQ | 4E95NKYYHQ | statement | record (an 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.17325#1WEZ |
| 4E9M6Q7K00 | 4E9M6Q7K00 | statement | record (an 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#NC90 |
| 4EA2JFXP63 | 4EA2JFXP63 | statement | record (an 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#SXOA |
| 4EAS1SWRN6 | 4EAS1SWRN6 | 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.01433#GN7W |
| 4EAYPDRQ0P | 4EAYPDRQ0P | statement | record (an 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.13723#HISX |
| 4EBGN2RK59 | 4EBGN2RK59 | statement | record (an 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.08081#LHDM |
| 4ECF69BH8Q | 4ECF69BH8Q | statement | record (an 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.10937#OS0P |
| 4ECWVMS8XN | 4ECWVMS8XN | statement | record (an 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.10469#9438 |
| 4ECY6C868P | 4ECY6C868P | statement | record (an 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.11693#DG6G |
| 4ED6JKPG4D | 4ED6JKPG4D | statement | record (an 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.11847#YNHD |
| 4EDMZGGC5P | 4EDMZGGC5P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0805.4273#QBN6 |
| 4EEN0TRV83 | 4EEN0TRV83 | statement | record (an 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.12486#Y519 |
| 4EEYKK41QY | 4EEYKK41QY | 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.15099#GDDT |
| 4EF0S7RHAW | 4EF0S7RHAW | 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.09133#KT73 |
| 4EF7WHERF9 | 4EF7WHERF9 | statement | record (an 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.20060#RY27 |
| 4EFAPHK8P8 | 4EFAPHK8P8 | 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.39981#K5JG |
| 4EFFQWPF6A | 4EFFQWPF6A | exercise | open | napkin tex/linalg/dets.tex#exercise-1 |
| 4EFG6JB76N | 4EFG6JB76N | statement | record (an 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#DJNW |
| 4EG8882TN0 | 4EG8882TN0 | 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.36922#TLFW |
| 4EGA07HHTF | 4EGA07HHTF | 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.05320#CR7U |
| 4EHB7TA7MG | 4EHB7TA7MG | statement | record (an 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.18302#2PGX |
| 4EHMDZGDM3 | 4EHMDZGDM3 | 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 2602.15812#VQUI |
| 4EHNADKY44 | 4EHNADKY44 | statement | record (an 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.05459#F03Q |
| 4EHR98YC7Y | 4EHR98YC7Y | statement | record (an 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#QVNP |
| 4EJ44K7WRB | 4EJ44K7WRB | statement | record (an 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.31445#HWKH |
| 4EJ7RTPXWG | 4EJ7RTPXWG | 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.30544#Q2UW |