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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 9201–9300 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3K62HBMT9P | 3K62HBMT9P | exercise | open | napkin tex/calculus/limits.tex#problem-5 |
| 3K6420ZVFV | 3K6420ZVFV | statement | record (an 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.24078#TLEE |
| 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 |
| 3KCMMJS37W | 3KCMMJS37W | statement | record (an 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.23538#NPT7 |
| 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 |
| 3KKT47C7EW | 3KKT47C7EW | statement | record (an 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.20783#1XJU |
| 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 |
| 3KVYVKHM49 | 3KVYVKHM49 | 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#C5B9 |
| 3KW4RFJJ3D | 3KW4RFJJ3D | statement | record (an 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.29677#N0U4 |
| 3KWPWFGPJM | 3KWPWFGPJM | statement | record (an 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#Y6XZ |
| 3KWX8HTMPT | 3KWX8HTMPT | statement | record (an 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.07380#BIQD |
| 3KX1S3E2FS | 3KX1S3E2FS | 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.07280#WYKW |
| 3KX37RA229 | 3KX37RA229 | exercise | open | levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-1 |
| 3KX4276W69 | 3KX4276W69 | statement | record (an 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.30018#YA8B |
| 3KXQF4TWW9 | 3KXQF4TWW9 | 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.21692#TRFH |
| 3KZ8S4JBJM | 3KZ8S4JBJM | statement | record (an 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.33856#UHKU |
| 3KZAQ7HP47 | 3KZAQ7HP47 | statement | record (an 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.07064#9WBS |
| 3KZCQDA0M3 | 3KZCQDA0M3 | statement | record (an 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#A9AM |
| 3M09VKD2ME | 3M09VKD2ME | statement | record (an 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.20932#C7SC |
| 3M0C8XCJG2 | 3M0C8XCJG2 | statement | record (an 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.21675#2Y8A |
| 3M1RJBXKVQ | 3M1RJBXKVQ | exercise | open | austin_ula src/exercises/exercises6-4.xml#exercise-2 |
| 3M1ZVMJWEX | 3M1ZVMJWEX | statement | record (an 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.38970#D8WR |
| 3M287M2TR9 | 3M287M2TR9 | statement | record (an 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.33900#M1T5 |
| 3M2HQJN5MQ | 3M2HQJN5MQ | statement | record (an 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.36016#ARE6 |
| 3M3A3E5H31 | 3M3A3E5H31 | statement | record (an 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.10873#85U4 |
| 3M3AA2RSET | 3M3AA2RSET | statement | record (an 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.23803#YNCN |
| 3M3B9J3DRD | 3M3B9J3DRD | statement | record (an 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.09171#KVG1 |
| 3M3PAH15NK | 3M3PAH15NK | statement | record (an 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.29489#E8Q2 |
| 3M40J2CHEJ | 3M40J2CHEJ | 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.18632#MDIS |
| 3M4BWP9917 | 3M4BWP9917 | exercise | open | open_logic content/sets-functions-relations/arithmetization/rationals.tex#prob-2 |
| 3M4CMM8FJH | 3M4CMM8FJH | statement | record (an 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.10406#SASQ |
| 3M4T7AHAC7 | 3M4T7AHAC7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2006.12475#SGRI |