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 18501–18600 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 7F9YX607YE | 7F9YX607YE | statement | record (an 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.21388#R8NK |
| 7FA3ST0GVR | 7FA3ST0GVR | statement | record (an 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.01653#DG24 |
| 7FA5W3VDNZ | 7FA5W3VDNZ | example | open | lebl_diffyqs ch-laplace.tex#example-18 |
| 7FAAN66DV4 | 7FAAN66DV4 | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#exercise-15 |
| 7FAKWTV2AW | 7FAKWTV2AW | unknown | open | |
| 7FB2W9KCS3 | 7FB2W9KCS3 | definition | open | napkin tex/set-theory/CH.tex#definition-2 |
| 7FCM26ETDX | 7FCM26ETDX | statement | record (an 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.30976#EGPZ |
| 7FD1X35DKC | 7FD1X35DKC | statement | record (an 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.37450#QNDH |
| 7FDVBDB829 | 7FDVBDB829 | 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.31445#W5X4 |
| 7FDYE4PFJA | 7FDYE4PFJA | statement | record (an 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#DD1F |
| 7FDZ9DNEGH | 7FDZ9DNEGH | statement | record (an 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.28514#ZA5Y |
| 7FE229HZWX | 7FE229HZWX | proof | open | open_logic content/turing-machines/undecidability/verification.tex#proof-2 |
| 7FE3F2K3S7 | 7FE3F2K3S7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.12141#SZQG |
| 7FE4NJJTYA | 7FE4NJJTYA | statement | record (an 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.00596#0356 |
| 7FGEEY351D | 7FGEEY351D | statement | record (an 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.27911#EDCW |
| 7FGPTA68KJ | 7FGPTA68KJ | statement | record (an 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.10147#FKH1 |
| 7FGTFZJFDX | 7FGTFZJFDX | 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.38556#HSIR |
| 7FHAB59Y9S | 7FHAB59Y9S | statement | record (an 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.21005#1NH3 |
| 7FJ0JKY3DC | 7FJ0JKY3DC | statement | record (an 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.12852#SR5E |
| 7FK6376SQN | 7FK6376SQN | statement | record (an 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.25524#2J0K |
| 7FKGQVEM58 | 7FKGQVEM58 | proof | open | hott_book reals.tex#proof-7 |
| 7FKMQ1B8R9 | 7FKMQ1B8R9 | statement | record (an 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#9QMP |
| 7FP16TBGSP | 7FP16TBGSP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1612.08394#A223 |
| 7FP2W83DMQ | 7FP2W83DMQ | statement | record (an 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.31489#KTQD |
| 7FP3MDHZEZ | 7FP3MDHZEZ | 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.25111#Z6W9 |
| 7FP41WB42P | 7FP41WB42P | statement | record (an 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#IIQL |
| 7FP64CV7B8 | 7FP64CV7B8 | 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 2102.09374#9RG8 |
| 7FQ0ZQYAYT | 7FQ0ZQYAYT | statement | record (an 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.09678#0NET |
| 7FQ3ZFZZG4 | 7FQ3ZFZZG4 | exercise | open | lebl_ra ch-seq-ser.tex#exercise-40 |
| 7FQ4S50FM0 | 7FQ4S50FM0 | statement | record (an 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.10257#MO2E |
| 7FQJFN28AF | 7FQJFN28AF | statement | record (an 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.17675#SJG1 |
| 7FSE2FAMWE | 7FSE2FAMWE | statement | record (an 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.39505#3PIC |
| 7FT292DBDS | 7FT292DBDS | 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.07695#YMEQ |
| 7FT2ZHQB10 | 7FT2ZHQB10 | exercise | open | napkin tex/alg-geom/spec-zariski.tex#prob:artinian |
| 7FV01N839G | 7FV01N839G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0909.2893#MOQC |
| 7FW9KWBTDM | 7FW9KWBTDM | statement | record (an 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.03422#2ZYI |
| 7FWG23QAGS | 7FWG23QAGS | statement | record (an 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.08664#TQ0Z |
| 7FX8KRPH4V | 7FX8KRPH4V | statement | record (an 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.27136#F57L |
| 7FXKE0ZMNV | 7FXKE0ZMNV | statement | record (an 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.05423#NLEO |
| 7FZPCWPBRH | 7FZPCWPBRH | statement | record (an 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.25524#5KJR |
| 7FZSAYSYG7 | 7FZSAYSYG7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1006.3331#5JH3 |
| 7G01CTDBCJ | 7G01CTDBCJ | statement | record (an 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.22218#WPEB |
| 7G0B2DJCZP | 7G0B2DJCZP | statement | record (an 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.35153#WNM4 |
| 7G0J0EYJKC | 7G0J0EYJKC | 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.31269#1FU6 |
| 7G0TZBZF64 | 7G0TZBZF64 | statement | record (an 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.14741#KBU7 |
| 7G1HJZ1SP3 | 7G1HJZ1SP3 | statement | record (an 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.21017#VS4Y |
| 7G2TD6HETY | 7G2TD6HETY | statement | record (an 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.12834#0II2 |
| 7G30MCQT7G | 7G30MCQT7G | 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#4WG1 |
| 7G36X329H8 | 7G36X329H8 | statement | record (an 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#U0R0 |
| 7G4GVBZR73 | 7G4GVBZR73 | statement | record (an 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.26017#IBSD |
| 7G5N7FYS2C | 7G5N7FYS2C | proof | open | napkin tex/alg-NT/dedekind.tex#proof-1 |
| 7G5NAGKZ4H | 7G5NAGKZ4H | statement | record (an 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.15472#MS57 |
| 7G5NB596JB | 7G5NB596JB | statement | record (an 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.26922#1CIV |
| 7G5XH5AX7M | 7G5XH5AX7M | statement | record (an 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#KSA7 |
| 7G6F58H339 | 7G6F58H339 | statement | record (an 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.00676#8L54 |
| 7G6Z5M9QVS | 7G6Z5M9QVS | statement | record (an 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.03756#1EGP |
| 7G7MBRR45K | 7G7MBRR45K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.06621#D8G9 |
| 7G8CYCW0X9 | 7G8CYCW0X9 | 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.27795#PW4W |
| 7G8D2X13W6 | 7G8D2X13W6 | statement | record (an 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.32946#N9RK |
| 7G8H9KQP4F | 7G8H9KQP4F | statement | record (an 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.38030#5FDI |
| 7G8R0069F7 | 7G8R0069F7 | statement | record (an 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.02017#6CQD |
| 7G8XJHFTXC | 7G8XJHFTXC | statement | record (an 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#GCMV |
| 7G8ZNH8YRR | 7G8ZNH8YRR | 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.25656#MKQQ |
| 7G90NAP5QT | 7G90NAP5QT | statement | record (an 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.27931#K7LE |
| 7G93HQP94N | 7G93HQP94N | statement | record (an 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.09171#96TX |
| 7G9BY1NDTT | 7G9BY1NDTT | statement | record (an 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.07285#KQOF |
| 7G9S7SJNB0 | 7G9S7SJNB0 | statement | record (an 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.11905#ZX5V |
| 7G9ZS1542B | 7G9ZS1542B | statement | record (an 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.26592#2IK2 |
| 7GAB0W8MX8 | 7GAB0W8MX8 | statement | record (an 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.32207#XM1L |
| 7GAGJ0E42N | 7GAGJ0E42N | 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.14838#WSDO |
| 7GAXAHKFFR | 7GAXAHKFFR | exercise | open | lebl_ra ch-metric.tex#exercise-3 |
| 7GAY2ENYT0 | 7GAY2ENYT0 | 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.12683#563R |
| 7GC1H3A1M5 | 7GC1H3A1M5 | statement | record (an 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.14319#QBCV |
| 7GCRQ91F41 | 7GCRQ91F41 | statement | open | open_logic content/second-order-logic/metatheory/undecidability-and-axiomatizability.tex#cor:sol-not-axiomatizable |
| 7GD4RA93DT | 7GD4RA93DT | statement | open | open_logic content/proof-theory/sequent-calculus/quantifiers.tex#lem:subst-regular |
| 7GDE91CFTB | 7GDE91CFTB | definition | open | lebl_ra ch-one-dim-ints-sv.tex#defn-2 |
| 7GE24W0GBT | 7GE24W0GBT | statement | record (an 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.10570#4LRU |
| 7GEH0T5A7S | 7GEH0T5A7S | statement | record (an 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.13103#VO8P |
| 7GEM1DT137 | 7GEM1DT137 | statement | record (an 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.24593#C4WT |
| 7GEVSS2K32 | 7GEVSS2K32 | statement | record (an 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.16258#IIJY |
| 7GF1Z21A3G | 7GF1Z21A3G | statement | record (an 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.33829#H3O4 |
| 7GF3KFWGY5 | 7GF3KFWGY5 | statement | record (an 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.24701#P8RK |
| 7GF4KABC45 | 7GF4KABC45 | statement | record (an 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.08714#KT3I |
| 7GF7CY3TSM | 7GF7CY3TSM | statement | record (an 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.00589#B4NZ |
| 7GF7F6F4JJ | 7GF7F6F4JJ | statement | record (an 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.02432#LJLU |
| 7GFATG3ZFJ | 7GFATG3ZFJ | 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.13213#J4U0 |
| 7GFRGMQNTY | 7GFRGMQNTY | statement | record (an 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.07596#393F |
| 7GGAT6PX90 | 7GGAT6PX90 | 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 2610.15188#IE6P |
| 7GGYXBH7P6 | 7GGYXBH7P6 | statement | record (an 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.14319#NEF9 |
| 7GHQEKRAC6 | 7GHQEKRAC6 | statement | record (an 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#G1WN |
| 7GJ0E7JCBK | 7GJ0E7JCBK | statement | open | hott_book reals.tex#ctb-uniformly-continuous-sup |
| 7GJ4VZ762B | 7GJ4VZ762B | proof | open | napkin tex/complex-ana/holomorphic.tex#proof-2 |
| 7GJG69YV4R | 7GJG69YV4R | statement | record (an 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#DZWC |
| 7GJXC6RRYW | 7GJXC6RRYW | 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.35442#ROW8 |
| 7GJZVKRNN3 | 7GJZVKRNN3 | statement | record (an 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.20285#DKDP |
| 7GKEG3N4MH | 7GKEG3N4MH | statement | record (an 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.13741#4UTO |
| 7GKVWXSND8 | 7GKVWXSND8 | statement | record (an 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.20178#6UO0 |
| 7GM427ZPKE | 7GM427ZPKE | statement | record (an 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.4012#UVKJ |
| 7GM6T2215D | 7GM6T2215D | 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.12489#PRHZ |
| 7GN3RF2C4W | 7GN3RF2C4W | statement | record (an 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.37920#VHFW |