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 17201–17300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 6ZFWVYGQ9W | 6ZFWVYGQ9W | statement | record (an 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.04305#CM7U |
| 6ZGP7Q07XQ | 6ZGP7Q07XQ | statement | record (an 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.13745#OFZI |
| 6ZH6FZ54G0 | 6ZH6FZ54G0 | statement | record (an 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.06461#8447 |
| 6ZH7P3F1S9 | 6ZH7P3F1S9 | 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.08323#632E |
| 6ZHPDA0B29 | 6ZHPDA0B29 | statement | record (an 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.25896#J5M4 |
| 6ZJ96DD927 | 6ZJ96DD927 | 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 2211.10178#0J0O |
| 6ZJAE4GD6C | 6ZJAE4GD6C | statement | record (an 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.30203#FFPJ |
| 6ZJGAQ8HXS | 6ZJGAQ8HXS | statement | record (an 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.07790#R6EH |
| 6ZJS9P0Q4G | 6ZJS9P0Q4G | statement | record (an 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.36423#E1R7 |
| 6ZJYEH0P39 | 6ZJYEH0P39 | exercise | open | active_calculus source/activities/act-4-1-2.xml#act-4-1-2 |
| 6ZK5QQAMJP | 6ZK5QQAMJP | 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.26386#3N0Z |
| 6ZKCSJC2TE | 6ZKCSJC2TE | 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.03628#G16A |
| 6ZKKJJ63FQ | 6ZKKJJ63FQ | statement | record (an 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.20131#N81F |
| 6ZKKP3801S | 6ZKKP3801S | statement | record (an 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#YWDN |
| 6ZMD31DB59 | 6ZMD31DB59 | statement | record (an 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.28200#NAOI |
| 6ZMXP0SJRC | 6ZMXP0SJRC | statement | record (an 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#3UY0 |
| 6ZN2YAE61X | 6ZN2YAE61X | 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.05471#FY62 |
| 6ZN64QCRKE | 6ZN64QCRKE | statement | record (an 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.16060#KUXX |
| 6ZNE9F8M1N | 6ZNE9F8M1N | statement | record (an 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.09810#VVZF |
| 6ZNKCRR2BY | 6ZNKCRR2BY | statement | record (an 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.14121#PSQB |
| 6ZP1CR7KZQ | 6ZP1CR7KZQ | statement | record (an 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#R8UH |
| 6ZP92XKY7B | 6ZP92XKY7B | statement | record (an 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#6BBH |
| 6ZPCK4295T | 6ZPCK4295T | 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.07673#X29T |
| 6ZPN0W9XK1 | 6ZPN0W9XK1 | statement | record (an 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.26276#79J6 |
| 6ZPNA6QTXN | 6ZPNA6QTXN | statement | record (an 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.15019#HB0H |
| 6ZPS14ZYGB | 6ZPS14ZYGB | statement | record (an 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.08251#T6T7 |
| 6ZPWBG1TSQ | 6ZPWBG1TSQ | statement | record (an 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.11034#M0PM |
| 6ZQ94S5FQM | 6ZQ94S5FQM | statement | record (an 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.29949#L295 |
| 6ZQKRST9ZC | 6ZQKRST9ZC | 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.30363#EDXH |
| 6ZQQ4TX9K2 | 6ZQQ4TX9K2 | 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.08723#01A2 |
| 6ZQR6H7EGM | 6ZQR6H7EGM | statement | record (an 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.18580#UR0H |
| 6ZQT5MKG3H | 6ZQT5MKG3H | statement | record (an 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.34856#R8OO |
| 6ZR1F9SVAT | 6ZR1F9SVAT | example | open | lebl_ra ch-seq-ser.tex#example-21 |
| 6ZRJ47KDAV | 6ZRJ47KDAV | statement | record (an 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.01268#58AS |
| 6ZSBFB6FHG | 6ZSBFB6FHG | statement | record (an 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.05198#6H2B |
| 6ZSSRBHD8D | 6ZSSRBHD8D | 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 1002.0879#G2TT |
| 6ZSXN01EDG | 6ZSXN01EDG | statement | record (an 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.29205#JHCD |
| 6ZTXP31AMY | 6ZTXP31AMY | 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.14278#2WV5 |
| 6ZV9G8Y20D | 6ZV9G8Y20D | 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.29759#3LXS |
| 6ZW1FFHHHQ | 6ZW1FFHHHQ | statement | record (an 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.19300#UPPU |
| 6ZWF0TJD5Q | 6ZWF0TJD5Q | 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.37093#2V57 |
| 6ZWVEJ9D4C | 6ZWVEJ9D4C | statement | record (an 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#CQ0E |
| 6ZX0CNSKF9 | 6ZX0CNSKF9 | statement | open | hott_book basics.tex#thm:transport-concat |
| 6ZXHGZY911 | 6ZXHGZY911 | statement | open | open_logic content/first-order-logic/sequent-calculus/provability-quantifiers.tex#thm:strong-generalization |
| 6ZXXGTP31G | 6ZXXGTP31G | statement | record (an 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.13489#CSYR |
| 6ZY0ZXJF24 | 6ZY0ZXJF24 | statement | record (an 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.10545#P7HG |
| 6ZY6C7Y5VT | 6ZY6C7Y5VT | statement | record (an 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.00869#ZX54 |
| 6ZY6Q28P99 | 6ZY6Q28P99 | statement | record (an 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#NKSX |
| 6ZYA1J60FG | 6ZYA1J60FG | exercise | open | lebl_ra ch-seq-ser.tex#exercise-48 |
| 6ZYJ7DX49T | 6ZYJ7DX49T | statement | record (an 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.26813#5UJH |
| 6ZZ2YF1TQX | 6ZZ2YF1TQX | exercise | open | levin_dmoi ptx/exercises/gt-conc.ptx#exercise-1 |
| 6ZZGV4C2AX | 6ZZGV4C2AX | statement | record (an 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.03081#54QM |
| 6ZZH0FWW7K | 6ZZH0FWW7K | statement | record (an 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#K3WT |
| 6ZZMVKJBRQ | 6ZZMVKJBRQ | 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.14060#DASN |
| 6₂ | B9WNHYD2FR | unknown | open | Wikidata Q4642850, MathWorld MillerInstituteKnot |
| 7-sphere | M5PWYPBG72 | unknown | open | Wikidata Q62577207, nLab 7-sphere |
| 7002Y0F9PZ | 7002Y0F9PZ | statement | record (an 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.39700#E53W |
| 7017QA46RH | 7017QA46RH | 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.01433#QVLI |
| 701AFY8NSJ | 701AFY8NSJ | statement | record (an 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.26600#HVL1 |
| 701BNNMD9X | 701BNNMD9X | definition | open | napkin tex/alg-geom/mor-scheme.tex#definition-4 |
| 701ETDKE6Z | 701ETDKE6Z | statement | record (an 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.13850#QW97 |
| 701KG2SDR9 | 701KG2SDR9 | statement | record (an 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.18270#96SO |
| 701WC7A21X | 701WC7A21X | statement | record (an 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.19449#HFV7 |
| 702A01BZVQ | 702A01BZVQ | 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.10546#7PFC |
| 702Q9FHTZT | 702Q9FHTZT | statement | record (an 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#8DLQ |
| 702RDW1F1D | 702RDW1F1D | 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 0809.0068#TMJ8 |
| 702STSBGZ2 | 702STSBGZ2 | statement | record (an 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.18242#YZO6 |
| 70362JV1V1 | 70362JV1V1 | 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.08935#SGZ6 |
| 7037D32GHH | 7037D32GHH | 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 2303.09207#CYQ6 |
| 7040P6FGNY | 7040P6FGNY | statement | record (an 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.27360#Q4DI |
| 70445C6FA1 | 70445C6FA1 | statement | record (an 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#AXG9 |
| 7044Q35KXW | 7044Q35KXW | statement | record (an 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.04382#UHJZ |
| 704MMTMAD6 | 704MMTMAD6 | 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 2103.12669#SB1Z |
| 704VC996CY | 704VC996CY | 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 2506.07061#BWF7 |
| 704W962J2W | 704W962J2W | statement | record (an 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#6XZN |
| 70564BGT68 | 70564BGT68 | 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.01753#SF6V |
| 705GYAJNB1 | 705GYAJNB1 | unknown | open | |
| 705N37EB9D | 705N37EB9D | statement | record (an 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#UZDY |
| 706ZVF6Q1W | 706ZVF6Q1W | statement | record (an 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.36714#69UL |
| 70849VV791 | 70849VV791 | statement | record (an 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.37893#DDYJ |
| 7087CF85GY | 7087CF85GY | proof | open | hott_book induction.tex#proof-6 |
| 7095QMDC74 | 7095QMDC74 | statement | record (an 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.39776#FDZX |
| 709S1TPF71 | 709S1TPF71 | 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.27800#24LC |
| 70ARJ0ZXVE | 70ARJ0ZXVE | statement | record (an 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.25457#S700 |
| 70C6CKY036 | 70C6CKY036 | statement | record (an 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.20466#TH5B |
| 70DV3XAW50 | 70DV3XAW50 | statement | record (an 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.07530#R3CF |
| 70EBHA8JT7 | 70EBHA8JT7 | statement | record (an 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#G5C4 |
| 70ECNCSHVR | 70ECNCSHVR | statement | record (an 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#HW3K |
| 70EF0Z83NA | 70EF0Z83NA | statement | record (an 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.06340#DW6E |
| 70EX2MJM5Y | 70EX2MJM5Y | statement | record (an 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.27125#P85P |
| 70GCJKFDVB | 70GCJKFDVB | 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.07530#RPQG |
| 70HVNP71Y7 | 70HVNP71Y7 | statement | record (an 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#7DOO |
| 70HVXNTZVS | 70HVXNTZVS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.05529#WYXH |
| 70HW7JNARD | 70HW7JNARD | statement | record (an 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.28337#327H |
| 70J9FDG773 | 70J9FDG773 | statement | record (an 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.02556#NLCW |
| 70JAP2NGHP | 70JAP2NGHP | statement | record (an 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.00856#JGPK |
| 70JES75X8E | 70JES75X8E | statement | record (an 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.05403#V0SH |
| 70M5KYEFQ5 | 70M5KYEFQ5 | statement | record (an 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#MLKQ |
| 70N7H0BBPF | 70N7H0BBPF | 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.02158#ZN9C |
| 70NBAEG5ZN | 70NBAEG5ZN | exercise | open | levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-5 |