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 21101–21200 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 7FP5AB67MP | 7FP5AB67MP | statement | record (an 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#1HTX |
| 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 |
| 7FSX9SQ1PB | 7FSX9SQ1PB | statement | record (an 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.20237#KH8I |
| 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 |
| 7FWQTYA73Z | 7FWQTYA73Z | 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.20881#VN4U |
| 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 |
| 7G3JR6S4YZ | 7G3JR6S4YZ | 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.23605#4OOX |
| 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 |
| 7G4T4DD362 | 7G4T4DD362 | statement | record (an 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.21808#7FPZ |
| 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 |
| 7GBWKGAS7Y | 7GBWKGAS7Y | statement | record (an 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.20713#ZI1E |
| 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 |
| 7GGVCPG4HG | 7GGVCPG4HG | statement | record (an 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.23972#TBZE |
| 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 |
| 7GP6BY6Z2C | 7GP6BY6Z2C | statement | open | napkin tex/alg-geom/zariski.tex#thm:reg_func_distinguish_open |
| 7GPXMGWSST | 7GPXMGWSST | statement | record (an 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#OW08 |
| 7GQBKR99VQ | 7GQBKR99VQ | problem | open | Wikipedia Smoothed octagon#QDH1 |
| 7GQPY0204M | 7GQPY0204M | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-17 |
| 7GQT3JVHW0 | 7GQT3JVHW0 | statement | record (an 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.35307#MZ5T |
| 7GQW4YYXQ8 | 7GQW4YYXQ8 | 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 2112.14455#IS38 |
| 7GQY1Q01T6 | 7GQY1Q01T6 | statement | record (an 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#YEKV |
| 7GR30JEGJB | 7GR30JEGJB | statement | record (an 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.40260#AKOU |
| 7GRXFKSNZW | 7GRXFKSNZW | statement | record (an 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.16099#YU1W |
| 7GS239QPS6 | 7GS239QPS6 | statement | record (an 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.13699#5S9B |
| 7GSK58B068 | 7GSK58B068 | statement | record (an 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#IHZ7 |
| 7GSTKN01R7 | 7GSTKN01R7 | statement | open | open_logic content/first-order-logic/tableaux/soundness.tex#cor:consistency-soundness |
| 7GTD215K8E | 7GTD215K8E | statement | record (an 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.21914#VJ6M |
| 7GTPXEN7PF | 7GTPXEN7PF | 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.20678#0Q1V |