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 19201–19300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 7QX5GKT89R | 7QX5GKT89R | statement | record (an 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#0728 |
| 7QX9G9R84C | 7QX9G9R84C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2002.01498#QSWT |
| 7QYWD09Q5N | 7QYWD09Q5N | statement | record (an 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#F5U7 |
| 7QZR2E6WNZ | 7QZR2E6WNZ | statement | record (an 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.30407#AVKF |
| 7QZTE584N2 | 7QZTE584N2 | 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 2312.06581#9ZRW |
| 7R1JM5RS46 | 7R1JM5RS46 | 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.01354#QXWI |
| 7R1M5H53NH | 7R1M5H53NH | statement | record (an 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.01073#M1V7 |
| 7R240VP7VC | 7R240VP7VC | statement | record (an 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.01561#ZKEJ |
| 7R2AKFM8MW | 7R2AKFM8MW | 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.29748#6RSY |
| 7R2C0NHJW7 | 7R2C0NHJW7 | statement | record (an 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.09201#UYO3 |
| 7R353VAHED | 7R353VAHED | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.12141#K7P4 |
| 7R3V0606HA | 7R3V0606HA | statement | record (an 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.24353#D1BG |
| 7R681BSMN7 | 7R681BSMN7 | statement | record (an 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.03449#VTC2 |
| 7R6BP359RF | 7R6BP359RF | statement | record (an 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.02166#3QSZ |
| 7R6FRWZPD3 | 7R6FRWZPD3 | statement | record (an 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#NL8J |
| 7R6G5E15F1 | 7R6G5E15F1 | definition | open | lebl_scv scv.tex#defn-13 |
| 7R6HJEDD03 | 7R6HJEDD03 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2009.11127#36Z9 |
| 7R7EXV7Q2Z | 7R7EXV7Q2Z | 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 2512.16003#JWSB |
| 7R7GJ4WBAV | 7R7GJ4WBAV | statement | record (an 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.10902#0G5W |
| 7R7JVEP2H3 | 7R7JVEP2H3 | example | open | applied_combinatorics source/s_strings_permutations.ptx#example-1 |
| 7R86S926QF | 7R86S926QF | 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.03612#5W5U |
| 7R8EPJNW2J | 7R8EPJNW2J | statement | record (an 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.39706#L722 |
| 7R94P4XH7S | 7R94P4XH7S | statement | record (an 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.16069#NXO3 |
| 7R974A3WFF | 7R974A3WFF | statement | record (an 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.15212#CKJ1 |
| 7R9EWRNVRJ | 7R9EWRNVRJ | statement | record (an 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.26308#Z6OS |
| 7R9P7HY97Z | 7R9P7HY97Z | statement | record (an 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.00806#WNT9 |
| 7RA09PQ4N0 | 7RA09PQ4N0 | statement | record (an 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.16339#7QG1 |
| 7RA7KSDFNB | 7RA7KSDFNB | statement | record (an 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.16655#9D4J |
| 7RABZTKYZY | 7RABZTKYZY | statement | record (an 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.18894#USCQ |
| 7RACMT5DZ1 | 7RACMT5DZ1 | statement | record (an 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.29450#RU48 |
| 7RAV8ZD65J | 7RAV8ZD65J | statement | open | napkin tex/set-theory/ordinal.tex#theorem-4 |
| 7RAWF11C7F | 7RAWF11C7F | statement | record (an 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.27918#R11G |
| 7RB1NR4YA6 | 7RB1NR4YA6 | 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.26701#10M4 |
| 7RBBH8FNEZ | 7RBBH8FNEZ | statement | record (an 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.03327#47E1 |
| 7RBT2177EM | 7RBT2177EM | statement | record (an 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.11823#AFU1 |
| 7RC0V347T4 | 7RC0V347T4 | statement | record (an 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.02983#75W6 |
| 7RC68733D2 | 7RC68733D2 | unknown | open | arXiv 2211.01586#CRCP |
| 7RCQC1WCN2 | 7RCQC1WCN2 | statement | record (an 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.37450#UZ7N |
| 7RCTQY9MQ6 | 7RCTQY9MQ6 | exercise | open | applied_combinatorics source/s_induction_exercises.ptx#exercise-12 |
| 7RCZR2MVAR | 7RCZR2MVAR | statement | record (an 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.11800#S9FQ |
| 7RE3PD6NAC | 7RE3PD6NAC | 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.12691#25D2 |
| 7RE527DEXB | 7RE527DEXB | statement | record (an 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.37584#GCTX |
| 7RE8TR46W2 | 7RE8TR46W2 | 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#7W07 |
| 7REGXDX2XE | 7REGXDX2XE | statement | record (an 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.18154#E241 |
| 7REYN8XCAJ | 7REYN8XCAJ | statement | record (an 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.05391#RCS0 |
| 7RG241GX0G | 7RG241GX0G | statement | record (an 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.28892#EGZR |
| 7RGJM72QZX | 7RGJM72QZX | statement | record (an 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.10233#90QN |
| 7RGQ5AHJFV | 7RGQ5AHJFV | exercise | open | hott_book categories.tex#ex:dagger-rezk |
| 7RGXHX1AAW | 7RGXHX1AAW | statement | record (an 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.27687#FLG6 |
| 7RGY2RBTJA | 7RGY2RBTJA | statement | record (an 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#MAFG |
| 7RH9DJMXQD | 7RH9DJMXQD | 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 1806.05002#24M5 |
| 7RHCGHGVGW | 7RHCGHGVGW | statement | record (an 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.39293#6ABB |
| 7RHWDYNTQF | 7RHWDYNTQF | proof | open | lebl_ra ch-multivar-int.tex#proof-7 |
| 7RJ5ZQRZWH | 7RJ5ZQRZWH | statement | record (an 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.01802#V6MW |
| 7RJ7HWQKXJ | 7RJ7HWQKXJ | statement | record (an 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.21632#ZH50 |
| 7RJBPXT7CC | 7RJBPXT7CC | statement | record (an 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#17ST |
| 7RJN67G9PP | 7RJN67G9PP | statement | record (an 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.08039#9684 |
| 7RJVWEYHAH | 7RJVWEYHAH | statement | record (an 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.29489#CL6F |
| 7RJZQWF532 | 7RJZQWF532 | statement | record (an 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.19533#NGOH |
| 7RKPA2Q20P | 7RKPA2Q20P | statement | record (an 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.27872#11GG |
| 7RMD01KCZH | 7RMD01KCZH | statement | record (an 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.33584#9SRY |
| 7RMN4Q2VKQ | 7RMN4Q2VKQ | proof | open | open_logic content/intuitionistic-logic/introduction/constructive-reasoning.tex#proof-1 |
| 7RMXWNMQY9 | 7RMXWNMQY9 | statement | record (an 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.08583#2T3S |
| 7RNJ4DGXXF | 7RNJ4DGXXF | statement | record (an 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.15817#RC1K |
| 7RP3C8FS2F | 7RP3C8FS2F | proof | open | open_logic content/proof-theory/cut-elimination/ce-topmost.tex#proof-1 |
| 7RP5XY7VQQ | 7RP5XY7VQQ | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:consequences of axioms |
| 7RPP76ETFF | 7RPP76ETFF | statement | record (an 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#N7BU |
| 7RQAEHRNYH | 7RQAEHRNYH | statement | record (an 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#P8RJ |
| 7RQCPEADX8 | 7RQCPEADX8 | statement | record (an 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#SLKY |
| 7RQCYQRFAQ | 7RQCYQRFAQ | statement | record (an 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.01073#1B7M |
| 7RQG3QKW7D | 7RQG3QKW7D | statement | record (an 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.24479#VME9 |
| 7RQQQC1YB3 | 7RQQQC1YB3 | statement | record (an 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#UO2W |
| 7RQT3ZP55G | 7RQT3ZP55G | 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.39104#PT1N |
| 7RQWZX64H0 | 7RQWZX64H0 | definition | open | napkin tex/cats/categories.tex#definition-2 |
| 7RRXRR4HBM | 7RRXRR4HBM | statement | record (an 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.33805#D0F7 |
| 7RS0YCCKJE | 7RS0YCCKJE | proof | open | lebl_scv scv.tex#proof-13 |
| 7RSQB7ACS0 | 7RSQB7ACS0 | 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 2601.15403#J6UR |
| 7RSQWM1VDC | 7RSQWM1VDC | statement | record (an 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.02042#ZX8B |
| 7RSZHSJ4NR | 7RSZHSJ4NR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.11684#9Q29 |
| 7RT2YPYMPJ | 7RT2YPYMPJ | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-22 |
| 7RT9DMZ4BN | 7RT9DMZ4BN | statement | record (an 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.07461#VDXK |
| 7RTDG3FPW7 | 7RTDG3FPW7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.00606#2OU9 |
| 7RTGGB29B6 | 7RTGGB29B6 | statement | record (an 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#477M |
| 7RVDPTMHDV | 7RVDPTMHDV | statement | record (an 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.06806#4PS7 |
| 7RVRKZPTX3 | 7RVRKZPTX3 | proof | open | hott_book setmath.tex#proof-5 |
| 7RVTFESNES | 7RVTFESNES | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.15010#BJ6S |
| 7RVZ7EVCPR | 7RVZ7EVCPR | statement | record (an 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#YG0I |
| 7RY2HY29VP | 7RY2HY29VP | exercise | open | levin_dmoi ptx/exercises/seq-polyfit.ptx#exercise-9 |
| 7RZ188DWWK | 7RZ188DWWK | unknown | open | arXiv 2609.33529#6D1X |
| 7RZDVP6GZ6 | 7RZDVP6GZ6 | statement | record (an 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#6LZ9 |
| 7RZFN8NWWS | 7RZFN8NWWS | statement | open | hott_book setmath.tex#thm:set_regular |
| 7RZKR77H65 | 7RZKR77H65 | 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.11545#C69W |
| 7RZRKKKS8S | 7RZRKKKS8S | example | open | napkin tex/diffgeo/manifolds.tex#example-2 |
| 7RZXZ3CH59 | 7RZXZ3CH59 | exercise | open | lebl_scv scv.tex#exercise-2 |
| 7S0ENFVBEK | 7S0ENFVBEK | unknown | open | Wikidata Q136090830, House of Graphs 49433 |
| 7S0XFHRRMV | 7S0XFHRRMV | statement | record (an 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.38051#T9W4 |
| 7S13J72BKJ | 7S13J72BKJ | statement | record (an 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.09121#W9RQ |
| 7S2P7406TJ | 7S2P7406TJ | statement | record (an 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.03601#H67Z |
| 7S2W1WH6DR | 7S2W1WH6DR | statement | record (an 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.08357#6F1E |
| 7S32GRYKMZ | 7S32GRYKMZ | statement | record (an 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#R6UQ |