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 18901–19000 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 7M94J7W3X5 | 7M94J7W3X5 | statement | record (an 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#A5SB |
| 7M94XPMRA2 | 7M94XPMRA2 | statement | record (an 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.29877#U3N7 |
| 7M98E7T0WK | 7M98E7T0WK | statement | open | napkin tex/alg-geom/mor-scheme.tex#proposition-4 |
| 7MACF0S36Y | 7MACF0S36Y | statement | record (an 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#B6KP |
| 7MAJ0PY66K | 7MAJ0PY66K | statement | record (an 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.03461#HY1A |
| 7MANKAABH2 | 7MANKAABH2 | statement | record (an 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#PCNU |
| 7MBEXGDYYT | 7MBEXGDYYT | statement | record (an 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.11145#MENZ |
| 7MBTEVTCVZ | 7MBTEVTCVZ | statement | open | hott_book hlevels.tex#cor-5 |
| 7MC59TT5A7 | 7MC59TT5A7 | 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 2211.10816#1M0I |
| 7MCS6QAXW0 | 7MCS6QAXW0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.10268#IVCD |
| 7MD30RD9DC | 7MD30RD9DC | statement | record (an 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.28808#REBJ |
| 7MFY7X9N64 | 7MFY7X9N64 | statement | record (an 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.26357#4PX8 |
| 7MGCZ816QK | 7MGCZ816QK | 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.30444#0PVD |
| 7MGE81QWAZ | 7MGE81QWAZ | 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.05499#28ZB |
| 7MGHKEGTHS | 7MGHKEGTHS | statement | record (an 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.25897#2RY8 |
| 7MGQG99GR9 | 7MGQG99GR9 | statement | record (an 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.16563#JQZN |
| 7MGY81FMNH | 7MGY81FMNH | example | open | levin_dmoi ptx/sec_intro-functions.ptx#example-10 |
| 7MGZP48R4X | 7MGZP48R4X | statement | record (an 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/0406514#JWCF |
| 7MHGADCZN8 | 7MHGADCZN8 | statement | record (an 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.28189#YKI0 |
| 7MHJJAZMXC | 7MHJJAZMXC | statement | record (an 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#Z6AK |
| 7MJ1ANN8GV | 7MJ1ANN8GV | proof | open | open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#proof-2 |
| 7MJB8JDDPR | 7MJB8JDDPR | exercise | open | austin_ula src/exercises/exercises7-2.xml#exercise-6 |
| 7MJWY74X0M | 7MJWY74X0M | 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/0512416#HJAP |
| 7MJY9MDT4S | 7MJY9MDT4S | statement | record (an 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.12831#THDL |
| 7MKBAYKA33 | 7MKBAYKA33 | statement | record (an 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.16655#TIQO |
| 7MKYZEPBMB | 7MKYZEPBMB | statement | record (an 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.37893#U0CP |
| 7MMXF1626Z | 7MMXF1626Z | 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.02901#EEBD |
| 7MNXNPRFXT | 7MNXNPRFXT | statement | record (an 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.29501#8HOG |
| 7MP8JF3BWB | 7MP8JF3BWB | statement | record (an 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.03520#0U6G |
| 7MPET2G1YD | 7MPET2G1YD | statement | record (an 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.33469#CAQE |
| 7MPFH2VHES | 7MPFH2VHES | 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.09739#KDSL |
| 7MPNC309Q9 | 7MPNC309Q9 | statement | record (an 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#NF4G |
| 7MPXB30N06 | 7MPXB30N06 | 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 2412.14956#JDHF |
| 7MQJCME936 | 7MQJCME936 | statement | record (an 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.17408#0FMR |
| 7MQKCK03HB | 7MQKCK03HB | 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.11772#HP2P |
| 7MR420B3DJ | 7MR420B3DJ | statement | record (an 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.22288#ZLY4 |
| 7MRD604MA4 | 7MRD604MA4 | statement | record (an 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.36212#6TVQ |
| 7MREE6EAZR | 7MREE6EAZR | statement | record (an 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.35577#GXK3 |
| 7MRTAK1SN6 | 7MRTAK1SN6 | statement | record (an 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#OJQ4 |
| 7MS0KJGP1S | 7MS0KJGP1S | definition | open | napkin tex/measure/measure-space.tex#definition-3 |
| 7MS3JNTD36 | 7MS3JNTD36 | statement | record (an 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.39104#ATUC |
| 7MSK70DB5V | 7MSK70DB5V | unknown | open | arXiv 1408.1555#AJ28 |
| 7MTJ38QDQY | 7MTJ38QDQY | statement | record (an 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.08839#CUO0 |
| 7MTR2SWR03 | 7MTR2SWR03 | statement | record (an 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.35030#59W0 |
| 7MV8BY7MH6 | 7MV8BY7MH6 | statement | record (an 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.00914#IN57 |
| 7MVBN2TDK6 | 7MVBN2TDK6 | statement | record (an 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.08839#2V3Q |
| 7MVR1964VX | 7MVR1964VX | statement | record (an 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.06152#H55H |
| 7MW9AR3ED2 | 7MW9AR3ED2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.13401#AX9F |
| 7MWAXEM81Z | 7MWAXEM81Z | statement | record (an 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#O4CZ |
| 7MWDGB7SKY | 7MWDGB7SKY | statement | record (an 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#XC6C |
| 7MWM4VEQD1 | 7MWM4VEQD1 | statement | record (an 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.14445#Z1RG |
| 7MX8VTAPX5 | 7MX8VTAPX5 | 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.27056#W2BN |
| 7MXH2C31V4 | 7MXH2C31V4 | statement | record (an 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#CM6B |
| 7MY61Z371B | 7MY61Z371B | statement | record (an 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.31445#3Y1I |
| 7MY9Z0G0EW | 7MY9Z0G0EW | statement | record (an 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.19251#B8HI |
| 7MZ5G9WCYE | 7MZ5G9WCYE | statement | record (an 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.27103#BPCN |
| 7MZ5MD9F11 | 7MZ5MD9F11 | exercise | open | levin_dmoi ptx/exercises/gt-paths.ptx#exercise-8 |
| 7MZBNPXTB8 | 7MZBNPXTB8 | 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.14060#4TYZ |
| 7MZQEZZP2M | 7MZQEZZP2M | statement | record (an 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#4CBY |
| 7MZS6B3M69 | 7MZS6B3M69 | statement | record (an 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.25703#YSS8 |
| 7N0DM9NRC3 | 7N0DM9NRC3 | statement | record (an 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#YDEU |
| 7N0GX36GZM | 7N0GX36GZM | statement | record (an 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.08288#Z5RA |
| 7N1D6CN7TF | 7N1D6CN7TF | statement | record (an 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.10804#QSJL |
| 7N1PDEX5SA | 7N1PDEX5SA | statement | record (an 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.36823#QV3E |
| 7N2115EE15 | 7N2115EE15 | statement | record (an 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.11021#I28V |
| 7N2C62WTJ7 | 7N2C62WTJ7 | proof | open | open_logic content/intuitionistic-logic/semantics/semantic-notions.tex#proof-2 |
| 7N2G40GXSG | 7N2G40GXSG | statement | record (an 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.36823#0GWQ |
| 7N31NQ7GQ7 | 7N31NQ7GQ7 | statement | record (an 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.01441#RGZP |
| 7N4B9Y43ZG | 7N4B9Y43ZG | statement | record (an 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.19861#IT10 |
| 7N57260N7Z | 7N57260N7Z | statement | record (an 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.30664#JLXS |
| 7N5CY2K8DZ | 7N5CY2K8DZ | 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 0812.1600#KOYK |
| 7N5FWB9VGJ | 7N5FWB9VGJ | 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.06045#ZKP3 |
| 7N64D62FC2 | 7N64D62FC2 | statement | record (an 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.16358#0MYY |
| 7N6SRR28NR | 7N6SRR28NR | exercise | open | ernst_ibl MAAPressVersion/IndexingSets.tex#problem-5 |
| 7N7JTFFXRD | 7N7JTFFXRD | statement | record (an 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.39455#4MOW |
| 7N83ZEZ3EZ | 7N83ZEZ3EZ | exercise | open | napkin tex/homology/long-exact.tex#problem-2 |
| 7N8J7T97YX | 7N8J7T97YX | statement | record (an 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#ZFVL |
| 7N8M1M5K30 | 7N8M1M5K30 | statement | record (an 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.13629#ICPE |
| 7N8QP57CQV | 7N8QP57CQV | 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.15504#7H5K |
| 7N8VSFTTNP | 7N8VSFTTNP | statement | record (an 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#ROM8 |
| 7N8WYQHYYZ | 7N8WYQHYYZ | 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.36423#XMUI |
| 7N99AN5D10 | 7N99AN5D10 | statement | record (an 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.29723#WL16 |
| 7N9FW0AKNH | 7N9FW0AKNH | 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.01354#7AX0 |
| 7N9JHKGNTR | 7N9JHKGNTR | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-68 |
| 7N9K93ZVED | 7N9K93ZVED | 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 0905.2248#ICLX |
| 7NA1123V2Z | 7NA1123V2Z | statement | record (an 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#KSK7 |
| 7NAK2X34EF | 7NAK2X34EF | statement | record (an 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.38268#SZA6 |
| 7NAWRZ2SNN | 7NAWRZ2SNN | statement | record (an 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.32374#28DG |
| 7NB9M92CB6 | 7NB9M92CB6 | 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.22326#IPBI |
| 7NBN56NG4Z | 7NBN56NG4Z | statement | record (an 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.22040#SERC |
| 7NBPC1J348 | 7NBPC1J348 | statement | record (an 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#X3NF |
| 7NC0N7EERR | 7NC0N7EERR | 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.14318#OXWG |
| 7ND1KX74PZ | 7ND1KX74PZ | 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.29824#2K85 |
| 7NDT2D9ZTJ | 7NDT2D9ZTJ | statement | record (an 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#VZAQ |
| 7NDV39S4QK | 7NDV39S4QK | statement | record (an 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.25896#CCEN |
| 7NDXJAGC6Y | 7NDXJAGC6Y | statement | record (an 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.06300#B2F6 |
| 7NFM3MDX6E | 7NFM3MDX6E | statement | record (an 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.26496#WCEU |
| 7NG40TA6JZ | 7NG40TA6JZ | exercise | open | levin_dmoi ptx/exercises/logic-conc.ptx#tt |
| 7NGFVQCG79 | 7NGFVQCG79 | statement | record (an 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.04870#KW4W |
| 7NGNBG02E3 | 7NGNBG02E3 | statement | record (an 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.28814#S9UW |