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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 7701–7800 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 33XP3ZGHP2 | 33XP3ZGHP2 | statement | record (an 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.35229#UOMI |
| 33YEZ806JT | 33YEZ806JT | statement | record (an 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.40189#QP2J |
| 33YMYMBEZJ | 33YMYMBEZJ | statement | record (an 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#AZAE |
| 33YW3PPXB2 | 33YW3PPXB2 | statement | record (an 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.05986#QSBL |
| 33Z4YP5KE8 | 33Z4YP5KE8 | statement | record (an 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.00271#AN3K |
| 33ZE806DAD | 33ZE806DAD | statement | record (an 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.21045#5VFG |
| 33ZG5NZG2P | 33ZG5NZG2P | statement | record (an 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.21408#2KIP |
| 33ZQP6W91A | 33ZQP6W91A | statement | record (an 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.40207#OIDH |
| 33ZRE0DTWQ | 33ZRE0DTWQ | statement | record (an 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#KJJR |
| 33ZSD9MA7V | 33ZSD9MA7V | statement | record (an 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.39890#T92J |
| 340 (number) | 8KTGFH3A1Q | unknown | open | Wikipedia 300 (number)#4YZJ |
| 3407 (number) | HWM99YFQ0A | unknown | open | Wikipedia 3000 (number)#KCOI |
| 340HD6MGK5 | 340HD6MGK5 | statement | record (an 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#9HW8 |
| 340WY655CG | 340WY655CG | statement | record (an 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#TFNO |
| 340Z5V6QZG | 340Z5V6QZG | statement | record (an 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.28011#410T |
| 341FCTHR1P | 341FCTHR1P | 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.33124#O4WX |
| 341NY727AW | 341NY727AW | 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.10558#6UZ1 |
| 341VDY4KVF | 341VDY4KVF | 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.37520#3LLR |
| 342 (number) | QNH1BJKBRD | unknown | open | Wikipedia 300 (number)#M61S |
| 34204BYTBJ | 34204BYTBJ | statement | record (an 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.21544#J10N |
| 342DPDK7E1 | 342DPDK7E1 | statement | record (an 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#T28A |
| 342DSANBBW | 342DSANBBW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.15490#9CIZ |
| 342ZJFE0Y6 | 342ZJFE0Y6 | statement | record (an 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#OCMV |
| 3436FCCPN7 | 3436FCCPN7 | statement | record (an 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.16898#TPFN |
| 343DYCJN5P | 343DYCJN5P | 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 1903.07030#0IO3 |
| 344 (number) | ETN7TTPF9V | unknown | open | Wikipedia 300 (number)#QTW9 |
| 3441KVJRZF | 3441KVJRZF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.05048#10F4 |
| 34466S3KM1 | 34466S3KM1 | statement | record (an 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.05708#V2SW |
| 344DXV6D1G | 344DXV6D1G | proof | open | lebl_ra ch-vol1-intro.tex#proof-1 |
| 344FQJC5AD | 344FQJC5AD | statement | record (an 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.19023#BJ3M |
| 344W3VKSYM | 344W3VKSYM | 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#F1IT |
| 345 (number) | 45HA3MBVJP | unknown | open | Wikipedia 300 (number)#EGOP |
| 34536KQKRQ | 34536KQKRQ | statement | record (an 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.09086#ZNDH |
| 3454QPN42G | 3454QPN42G | statement | open | napkin tex/homology/cup-product.tex#lemma-1 |
| 345NFDY2ZE | 345NFDY2ZE | statement | record (an 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.13908#653Y |
| 345SBYJJXD | 345SBYJJXD | 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 1612.08394#YSNY |
| 345YXXED53 | 345YXXED53 | 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.31269#4BKD |
| 346 (number) | KFVQGJWV93 | unknown | open | Wikipedia 300 (number)#K753 |
| 3467HV0ZBG | 3467HV0ZBG | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q25935064, nLab Davesh Maulik |
| 34715ZMHBE | 34715ZMHBE | statement | record (an 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.20656#HSEG |
| 347SCJNC70 | 347SCJNC70 | statement | record (an 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.12169#7JQO |
| 348 (number) | R2Z4JHBJQX | unknown | open | Wikipedia 300 (number)#40YO |
| 3481NMKKEG | 3481NMKKEG | statement | record (an 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.12108#6EZH |
| 348JZ85HVV | 348JZ85HVV | statement | record (an 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.32650#M915 |
| 348VNBE2V0 | 348VNBE2V0 | statement | record (an 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.25390#M030 |
| 348WCRBMWQ | 348WCRBMWQ | statement | record (an 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.03715#3SVE |
| 349 (number) | V4KBRVNW1Y | unknown | open | Wikipedia 300 (number)#Y9PY |
| 3490ZX30KV | 3490ZX30KV | statement | record (an 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.29712#RGOE |
| 3499D752XK | 3499D752XK | statement | record (an 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.32033#VRGV |
| 34A9Y7WZ2S | 34A9Y7WZ2S | statement | record (an 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.36403#WNWG |
| 34AQC5SXMN | 34AQC5SXMN | 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.30976#IEJ4 |
| 34C7TSNJEG | 34C7TSNJEG | exercise | open | lebl_scv scv.tex#exercise-36 |
| 34DG4ZFJ3F | 34DG4ZFJ3F | statement | record (an 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.20001#SS4C |
| 34DYX8B5Y3 | 34DYX8B5Y3 | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-16 |
| 34E6FAXDDA | 34E6FAXDDA | 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.07401#6RSI |
| 34EG0CNJC9 | 34EG0CNJC9 | statement | record (an 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.24584#1NSP |
| 34EH2SWC07 | 34EH2SWC07 | statement | record (an 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.28742#5NMA |
| 34ETNHW2FB | 34ETNHW2FB | 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#JNQG |
| 34EWZ8RBD1 | 34EWZ8RBD1 | 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.31274#CUCY |
| 34FNT2DMW5 | 34FNT2DMW5 | statement | record (an 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.02642#RJW8 |
| 34FT7K4XV1 | 34FT7K4XV1 | statement | record (an 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.16386#QMOO |
| 34FVYJZ3GB | 34FVYJZ3GB | statement | record (an 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#8XY7 |
| 34GB11602Q | 34GB11602Q | statement | record (an 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.21645#SVZJ |
| 34GD9BY3SR | 34GD9BY3SR | definition | open | open_logic content/proof-theory/propositions-as-types/types.tex#defn-1 |
| 34GWG0SPVR | 34GWG0SPVR | statement | record (an 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.03715#KD6W |
| 34GX72WFSD | 34GX72WFSD | statement | record (an 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#B943 |
| 34GXKBT59T | 34GXKBT59T | statement | record (an 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#BFX3 |
| 34H6Q4Q241 | 34H6Q4Q241 | statement | record (an 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#43B8 |
| 34HBVJWFYT | 34HBVJWFYT | 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.30113#SUK2 |
| 34HH2135CT | 34HH2135CT | 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#I661 |
| 34HKAXAZPF | 34HKAXAZPF | statement | record (an 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.30262#GN6D |
| 34HX46X45Z | 34HX46X45Z | statement | record (an 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.16834#926A |
| 34JCH7T33X | 34JCH7T33X | statement | record (an 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.10262#2EYQ |
| 34MECKMTDQ | 34MECKMTDQ | statement | record (an 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.13076#NQWE |
| 34MQ7AWFFR | 34MQ7AWFFR | statement | record (an 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.21972#R6PT |
| 34N3PECC25 | 34N3PECC25 | statement | open | lebl_scv scv.tex#prop-22 |
| 34NBJS57ZJ | 34NBJS57ZJ | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#mv:exercise:closedcurveintegral |
| 34NCFVV6YC | 34NCFVV6YC | statement | record (an 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.34283#ZCMT |
| 34NCW6KXPF | 34NCW6KXPF | statement | record (an 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.35542#98KO |
| 34NM2X9X4Z | 34NM2X9X4Z | statement | record (an 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.26162#J29A |
| 34NW0C4990 | 34NW0C4990 | statement | record (an 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.29022#QROR |
| 34P9NBJ3G1 | 34P9NBJ3G1 | statement | record (an 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#4EMN |
| 34PBWNT982 | 34PBWNT982 | statement | record (an 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#YJA9 |
| 34PJX1QTSZ | 34PJX1QTSZ | exercise | open | open_logic content/intuitionistic-logic/soundness-completeness/completeness-thm.tex#prob-3 |
| 34PWKR9QNT | 34PWKR9QNT | statement | record (an 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.21528#20TJ |
| 34PZV4TWGX | 34PZV4TWGX | statement | record (an 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.23847#BBV0 |
| 34Q4YAMD5W | 34Q4YAMD5W | statement | record (an 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#2S9V |
| 34QJ2QQ0M2 | 34QJ2QQ0M2 | statement | record (an 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#81XN |
| 34QVBBCXFR | 34QVBBCXFR | statement | open | lebl_ra ch-contfunc.tex#prop:compositioncont |
| 34R4HNJN2B | 34R4HNJN2B | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#exercise-10 |
| 34R9ZSFPK9 | 34R9ZSFPK9 | statement | open | open_logic content/computability/recursive-functions/sequences.tex#prop:subseq |
| 34RFX0B94M | 34RFX0B94M | statement | record (an 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#CE42 |
| 34RKDZSCA6 | 34RKDZSCA6 | statement | record (an 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.12329#W8R8 |
| 34RX844SZM | 34RX844SZM | 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 2208.04502#C5OF |
| 34SQ33RTMF | 34SQ33RTMF | 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 2110.08714#8HJA |
| 34SS1MT6HP | 34SS1MT6HP | statement | record (an 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.34516#4VUJ |
| 34T0J2SNSZ | 34T0J2SNSZ | 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#KVMH |
| 34T7HCSHPT | 34T7HCSHPT | unknown | open | arXiv 2205.15365#NLJO |
| 34TV5GN5ZX | 34TV5GN5ZX | statement | record (an 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.38436#N2BL |
| 34VDKY25QN | 34VDKY25QN | 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.06755#3ZPF |