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 10401–10500 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 4GJN1EC1Y8 | 4GJN1EC1Y8 | statement | record (an 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.13745#SHTW |
| 4GKR6F65V6 | 4GKR6F65V6 | exercise | open | austin_ula src/exercises/exercises7-5.xml#exercise-5 |
| 4GM75SFCM2 | 4GM75SFCM2 | statement | record (an 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#4ZBS |
| 4GMSE48F6V | 4GMSE48F6V | statement | record (an 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.19468#1RT2 |
| 4GN21S4PZ3 | 4GN21S4PZ3 | example | open | lebl_ra ch-vol1-intro.tex#example:ratnums |
| 4GNJSFHJYQ | 4GNJSFHJYQ | statement | record (an 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.38068#JO8Z |
| 4GPAVXSC3R | 4GPAVXSC3R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.4887#QB58 |
| 4GPBPQCGSH | 4GPBPQCGSH | statement | record (an 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#1BCF |
| 4GPBYRYKAQ | 4GPBYRYKAQ | statement | record (an 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.28552#GR43 |
| 4GPHXFV91Y | 4GPHXFV91Y | statement | record (an 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.33679#7GCB |
| 4GPNH4RDSE | 4GPNH4RDSE | statement | record (an 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.02065#8FNC |
| 4GPT0R6JXG | 4GPT0R6JXG | statement | record (an 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#9NJ8 |
| 4GQ2JZH9PT | 4GQ2JZH9PT | 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.16193#BBKE |
| 4GQ35C6J2Y | 4GQ35C6J2Y | statement | record (an 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.03288#RW3Z |
| 4GQATXC93P | 4GQATXC93P | statement | record (an 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.27830#F350 |
| 4GQMS3EXWX | 4GQMS3EXWX | statement | record (an 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.30113#SO9T |
| 4GQP0T3BND | 4GQP0T3BND | statement | record (an 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.12716#SN7W |
| 4GRMK6E957 | 4GRMK6E957 | statement | record (an 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.27820#NP83 |
| 4GRS3C5JZH | 4GRS3C5JZH | 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 2203.15223#VPTI |
| 4GS4ZF2A0N | 4GS4ZF2A0N | statement | record (an 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.06372#G6I6 |
| 4GSJ7EREAM | 4GSJ7EREAM | 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.21921#227J |
| 4GSQGCWGAM | 4GSQGCWGAM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.4254#FALF |
| 4GSSG09E1S | 4GSSG09E1S | statement | record (an 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.21866#LQ1A |
| 4GT8THKH1B | 4GT8THKH1B | statement | record (an 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.26357#AXUX |
| 4GTT7Y4QQZ | 4GTT7Y4QQZ | statement | record (an 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.29943#EMWQ |
| 4GTYN7AQ5E | 4GTYN7AQ5E | definition | open | napkin tex/linalg/vector-space.tex#definition-3 |
| 4GTZX47TQY | 4GTZX47TQY | statement | record (an 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.21131#6E7B |
| 4GV31XSRRK | 4GV31XSRRK | statement | record (an 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.25742#TABJ |
| 4GV6SHWED6 | 4GV6SHWED6 | statement | record (an 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.20391#6II4 |
| 4GVARWMRB3 | 4GVARWMRB3 | 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.26114#3FPO |
| 4GVQKKRDCA | 4GVQKKRDCA | 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 2108.03672#FB7N |
| 4GVWQC6C10 | 4GVWQC6C10 | statement | record (an 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.04305#7SU4 |
| 4GW1CDR0Q9 | 4GW1CDR0Q9 | example | open | austin_ula src/section7-4.xml#example-1 |
| 4GWHQZ5R0E | 4GWHQZ5R0E | 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.30098#U2FS |
| 4GXR0ATQZ0 | 4GXR0ATQZ0 | statement | record (an 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.19455#AP1A |
| 4GXVSZYKSX | 4GXVSZYKSX | statement | record (an 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#FNI7 |
| 4GY3CS4YN6 | 4GY3CS4YN6 | exercise | open | ernst_ibl MAAPressVersion/Topology.tex#prob:open or not |
| 4GY6076NV6 | 4GY6076NV6 | statement | open | open_logic content/normal-modal-logic/frame-definability/second-order-definability.tex#cor-1 |
| 4GY9JDE23C | 4GY9JDE23C | statement | record (an 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.24845#WKIL |
| 4GYFZ8PCYZ | 4GYFZ8PCYZ | proof | open | open_logic content/sets-functions-relations/sets/russells-paradox.tex#proof-1 |
| 4GYRV64Z47 | 4GYRV64Z47 | statement | record (an 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.26201#N1WE |
| 4GYYN1ANEW | 4GYYN1ANEW | statement | record (an 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.31274#AZ9R |
| 4GZ1AQEV4Y | 4GZ1AQEV4Y | exercise | open | lebl_diffyqs ch-systems.tex#matexp:expinvex |
| 4GZAXE6RP5 | 4GZAXE6RP5 | statement | record (an 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.32977#QSRP |
| 4GZB183QR6 | 4GZB183QR6 | 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.06152#IQTE |
| 4GZT40PE7Y | 4GZT40PE7Y | statement | record (an 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#TP76 |
| 4H15B6V2K4 | 4H15B6V2K4 | statement | record (an 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#QLKA |
| 4H1A0Y9AHY | 4H1A0Y9AHY | unknown | open | arXiv 2610.13680#LOCB |
| 4H1C680J1H | 4H1C680J1H | statement | record (an 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/9902147#B09U |
| 4H1VSTEWXA | 4H1VSTEWXA | statement | record (an 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#J87A |
| 4H221GQDEQ | 4H221GQDEQ | statement | record (an 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.33173#DMSX |
| 4H286CV56V | 4H286CV56V | statement | record (an 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#TST2 |
| 4H2F57C4VG | 4H2F57C4VG | statement | record (an 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.24190#HNA9 |
| 4H353MCB1X | 4H353MCB1X | statement | record (an 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#C8JJ |
| 4H37MM4T2Q | 4H37MM4T2Q | statement | record (an 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#BHEA |
| 4H3BTJ3AAB | 4H3BTJ3AAB | 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.35323#XPU2 |
| 4H3GTQK5HP | 4H3GTQK5HP | statement | record (an 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#90XT |
| 4H3V7BH2NX | 4H3V7BH2NX | 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.24235#KH1D |
| 4H475QHC9P | 4H475QHC9P | statement | record (an 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#RBHH |
| 4H4MMRSJ3Z | 4H4MMRSJ3Z | statement | record (an 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.25896#PPBG |
| 4H5D7S93ER | 4H5D7S93ER | statement | record (an 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.17240#MRLZ |
| 4H6FJGAZ6R | 4H6FJGAZ6R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.04593#E30P |
| 4H7FGDV4RG | 4H7FGDV4RG | statement | record (an 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.20600#WJ7H |
| 4H88HSXXJP | 4H88HSXXJP | 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 1809.06512#SB9V |
| 4H8AC06AHW | 4H8AC06AHW | statement | record (an 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.27730#FOP7 |
| 4H8J4W5X98 | 4H8J4W5X98 | statement | record (an 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.17852#X1HN |
| 4H8PFAK3RY | 4H8PFAK3RY | statement | record (an 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.26276#3CUT |
| 4H8VM63KTZ | 4H8VM63KTZ | statement | record (an 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.19088#HZCR |
| 4H93P17929 | 4H93P17929 | statement | record (an 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.01873#0GBS |
| 4H99MFPPM8 | 4H99MFPPM8 | statement | record (an 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.14383#R7LY |
| 4H9BS3309W | 4H9BS3309W | 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.38567#NNIZ |
| 4H9KAYQ1RF | 4H9KAYQ1RF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.07274#GJAC |
| 4H9TVDEYA9 | 4H9TVDEYA9 | statement | record (an 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#1CP1 |
| 4HA52AHFXK | 4HA52AHFXK | exercise | open | austin_ula src/exercises/exercises2-6.xml#exercise-2 |
| 4HBGHMYQ94 | 4HBGHMYQ94 | 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.05259#YWCF |
| 4HBNTCNFW8 | 4HBNTCNFW8 | statement | record (an 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.03856#HW01 |
| 4HC3CJ3PCE | 4HC3CJ3PCE | 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#91CO |
| 4HC5KCE990 | 4HC5KCE990 | statement | record (an 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.22326#3OHV |
| 4HC720H90R | 4HC720H90R | statement | record (an 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.04730#SVQ9 |
| 4HCJSM3SS4 | 4HCJSM3SS4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2307.16868#DWRK |
| 4HCSGJYYSN | 4HCSGJYYSN | statement | record (an 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.31393#LXH0 |
| 4HCXCBMP2C | 4HCXCBMP2C | statement | record (an 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.13505#YQ8L |
| 4HD2NF7AXY | 4HD2NF7AXY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.08789#DA10 |
| 4HD751XZKT | 4HD751XZKT | exercise | open | levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-2 |
| 4HDCCAM7SW | 4HDCCAM7SW | statement | record (an 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.36045#O3L0 |
| 4HDF1SD9GZ | 4HDF1SD9GZ | statement | record (an 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.11031#4B5Q |
| 4HDRX2ETD8 | 4HDRX2ETD8 | statement | record (an 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.10337#6F4H |
| 4HDXH3CFCB | 4HDXH3CFCB | statement | record (an 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.13931#QHX0 |
| 4HE4ZR45WA | 4HE4ZR45WA | exercise | open | open_logic content/first-order-logic/completeness/identity.tex#prob-1 |
| 4HE7C6DSN8 | 4HE7C6DSN8 | statement | record (an 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.21929#FQ8X |
| 4HEPQYC4H9 | 4HEPQYC4H9 | statement | record (an 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.10576#MX8R |
| 4HEXASENVS | 4HEXASENVS | statement | record (an 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.04608#3IBP |
| 4HF0BX0R4P | 4HF0BX0R4P | statement | record (an 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.02669#GUI6 |
| 4HFXP1DNP2 | 4HFXP1DNP2 | statement | record (an 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.39307#QQES |
| 4HGQ6Q4WXD | 4HGQ6Q4WXD | statement | record (an 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.38206#9NO9 |
| 4HH8F828TN | 4HH8F828TN | statement | record (an 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.31861#TMYD |
| 4HH9BBT52W | 4HH9BBT52W | statement | record (an 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.33733#FNIU |
| 4HHAS6G5RA | 4HHAS6G5RA | statement | record (an 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.12012#C6WN |
| 4HHZS62ZPW | 4HHZS62ZPW | 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 1512.06981#A4P1 |
| 4HJZ3YBEX0 | 4HJZ3YBEX0 | statement | record (an 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.24901#1W8V |