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 4901–5000 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 2G446YQ4PP | 2G446YQ4PP | statement | record (an 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.03559#RDQ7 |
| 2G44P43VYH | 2G44P43VYH | statement | record (an 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.03062#SONS |
| 2G4NK2532N | 2G4NK2532N | statement | record (an 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.15043#4XVT |
| 2G7X3YTW36 | 2G7X3YTW36 | statement | record (an 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.00786#BXB5 |
| 2G84TTAZR5 | 2G84TTAZR5 | 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.34011#ZVPB |
| 2G8ESK7PBE | 2G8ESK7PBE | statement | record (an 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.01267#70TM |
| 2G93DR30HW | 2G93DR30HW | statement | open | open_logic content/lambda-calculus/introduction/church-rosser.tex#thm:church-rosser |
| 2G9FFBAPMF | 2G9FFBAPMF | statement | open | lebl_diffyqs ch-systems.tex#theorem-8 |
| 2G9G8WW29H | 2G9G8WW29H | statement | record (an 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.33070#I4MO |
| 2G9ZC7JMD9 | 2G9ZC7JMD9 | statement | record (an 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#Z6SV |
| 2GA7XMEYNX | 2GA7XMEYNX | statement | open | napkin tex/rep-theory/characters.tex#theorem-3 |
| 2GA879Z3R6 | 2GA879Z3R6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.05771#SLUS |
| 2GCDH5VHDX | 2GCDH5VHDX | statement | record (an 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.24465#KW8T |
| 2GCGTFN7AT | 2GCGTFN7AT | statement | record (an 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.01208#57Y5 |
| 2GCQGT37ZP | 2GCQGT37ZP | statement | record (an 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.06319#EFNG |
| 2GCYXJCFJX | 2GCYXJCFJX | statement | record (an 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.28411#LXLW |
| 2GDF4JHZPT | 2GDF4JHZPT | statement | record (an 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.31212#G89U |
| 2GDJN810VM | 2GDJN810VM | statement | record (an 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.29712#CU68 |
| 2GDQ7XX085 | 2GDQ7XX085 | 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 2605.30679#0QWL |
| 2GDSZ270RS | 2GDSZ270RS | example | open | austin_ula src/section2-6.xml#example-1 |
| 2GE04PNV8W | 2GE04PNV8W | statement | record (an 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.28677#220K |
| 2GE6F1T60G | 2GE6F1T60G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.5443#O8AG |
| 2GF2A1BJ0F | 2GF2A1BJ0F | statement | record (an 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.19285#OTE6 |
| 2GF8EDHK6V | 2GF8EDHK6V | statement | record (an 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.16962#1TEN |
| 2GFMQ6XCNK | 2GFMQ6XCNK | definition | open | napkin tex/topology/cover-project.tex#definition-1 |
| 2GGRC3JFDA | 2GGRC3JFDA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1808.00180#LVFR |
| 2GHNCWHXD6 | 2GHNCWHXD6 | statement | record (an 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.04434#5KV1 |
| 2GJ0YRJB10 | 2GJ0YRJB10 | 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 2510.05499#QSWD |
| 2GJC4J5ZS5 | 2GJC4J5ZS5 | statement | record (an 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#YI90 |
| 2GJNM9QCWC | 2GJNM9QCWC | statement | record (an 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.04431#7CUL |
| 2GK3K9N0TJ | 2GK3K9N0TJ | statement | record (an 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.14154#27DN |
| 2GKBXY0A3H | 2GKBXY0A3H | statement | record (an 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#BLOQ |
| 2GKGTY5T5M | 2GKGTY5T5M | 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.05457#BN4F |
| 2GKW6HY85X | 2GKW6HY85X | statement | record (an 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.10925#QOBF |
| 2GMCFZJMNP | 2GMCFZJMNP | statement | record (an 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.02312#H1FG |
| 2GP7837H14 | 2GP7837H14 | proof | open | open_logic content/computability/computability-theory/prop-reduce.tex#proof-2 |
| 2GP896YSYC | 2GP896YSYC | 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.13869#V79T |
| 2GPD4KB9B2 | 2GPD4KB9B2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.01109#YL9V |
| 2GPF9YV710 | 2GPF9YV710 | statement | record (an 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.13773#DGV4 |
| 2GQ0ZADXB7 | 2GQ0ZADXB7 | statement | record (an 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#CQ15 |
| 2GR670C76W | 2GR670C76W | statement | record (an 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.33590#7P15 |
| 2GR78NC1XV | 2GR78NC1XV | statement | record (an 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.22090#KO4D |
| 2GSGCBB0FJ | 2GSGCBB0FJ | statement | record (an 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#G775 |
| 2GT15XEYKE | 2GT15XEYKE | 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 2403.16388#FU1H |
| 2GTFJ1E1SJ | 2GTFJ1E1SJ | statement | record (an 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.28808#T8LX |
| 2GVED5P9ZK | 2GVED5P9ZK | statement | record (an 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.03292#MBB6 |
| 2GVQ6SZCFG | 2GVQ6SZCFG | 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.30519#KRXX |
| 2GW3J5VMC3 | 2GW3J5VMC3 | statement | record (an 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.06338#ARMQ |
| 2GW4TGK0SG | 2GW4TGK0SG | statement | record (an 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.38838#INKK |
| 2GWE0X51NJ | 2GWE0X51NJ | exercise | open | hott_book hlevels.tex#ex:f-local-type |
| 2GWXHGNX6F | 2GWXHGNX6F | statement | record (an 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.30363#JA89 |
| 2GX4RCJG8B | 2GX4RCJG8B | 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 0804.3628#EHE5 |
| 2GXM59S3VX | 2GXM59S3VX | statement | record (an 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.02833#G7SP |
| 2GXZNN4D0X | 2GXZNN4D0X | definition | open | hott_book categories.tex#ct:whisker |
| 2GY5VPJF33 | 2GY5VPJF33 | 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.34260#EZQJ |
| 2GYZMK61TJ | 2GYZMK61TJ | statement | record (an 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.03612#6K7M |
| 2GZ0QW0R8T | 2GZ0QW0R8T | statement | record (an 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.09319#Z3BQ |
| 2GZ94ATX5P | 2GZ94ATX5P | statement | record (an 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.07471#9JQD |
| 2H05MBQY05 | 2H05MBQY05 | statement | record (an 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.22317#FHUP |
| 2H08GVWP4G | 2H08GVWP4G | 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 math/9602216#BDVQ |
| 2H0DNPYZD7 | 2H0DNPYZD7 | statement | record (an 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.29671#EZC2 |
| 2H12ZRH2RT | 2H12ZRH2RT | statement | record (an 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.30663#NLGG |
| 2H1N36TAFB | 2H1N36TAFB | statement | open | hott_book reals.tex#thm:RC-sim-lim-term |
| 2H216KJJYK | 2H216KJJYK | statement | record (an 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#1R6Z |
| 2H3HCWK8SY | 2H3HCWK8SY | statement | record (an 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.12295#LTRW |
| 2H3SSQYAJP | 2H3SSQYAJP | 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 math/0406514#21KN |
| 2H4B5D8Q2P | 2H4B5D8Q2P | 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#6AET |
| 2H4PSZNZYM | 2H4PSZNZYM | statement | record (an 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.22109#66KU |
| 2H4VQGPHBN | 2H4VQGPHBN | 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 math/9602216#I1FE |
| 2H4W604G4V | 2H4W604G4V | 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.13585#0MAS |
| 2H4Y7MA2GC | 2H4Y7MA2GC | statement | record (an 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.29274#OZ6L |
| 2H4Z2227DS | 2H4Z2227DS | statement | record (an 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.04870#V0I3 |
| 2H5C21Q1AC | 2H5C21Q1AC | statement | record (an 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#LVIO |
| 2H5HE81R2E | 2H5HE81R2E | statement | record (an 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.13100#HSU7 |
| 2H5KJ9XHJF | 2H5KJ9XHJF | statement | record (an 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.09645#VFS2 |
| 2H5QC56JK8 | 2H5QC56JK8 | statement | record (an 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#KF9I |
| 2H5WB5T1N9 | 2H5WB5T1N9 | 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 2503.01567#MEAQ |
| 2H5X3NSXT4 | 2H5X3NSXT4 | 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#QFAS |
| 2H5XJ6G8Q1 | 2H5XJ6G8Q1 | 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.16554#VFH9 |
| 2H6YJNCYBV | 2H6YJNCYBV | statement | record (an 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.12480#1X14 |
| 2H70FJGE1W | 2H70FJGE1W | statement | record (an 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.05327#51FM |
| 2H72AGPF0V | 2H72AGPF0V | 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.13347#1MUF |
| 2H7559Y64T | 2H7559Y64T | 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 2508.03972#SOU2 |
| 2H8FFYVQ7M | 2H8FFYVQ7M | statement | record (an 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#IT3K |
| 2H969A9MDQ | 2H969A9MDQ | statement | record (an 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.13241#EIQZ |
| 2H9GC4BDBM | 2H9GC4BDBM | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-2 |
| 2HA3898REQ | 2HA3898REQ | statement | record (an 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#MSWI |
| 2HA5DH2CNC | 2HA5DH2CNC | statement | record (an 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.15720#TMYM |
| 2HA7GPNN6D | 2HA7GPNN6D | statement | record (an 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.15631#FK0Z |
| 2HA82GVZQP | 2HA82GVZQP | statement | record (an 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.00811#TWIN |
| 2HAJGBT65M | 2HAJGBT65M | definition | open | open_logic content/incompleteness/introduction/definitions.tex#defn-10 |
| 2HAM4NPTAB | 2HAM4NPTAB | statement | record (an 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.30018#JYU3 |
| 2HB1YR6PC5 | 2HB1YR6PC5 | 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.13798#6HC6 |
| 2HB3B9BWNP | 2HB3B9BWNP | statement | record (an 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.01694#Z7OX |
| 2HB3WBQ7FT | 2HB3WBQ7FT | statement | record (an 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.01946#HHJD |
| 2HB4J4MCYP | 2HB4J4MCYP | statement | record (an 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.07897#P4RE |
| 2HBXZ79A5C | 2HBXZ79A5C | statement | record (an 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.07260#NR4L |
| 2HDC40HQ2Z | 2HDC40HQ2Z | statement | record (an 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.10525#QHUC |
| 2HE2N69C3R | 2HE2N69C3R | statement | record (an 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.28011#QHTQ |
| 2HEA880CD7 | 2HEA880CD7 | 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.27851#OF80 |