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 12901–13000 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 5DN67TQ3KQ | 5DN67TQ3KQ | exercise | open | ernst_ibl MAAPressVersion/Sets.tex#problem-1 |
| 5DNAG2RF0H | 5DNAG2RF0H | statement | record (an 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.32946#975T |
| 5DNMY076C1 | 5DNMY076C1 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-35 |
| 5DNNNHR03P | 5DNNNHR03P | statement | record (an 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.22882#8OJT |
| 5DPVBCPS7B | 5DPVBCPS7B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1809.06512#5AP9 |
| 5DPWJPWYHB | 5DPWJPWYHB | statement | record (an 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.09319#HQOU |
| 5DQ9PZCBE6 | 5DQ9PZCBE6 | statement | record (an 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.00562#RMHR |
| 5DRSFMS8KB | 5DRSFMS8KB | statement | record (an 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#80A5 |
| 5DS9MF0QT9 | 5DS9MF0QT9 | statement | record (an 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.25321#JFRQ |
| 5DSHBBD26W | 5DSHBBD26W | statement | record (an 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#4LMG |
| 5DTX5V9WF6 | 5DTX5V9WF6 | 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.17737#S6KW |
| 5DVAHF7AJS | 5DVAHF7AJS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2005.03073#0WDO |
| 5DVMWNVK14 | 5DVMWNVK14 | statement | record (an 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#UIJY |
| 5DW26DM4NX | 5DW26DM4NX | statement | record (an 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#3VVL |
| 5DWPH8YVJJ | 5DWPH8YVJJ | statement | record (an 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#3R3M |
| 5DX7YK2XHK | 5DX7YK2XHK | statement | open | lebl_ra ch-multivar-int.tex#prop:seclosed |
| 5DXRDFH8MS | 5DXRDFH8MS | statement | record (an 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.07546#JTVG |
| 5DXT373P6Z | 5DXT373P6Z | statement | record (an 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.18673#2RJV |
| 5DYJ3Z2DJZ | 5DYJ3Z2DJZ | statement | record (an 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.14154#QFUU |
| 5DYPKM2KMV | 5DYPKM2KMV | statement | record (an 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.37967#L31Y |
| 5DYVJ90AXY | 5DYVJ90AXY | proof | open | open_logic content/normal-modal-logic/frame-definability/definability.tex#proof-1 |
| 5DZ1MADQVE | 5DZ1MADQVE | conjecture | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.05392#YPS9 |
| 5DZ6WS4NES | 5DZ6WS4NES | statement | record (an 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.18101#SCQI |
| 5DZY3B2MX8 | 5DZY3B2MX8 | statement | record (an 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.11545#6F3X |
| 5DZY46TXJ7 | 5DZY46TXJ7 | statement | record (an 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#ZLZN |
| 5E0BA7RDSH | 5E0BA7RDSH | statement | record (an 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.09810#TAQU |
| 5E0TMK9R7T | 5E0TMK9R7T | statement | record (an 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.12053#QLVM |
| 5E11V9B2YG | 5E11V9B2YG | statement | record (an 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.30817#OOL6 |
| 5E1A8946S2 | 5E1A8946S2 | statement | open | lebl_ra ch-real-nums.tex#prop:decimalprop |
| 5E1M00CW3R | 5E1M00CW3R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.07116#2L2F |
| 5E1S33R0MA | 5E1S33R0MA | statement | record (an 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.18929#0R5S |
| 5E1SB1Y16C | 5E1SB1Y16C | statement | record (an 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.15352#TZRP |
| 5E1ZS5TRX7 | 5E1ZS5TRX7 | statement | record (an 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.26262#FIEO |
| 5E27BNK6Z6 | 5E27BNK6Z6 | exercise | open | lebl_ra ch-seq-ser.tex#exercise-78 |
| 5E2KSCHDF4 | 5E2KSCHDF4 | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#problem-2 |
| 5E2WGFAYTH | 5E2WGFAYTH | example | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#example-1 |
| 5E35NK95K1 | 5E35NK95K1 | 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.14278#CGHE |
| 5E36A1W9MW | 5E36A1W9MW | statement | record (an 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.39905#5K07 |
| 5E3BBEKRN9 | 5E3BBEKRN9 | statement | record (an 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.02663#A10I |
| 5E3W2PB3AZ | 5E3W2PB3AZ | statement | record (an 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.07061#CBLO |
| 5E3WS3Z544 | 5E3WS3Z544 | statement | open | open_logic content/turing-machines/undecidability/halting-problem.tex#lem-1 |
| 5E4HFBQ566 | 5E4HFBQ566 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.07717#173Y |
| 5E58WPBXYQ | 5E58WPBXYQ | statement | record (an 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.38659#ISXY |
| 5E5WFSTZFS | 5E5WFSTZFS | statement | record (an 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.12736#VQFZ |
| 5E69F3ZBBJ | 5E69F3ZBBJ | definition | open | napkin tex/alg-NT/galois.tex#definition-1 |
| 5E6DG674JH | 5E6DG674JH | 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.15831#7LLB |
| 5E77MH2HH1 | 5E77MH2HH1 | statement | record (an 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.10329#BPDE |
| 5E9642P8CS | 5E9642P8CS | statement | record (an 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.01653#1A3Y |
| 5E99TZ8FA6 | 5E99TZ8FA6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.10921#QMZQ |
| 5EA0VRWKZT | 5EA0VRWKZT | statement | record (an 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.02061#7OJ5 |
| 5EAG0XTDZ6 | 5EAG0XTDZ6 | statement | record (an 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#RF5C |
| 5EANCDBG0M | 5EANCDBG0M | statement | record (an 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.38556#UMWK |
| 5EANEQ164W | 5EANEQ164W | statement | record (an 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.28143#A672 |
| 5EARGC0M5H | 5EARGC0M5H | 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 2312.06581#ILRQ |
| 5EC8FSS7FS | 5EC8FSS7FS | statement | record (an 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.14629#MHNQ |
| 5EC9ZSA1GS | 5EC9ZSA1GS | 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.28046#2YOR |
| 5ECHCGWYE4 | 5ECHCGWYE4 | statement | record (an 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.13295#1MFC |
| 5ECSYCVFYB | 5ECSYCVFYB | statement | record (an 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.05005#CPJ6 |
| 5EDKZ2TCA5 | 5EDKZ2TCA5 | exercise | open | austin_ula src/section6-3.xml#activity-2 |
| 5EENZ4VYRE | 5EENZ4VYRE | statement | record (an 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.18468#MCMP |
| 5EF036ZHHB | 5EF036ZHHB | 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.01694#1NL7 |
| 5EF33K8ATZ | 5EF33K8ATZ | statement | record (an 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.03323#BMZW |
| 5EFGZCN8V5 | 5EFGZCN8V5 | 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.17547#2JNV |
| 5EFN878DNP | 5EFN878DNP | example | open | napkin tex/calculus/taylor.tex#ex:nonanalytic |
| 5EFYNTN6ET | 5EFYNTN6ET | exercise | open | lebl_ra ch-der.tex#exercise-33 |
| 5EG75B8FBP | 5EG75B8FBP | statement | record (an 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.03559#BC0Z |
| 5EGHYSYRGA | 5EGHYSYRGA | statement | record (an 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.07164#QKJH |
| 5EH8QJSX1A | 5EH8QJSX1A | statement | record (an 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.04730#OQGE |
| 5EHRGNGH3Z | 5EHRGNGH3Z | statement | record (an 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.05232#PXSH |
| 5EJED65SAY | 5EJED65SAY | statement | record (an 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.08039#Y6N8 |
| 5EJNW28P37 | 5EJNW28P37 | statement | record (an 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#JDZ2 |
| 5EK23W4QX3 | 5EK23W4QX3 | example | open | lebl_diffyqs ch-first-order-ode.tex#example-18 |
| 5EK5JER0B2 | 5EK5JER0B2 | statement | record (an 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.36089#555Z |
| 5EKM0787VR | 5EKM0787VR | statement | record (an 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.07292#NZ3V |
| 5EMR6C8AGM | 5EMR6C8AGM | statement | record (an 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.13817#J2QE |
| 5EMZCFKPYZ | 5EMZCFKPYZ | statement | record (an 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.01924#BVRQ |
| 5ENCY4M6MR | 5ENCY4M6MR | statement | record (an 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.26337#XUN4 |
| 5ENNEV73GZ | 5ENNEV73GZ | statement | record (an 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.19086#VH0L |
| 5ENRBX4802 | 5ENRBX4802 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1911.06467#SSYJ |
| 5EQ5RZ9S97 | 5EQ5RZ9S97 | statement | open | levin_dmoi ptx/sec_gt-trees.ptx#prop-leaves-in-trees |
| 5EQ934S90A | 5EQ934S90A | 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 2211.10178#4OO5 |
| 5EQHPXZRH4 | 5EQHPXZRH4 | statement | open | hott_book hits.tex#thm:quotient-surjective |
| 5EQHZD1PAG | 5EQHZD1PAG | statement | record (an 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.14742#RDKY |
| 5EQQMWWT6Y | 5EQQMWWT6Y | statement | record (an 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.14435#7HY7 |
| 5ERBN8M064 | 5ERBN8M064 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.01868#NCQS |
| 5ERE3G5ZRS | 5ERE3G5ZRS | statement | record (an 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#J0AC |
| 5ES958GHBJ | 5ES958GHBJ | statement | record (an 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.13908#SG9O |
| 5ESB7FF66X | 5ESB7FF66X | statement | record (an 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#7B7R |
| 5ESDXYB01Q | 5ESDXYB01Q | statement | record (an 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#0L7N |
| 5ESJCB70HF | 5ESJCB70HF | statement | record (an 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.35209#RO65 |
| 5ESKA1EH3T | 5ESKA1EH3T | statement | record (an 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.06747#CC22 |
| 5ET35T61SC | 5ET35T61SC | statement | record (an 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.22074#DPAS |
| 5ETHFFQY32 | 5ETHFFQY32 | statement | record (an 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.38742#4QLV |
| 5ETMY700V4 | 5ETMY700V4 | conjecture | record (an 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.36045#5X8P |
| 5EVDNNN7GH | 5EVDNNN7GH | statement | record (an 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#VZD2 |
| 5EVE37KFZ1 | 5EVE37KFZ1 | statement | record (an 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.28411#PKOL |
| 5EVHYX53A5 | 5EVHYX53A5 | statement | record (an 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.07695#3EFS |
| 5EVPMCKNQV | 5EVPMCKNQV | statement | record (an 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#SSZT |
| 5EX3CVZJZ7 | 5EX3CVZJZ7 | example | open | lebl_ra ch-contfunc.tex#example-8 |
| 5EY7PDX451 | 5EY7PDX451 | statement | record (an 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#PL6O |