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 7201–7300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3B3JHWYYT8 | 3B3JHWYYT8 | statement | record (an 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#1XK4 |
| 3B4190HFPN | 3B4190HFPN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1304.4839#W72D |
| 3B46QVFQMS | 3B46QVFQMS | statement | record (an 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.25543#KBJA |
| 3B4D5HZM28 | 3B4D5HZM28 | definition | open | hott_book hlevels.tex#defn-7 |
| 3B4FBTP7XS | 3B4FBTP7XS | statement | record (an 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.15432#CS6G |
| 3B4PT37G7D | 3B4PT37G7D | statement | record (an 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.18312#P3TC |
| 3B56V6TD3T | 3B56V6TD3T | statement | record (an 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.38188#7SU5 |
| 3B5DF8HFJV | 3B5DF8HFJV | statement | record (an 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.12908#GS2F |
| 3B5QNWHXMY | 3B5QNWHXMY | statement | record (an 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.19861#E6R5 |
| 3B5S629F4N | 3B5S629F4N | statement | record (an 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#VYHA |
| 3B5VHZN65D | 3B5VHZN65D | statement | record (an 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.17677#C4RU |
| 3B66YEAB91 | 3B66YEAB91 | statement | record (an 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.06899#GFOH |
| 3B7G0CTWBY | 3B7G0CTWBY | example | open | lebl_diffyqs ch-first-order-ode.tex#example-16 |
| 3B7Q84S6HT | 3B7Q84S6HT | unknown | open | arXiv 2205.15365#BTNO |
| 3B86RTFKMM | 3B86RTFKMM | 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 1907.01440#2CNM |
| 3B87Z6RY20 | 3B87Z6RY20 | statement | record (an 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.26191#FRFG |
| 3B8GPG9J54 | 3B8GPG9J54 | 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.22074#DW1H |
| 3B8M1XETCY | 3B8M1XETCY | statement | record (an 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.27114#S868 |
| 3B8NRRKE60 | 3B8NRRKE60 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.04758#NQWI |
| 3B91F1NXFQ | 3B91F1NXFQ | statement | record (an 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.15588#ENEN |
| 3B9WAF9ZK6 | 3B9WAF9ZK6 | 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 0910.5574#L7K4 |
| 3B9WTWW8EK | 3B9WTWW8EK | exercise | open | open_logic content/normal-modal-logic/frame-definability/properties-accessibility.tex#prob-3 |
| 3BA095M42K | 3BA095M42K | statement | record (an 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.32439#XBOS |
| 3BAMKQCQNF | 3BAMKQCQNF | 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.03601#W9J0 |
| 3BARKY9ZEH | 3BARKY9ZEH | exercise | open | open_logic content/many-valued-logic/infinite-valued-logics/lukasiewicz.tex#prob-2 |
| 3BB727ZAMN | 3BB727ZAMN | proof | open | open_logic content/proof-theory/cut-elimination/ce-largest.tex#proof-1 |
| 3BBNTPZVY2 | 3BBNTPZVY2 | statement | record (an 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.12827#837D |
| 3BBQW876ZE | 3BBQW876ZE | statement | record (an 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.16381#YGSL |
| 3BBR4GDXXQ | 3BBR4GDXXQ | statement | record (an 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.26162#V67S |
| 3BC7ZAW7RP | 3BC7ZAW7RP | statement | record (an 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.01919#I5GK |
| 3BCKE1CQYV | 3BCKE1CQYV | statement | record (an 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#EO5W |
| 3BDVSCTNP4 | 3BDVSCTNP4 | statement | record (an 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#N62M |
| 3BDVW4QMS7 | 3BDVW4QMS7 | statement | record (an 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.10077#I2KV |
| 3BE3XNYVWF | 3BE3XNYVWF | statement | record (an 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.18252#V1TS |
| 3BF2MHNY8W | 3BF2MHNY8W | 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.16060#FES0 |
| 3BF3W5HBX7 | 3BF3W5HBX7 | 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.24314#YF3N |
| 3BF4PVEA6K | 3BF4PVEA6K | statement | record (an 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.14879#XAD2 |
| 3BFESJPF8J | 3BFESJPF8J | statement | record (an 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.31910#XLAR |
| 3BFF5P9WMB | 3BFF5P9WMB | 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.20558#LBXX |
| 3BFGH4E5HP | 3BFGH4E5HP | statement | record (an 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.36306#196F |
| 3BGCMHKKTS | 3BGCMHKKTS | statement | record (an 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.21181#VKHN |
| 3BGS7K8M48 | 3BGS7K8M48 | statement | record (an 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.04498#THCA |
| 3BH7CCY96F | 3BH7CCY96F | exercise | open | lebl_diffyqs ch-systems.tex#exercise-96 |
| 3BHDPBZN0K | 3BHDPBZN0K | statement | record (an 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.32174#RMG2 |
| 3BHP31SBCS | 3BHP31SBCS | statement | record (an 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.24325#E1WL |
| 3BJ40H70CF | 3BJ40H70CF | statement | record (an 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.02111#RFOS |
| 3BJ65E8ASZ | 3BJ65E8ASZ | statement | record (an 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.36411#CB2L |
| 3BJC1Z9WSW | 3BJC1Z9WSW | statement | record (an 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.13953#USGC |
| 3BJJHYMSR4 | 3BJJHYMSR4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.07697#3L6G |
| 3BK7Y8PR4F | 3BK7Y8PR4F | statement | record (an 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#FALF |
| 3BKQ2JZ0YZ | 3BKQ2JZ0YZ | statement | record (an 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.30285#0O3C |
| 3BMJ3XQH1F | 3BMJ3XQH1F | 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 2201.03058#T2LF |
| 3BNAGTPBRP | 3BNAGTPBRP | 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.26896#XCK0 |
| 3BNK6H210F | 3BNK6H210F | 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.22681#WAPR |
| 3BNNWZNW0G | 3BNNWZNW0G | 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.08885#VHH4 |
| 3BNVXM7VM8 | 3BNVXM7VM8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0810.0962#1W8S |
| 3BPB3DRT89 | 3BPB3DRT89 | statement | record (an 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.25269#JTBB |
| 3BPD7H0PMQ | 3BPD7H0PMQ | statement | record (an 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.21600#A8PE |
| 3BQ5GSQ9RR | 3BQ5GSQ9RR | statement | record (an 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.03384#7KN0 |
| 3BQH2Z0ZST | 3BQH2Z0ZST | statement | record (an 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.15869#1KNW |
| 3BR6CM1MXV | 3BR6CM1MXV | statement | record (an 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.21231#7D2L |
| 3BRNGN51WF | 3BRNGN51WF | statement | record (an 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.28509#DLH3 |
| 3BRPB5Z161 | 3BRPB5Z161 | statement | record (an 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.10505#HNTC |
| 3BS6MPV8S5 | 3BS6MPV8S5 | 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 2005.03073#1I24 |
| 3BS98FHQC2 | 3BS98FHQC2 | statement | record (an 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.07673#O2RR |
| 3BSK3E7EPC | 3BSK3E7EPC | statement | open | open_logic content/proof-theory/normalization/translations.tex#cor-1 |
| 3BSNGX4B6A | 3BSNGX4B6A | statement | record (an 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#4TKO |
| 3BSXXE77BB | 3BSXXE77BB | statement | record (an 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.27823#YMKD |
| 3BT7GK2FBP | 3BT7GK2FBP | statement | record (an 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.12966#D1TC |
| 3BTAGH2EEG | 3BTAGH2EEG | 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.36181#YNYJ |
| 3BTJ2MCR5P | 3BTJ2MCR5P | statement | open | open_logic content/incompleteness/representability-in-q/basic-representable.tex#prop:rep-id |
| 3BTMTSPRR2 | 3BTMTSPRR2 | 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.33018#ZSWT |
| 3BTQS0707M | 3BTQS0707M | statement | record (an 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.15982#B7SK |
| 3BV3T8KP2Q | 3BV3T8KP2Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1204.5958#3T7H |
| 3BW8HJHB27 | 3BW8HJHB27 | statement | record (an 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.27366#W5RO |
| 3BWQMDRH9N | 3BWQMDRH9N | statement | record (an 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.39707#9RRP |
| 3BXDCBMBP3 | 3BXDCBMBP3 | statement | record (an 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.11517#XXAM |
| 3BXQSSR8S5 | 3BXQSSR8S5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.09207#8T6Z |
| 3BY3RGN7D2 | 3BY3RGN7D2 | statement | record (an 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#DCT0 |
| 3BYJ69EM0V | 3BYJ69EM0V | statement | record (an 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.17318#G8QK |
| 3BYWTC7TXJ | 3BYWTC7TXJ | statement | record (an 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.34471#QLVW |
| 3BZ1QEWCDK | 3BZ1QEWCDK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#KKSA |
| 3BZ5J6B3NW | 3BZ5J6B3NW | statement | record (an 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.10873#08EP |
| 3BZFP0AA2J | 3BZFP0AA2J | statement | record (an 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.28189#2TTX |
| 3BZH9H82G9 | 3BZH9H82G9 | statement | record (an 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.37739#B7JZ |
| 3BZWVVBCRF | 3BZWVVBCRF | statement | record (an 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.31304#YT6A |
| 3C04CCEE8C | 3C04CCEE8C | 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.36186#OP5P |
| 3C0CQ15ZXE | 3C0CQ15ZXE | statement | record (an 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.02983#YH8X |
| 3C0J90ZA8H | 3C0J90ZA8H | statement | record (an 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.05299#WXKJ |
| 3C0XSRBRT3 | 3C0XSRBRT3 | statement | record (an 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.13888#2JFI |
| 3C130MV4D0 | 3C130MV4D0 | statement | record (an 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.08655#2U1Y |
| 3C13G8N861 | 3C13G8N861 | statement | open | lebl_ra ch-riemann.tex#thm-1 |
| 3C21FHZGQW | 3C21FHZGQW | statement | record (an 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.08633#MZ2T |
| 3C27JKXRXX | 3C27JKXRXX | statement | record (an 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.09840#RI3P |
| 3C306KTNGY | 3C306KTNGY | statement | record (an 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.33406#OAI9 |
| 3C34878VRH | 3C34878VRH | statement | record (an 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.08226#DX2H |
| 3C3GPA5Q7J | 3C3GPA5Q7J | exercise | open | levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-10 |
| 3C3MGGRGZ3 | 3C3MGGRGZ3 | statement | record (an 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.20899#5HB3 |
| 3C3T1XJ1ED | 3C3T1XJ1ED | statement | record (an 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.38051#3BQU |
| 3C3VMJ97QA | 3C3VMJ97QA | statement | record (an 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#CJI8 |