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 21801–21900 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 8P0H1F1SGW | 8P0H1F1SGW | definition | open | napkin tex/alg-geom/spec-sheaf.tex#definition-6 |
| 8P0HEX36F6 | 8P0HEX36F6 | statement | record (an 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.15444#6NI6 |
| 8P0SF06R9D | 8P0SF06R9D | statement | record (an 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.24777#A2OE |
| 8P15S97MVY | 8P15S97MVY | 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.06458#R8UO |
| 8P1G7SMDN0 | 8P1G7SMDN0 | statement | record (an 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.19709#H44M |
| 8P1N0XN8GJ | 8P1N0XN8GJ | statement | record (an 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.37520#XV3U |
| 8P244Y46D4 | 8P244Y46D4 | statement | record (an 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.28742#45NC |
| 8P37RN274M | 8P37RN274M | 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 2609.27301#LUXW |
| 8P3KXB4EMW | 8P3KXB4EMW | statement | record (an 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.36021#T26A |
| 8P3MWJDMVG | 8P3MWJDMVG | statement | record (an 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.06321#G8KO |
| 8P3ZPDM4FG | 8P3ZPDM4FG | 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/0406514#5BNF |
| 8P4F0TQRQK | 8P4F0TQRQK | 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.22268#86AG |
| 8P4T9VQ2GS | 8P4T9VQ2GS | 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 1805.04646#PXGU |
| 8P4ZC4KX67 | 8P4ZC4KX67 | statement | record (an 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.14236#XLEE |
| 8P542M1APV | 8P542M1APV | statement | record (an 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.25289#MO2N |
| 8P71YT3T0M | 8P71YT3T0M | statement | record (an 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.05069#D186 |
| 8P795MEY6Z | 8P795MEY6Z | statement | record (an 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.09482#WP4C |
| 8P7D24JSNE | 8P7D24JSNE | statement | record (an 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.01071#JKWR |
| 8P7V4JRKHG | 8P7V4JRKHG | statement | record (an 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.15593#SCSQ |
| 8P8822ZTBD | 8P8822ZTBD | statement | record (an 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#Z5PN |
| 8P8HPXKZ33 | 8P8HPXKZ33 | statement | record (an 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.19452#O7DR |
| 8P8VPJ6VNY | 8P8VPJ6VNY | statement | record (an 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#QBUM |
| 8P8ZC8ECH0 | 8P8ZC8ECH0 | statement | record (an 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#PZFI |
| 8P91VF0RM0 | 8P91VF0RM0 | statement | record (an 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.40207#6OJC |
| 8P9HHX11ZN | 8P9HHX11ZN | statement | record (an 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.40028#D4S4 |
| 8PAB86T7WG | 8PAB86T7WG | 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.29022#BXL9 |
| 8PARC3ME8C | 8PARC3ME8C | 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.20801#HQEE |
| 8PB9Y720CV | 8PB9Y720CV | statement | record (an 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.22040#H3D1 |
| 8PC8S94NRG | 8PC8S94NRG | statement | record (an 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.25897#YIUQ |
| 8PC9FTM1NC | 8PC9FTM1NC | statement | record (an 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.16580#FZ6M |
| 8PCBX4GAZE | 8PCBX4GAZE | statement | record (an 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.30579#IXFM |
| 8PCDXTN0ZP | 8PCDXTN0ZP | statement | open | hott_book equivalences.tex#thm:qinv-notprop |
| 8PD7WTD5QR | 8PD7WTD5QR | statement | record (an 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.19326#1ZDD |
| 8PE42YQMDV | 8PE42YQMDV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.05684#YFFR |
| 8PE851257M | 8PE851257M | 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 2401.13523#6CBG |
| 8PEBPD190E | 8PEBPD190E | statement | record (an 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.15770#7H0R |
| 8PEK330GZK | 8PEK330GZK | statement | record (an 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#E9NJ |
| 8PENQER03N | 8PENQER03N | statement | record (an 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#2HFQ |
| 8PEQV3E60B | 8PEQV3E60B | statement | record (an 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.08638#X71L |
| 8PF4WRT87W | 8PF4WRT87W | statement | record (an 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.08145#B4MW |
| 8PF5CX0W4Y | 8PF5CX0W4Y | statement | record (an 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.37778#FC2W |
| 8PF82PWPRT | 8PF82PWPRT | 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 2311.16795#SH4U |
| 8PG422N6AA | 8PG422N6AA | statement | record (an 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.32916#ZB24 |
| 8PG8NK6RK8 | 8PG8NK6RK8 | statement | open | hott_book setmath.tex#thm:ordunion |
| 8PG9XWY6JH | 8PG9XWY6JH | statement | record (an 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.16580#8WIS |
| 8PGJ86EWV2 | 8PGJ86EWV2 | statement | record (an 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#9XK1 |
| 8PGJVMKK6P | 8PGJVMKK6P | statement | record (an 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.40123#YT84 |
| 8PGV8755S5 | 8PGV8755S5 | 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 2305.10921#JSJJ |
| 8PH8FZVFYF | 8PH8FZVFYF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0906.2853#AVO2 |
| 8PHJP1DFZF | 8PHJP1DFZF | statement | record (an 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.31458#HJ8N |
| 8PHN6FW7EB | 8PHN6FW7EB | statement | record (an 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.14762#8I3S |
| 8PHPBXT6KC | 8PHPBXT6KC | statement | record (an 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.05333#TQAQ |
| 8PHZXJJAC4 | 8PHZXJJAC4 | statement | record (an 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.33932#HWK9 |
| 8PK0Z3CS4R | 8PK0Z3CS4R | statement | record (an 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#3KQ5 |
| 8PK4W9W9DH | 8PK4W9W9DH | statement | record (an 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.35183#4AD5 |
| 8PKF50AH85 | 8PKF50AH85 | statement | record (an 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.21578#UCTV |
| 8PKFY3KA91 | 8PKFY3KA91 | statement | record (an 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#FVBX |
| 8PKWYKQ8WQ | 8PKWYKQ8WQ | statement | record (an 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.12014#33KW |
| 8PMFCA79CH | 8PMFCA79CH | statement | record (an 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.19283#DUMS |
| 8PN8QW02QB | 8PN8QW02QB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.14699#Q6CB |
| 8PP0R559WB | 8PP0R559WB | statement | record (an 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.36877#F741 |
| 8PPF15Y6S1 | 8PPF15Y6S1 | statement | record (an 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.30315#QJ3N |
| 8PQRMRKEV6 | 8PQRMRKEV6 | statement | record (an 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#JAXR |
| 8PQSYR01NH | 8PQSYR01NH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.09700#NEAM |
| 8PS8B967EH | 8PS8B967EH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2043#SUPC |
| 8PSCN82HKC | 8PSCN82HKC | 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.31327#5SO0 |
| 8PSEZ2FZQC | 8PSEZ2FZQC | statement | record (an 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.20207#J94O |
| 8PSJSA2745 | 8PSJSA2745 | statement | record (an 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.03730#52IG |
| 8PTFSY8BAP | 8PTFSY8BAP | 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.26650#H4RW |
| 8PTJXNYC98 | 8PTJXNYC98 | statement | record (an 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.03520#IUL8 |
| 8PTK04ZFSD | 8PTK04ZFSD | statement | record (an 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#SR1Z |
| 8PTKZ7NDMB | 8PTKZ7NDMB | exercise | open | active_calculus source/activities/act-1-4-1.xml#act-1-4-1 |
| 8PTW983MMC | 8PTW983MMC | statement | record (an 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.32058#CLFY |
| 8PTYXD4S3R | 8PTYXD4S3R | 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 2502.14306#73Q2 |
| 8PTZXGKB9Q | 8PTZXGKB9Q | exercise | open | lebl_ra ch-contfunc.tex#exercise-63 |
| 8PVC3NZM8S | 8PVC3NZM8S | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-45 |
| 8PVNRC8SZ9 | 8PVNRC8SZ9 | statement | record (an 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.13142#GMXV |
| 8PVTBJWH79 | 8PVTBJWH79 | statement | record (an 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.25391#3HS6 |
| 8PVX6RQBXD | 8PVX6RQBXD | example | open | open_logic content/normal-modal-logic/filtrations/examples-of-filtrations.tex#ex-1 |
| 8PX9GT80VM | 8PX9GT80VM | 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.10930#DA91 |
| 8PXAE19PYK | 8PXAE19PYK | 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.31352#2WX1 |
| 8PXNAHGDV0 | 8PXNAHGDV0 | 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.10095#ERJF |
| 8PXP0WT5N8 | 8PXP0WT5N8 | proof | open | lebl_ra ch-several-vars-ders.tex#proof-2 |
| 8PZ1MPKK01 | 8PZ1MPKK01 | statement | record (an 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.12640#I1GX |
| 8PZ5NDH2QA | 8PZ5NDH2QA | statement | record (an 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.37093#0YQ6 |
| 8PZP34ZZ7F | 8PZP34ZZ7F | statement | record (an 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.24449#9K6F |
| 8PZPNMA8K3 | 8PZPNMA8K3 | statement | record (an 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.38138#1XRZ |
| 8PZZ4ZPP3C | 8PZZ4ZPP3C | statement | record (an 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#IEL5 |
| 8PZZS0Q74B | 8PZZS0Q74B | proof | open | hott_book hlevels.tex#proof-21 |
| 8Q060W3TZR | 8Q060W3TZR | statement | record (an 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.07905#OEWZ |
| 8Q083F2YPD | 8Q083F2YPD | statement | record (an 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#YRJ9 |
| 8Q0PT5CAQR | 8Q0PT5CAQR | 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 2309.15424#DUC0 |
| 8Q0QAF67AR | 8Q0QAF67AR | statement | record (an 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.12326#53EK |
| 8Q0YB7W7W5 | 8Q0YB7W7W5 | statement | record (an 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.26089#LUD5 |
| 8Q10NDD8FZ | 8Q10NDD8FZ | statement | record (an 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.16203#56JP |
| 8Q288WB5XB | 8Q288WB5XB | statement | record (an 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.18620#A6YP |
| 8Q30DQZ86F | 8Q30DQZ86F | statement | record (an 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#1AWM |
| 8Q31NT6X4W | 8Q31NT6X4W | statement | open | austin_ula src/section6-3.xml#prop-orthonormal-QTQ |
| 8Q3R790XTJ | 8Q3R790XTJ | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#exercise-1 |
| 8Q450PCXD7 | 8Q450PCXD7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.17002#WU7N |