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 7901–8000 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3JRTKEGPBV | 3JRTKEGPBV | proof | open | napkin tex/H113/structure.tex#proof-4 |
| 3JRWYNPH27 | 3JRWYNPH27 | statement | record (an 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#WVDQ |
| 3JSKR66GDN | 3JSKR66GDN | statement | record (an 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.32300#PDIP |
| 3JSNDNXYC0 | 3JSNDNXYC0 | statement | record (an 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.19309#YUZ4 |
| 3JV5PNJGFQ | 3JV5PNJGFQ | statement | record (an 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#NZOI |
| 3JVBG61KJ5 | 3JVBG61KJ5 | 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 2011.08789#6BEZ |
| 3JVCYZFQ3E | 3JVCYZFQ3E | 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.02275#OJ8W |
| 3JWJNY2C5T | 3JWJNY2C5T | statement | record (an 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.03081#RUGS |
| 3JXDDYC89P | 3JXDDYC89P | statement | record (an 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.13213#QJLG |
| 3JXF37FQC4 | 3JXF37FQC4 | statement | record (an 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.05193#SRYU |
| 3JXS8AWNRV | 3JXS8AWNRV | 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 2501.12834#YTTM |
| 3JXZRKYTS0 | 3JXZRKYTS0 | statement | record (an 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.30090#8D3T |
| 3JYN9QNTZ9 | 3JYN9QNTZ9 | statement | record (an 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.18580#G596 |
| 3JYXHNJGHY | 3JYXHNJGHY | statement | record (an 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.31858#L2T9 |
| 3JYYDHQWWY | 3JYYDHQWWY | statement | record (an 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.02261#BOXH |
| 3K0DZGZC6M | 3K0DZGZC6M | statement | record (an 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.11210#8ORM |
| 3K0T5DBJM5 | 3K0T5DBJM5 | statement | record (an 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.16700#3WER |
| 3K0Z0T1Y9W | 3K0Z0T1Y9W | statement | record (an 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.06621#7D50 |
| 3K0ZW5SG15 | 3K0ZW5SG15 | statement | record (an 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.36884#6MUA |
| 3K126W8G4K | 3K126W8G4K | statement | record (an 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.10511#K2RR |
| 3K1FKH61ZJ | 3K1FKH61ZJ | 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#S2Z2 |
| 3K29QP0SS9 | 3K29QP0SS9 | statement | record (an 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.00247#US6B |
| 3K2MPXXZJ6 | 3K2MPXXZJ6 | statement | record (an 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#BRNU |
| 3K3QGK2D05 | 3K3QGK2D05 | statement | record (an 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.17940#KAT1 |
| 3K4MAD6JJ7 | 3K4MAD6JJ7 | statement | record (an 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.39659#ZTYU |
| 3K55XAEG9N | 3K55XAEG9N | statement | record (an 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.14502#QEKB |
| 3K5MSXPY62 | 3K5MSXPY62 | statement | record (an 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.06529#LX2S |
| 3K5V4ABXRC | 3K5V4ABXRC | example | open | napkin tex/linalg/vector-space.tex#example-5 |
| 3K62HBMT9P | 3K62HBMT9P | exercise | open | napkin tex/calculus/limits.tex#problem-5 |
| 3K69PEPZCK | 3K69PEPZCK | statement | record (an 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.06876#JQPM |
| 3K6NVNJPGY | 3K6NVNJPGY | statement | record (an 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.12430#TPR4 |
| 3K6PZ6BQ83 | 3K6PZ6BQ83 | statement | record (an 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#XKGK |
| 3K6SCW91KM | 3K6SCW91KM | 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.33771#Q8AB |
| 3K6TH74WS0 | 3K6TH74WS0 | statement | record (an 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.05179#A2AI |
| 3K6ZR819HN | 3K6ZR819HN | statement | record (an 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.20944#66BY |
| 3K73A6Q9E8 | 3K73A6Q9E8 | statement | open | napkin tex/measure/martingale.tex#theorem-1 |
| 3K750KB2ZA | 3K750KB2ZA | statement | record (an 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.31242#ZG9S |
| 3K7K2YWJ6D | 3K7K2YWJ6D | exercise | open | levin_dmoi ptx/exercises/logic-conc.ptx#exercise-3 |
| 3K7TT1226Q | 3K7TT1226Q | statement | record (an 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.10365#PGY4 |
| 3K7XKXTMK8 | 3K7XKXTMK8 | 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.03288#ANYU |
| 3K85JKQAD7 | 3K85JKQAD7 | statement | open | open_logic content/normal-modal-logic/frame-definability/second-order-definability.tex#prop-1 |
| 3K91HJ1X00 | 3K91HJ1X00 | exercise | open | napkin tex/calculus/limits.tex#ques-1 |
| 3K9P27TYC9 | 3K9P27TYC9 | statement | record (an 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.21945#TVVJ |
| 3K9SGVD5G0 | 3K9SGVD5G0 | 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.25431#QM7R |
| 3KA1PSEEPN | 3KA1PSEEPN | 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 2604.11825#PZMM |
| 3KA6D0PR70 | 3KA6D0PR70 | statement | record (an 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.39539#9K81 |
| 3KAD6B2VWQ | 3KAD6B2VWQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.10080#GRYS |
| 3KAR0XCSVP | 3KAR0XCSVP | exercise | open | lebl_diffyqs ch-systems.tex#exercise-99 |
| 3KATK0GX92 | 3KATK0GX92 | statement | record (an 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.02983#VL6T |
| 3KBEDCXCDW | 3KBEDCXCDW | definition | open | ernst_ibl MAAPressVersion/PowerSets.tex#definition-1 |
| 3KCNXYKTV9 | 3KCNXYKTV9 | statement | record (an 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.33578#0WZ2 |
| 3KCSPBR607 | 3KCSPBR607 | 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 0810.2160#A0KC |
| 3KD6581EQP | 3KD6581EQP | statement | record (an 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.17476#9VJ2 |
| 3KDBS11ZK6 | 3KDBS11ZK6 | statement | record (an 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.08682#UMY0 |
| 3KDNWYS6G7 | 3KDNWYS6G7 | 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.26401#ANYK |
| 3KDQF6BKXE | 3KDQF6BKXE | definition | open | open_logic content/first-order-logic/completeness/compactness.tex#defn-1 |
| 3KDZPYFW25 | 3KDZPYFW25 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2043#291Y |
| 3KE031A5TP | 3KE031A5TP | statement | record (an 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.13100#IQZ7 |
| 3KE3ZTZGF2 | 3KE3ZTZGF2 | statement | record (an 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.05276#A5AK |
| 3KE5CFRDF3 | 3KE5CFRDF3 | 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.10930#J3BY |
| 3KEP3Z5EWZ | 3KEP3Z5EWZ | statement | record (an 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.06147#NVGO |
| 3KET6X7BEK | 3KET6X7BEK | statement | record (an 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.37124#LYV9 |
| 3KF6ZNXQFZ | 3KF6ZNXQFZ | statement | record (an 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.29665#7HG2 |
| 3KFMS49DX4 | 3KFMS49DX4 | 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.24465#K8ZV |
| 3KG1W0BCZB | 3KG1W0BCZB | statement | record (an 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.06488#FB8Z |
| 3KG3TH5GMT | 3KG3TH5GMT | statement | open | napkin tex/H113/grp-intro.tex#fact-3 |
| 3KGJR2D4MT | 3KGJR2D4MT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.02722#6CWX |
| 3KGSZ4SCJ6 | 3KGSZ4SCJ6 | statement | record (an 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.33512#C1LA |
| 3KGV2MB6CZ | 3KGV2MB6CZ | statement | record (an 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.17411#2MD1 |
| 3KGZWEE0NS | 3KGZWEE0NS | statement | record (an 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.21971#5HBY |
| 3KJ9Q49SC3 | 3KJ9Q49SC3 | definition | open | hott_book hlevels.tex#defn-6 |
| 3KKJXFSZHF | 3KKJXFSZHF | definition | open | napkin tex/set-theory/ordinal.tex#definition-6 |
| 3KKMQ34ZCV | 3KKMQ34ZCV | statement | record (an 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#NDTU |
| 3KKWXAMH13 | 3KKWXAMH13 | 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.36412#GVES |
| 3KM19H5ERH | 3KM19H5ERH | statement | record (an 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.17798#CBJN |
| 3KM381W9PV | 3KM381W9PV | statement | record (an 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.12544#9FAO |
| 3KMVNMN0C1 | 3KMVNMN0C1 | statement | record (an 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.28454#ZF5E |
| 3KNJNXFFDV | 3KNJNXFFDV | 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.03373#IMTC |
| 3KNNJG3H8B | 3KNNJG3H8B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.4141#8F7M |
| 3KNY5CE523 | 3KNY5CE523 | statement | record (an 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.30637#KS4Q |
| 3KP0CFJ2FE | 3KP0CFJ2FE | statement | record (an 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#H1BS |
| 3KP70V5RR5 | 3KP70V5RR5 | 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 1008.4254#P7LV |
| 3KP7VG0151 | 3KP7VG0151 | statement | record (an 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.33590#V32X |
| 3KPDT9X1P6 | 3KPDT9X1P6 | 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.01208#G93P |
| 3KQBRKHJA0 | 3KQBRKHJA0 | statement | record (an 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.14821#L6VF |
| 3KQD33XJZP | 3KQD33XJZP | statement | record (an 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.24790#2TG0 |
| 3KQP9SBRH6 | 3KQP9SBRH6 | statement | record (an 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.07890#LN2E |
| 3KQWZNXYXM | 3KQWZNXYXM | statement | record (an 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.28295#10VD |
| 3KR1AGVH5Z | 3KR1AGVH5Z | statement | record (an 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#OTWP |
| 3KRB9J458A | 3KRB9J458A | 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.00789#QEEF |
| 3KRPYSWW77 | 3KRPYSWW77 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.00590#FZBO |
| 3KS0RR60NM | 3KS0RR60NM | statement | record (an 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.20801#QZ9N |
| 3KS37RDJF1 | 3KS37RDJF1 | statement | record (an 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.36113#HKE7 |
| 3KSB6C1831 | 3KSB6C1831 | statement | record (an 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.26650#F25Q |
| 3KSC8ZZFZC | 3KSC8ZZFZC | statement | record (an 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#5ANQ |
| 3KSWS6B2CF | 3KSWS6B2CF | proof | open | applied_combinatorics source/s_induction_exercises.ptx#proof-1 |
| 3KTMH9XR3S | 3KTMH9XR3S | statement | record (an 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.20421#MIGG |
| 3KTSSKWCTS | 3KTSSKWCTS | statement | record (an 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.33590#OQYO |
| 3KVB32EWPR | 3KVB32EWPR | statement | record (an 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.29699#7WIP |
| 3KVW8GDSC9 | 3KVW8GDSC9 | exercise | open | open_logic content/first-order-logic/axiomatic-deduction/deduction-theorem-quantifiers.tex#prob-1 |