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 9601–9700 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 47GK357R44 | 47GK357R44 | 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.26896#VB93 |
| 47GKQ04CNF | 47GKQ04CNF | statement | record (an 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#6O1E |
| 47H0A7MD7F | 47H0A7MD7F | statement | record (an 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#U75O |
| 47HBN3K2FE | 47HBN3K2FE | statement | open | open_logic content/computability/computability-theory/k-1.tex#prop:k1 |
| 47HSW94ZYF | 47HSW94ZYF | statement | record (an 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#S0RF |
| 47J1SRYNDM | 47J1SRYNDM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.00212#6AOW |
| 47KCCV9493 | 47KCCV9493 | statement | record (an 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#3PN4 |
| 47MG7Y983C | 47MG7Y983C | statement | record (an 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.05232#D505 |
| 47MKSAPHPD | 47MKSAPHPD | statement | record (an 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.08370#7XPM |
| 47MN48BT59 | 47MN48BT59 | statement | record (an 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#5O0R |
| 47MXF7A6EG | 47MXF7A6EG | statement | record (an 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.20285#Z7W4 |
| 47N2PYM171 | 47N2PYM171 | proof | open | levin_dmoi ptx/sec_logic-proofs.ptx#proof-2 |
| 47NEB917VS | 47NEB917VS | statement | record (an 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#8G8W |
| 47NPJ2V48Y | 47NPJ2V48Y | statement | record (an 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.27200#YCS5 |
| 47PJGWXM8P | 47PJGWXM8P | 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.10221#QF3N |
| 47QFEN0YH1 | 47QFEN0YH1 | statement | record (an 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#G38V |
| 47R9Y72922 | 47R9Y72922 | statement | record (an 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#OP22 |
| 47RQB9CTV1 | 47RQB9CTV1 | statement | record (an 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.34020#854O |
| 47SS5NJX6R | 47SS5NJX6R | statement | record (an 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.19311#QETS |
| 47SV79HPHG | 47SV79HPHG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#0VUR |
| 47TPCYTNNV | 47TPCYTNNV | statement | record (an 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#8NEA |
| 47TVJCZGRG | 47TVJCZGRG | statement | record (an 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.06066#PYIW |
| 47VV8E4RJW | 47VV8E4RJW | statement | record (an 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.05005#5ZBA |
| 47WCSR46Q4 | 47WCSR46Q4 | 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.14616#BS2C |
| 47WD022SWK | 47WD022SWK | statement | record (an 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.11487#GOT5 |
| 47WDVGM479 | 47WDVGM479 | unknown | open | arXiv 2308.05066#SZZ0 |
| 47WN5H28RB | 47WN5H28RB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1705.01594#H0T5 |
| 47X1G382NM | 47X1G382NM | statement | record (an 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.11021#L5EM |
| 47X6ZWMVP4 | 47X6ZWMVP4 | statement | record (an 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.03661#W0UA |
| 47XA12G19M | 47XA12G19M | unknown | open | arXiv 2306.16411#BJV3 |
| 47XB944326 | 47XB944326 | statement | record (an 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.17785#NNXC |
| 47XD6YEWK0 | 47XD6YEWK0 | statement | record (an 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.32174#A6GB |
| 47Y9RM9PE2 | 47Y9RM9PE2 | statement | record (an 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#HSAJ |
| 47YF7J2V14 | 47YF7J2V14 | statement | open | napkin tex/linalg/transpose.tex#theorem-3 |
| 47YFXY2XDH | 47YFXY2XDH | statement | record (an 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.28417#YTON |
| 47ZDFEBKFJ | 47ZDFEBKFJ | statement | record (an 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.06724#M6JB |
| 47ZFY2KGRW | 47ZFY2KGRW | statement | record (an 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.07092#Y75A |
| 480JXW7MTG | 480JXW7MTG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1304.4839#97VN |
| 480XTGXEXA | 480XTGXEXA | proof | open | hott_book categories.tex#proof-7 |
| 4819BJNB5X | 4819BJNB5X | statement | record (an 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.22205#IHV0 |
| 481XXWG6MA | 481XXWG6MA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.09049#AKS1 |
| 4825ZNMKQ8 | 4825ZNMKQ8 | statement | record (an 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.25915#6GH6 |
| 482QVPB280 | 482QVPB280 | statement | record (an 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.20077#RHD3 |
| 482WQPQVSE | 482WQPQVSE | definition | open | austin_ula src/section4-5.xml#definition-3 |
| 4834CC92TS | 4834CC92TS | statement | record (an 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.02669#O7XT |
| 483JHNMCJ6 | 483JHNMCJ6 | 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.28306#DWV5 |
| 483PY2EZNF | 483PY2EZNF | statement | record (an 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.11470#H1LX |
| 4841A5QKTQ | 4841A5QKTQ | statement | record (an 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.08956#WZ64 |
| 4848D2J2SA | 4848D2J2SA | statement | record (an 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#LV3C |
| 484WP9KZ3A | 484WP9KZ3A | statement | record (an 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.14204#572C |
| 4851R45ZCF | 4851R45ZCF | statement | record (an 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.21921#WBRC |
| 4852P2ZA9T | 4852P2ZA9T | statement | record (an 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.01586#X0MS |
| 485G5TXH14 | 485G5TXH14 | statement | record (an 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#04KH |
| 485V3JBPWE | 485V3JBPWE | 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.19357#WBHF |
| 4863PVRQTW | 4863PVRQTW | statement | record (an 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#8WA2 |
| 486GWP04C9 | 486GWP04C9 | statement | record (an 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.10816#K6UH |
| 4875G724GC | 4875G724GC | statement | record (an 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.04834#AXTD |
| 4875XWCW3C | 4875XWCW3C | 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/0003117#BDOW |
| 487V0PG3AS | 487V0PG3AS | statement | record (an 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.16640#UCLT |
| 4888HX007A | 4888HX007A | statement | record (an 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.13671#JC5W |
| 488F9DC6VX | 488F9DC6VX | statement | record (an 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.05539#5WS2 |
| 488ZR1WT7E | 488ZR1WT7E | statement | record (an 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.07453#3TMG |
| 489WAS5H4J | 489WAS5H4J | 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.20558#7BFN |
| 48A9MFFMM0 | 48A9MFFMM0 | statement | record (an 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.15086#F3AQ |
| 48AES2JV1Q | 48AES2JV1Q | exercise | open | napkin tex/measure/caratheodory.tex#ques-3 |
| 48AQ440DTQ | 48AQ440DTQ | 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.15432#4LII |
| 48ASJ7A31Y | 48ASJ7A31Y | 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.11493#SEP1 |
| 48AYE40NSP | 48AYE40NSP | statement | record (an 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.07409#ARD1 |
| 48BNVX27SK | 48BNVX27SK | 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.24465#B47I |
| 48BRPG2SPV | 48BRPG2SPV | 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 2510.12502#LL6G |
| 48D0TZXES6 | 48D0TZXES6 | statement | record (an 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#TCA9 |
| 48D1E2NWAW | 48D1E2NWAW | statement | record (an 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.28893#O118 |
| 48DBNKB9EJ | 48DBNKB9EJ | statement | record (an 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.33162#HF8Q |
| 48DFDS80CC | 48DFDS80CC | exercise | open | lebl_ra ch-multivar-int.tex#exercise-36 |
| 48DTR4RBSR | 48DTR4RBSR | statement | open | napkin tex/alg-geom/mor-scheme.tex#corollary-1 |
| 48DZ38W642 | 48DZ38W642 | 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.03264#HLND |
| 48E8VCAS9A | 48E8VCAS9A | statement | record (an 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.08633#OBJ7 |
| 48EBF7J7YV | 48EBF7J7YV | 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.39317#PZUO |
| 48EEMSAKT8 | 48EEMSAKT8 | statement | record (an 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#68W1 |
| 48EXVDW8JD | 48EXVDW8JD | statement | record (an 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.18277#9UN9 |
| 48FBPPAM4M | 48FBPPAM4M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.01868#ASGB |
| 48FJTCJCCP | 48FJTCJCCP | definition | open | napkin tex/riemann-surface/morphism.tex#definition-3 |
| 48FTZBXA17 | 48FTZBXA17 | statement | record (an 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.2047#BSBI |
| 48FW2XF9WN | 48FW2XF9WN | statement | record (an 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.29838#YEUT |
| 48G7SVRR3B | 48G7SVRR3B | statement | record (an 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.14068#3J97 |
| 48GA5AJTVV | 48GA5AJTVV | statement | record (an 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#A0TL |
| 48GXFXTPGB | 48GXFXTPGB | statement | record (an 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#1MCY |
| 48HEYK635P | 48HEYK635P | statement | record (an 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.08010#UBD5 |
| 48HYMK16QW | 48HYMK16QW | statement | record (an 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.12846#100N |
| 48JDCCHX7C | 48JDCCHX7C | proof | open | hott_book homotopy.tex#proof-40 |
| 48JT9ZHRG4 | 48JT9ZHRG4 | statement | record (an 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#VUXE |
| 48KQ643JTN | 48KQ643JTN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.01497#J0FF |
| 48KZ9RR7K1 | 48KZ9RR7K1 | statement | record (an 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.36279#QJDA |
| 48M0WNSHES | 48M0WNSHES | statement | record (an 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.02628#JR8I |
| 48MYW3E31C | 48MYW3E31C | statement | record (an 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.07030#HB9D |
| 48N2QQAVGD | 48N2QQAVGD | statement | record (an 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#GZQ4 |
| 48NAEGRY2W | 48NAEGRY2W | proof | open | applied_combinatorics source/s_kitchensink_extremal-set-theory.ptx#proof-1 |
| 48ND10JD6R | 48ND10JD6R | 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.02681#K2RY |
| 48NQA5PKP8 | 48NQA5PKP8 | 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.07370#BC6M |
| 48QP2KKWKA | 48QP2KKWKA | exercise | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#prob:inverse |