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 9001–9100 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3ZYX8Y0CQR | 3ZYX8Y0CQR | 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 1903.07030#M3ZR |
| 3ZZ2S75CNZ | 3ZZ2S75CNZ | statement | open | lebl_scv scv.tex#thm:nopropmapprodandnodisc |
| 3ZZEKDZFXH | 3ZZEKDZFXH | statement | record (an 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.18084#YPBP |
| 3ZZJ5DAD2E | 3ZZJ5DAD2E | statement | record (an 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.37103#R1N5 |
| 3ZZK2PHSWT | 3ZZK2PHSWT | statement | record (an 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.26019#P0U8 |
| 3ZZR801X2H | 3ZZR801X2H | statement | record (an 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.21622#KFNO |
| 4 | 7HJ1NM09CV | statement | open | Wikidata Q202, MathWorld 4, ProofWiki 4 |
| 4-manifold | QE8SSVKTJ6 | unknown | open | Wikidata Q2566544, EoM Four-dimensional_manifold, nLab 4-manifold |
| 4-polytope | 5FWXWKWYAT | unknown | open | Wikidata Q2155148, MathWorld Polychoron |
| 4-simplex | Y1PGP0DDQ2 | unknown | open | Wikidata Q1634717, MathWorld Pentatope |
| 4-sunlet graph | CWPGR3DYBD | unknown | open | Wikidata Q136694099, House of Graphs 48 |
| 4-tuple | 2E38MSF8YV | unknown | open | Wikidata Q3927329, MathWorld Quadruple |
| 400BFXDS2V | 400BFXDS2V | statement | record (an 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.11276#605T |
| 400DZ82VAH | 400DZ82VAH | statement | record (an 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.01915#PC8M |
| 400F16671C | 400F16671C | proof | open | lebl_ra ch-multivar-int.tex#proof-20 |
| 400FR1D8JG | 400FR1D8JG | exercise | open | applied_combinatorics source/s_posets_exercises.ptx#exer_posets_division |
| 401DE6B3BR | 401DE6B3BR | statement | record (an 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.03231#VZGY |
| 401N5BPGWP | 401N5BPGWP | definition | open | lebl_ra ch-vol1-intro.tex#defn-4 |
| 401SXCSW5X | 401SXCSW5X | statement | record (an 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.22268#S30A |
| 401ZFMAA15 | 401ZFMAA15 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1509.00950#DRPS |
| 4026NEHNE1 | 4026NEHNE1 | statement | record (an 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.32078#8HMN |
| 40301Y24SQ | 40301Y24SQ | statement | record (an 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.39747#NC25 |
| 4036AYBVNY | 4036AYBVNY | statement | record (an 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.01498#KB7Y |
| 403EH4B6C9 | 403EH4B6C9 | statement | record (an 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.09506#GVR6 |
| 403ZT0N2WR | 403ZT0N2WR | statement | record (an 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.08912#5D93 |
| 404KBYTSMJ | 404KBYTSMJ | example | open | levin_dmoi ptx/sec_seq-induction.ptx#example-4 |
| 404ZJ6AK6K | 404ZJ6AK6K | 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 2212.01916#JLSW |
| 40582J0Y4A | 40582J0Y4A | statement | record (an 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.00312#AUTG |
| 4058C69QTA | 4058C69QTA | statement | record (an 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.29152#TPYQ |
| 40648KM0RB | 40648KM0RB | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-55 |
| 406TYVX5YX | 406TYVX5YX | statement | open | open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prop:soundMP |
| 4074EV81C6 | 4074EV81C6 | example | open | open_logic content/sets-functions-relations/functions/function-basics.tex#examplefunext |
| 407AECNR4D | 407AECNR4D | statement | record (an 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.28336#N5IR |
| 407GDPFNKG | 407GDPFNKG | exercise | open | austin_ula src/exercises/exercises2-6.xml#exercise-5 |
| 407SJ4FB8F | 407SJ4FB8F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.05730#HIKY |
| 407VBR927Z | 407VBR927Z | statement | record (an 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.20316#JF94 |
| 407YSNEQ1F | 407YSNEQ1F | statement | record (an 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.12777#JVV2 |
| 407ZGZ0VJB | 407ZGZ0VJB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.10920#T5EH |
| 40809G16T9 | 40809G16T9 | statement | record (an 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.25301#DVJS |
| 4081ZBWQBQ | 4081ZBWQBQ | statement | record (an 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.08912#WNR8 |
| 408DF06VET | 408DF06VET | statement | record (an 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.22268#8U8V |
| 408F0YGNCD | 408F0YGNCD | statement | record (an 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.11199#2IX5 |
| 408KGE959X | 408KGE959X | statement | record (an 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.07728#JEC7 |
| 409034MA7V | 409034MA7V | statement | record (an 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.38735#0USO |
| 4094VQ6SEK | 4094VQ6SEK | statement | record (an 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.00109#NDPY |
| 409HDS1GN5 | 409HDS1GN5 | statement | open | lebl_ra ch-multivar-int.tex#mv:prop:integralsmallerset |
| 40A6JERNJ0 | 40A6JERNJ0 | 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 2405.14678#5HI0 |
| 40AFDM6P8N | 40AFDM6P8N | statement | record (an 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.05514#OVFI |
| 40AQT4MNNB | 40AQT4MNNB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1004.4564#WGVO |
| 40AY96PAME | 40AY96PAME | statement | record (an 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.18219#9SE3 |
| 40AYKA9D1M | 40AYKA9D1M | statement | record (an 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.13981#J8YL |
| 40B5B4425F | 40B5B4425F | 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.21501#DHCG |
| 40B6GYTW60 | 40B6GYTW60 | statement | record (an 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.02379#L12A |
| 40BACBTHHC | 40BACBTHHC | proof | open | hott_book hlevels.tex#proof-26 |
| 40BZZ1B2RT | 40BZZ1B2RT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0911.1417#Y7LG |
| 40C4KT0RWA | 40C4KT0RWA | statement | record (an 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.08738#BQQQ |
| 40D5J294QD | 40D5J294QD | exercise | open | levin_dmoi ptx/sec_gt-coloring.ptx#investigation-1 |
| 40DQMQEDC6 | 40DQMQEDC6 | statement | record (an 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.35102#EW0P |
| 40FG5WG1AE | 40FG5WG1AE | statement | record (an 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.37093#EBPU |
| 40FMKB38H3 | 40FMKB38H3 | example | open | hott_book hits.tex#thm:homotopy-groups |
| 40FXRY0P4G | 40FXRY0P4G | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-21 |
| 40G1J949B1 | 40G1J949B1 | statement | record (an 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#J0UA |
| 40G9DHHGXN | 40G9DHHGXN | statement | record (an 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.08873#5E4U |
| 40GH8AEHF1 | 40GH8AEHF1 | 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.11383#LWXI |
| 40GNV2VAZ9 | 40GNV2VAZ9 | statement | record (an 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.18922#KNS2 |
| 40GY9GPNT0 | 40GY9GPNT0 | statement | record (an 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.10570#ACSY |
| 40HRKRKS3R | 40HRKRKS3R | 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.27078#XLHI |
| 40HWCMBA1B | 40HWCMBA1B | statement | record (an 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.25106#IM2H |
| 40JVRW3D2M | 40JVRW3D2M | statement | record (an 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.29274#8Q7B |
| 40K3N2SB3X | 40K3N2SB3X | statement | record (an 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.01057#OI9N |
| 40KMYKQT9J | 40KMYKQT9J | statement | record (an 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.04314#2WWT |
| 40MKMV0XPE | 40MKMV0XPE | statement | record (an 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.16518#3UUJ |
| 40MTPFCSMZ | 40MTPFCSMZ | statement | record (an 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.19872#FXUZ |
| 40N9KKJ17P | 40N9KKJ17P | statement | record (an 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.10545#UDPC |
| 40NNTQKZRN | 40NNTQKZRN | statement | record (an 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#44FU |
| 40PDMK9QR8 | 40PDMK9QR8 | statement | record (an 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.08708#YIJ5 |
| 40PJ10CVPQ | 40PJ10CVPQ | statement | open | lebl_ra ch-riemann.tex#prop-5 |
| 40PYZHJP5R | 40PYZHJP5R | statement | record (an 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#BWRT |
| 40QFJN5G06 | 40QFJN5G06 | statement | record (an 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.13392#RXYJ |
| 40QTJTHRCX | 40QTJTHRCX | statement | record (an 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.35858#5M1S |
| 40R0P89C92 | 40R0P89C92 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0909.2893#GE2G |
| 40R5PRHF6Z | 40R5PRHF6Z | exercise | open | lebl_ra ch-metric.tex#exercise:integralcontcontextra |
| 40REB4GSQP | 40REB4GSQP | statement | record (an 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.29878#DYL1 |
| 40S7HDXPGW | 40S7HDXPGW | statement | record (an 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.00775#6IB3 |
| 40SJ3WDDEE | 40SJ3WDDEE | statement | record (an 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.15588#DW6D |
| 40SWJCAZ6S | 40SWJCAZ6S | statement | record (an 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#197I |
| 40T3S958Q3 | 40T3S958Q3 | statement | record (an 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.25038#GXN5 |
| 40TXB84P26 | 40TXB84P26 | statement | open | hott_book equivalences.tex#thm:total-fiber-equiv |
| 40V2QMXHWQ | 40V2QMXHWQ | statement | record (an 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.10243#00UG |
| 40VAB44ZB0 | 40VAB44ZB0 | statement | record (an 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.31276#D0ZB |
| 40VCE1RV28 | 40VCE1RV28 | statement | open | ernst_ibl MAAPressVersion/Partitions.tex#thm:partition yields equivalence relation |
| 40VW8GJPVK | 40VW8GJPVK | 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.10591#DLAL |
| 40W8N58BWK | 40W8N58BWK | 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.33704#HD1C |
| 40WZCXAGG6 | 40WZCXAGG6 | 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 2409.01237#CDZ2 |
| 40X2V1KJZB | 40X2V1KJZB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.02312#JHTH |
| 40X8EDEGJV | 40X8EDEGJV | 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.32338#W30S |
| 40YEVG8YYV | 40YEVG8YYV | statement | record (an 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.21427#EB4W |
| 40YV0MJMN8 | 40YV0MJMN8 | statement | record (an 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.06326#EQE9 |
| 40Z7XQSK98 | 40Z7XQSK98 | statement | record (an 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.18324#DI5C |
| 40ZER003S4 | 40ZER003S4 | statement | record (an 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.09162#CC8F |