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 9101–9200 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 40ZEW3ZSKG | 40ZEW3ZSKG | statement | record (an 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.09840#02D3 |
| 40ZGVQE4FX | 40ZGVQE4FX | proof | open | open_logic content/first-order-logic/completeness/downward-ls.tex#proof-2 |
| 40ZJF6V16Z | 40ZJF6V16Z | statement | record (an 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.13888#J3LT |
| 41076T6EVS | 41076T6EVS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.02331#XDS5 |
| 410K0BB4HW | 410K0BB4HW | statement | record (an 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.01216#WNFZ |
| 412GEDZ3JK | 412GEDZ3JK | unknown | open | arXiv 2410.01436#OYB4 |
| 413A84ZW7A | 413A84ZW7A | statement | record (an 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.11946#J011 |
| 413DXMJ2RX | 413DXMJ2RX | 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.31274#WJJT |
| 4143KAK79V | 4143KAK79V | statement | record (an 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.33531#GGKN |
| 414PBTN5S6 | 414PBTN5S6 | 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.28669#0G37 |
| 414RAYYNTY | 414RAYYNTY | 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.30529#JDVU |
| 415DBYT5DR | 415DBYT5DR | statement | record (an 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.11336#KHRH |
| 415HSJQP74 | 415HSJQP74 | 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.09949#TD1F |
| 415S4B9CQM | 415S4B9CQM | statement | record (an 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.00267#T4YQ |
| 416C9HWRJ6 | 416C9HWRJ6 | statement | record (an 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.20126#F2V1 |
| 416HF47B0Z | 416HF47B0Z | statement | record (an 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.36594#0JIU |
| 416J2SSTQ0 | 416J2SSTQ0 | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-10 |
| 416JJ7E9CG | 416JJ7E9CG | 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#C36Z |
| 416TH7690J | 416TH7690J | statement | record (an 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#Z27H |
| 4172EERD3S | 4172EERD3S | 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.25656#WP8F |
| 417509A8SC | 417509A8SC | statement | record (an 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.05820#LHJK |
| 4175NVYS24 | 4175NVYS24 | statement | record (an 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.26922#G2EO |
| 417A923EDX | 417A923EDX | statement | open | hott_book homotopy.tex#lem:pik-nconnected |
| 417WVNMN3X | 417WVNMN3X | statement | record (an 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.04593#JGRG |
| 4199Z8SJVS | 4199Z8SJVS | statement | record (an 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#D4PY |
| 41A5GDXW3K | 41A5GDXW3K | statement | record (an 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.15365#0VLN |
| 41BP3BWBKF | 41BP3BWBKF | 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.03677#X5WZ |
| 41D6RW7AR1 | 41D6RW7AR1 | 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.18302#DBM9 |
| 41DJ7WGVF7 | 41DJ7WGVF7 | statement | record (an 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#MKYH |
| 41DP1VW20F | 41DP1VW20F | statement | record (an 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.25269#N8YS |
| 41EC8WC6E9 | 41EC8WC6E9 | statement | record (an 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.13214#QY81 |
| 41ETJDVHQR | 41ETJDVHQR | 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#5V82 |
| 41F0QDJ26A | 41F0QDJ26A | 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#ZOT2 |
| 41GFSCDK0V | 41GFSCDK0V | statement | record (an 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.10505#04VX |
| 41GKZKX11K | 41GKZKX11K | statement | record (an 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.25353#6M9Z |
| 41GNEWZ6G3 | 41GNEWZ6G3 | statement | record (an 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#4ZPX |
| 41GV37S01S | 41GV37S01S | exercise | open | lebl_diffyqs ch-systems.tex#exercise-69 |
| 41H4QNQKZB | 41H4QNQKZB | statement | record (an 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.00562#Z0IH |
| 41H5AVMZZS | 41H5AVMZZS | statement | record (an 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.30600#WQBB |
| 41H6BJRXA4 | 41H6BJRXA4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1912.08672#V408 |
| 41HQXNYBZ6 | 41HQXNYBZ6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2105.13129#K496 |
| 41J6MMYST4 | 41J6MMYST4 | 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#1CE9 |
| 41JGYM1QA4 | 41JGYM1QA4 | 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/9602216#SCS5 |
| 41JP36S8VY | 41JP36S8VY | statement | record (an 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#EW13 |
| 41JQ1P6A37 | 41JQ1P6A37 | statement | record (an 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.29023#Q1FM |
| 41K5W672V5 | 41K5W672V5 | statement | record (an 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.40156#LOOU |
| 41K6MC6SSX | 41K6MC6SSX | statement | record (an 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.22082#ANZL |
| 41KV5SK9QK | 41KV5SK9QK | statement | record (an 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.12034#F3MN |
| 41MRS6Z6WZ | 41MRS6Z6WZ | 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.26337#LSYT |
| 41NA0DJJ5M | 41NA0DJJ5M | statement | record (an 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.18101#5746 |
| 41NCGWGJWQ | 41NCGWGJWQ | statement | record (an 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.38228#8NWZ |
| 41PFV0PKKX | 41PFV0PKKX | statement | record (an 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.13105#W3CV |
| 41QQ9VYBS9 | 41QQ9VYBS9 | statement | record (an 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.36818#8BI9 |
| 41S1HSXMWZ | 41S1HSXMWZ | statement | record (an 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.24994#T0DV |
| 41SJC87R36 | 41SJC87R36 | proof | open | napkin tex/calculus/taylor.tex#proof-2 |
| 41T2NRWV6X | 41T2NRWV6X | statement | record (an 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.04503#ID1J |
| 41TEAXYF0Q | 41TEAXYF0Q | statement | record (an 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.11968#PP1B |
| 41TV322SKV | 41TV322SKV | 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.17547#LW24 |
| 41VE449FF7 | 41VE449FF7 | statement | record (an 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#ZGER |
| 41W9XV603D | 41W9XV603D | statement | record (an 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.35683#Y20V |
| 41WK3GT7B3 | 41WK3GT7B3 | statement | record (an 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.04772#M1JI |
| 41WPPJ6XTB | 41WPPJ6XTB | statement | record (an 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.38749#8DYQ |
| 41WVHX7AM2 | 41WVHX7AM2 | 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.00934#8YGC |
| 41XACDHWQZ | 41XACDHWQZ | statement | record (an 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.21017#WIC0 |
| 41XR07YB85 | 41XR07YB85 | statement | record (an 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#0C70 |
| 41XZXB98C5 | 41XZXB98C5 | statement | record (an 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.12801#XX0P |
| 41YM7QX15V | 41YM7QX15V | statement | record (an 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.09278#HQI9 |
| 41YQQR5YR3 | 41YQQR5YR3 | 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 2308.05715#KV6X |
| 41YQXWKDYV | 41YQXWKDYV | statement | record (an 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.07573#0040 |
| 41ZER46DX1 | 41ZER46DX1 | statement | record (an 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.05398#ZK3B |
| 41ZKSX3D6P | 41ZKSX3D6P | statement | record (an 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.20891#2MWX |
| 42 | SGC28TPNEV | unknown | open | Wikidata Q812996, MathWorld 42 |
| 4203WPRJVA | 4203WPRJVA | 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.27872#4DQV |
| 420DYM6515 | 420DYM6515 | statement | record (an 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.03835#EF5N |
| 4211DAJ93V | 4211DAJ93V | statement | record (an 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.08382#RTFI |
| 4211Z4AM24 | 4211Z4AM24 | statement | record (an 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.26434#BJ2J |
| 421F91BG7Y | 421F91BG7Y | statement | record (an 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#2S2A |
| 422J0YKADQ | 422J0YKADQ | statement | record (an 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.16989#510B |
| 422NN6GE8D | 422NN6GE8D | statement | record (an 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#0S15 |
| 422PY7Y7ZN | 422PY7Y7ZN | statement | record (an 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.16157#U1ZH |
| 422WMS2JE2 | 422WMS2JE2 | statement | record (an 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.17066#OD0O |
| 422Z2KYYQJ | 422Z2KYYQJ | statement | record (an 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.09300#BVST |
| 4236F3Y812 | 4236F3Y812 | exercise | open | napkin tex/alg-NT/norm-trace.tex#prob:OK_discrete |
| 423HW5NTQD | 423HW5NTQD | statement | record (an 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.12480#TOVF |
| 424H6MMX79 | 424H6MMX79 | statement | record (an 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.17602#E58Y |
| 425FPC26XZ | 425FPC26XZ | example | open | napkin tex/alg-geom/affine-var.tex#example-2 |
| 4263ED5RQD | 4263ED5RQD | 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.36423#2IR4 |
| 426BKBN0KV | 426BKBN0KV | statement | record (an 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.32829#NJAA |
| 426HGGGPP4 | 426HGGGPP4 | statement | record (an 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.10873#UAR5 |
| 426HXNQ7HG | 426HXNQ7HG | statement | record (an 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#8WDE |
| 426VZ9XRWV | 426VZ9XRWV | statement | record (an 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.18226#BCWO |
| 42772AYKH0 | 42772AYKH0 | statement | record (an 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#3T4S |
| 427GE7AW7Q | 427GE7AW7Q | statement | record (an 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.20368#NWMZ |
| 4283JXK27A | 4283JXK27A | 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.33656#SY3P |
| 428B6QZDH9 | 428B6QZDH9 | statement | record (an 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.21600#ZQLK |
| 428KHXGT88 | 428KHXGT88 | statement | record (an 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.02933#Y4RN |
| 4292Q3A2W1 | 4292Q3A2W1 | statement | record (an 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.05506#653O |
| 429VYEMMJW | 429VYEMMJW | statement | record (an 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.16235#GJPF |
| 42A9NG6XDV | 42A9NG6XDV | 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.20131#84AQ |
| 42ATK8XZRE | 42ATK8XZRE | 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.24399#U82Q |