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 17001–17100 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 6XDTY109X1 | 6XDTY109X1 | statement | record (an 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.24374#PJ8Q |
| 6XDVB1TN6N | 6XDVB1TN6N | statement | record (an 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.15887#P3OH |
| 6XDXF5P5PY | 6XDXF5P5PY | statement | record (an 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.19086#XNDH |
| 6XEMK7FFH9 | 6XEMK7FFH9 | statement | record (an 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.09873#YP2N |
| 6XEYQPKXP7 | 6XEYQPKXP7 | 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.32599#5YF5 |
| 6XFP2GNVXE | 6XFP2GNVXE | statement | record (an 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.18061#VG64 |
| 6XFSFAPNGN | 6XFSFAPNGN | statement | record (an 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#A056 |
| 6XFWS0RMH2 | 6XFWS0RMH2 | statement | record (an 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.00843#EQU4 |
| 6XG9AR21C4 | 6XG9AR21C4 | statement | record (an 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.01411#BUP4 |
| 6XGC01282S | 6XGC01282S | statement | record (an 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.17181#QLCH |
| 6XGEJNEXHJ | 6XGEJNEXHJ | statement | record (an 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.35383#5JO1 |
| 6XGT31YEG9 | 6XGT31YEG9 | statement | record (an 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.22326#E3FK |
| 6XH00K0XCC | 6XH00K0XCC | statement | record (an 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.28649#IV0K |
| 6XH31645A8 | 6XH31645A8 | statement | record (an 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.27420#B0PO |
| 6XJ2KJNGW3 | 6XJ2KJNGW3 | statement | record (an 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.00584#9IM6 |
| 6XJ8A4CXKP | 6XJ8A4CXKP | exercise | open | hott_book equivalences.tex#ex:symmetric-equiv |
| 6XJSFZYVX9 | 6XJSFZYVX9 | statement | record (an 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.40054#VX4U |
| 6XKGDJ87JR | 6XKGDJ87JR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.24190#34GK |
| 6XKQ2DXFE2 | 6XKQ2DXFE2 | statement | record (an 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.09599#EJWA |
| 6XKQ61ABDK | 6XKQ61ABDK | statement | record (an 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.02672#K4IZ |
| 6XKQV4S6KY | 6XKQV4S6KY | statement | record (an 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.12810#X7Y0 |
| 6XKX3QREME | 6XKX3QREME | 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.39347#P19J |
| 6XM0743CM1 | 6XM0743CM1 | statement | record (an 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.10928#ARV1 |
| 6XM096VTJ0 | 6XM096VTJ0 | statement | record (an 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.30817#XO8T |
| 6XMFVSVS5N | 6XMFVSVS5N | 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 2405.02275#JOBD |
| 6XMHCVBFPR | 6XMHCVBFPR | proof | open | hott_book setmath.tex#proof-6 |
| 6XMSV1ZMH7 | 6XMSV1ZMH7 | statement | record (an 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.20944#9GNY |
| 6XMWZRM5HA | 6XMWZRM5HA | statement | record (an 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.35383#XEP0 |
| 6XMY4NDRW8 | 6XMY4NDRW8 | statement | record (an 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.26500#FW2B |
| 6XN2A3NRN5 | 6XN2A3NRN5 | 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.33124#UJ1Z |
| 6XNEZZAMXX | 6XNEZZAMXX | unknown | open | arXiv 2610.13680#Z75A |
| 6XNF0FFGNN | 6XNF0FFGNN | 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 1711.00219#AD81 |
| 6XNGDBAANE | 6XNGDBAANE | statement | record (an 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.06764#G998 |
| 6XNKJ857EZ | 6XNKJ857EZ | statement | record (an 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#VK17 |
| 6XPC1QR662 | 6XPC1QR662 | statement | record (an 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.12181#193P |
| 6XPZCJ1N26 | 6XPZCJ1N26 | statement | record (an 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.12486#4QTB |
| 6XQGY3Q314 | 6XQGY3Q314 | statement | record (an 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.12736#7AP9 |
| 6XR21BXSG2 | 6XR21BXSG2 | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#question-3 |
| 6XR488WZ66 | 6XR488WZ66 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1903.11969#3GOP |
| 6XR614VBB2 | 6XR614VBB2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.24599#2CXJ |
| 6XRDCSNMVJ | 6XRDCSNMVJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.00677#6WTV |
| 6XRSM7KMKV | 6XRSM7KMKV | 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#2XQ5 |
| 6XSHY56TGA | 6XSHY56TGA | statement | record (an 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.06764#JONG |
| 6XSTNCJT92 | 6XSTNCJT92 | statement | record (an 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.18078#RUI1 |
| 6XSV9PXQ2B | 6XSV9PXQ2B | definition | open | hott_book categories.tex#ct:equiv |
| 6XSVRVF25K | 6XSVRVF25K | 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.25255#FGL2 |
| 6XT3MJ54S3 | 6XT3MJ54S3 | exercise | open | applied_combinatorics source/s_induction_exercises.ptx#exercise-4 |
| 6XTVVR23KA | 6XTVVR23KA | statement | record (an 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.02506#KGYL |
| 6XV5TF4542 | 6XV5TF4542 | 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.24901#2524 |
| 6XV7VVMADT | 6XV7VVMADT | statement | record (an 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.35323#FV53 |
| 6XVC6WW59W | 6XVC6WW59W | statement | record (an 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#R5UR |
| 6XWJ5606KF | 6XWJ5606KF | statement | record (an 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#A0XH |
| 6XWY6Z2XDT | 6XWY6Z2XDT | statement | record (an 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#06TY |
| 6XX5ZVHK07 | 6XX5ZVHK07 | statement | record (an 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.03011#R3GN |
| 6XXSRG2TBE | 6XXSRG2TBE | statement | record (an 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.37313#BYQ8 |
| 6XY97829CP | 6XY97829CP | statement | record (an 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#F4P9 |
| 6XYA2V8T07 | 6XYA2V8T07 | statement | record (an 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.36045#HURO |
| 6XYF6Q3CP9 | 6XYF6Q3CP9 | statement | record (an 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.25094#DPN0 |
| 6XYX2WZNRR | 6XYX2WZNRR | statement | record (an 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.16036#VD2O |
| 6XZA3W0AKV | 6XZA3W0AKV | statement | record (an 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.08480#HHAD |
| 6XZASFF236 | 6XZASFF236 | statement | record (an 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.08873#RRSC |
| 6XZB1N1D7S | 6XZB1N1D7S | statement | record (an 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.18673#4JVX |
| 6XZBAAWGWD | 6XZBAAWGWD | definition | open | napkin tex/topology/compactness.tex#definition-2 |
| 6XZSCNCPX9 | 6XZSCNCPX9 | 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 2011.07352#UBQC |
| 6XZSDQ8X4S | 6XZSDQ8X4S | statement | record (an 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.14667#3TOO |
| 6Y11F27KBW | 6Y11F27KBW | statement | record (an 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.38548#NZKE |
| 6Y1SV2CN85 | 6Y1SV2CN85 | statement | record (an 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#P1I6 |
| 6Y253HSKHD | 6Y253HSKHD | statement | record (an 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.17227#4EK5 |
| 6Y2C4SVARK | 6Y2C4SVARK | statement | record (an 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.00775#HHFT |
| 6Y2JHSAGMQ | 6Y2JHSAGMQ | 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.27788#CHUA |
| 6Y2QZPEW54 | 6Y2QZPEW54 | statement | record (an 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#TKQX |
| 6Y3BGHGEAG | 6Y3BGHGEAG | statement | record (an 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.16510#VFQU |
| 6Y402AQH3T | 6Y402AQH3T | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q536457, ProofWiki Mathematician:Marcus_Peter_Francis_du_Sautoy |
| 6Y4GKQX60Z | 6Y4GKQX60Z | example | open | open_logic content/first-order-logic/syntax-and-semantics/substitution.tex#ex-1 |
| 6Y5WAS7V3M | 6Y5WAS7V3M | 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 0810.0962#WGG6 |
| 6Y6MZ2GP9C | 6Y6MZ2GP9C | 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.01251#O781 |
| 6Y6YQBHJ8D | 6Y6YQBHJ8D | statement | record (an 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.19463#RCEV |
| 6Y767CV7NZ | 6Y767CV7NZ | statement | record (an 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#1BHT |
| 6Y7PWR6BZB | 6Y7PWR6BZB | statement | record (an 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.04321#MGUU |
| 6Y7ZAD072X | 6Y7ZAD072X | 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 1303.4328#7578 |
| 6Y852XSQ1M | 6Y852XSQ1M | statement | open | hott_book setmath.tex#cor-3 |
| 6Y8Q3JM3DH | 6Y8Q3JM3DH | statement | record (an 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.20422#V2R0 |
| 6Y90JZRYYM | 6Y90JZRYYM | statement | record (an 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.20165#6W5T |
| 6Y9Z6JT8H7 | 6Y9Z6JT8H7 | statement | record (an 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.08776#RTF1 |
| 6YA3H6BD67 | 6YA3H6BD67 | 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.28454#79GP |
| 6YA5F5X14P | 6YA5F5X14P | 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.15454#60JR |
| 6YAQ4CY9WR | 6YAQ4CY9WR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.05191#Y4P3 |
| 6YAQTDGYDG | 6YAQTDGYDG | statement | record (an 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.26201#MT8J |
| 6YB5XXW87M | 6YB5XXW87M | 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.35678#PT4O |
| 6YBR2ES6HT | 6YBR2ES6HT | 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 2403.15255#2PJ9 |
| 6YBZ5R3N9J | 6YBZ5R3N9J | 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.17817#A61E |
| 6YC74RM5YC | 6YC74RM5YC | unknown | open | arXiv 2205.15365#5G4L |
| 6YCHR65VAX | 6YCHR65VAX | statement | record (an 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.21545#LNII |
| 6YCPKMANCC | 6YCPKMANCC | statement | record (an 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#9CTN |
| 6YD7X66RK9 | 6YD7X66RK9 | statement | record (an 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#XFU2 |
| 6YDBE8T6AY | 6YDBE8T6AY | 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.30014#KVJT |
| 6YDDHR1MB8 | 6YDDHR1MB8 | statement | record (an 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.02791#CQ44 |
| 6YDMVH7TB2 | 6YDMVH7TB2 | 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.30018#0WBA |
| 6YDXXAXY1Z | 6YDXXAXY1Z | 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.22636#67C9 |
| 6YE2B1KK7S | 6YE2B1KK7S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv alg-geom/9506022#KSJ2 |