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 13501–13600 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 5N05HT1GXJ | 5N05HT1GXJ | statement | record (an 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.08484#EZBJ |
| 5N0GV4B8ND | 5N0GV4B8ND | statement | record (an 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#C250 |
| 5N0H40WKYZ | 5N0H40WKYZ | statement | record (an 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.03437#RUHJ |
| 5N1K5J449J | 5N1K5J449J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.25960#LX1N |
| 5N2GW1PAKN | 5N2GW1PAKN | exercise | open | applied_combinatorics source/s_genfunction_exercises.ptx#exercise-2 |
| 5N3KST09N7 | 5N3KST09N7 | statement | record (an 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.05320#NWUK |
| 5N3MEEK9K6 | 5N3MEEK9K6 | statement | record (an 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.27635#HRZ6 |
| 5N3TDZXCPM | 5N3TDZXCPM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.29838#5W23 |
| 5N3VYE180B | 5N3VYE180B | statement | record (an 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#D82T |
| 5N3W1YP8BM | 5N3W1YP8BM | 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 1002.0879#DWDA |
| 5N3X7KGW00 | 5N3X7KGW00 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.5574#FSJQ |
| 5N4EQMNW4S | 5N4EQMNW4S | statement | record (an 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#90UR |
| 5N4HNW9ASJ | 5N4HNW9ASJ | statement | record (an 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#R56P |
| 5N4JG3Y9GW | 5N4JG3Y9GW | statement | record (an 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.07461#6J4I |
| 5N52Y73GHR | 5N52Y73GHR | statement | record (an 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.36827#N4CQ |
| 5N5R80YBQR | 5N5R80YBQR | statement | record (an 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.21080#ZRDV |
| 5N5X3BPN8Q | 5N5X3BPN8Q | example | open | hott_book categories.tex#ct:precatset |
| 5N6KA8XVVS | 5N6KA8XVVS | statement | record (an 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/0411039#53GF |
| 5N6RB4A2HA | 5N6RB4A2HA | exercise | open | levin_dmoi ptx/exercises/logic-prop.ptx#exercise-6 |
| 5N71XSPGSE | 5N71XSPGSE | statement | record (an 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.06081#9FRE |
| 5N7CMW1TKZ | 5N7CMW1TKZ | 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 1002.0879#7LVK |
| 5N7W9DS7JS | 5N7W9DS7JS | 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.35577#W586 |
| 5N7WRA1CDM | 5N7WRA1CDM | statement | record (an 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.33219#FJI8 |
| 5N872SPJSV | 5N872SPJSV | statement | record (an 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.32535#RY6P |
| 5N8VN87V98 | 5N8VN87V98 | statement | record (an 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.23797#4GTC |
| 5N8XZHQGG4 | 5N8XZHQGG4 | statement | record (an 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.06206#2KAQ |
| 5N922DJQQH | 5N922DJQQH | statement | record (an 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.15169#45KV |
| 5N9C7Y06WR | 5N9C7Y06WR | statement | record (an 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.27360#LDFS |
| 5N9HF70SPK | 5N9HF70SPK | statement | record (an 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.08226#NBRI |
| 5NAF7F5FJ3 | 5NAF7F5FJ3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.18690#VTHF |
| 5NB13AW49B | 5NB13AW49B | statement | record (an 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.33926#BZNV |
| 5NB5XW87GQ | 5NB5XW87GQ | statement | open | lebl_ra ch-der.tex#lemma:ift |
| 5NBJBGATDB | 5NBJBGATDB | statement | open | open_logic content/set-theory/cardinals/classing.tex#prop-1 |
| 5NBPX0M7YD | 5NBPX0M7YD | statement | record (an 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#DK21 |
| 5NC9RAHKN4 | 5NC9RAHKN4 | exercise | open | lebl_scv scv.tex#exercise-303 |
| 5NCBKZ8EKK | 5NCBKZ8EKK | statement | record (an 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.35632#93I2 |
| 5NCFR8810G | 5NCFR8810G | statement | record (an 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.01411#056R |
| 5NCP3YQ90Q | 5NCP3YQ90Q | statement | record (an 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.35421#631C |
| 5NDT4DT12Y | 5NDT4DT12Y | statement | record (an 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.24353#S168 |
| 5NDW4FPF2M | 5NDW4FPF2M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.5574#B2X2 |
| 5NDW8E6M61 | 5NDW8E6M61 | statement | record (an 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.07092#RYI7 |
| 5NEGFD4BDX | 5NEGFD4BDX | statement | record (an 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.10086#JLZY |
| 5NEGR6A5H2 | 5NEGR6A5H2 | example | open | napkin tex/linalg/dets.tex#example-1 |
| 5NEPA4HGY7 | 5NEPA4HGY7 | statement | record (an 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.00596#AT9Z |
| 5NF3ACHT4V | 5NF3ACHT4V | statement | record (an 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.03601#G2Z9 |
| 5NFFSRAYR6 | 5NFFSRAYR6 | 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.26114#BMT0 |
| 5NGA8SCNJV | 5NGA8SCNJV | definition | open | open_logic content/normal-modal-logic/completeness/complete-consistent-sets.tex#defn-1 |
| 5NHGEZDK9M | 5NHGEZDK9M | statement | record (an 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.35361#I35Z |
| 5NHGKJYMZ5 | 5NHGKJYMZ5 | exercise | open | lebl_ra ch-seq-ser.tex#exercise-82 |
| 5NHH165H9R | 5NHH165H9R | statement | record (an 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.25063#0TOJ |
| 5NJC6XE6F7 | 5NJC6XE6F7 | statement | record (an 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#GFP1 |
| 5NKM0SA73C | 5NKM0SA73C | 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.39293#C7BU |
| 5NKXZX01QH | 5NKXZX01QH | statement | record (an 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#4EGI |
| 5NMJCJ65TP | 5NMJCJ65TP | proof | open | open_logic content/lambda-calculus/lambda-definability/minimization.tex#proof-1 |
| 5NMJZRTZ99 | 5NMJZRTZ99 | 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.09154#1QLI |
| 5NN4WMY3RM | 5NN4WMY3RM | statement | record (an 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.25761#7EH2 |
| 5NN5CVTG6D | 5NN5CVTG6D | statement | record (an 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#YH8U |
| 5NN7NFRDME | 5NN7NFRDME | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.07434#CTT1 |
| 5NN9JDCWTJ | 5NN9JDCWTJ | example | open | napkin tex/alg-geom/spec-zariski.tex#example-8 |
| 5NNDVM9JA6 | 5NNDVM9JA6 | statement | record (an 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.03756#243N |
| 5NNDZ5SCXB | 5NNDZ5SCXB | statement | record (an 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.14727#U5P9 |
| 5NNK7HKYGY | 5NNK7HKYGY | exercise | open | napkin tex/riemann-surface/line-bundles.tex#ques-3 |
| 5NNKBNV54M | 5NNKBNV54M | 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.10469#YEZ2 |
| 5NNMRHQW69 | 5NNMRHQW69 | 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#XNFX |
| 5NP7WW9X25 | 5NP7WW9X25 | statement | record (an 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#4O7K |
| 5NP8M5737Z | 5NP8M5737Z | statement | record (an 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.25129#CMQS |
| 5NPNQ15SGB | 5NPNQ15SGB | statement | record (an 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.17589#S496 |
| 5NQ0GD192N | 5NQ0GD192N | statement | record (an 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.09678#Z7X6 |
| 5NRCJNB2Q3 | 5NRCJNB2Q3 | statement | record (an 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.09333#V6HW |
| 5NS267HE6W | 5NS267HE6W | statement | open | ernst_ibl MAAPressVersion/IntroInduction.tex#theorem-1 |
| 5NS9CMWS23 | 5NS9CMWS23 | statement | record (an 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.37271#0J9S |
| 5NSNMGN91A | 5NSNMGN91A | statement | record (an 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.17482#0OU3 |
| 5NSTBRB3QY | 5NSTBRB3QY | statement | record (an 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.27125#G97S |
| 5NSVQABM56 | 5NSVQABM56 | statement | record (an 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#RG89 |
| 5NTCNEECTA | 5NTCNEECTA | statement | record (an 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.36377#940G |
| 5NTFVM17G8 | 5NTFVM17G8 | statement | record (an 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.09341#F418 |
| 5NVFX61GK1 | 5NVFX61GK1 | statement | record (an 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.17100#W0AA |
| 5NVSV4D8DT | 5NVSV4D8DT | statement | record (an 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.17127#DRH7 |
| 5NW4PYP432 | 5NW4PYP432 | 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 1810.06028#Q6JV |
| 5NW5DG90DD | 5NW5DG90DD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.14097#NHTS |
| 5NWEKT7WQ0 | 5NWEKT7WQ0 | statement | record (an 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.19694#P682 |
| 5NWVQKYYVS | 5NWVQKYYVS | 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.03050#REIJ |
| 5NX2ZTNF65 | 5NX2ZTNF65 | proof | open | hott_book logic.tex#proof-19 |
| 5NXEPE21DY | 5NXEPE21DY | 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 2409.20170#PFAZ |
| 5NXG1YH3BT | 5NXG1YH3BT | statement | record (an 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.16362#9YH6 |
| 5NXRD8FYM7 | 5NXRD8FYM7 | statement | record (an 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.12484#5KI6 |
| 5NXT3BF9YQ | 5NXT3BF9YQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.04968#N3IP |
| 5NYKH18AS0 | 5NYKH18AS0 | unknown | open | |
| 5NZ2GE5S38 | 5NZ2GE5S38 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1701.00517#PQFS |
| 5NZKWE5QMY | 5NZKWE5QMY | 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.22205#EDOH |
| 5NZZHNC49X | 5NZZHNC49X | statement | record (an 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.37606#H36X |
| 5P0FF5HCGY | 5P0FF5HCGY | 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 1002.0879#9W5E |
| 5P29A9CRNV | 5P29A9CRNV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1371086, nLab Ethan Devinatz |
| 5P2HTGHKP3 | 5P2HTGHKP3 | statement | record (an 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.12486#79E6 |
| 5P33C5KW0Q | 5P33C5KW0Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.11684#U1TF |
| 5P3YJ1C43M | 5P3YJ1C43M | statement | record (an 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.06806#OW15 |
| 5P43MSH85Y | 5P43MSH85Y | statement | record (an 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.04069#DDEF |
| 5P440QTWVN | 5P440QTWVN | 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 1712.02437#B9GT |
| 5P4MCKEA1H | 5P4MCKEA1H | statement | record (an 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.25568#N02Q |
| 5P4N2BHZ3C | 5P4N2BHZ3C | proof | open | lebl_ra ch-several-vars-ders.tex#proof-8 |