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 20701–20800 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 7B5K4PA31K | 7B5K4PA31K | statement | record (an 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.32077#CL37 |
| 7B6CV7K8CA | 7B6CV7K8CA | 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.31861#C35O |
| 7B6FSCZJZX | 7B6FSCZJZX | statement | record (an 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.07001#5BTV |
| 7B6GJ8FY6P | 7B6GJ8FY6P | statement | record (an 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.11271#5588 |
| 7B6K9HGCEW | 7B6K9HGCEW | 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.09721#1ELO |
| 7B9DG2PTD4 | 7B9DG2PTD4 | 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.05391#CA9N |
| 7B9EFN3M3M | 7B9EFN3M3M | statement | record (an 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.32829#XR9O |
| 7BBPXH88V0 | 7BBPXH88V0 | statement | record (an 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.04502#JPEQ |
| 7BCQ99P87T | 7BCQ99P87T | statement | record (an 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.18329#XYJD |
| 7BCTWXJ9TW | 7BCTWXJ9TW | statement | record (an 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.06381#MSA7 |
| 7BDEFPWT7A | 7BDEFPWT7A | 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.13532#N2QY |
| 7BDJTQ34QP | 7BDJTQ34QP | statement | record (an 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.05684#F2FM |
| 7BDVKWAHRS | 7BDVKWAHRS | statement | record (an 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#WNEH |
| 7BDYR06EMV | 7BDYR06EMV | statement | record (an 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.21255#Y4HW |
| 7BE3PMQS6K | 7BE3PMQS6K | 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 2401.05118#0EOI |
| 7BF0DVKZ1C | 7BF0DVKZ1C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.05577#Q2OH |
| 7BFJTW9VS6 | 7BFJTW9VS6 | statement | record (an 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.16386#KXKC |
| 7BFR63QS6E | 7BFR63QS6E | statement | record (an 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#5TNJ |
| 7BGKQBGJQQ | 7BGKQBGJQQ | statement | record (an 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.07398#1MEI |
| 7BGNHA7WW1 | 7BGNHA7WW1 | statement | record (an 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.02790#XFXF |
| 7BGX7V45BX | 7BGX7V45BX | statement | record (an 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.16746#7JQQ |
| 7BH6HGD4XJ | 7BH6HGD4XJ | statement | record (an 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.25524#KP6L |
| 7BHQZDBY61 | 7BHQZDBY61 | 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.01932#MNIK |
| 7BJ09QCD4C | 7BJ09QCD4C | definition | open | open_logic content/proof-theory/propositions-as-types/proof-terms.tex#defn-1 |
| 7BJ4E6HJTJ | 7BJ4E6HJTJ | statement | record (an 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.27628#LYWO |
| 7BK3KH5J33 | 7BK3KH5J33 | statement | record (an 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.34516#NTAM |
| 7BK5E31V6K | 7BK5E31V6K | 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 2606.20229#5LN9 |
| 7BKD0R244B | 7BKD0R244B | statement | record (an 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.00134#8EKY |
| 7BKRRWVGGK | 7BKRRWVGGK | statement | record (an 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.07541#APKH |
| 7BKW43RF97 | 7BKW43RF97 | 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.09739#94LD |
| 7BKZ9PWAYS | 7BKZ9PWAYS | statement | record (an 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.23040#HRJ8 |
| 7BM2Z19QXR | 7BM2Z19QXR | statement | record (an 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.28076#1AYL |
| 7BNHPMV20H | 7BNHPMV20H | statement | record (an 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.32557#K21Z |
| 7BQ0R20ZTH | 7BQ0R20ZTH | 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.38975#XD9E |
| 7BQFJH2FV9 | 7BQFJH2FV9 | statement | record (an 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.22657#J2WI |
| 7BQNF5HKTN | 7BQNF5HKTN | statement | record (an 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.25896#0JNM |
| 7BQXV90ETR | 7BQXV90ETR | statement | record (an 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.08151#504E |
| 7BQZPAKKDE | 7BQZPAKKDE | statement | record (an 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.20568#M99O |
| 7BRX9N20AT | 7BRX9N20AT | statement | record (an 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.09594#IUEQ |
| 7BSKHE9C4A | 7BSKHE9C4A | statement | record (an 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.13271#IJT5 |
| 7BSYSKRSG5 | 7BSYSKRSG5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2007.14459#RKP8 |
| 7BV8KVH36M | 7BV8KVH36M | statement | record (an 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.35927#ZHGU |
| 7BVEA88846 | 7BVEA88846 | 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.06200#5J7Z |
| 7BVRTFX50M | 7BVRTFX50M | 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 2411.17227#FNDA |
| 7BVWKVT4V2 | 7BVWKVT4V2 | statement | record (an 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.30544#19FD |
| 7BW2S220KC | 7BW2S220KC | 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.39593#54ST |
| 7BW3JWP70P | 7BW3JWP70P | statement | record (an 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.01928#KOZ7 |
| 7BW3WNRB1Z | 7BW3WNRB1Z | 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.15744#6F1W |
| 7BW6F03SM2 | 7BW6F03SM2 | statement | record (an 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.14383#XW84 |
| 7BW7Z8R1AT | 7BW7Z8R1AT | statement | record (an 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.13076#JFVJ |
| 7BWAQTB7MN | 7BWAQTB7MN | statement | record (an 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.23350#XQME |
| 7BX5E4C6H6 | 7BX5E4C6H6 | 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 1612.08394#XQJD |
| 7BX5VDH36H | 7BX5VDH36H | statement | record (an 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#7X0S |
| 7BXCS7VV0M | 7BXCS7VV0M | statement | record (an 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.18302#VXD8 |
| 7BXT0FN5S0 | 7BXT0FN5S0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1806.00877#KCBP |
| 7BY0VMQEW9 | 7BY0VMQEW9 | statement | record (an 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.16886#7I1Z |
| 7BY13NNZTF | 7BY13NNZTF | statement | record (an 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.05442#SLEV |
| 7BY9EJ4R91 | 7BY9EJ4R91 | 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.31269#5Z9F |
| 7BYF0W9D1Y | 7BYF0W9D1Y | statement | record (an 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.20568#NI9F |
| 7BYX6J606Q | 7BYX6J606Q | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-12 |
| 7BYYXDR5P1 | 7BYYXDR5P1 | statement | record (an 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#TLNA |
| 7BYZ4WB916 | 7BYZ4WB916 | statement | record (an 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.27484#YQ2M |
| 7BZ5AZBZS8 | 7BZ5AZBZS8 | definition | open | hott_book hlevels.tex#defn-8 |
| 7C0H6DRWHC | 7C0H6DRWHC | statement | record (an 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.37897#YQT8 |
| 7C0WCCW2K4 | 7C0WCCW2K4 | statement | record (an 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#OCYG |
| 7C16KFFSXP | 7C16KFFSXP | statement | record (an 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.20311#TQQ8 |
| 7C1EV0K3HJ | 7C1EV0K3HJ | statement | record (an 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.11440#5S98 |
| 7C1HXDEH8E | 7C1HXDEH8E | 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.20899#ZCY4 |
| 7C1Q2JBG49 | 7C1Q2JBG49 | statement | record (an 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.23833#DBEM |
| 7C21FT8CZE | 7C21FT8CZE | statement | record (an 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.15262#A983 |
| 7C2FT5RZ9Q | 7C2FT5RZ9Q | 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.21921#P0IT |
| 7C2GE7SB57 | 7C2GE7SB57 | statement | record (an 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.07290#UN5X |
| 7C2GEKW513 | 7C2GEKW513 | statement | record (an 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.28412#4BUL |
| 7C2GYXK7RS | 7C2GYXK7RS | exercise | open | active_calculus source/activities/act-5-1-2.xml#act-5-1-2 |
| 7C2PQ1CZZ6 | 7C2PQ1CZZ6 | statement | record (an 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.27168#N3D7 |
| 7C31B03G83 | 7C31B03G83 | 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.11902#ILRD |
| 7C328Z93B4 | 7C328Z93B4 | statement | record (an 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.20376#QMSG |
| 7C3A5EZXZ3 | 7C3A5EZXZ3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.08018#NZ5R |
| 7C3AVDAJZD | 7C3AVDAJZD | 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 2412.14956#FJXQ |
| 7C44JX0K6S | 7C44JX0K6S | statement | record (an 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.14667#3GGB |
| 7C4TZDFDN2 | 7C4TZDFDN2 | statement | record (an 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.16727#IVBF |
| 7C4WXBYBMB | 7C4WXBYBMB | statement | record (an 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.12326#ICAD |
| 7C5HRR3Y8E | 7C5HRR3Y8E | statement | record (an 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.31327#L41N |
| 7C5R21JJXD | 7C5R21JJXD | exercise | open | lebl_diffyqs ch-power-ser.tex#exercise-4 |
| 7C5RFE0ZZT | 7C5RFE0ZZT | statement | record (an 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.22784#2LUM |
| 7C5XV5PKZ4 | 7C5XV5PKZ4 | example | open | austin_ula src/section3-2.xml#example-wavelet-basis |
| 7C6RMPDNTZ | 7C6RMPDNTZ | statement | record (an 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.21860#LW3A |
| 7C6WPC5H6Y | 7C6WPC5H6Y | statement | record (an 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.12502#6C8W |
| 7C79P2TD8E | 7C79P2TD8E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1802.02910#VZ71 |
| 7C7SWHTZC9 | 7C7SWHTZC9 | statement | record (an 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.01000#IK8B |
| 7C8NFTKB4F | 7C8NFTKB4F | statement | record (an 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.06699#T8AN |
| 7C8SK5WTC6 | 7C8SK5WTC6 | statement | record (an 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#81XO |
| 7C9R9CZPFB | 7C9R9CZPFB | statement | record (an 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.14847#5YMA |
| 7C9WDG6MQZ | 7C9WDG6MQZ | 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.21080#97HN |
| 7C9ZJTW885 | 7C9ZJTW885 | exercise | open | lebl_scv scv.tex#exercise-198 |
| 7CA40HVTBP | 7CA40HVTBP | statement | record (an 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.18270#JAGW |
| 7CAXN96H12 | 7CAXN96H12 | statement | record (an 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.05684#ZZM9 |
| 7CB7AW3YZP | 7CB7AW3YZP | statement | record (an 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.37589#H10Q |
| 7CB9TCCT76 | 7CB9TCCT76 | proof | open | hott_book basics.tex#proof-35 |
| 7CBCKDY5QZ | 7CBCKDY5QZ | statement | record (an 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.37093#F0M6 |