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 6601–6700 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 33WVJR87EK | 33WVJR87EK | statement | record (an 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.06899#O2K7 |
| 33X0GHD238 | 33X0GHD238 | 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.07280#GPMN |
| 33X0NVAFP6 | 33X0NVAFP6 | statement | record (an 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.28282#RE60 |
| 33X2PS1QMJ | 33X2PS1QMJ | exercise | open | open_logic content/first-order-logic/sequent-calculus/proving-things.tex#prob-1 |
| 33XA74BA3T | 33XA74BA3T | 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.04600#4A1V |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 3467HV0ZBG | 3467HV0ZBG | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q25935064, nLab Davesh Maulik |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 34VEB731HA | 34VEB731HA | 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 1711.00219#GZA3 |
| 34WKGC0KM1 | 34WKGC0KM1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.02346#OWWL |
| 34WQFM3NYW | 34WQFM3NYW | exercise | open | levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-11 |
| 34WYX4392D | 34WYX4392D | statement | record (an 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.13621#9NVR |
| 34X7CMJK1E | 34X7CMJK1E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2408.13548#J0IE |
| 34XAJA86N1 | 34XAJA86N1 | statement | record (an 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.28774#2SKD |
| 34XC6S2D5F | 34XC6S2D5F | 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.14045#AH7J |
| 34XGDM73H9 | 34XGDM73H9 | statement | record (an 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.04165#1TDA |