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 12801–12900 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 5CKVZQ8J9Y | 5CKVZQ8J9Y | statement | record (an 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.09729#72JQ |
| 5CKXPR2TWA | 5CKXPR2TWA | statement | record (an 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.06872#J7KM |
| 5CMCBQB6K5 | 5CMCBQB6K5 | statement | record (an 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#RDUU |
| 5CMNA7B586 | 5CMNA7B586 | statement | record (an 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.15257#3BEK |
| 5CMST7S3YS | 5CMST7S3YS | 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.13680#334E |
| 5CMTMJ5BYT | 5CMTMJ5BYT | statement | record (an 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.02042#YV6K |
| 5CMVWH9E9A | 5CMVWH9E9A | statement | record (an 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.05628#4UP3 |
| 5CMXSR0RW8 | 5CMXSR0RW8 | exercise | open | levin_dmoi ptx/exercises/gt-paths.ptx#exercise-12 |
| 5CN0J8ZDPS | 5CN0J8ZDPS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.05923#8M95 |
| 5CNJ442ZF0 | 5CNJ442ZF0 | statement | record (an 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#6SM3 |
| 5CNN8QW521 | 5CNN8QW521 | statement | record (an 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.29903#DIP9 |
| 5CP1NTY2S5 | 5CP1NTY2S5 | 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/9602216#RAWZ |
| 5CP1XQH85N | 5CP1XQH85N | statement | record (an 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.17258#HGTD |
| 5CPBC70DCE | 5CPBC70DCE | statement | record (an 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#50PY |
| 5CPW1DM5DA | 5CPW1DM5DA | statement | record (an 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.04503#DT26 |
| 5CPW32REGS | 5CPW32REGS | 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#O6US |
| 5CQG8JR30N | 5CQG8JR30N | statement | record (an 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.30067#55M5 |
| 5CQR3JQNVG | 5CQR3JQNVG | statement | record (an 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.11455#577W |
| 5CR3Y0E6DX | 5CR3Y0E6DX | statement | record (an 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.30098#XQRL |
| 5CR5VTSM6G | 5CR5VTSM6G | statement | record (an 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.11671#4Z8E |
| 5CRBJMQZF9 | 5CRBJMQZF9 | statement | record (an 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.16530#8WSE |
| 5CRCFD7D15 | 5CRCFD7D15 | statement | record (an 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.20110#Z0K9 |
| 5CRNF1QC6Y | 5CRNF1QC6Y | statement | record (an 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.16431#YUCA |
| 5CRPY2GZRK | 5CRPY2GZRK | statement | record (an 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.29449#B5HO |
| 5CRQ1SNYY1 | 5CRQ1SNYY1 | statement | record (an 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.21005#M9V5 |
| 5CRWTA37SY | 5CRWTA37SY | 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.22288#MPYN |
| 5CS3XK72DW | 5CS3XK72DW | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-4 |
| 5CS40AGHS4 | 5CS40AGHS4 | statement | record (an 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.18246#VNZ0 |
| 5CS4JQJV3H | 5CS4JQJV3H | exercise | open | lebl_diffyqs ch-systems.tex#exercise-60 |
| 5CSC0D4P5P | 5CSC0D4P5P | 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#GF99 |
| 5CT5KTSKQT | 5CT5KTSKQT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0808.1331#JCCD |
| 5CT6NNSQWC | 5CT6NNSQWC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.04566#OB8S |
| 5CTPRZGXFK | 5CTPRZGXFK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1612.08394#EWG6 |
| 5CTS8HBE6B | 5CTS8HBE6B | 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.37124#OEWY |
| 5CTTSFZ866 | 5CTTSFZ866 | statement | record (an 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.13852#006F |
| 5CVC4Q3NBQ | 5CVC4Q3NBQ | 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.13877#ZN2D |
| 5CW2TRBNV0 | 5CW2TRBNV0 | statement | record (an 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.25282#WGJ9 |
| 5CW8FA9D8J | 5CW8FA9D8J | example | open | open_logic content/first-order-logic/sequent-calculus/identity.tex#ex-1 |
| 5CWA2MS63G | 5CWA2MS63G | statement | record (an 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.31090#JOLX |
| 5CWMZSEZ6Y | 5CWMZSEZ6Y | statement | record (an 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.05364#73A3 |
| 5CWNMYMBBB | 5CWNMYMBBB | exercise | open | lebl_scv scv.tex#exercise-135 |
| 5CXWH27V3Z | 5CXWH27V3Z | statement | record (an 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.37761#A8T1 |
| 5CY5RM1TWE | 5CY5RM1TWE | exercise | open | hott_book induction.tex#ex:Wprop |
| 5CYM4G3XZZ | 5CYM4G3XZZ | statement | record (an 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.35095#G218 |
| 5CZ1WEGPQX | 5CZ1WEGPQX | 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#UVRJ |
| 5CZEQNZG26 | 5CZEQNZG26 | 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.33541#6587 |
| 5CZK5ZJZGA | 5CZK5ZJZGA | statement | record (an 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.25167#QHMW |
| 5D06KFRH9S | 5D06KFRH9S | 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.11545#X0SS |
| 5D07GX4MCG | 5D07GX4MCG | statement | record (an 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.35600#8YPD |
| 5D0CJJB7ZA | 5D0CJJB7ZA | 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.37606#OK0M |
| 5D0S8Y5Y1R | 5D0S8Y5Y1R | statement | record (an 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.22170#BLTF |
| 5D1G4YE4XP | 5D1G4YE4XP | statement | record (an 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.33704#6YGY |
| 5D1GAT8K06 | 5D1GAT8K06 | statement | record (an 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.14561#WMFL |
| 5D1SD7KYYB | 5D1SD7KYYB | statement | record (an 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.12108#KJBI |
| 5D1WEG56M6 | 5D1WEG56M6 | example | open | open_logic content/first-order-logic/tableaux/identity.tex#ex-1 |
| 5D1XH7CQ0H | 5D1XH7CQ0H | statement | open | ernst_ibl MAAPressVersion/UncountableSets.tex#theorem-1 |
| 5D2351YKDD | 5D2351YKDD | definition | open | open_logic content/turing-machines/machines-computations/configuration.tex#defn:run-output |
| 5D3D9V23D8 | 5D3D9V23D8 | statement | record (an 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.17139#8F6T |
| 5D3H1MS77M | 5D3H1MS77M | statement | record (an 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.02628#SN16 |
| 5D3KTJSA8W | 5D3KTJSA8W | statement | record (an 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.00798#2772 |
| 5D41PHHXZ3 | 5D41PHHXZ3 | statement | record (an 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.01737#M6DT |
| 5D48G6TJ7X | 5D48G6TJ7X | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-105 |
| 5D4K7PXKX1 | 5D4K7PXKX1 | statement | record (an 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.10546#4AHG |
| 5D4WHQH89E | 5D4WHQH89E | statement | record (an 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#IISB |
| 5D5H3VN8NF | 5D5H3VN8NF | statement | record (an 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.35186#LNN0 |
| 5D5QFKS5W6 | 5D5QFKS5W6 | statement | record (an 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.32916#PVAB |
| 5D63D863ZA | 5D63D863ZA | statement | record (an 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#6XZN |
| 5D6XQ3ZN7C | 5D6XQ3ZN7C | statement | record (an 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.17267#6I7S |
| 5D72QTPZ8M | 5D72QTPZ8M | statement | record (an 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#6QME |
| 5D7A1CB9Z5 | 5D7A1CB9Z5 | 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.03497#9030 |
| 5D7HHA28XP | 5D7HHA28XP | statement | record (an 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.30482#U4G5 |
| 5D8PM7QH75 | 5D8PM7QH75 | statement | record (an 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#WJCD |
| 5D94XX2RF1 | 5D94XX2RF1 | statement | record (an 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.12908#NZFA |
| 5D995MRZKS | 5D995MRZKS | statement | record (an 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.00135#E3H1 |
| 5D9X0ZTVQW | 5D9X0ZTVQW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.22681#H55P |
| 5DA9MX0RWN | 5DA9MX0RWN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.09049#XD6K |
| 5DBNZM3TQW | 5DBNZM3TQW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.04161#R125 |
| 5DC5X95GAT | 5DC5X95GAT | statement | record (an 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#H1V3 |
| 5DCBWF9C7J | 5DCBWF9C7J | exercise | open | lebl_ra ch-approximate.tex#exercise-49 |
| 5DCF01XBKM | 5DCF01XBKM | 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.25391#2M6P |
| 5DDNR52H47 | 5DDNR52H47 | 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 2208.06310#MSS8 |
| 5DE5KVT0TW | 5DE5KVT0TW | statement | record (an 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/0003117#8SC4 |
| 5DF0FVYPD5 | 5DF0FVYPD5 | statement | record (an 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.19300#QRTX |
| 5DGC1RJ3MH | 5DGC1RJ3MH | statement | record (an 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.00589#Q8XQ |
| 5DGK5XEJ00 | 5DGK5XEJ00 | statement | record (an 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#8WA8 |
| 5DGTRFAVB9 | 5DGTRFAVB9 | statement | record (an 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.21358#TXID |
| 5DGZSGHVAM | 5DGZSGHVAM | statement | record (an 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#8Y0L |
| 5DH4EANQV3 | 5DH4EANQV3 | 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 2610.06141#ZKBG |
| 5DHM0H7P8D | 5DHM0H7P8D | statement | record (an 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#B9S9 |
| 5DHR7DBMTM | 5DHR7DBMTM | statement | record (an 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#YDV6 |
| 5DHS3P1XP5 | 5DHS3P1XP5 | statement | record (an 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#CS8K |
| 5DHX0Q1TA2 | 5DHX0Q1TA2 | statement | record (an 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.00271#K2QQ |
| 5DJ6PN2T7G | 5DJ6PN2T7G | statement | record (an 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.16059#J5H3 |
| 5DJHQXKPXF | 5DJHQXKPXF | statement | record (an 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.35858#FNWL |
| 5DK0Q8N4RB | 5DK0Q8N4RB | statement | record (an 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.02870#EABB |
| 5DKN0CV4MX | 5DKN0CV4MX | statement | record (an 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.07162#IV6I |
| 5DKVC73G3C | 5DKVC73G3C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#RNR0 |
| 5DM54RW6S9 | 5DM54RW6S9 | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-52 |
| 5DM7RQJDZ0 | 5DM7RQJDZ0 | statement | record (an 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.15444#LAEW |
| 5DMP30TQ7A | 5DMP30TQ7A | 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.19273#INDF |