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 18201–18300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 7C5XV5PKZ4 | 7C5XV5PKZ4 | example | open | austin_ula src/section3-2.xml#example-wavelet-basis |
| 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 |
| 7CBJ1FV8SV | 7CBJ1FV8SV | statement | record (an 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.09133#W8GD |
| 7CBST0N4VW | 7CBST0N4VW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.04933#4L2A |
| 7CCDZCEJ32 | 7CCDZCEJ32 | statement | record (an 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.11797#XA8X |
| 7CCK5Z1BTG | 7CCK5Z1BTG | statement | record (an 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.14582#7COD |
| 7CD6KBCEN3 | 7CD6KBCEN3 | exercise | open | open_logic content/computability/recursive-functions/primes.tex#prob-1 |
| 7CDK2B3QN2 | 7CDK2B3QN2 | 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 1903.07030#DLOW |
| 7CDKQJ360C | 7CDKQJ360C | statement | record (an 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.26191#P18C |
| 7CE1V205QW | 7CE1V205QW | statement | record (an 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.14236#7QDV |
| 7CE814QHC4 | 7CE814QHC4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.10246#N03W |
| 7CECG73CJZ | 7CECG73CJZ | 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.39293#X99T |
| 7CEJBKKGC0 | 7CEJBKKGC0 | 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.20025#3IQ1 |
| 7CEMGSC47J | 7CEMGSC47J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1701.00517#08JV |
| 7CFQ69QJZW | 7CFQ69QJZW | statement | record (an 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.12013#QU4R |
| 7CFYCDZNR0 | 7CFYCDZNR0 | statement | record (an 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.31604#8PXO |
| 7CFYSQHRZ6 | 7CFYSQHRZ6 | statement | record (an 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.15982#CGLX |
| 7CG391MDB3 | 7CG391MDB3 | exercise | open | napkin tex/alg-NT/norm-trace.tex#problem-2 |
| 7CG5MQSEY2 | 7CG5MQSEY2 | statement | record (an 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.39700#RJI5 |
| 7CG5Z2QSFS | 7CG5Z2QSFS | proof | open | open_logic content/incompleteness/representability-in-q/minimization-representable.tex#proof-4 |
| 7CHM80H3DZ | 7CHM80H3DZ | statement | record (an 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#L2HQ |
| 7CHTJQVTRB | 7CHTJQVTRB | 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.12736#QEEQ |
| 7CJ014XZBB | 7CJ014XZBB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.08839#KAJC |
| 7CJ6R6MNBG | 7CJ6R6MNBG | statement | record (an 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#L2R8 |
| 7CJ8FC373W | 7CJ8FC373W | proof | open | lebl_ra ch-multivar-int.tex#proof-11 |
| 7CJ9E04FTG | 7CJ9E04FTG | statement | record (an 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.19658#AO1B |
| 7CK0WGC3C3 | 7CK0WGC3C3 | statement | record (an 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.17137#59YU |
| 7CN14HRY1G | 7CN14HRY1G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.02634#64B2 |
| 7CPVB30TEF | 7CPVB30TEF | statement | record (an 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.12295#PF6R |
| 7CPZ5H9KW1 | 7CPZ5H9KW1 | exercise | open | lebl_ra ch-vol1-intro.tex#exercise-8 |
| 7CQP28BTXA | 7CQP28BTXA | statement | record (an 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.15424#2IGQ |
| 7CQP61YP2X | 7CQP61YP2X | proof | open | hott_book homotopy.tex#proof-18 |
| 7CQRB980CR | 7CQRB980CR | statement | record (an 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.04498#S1TB |
| 7CQVWYJ2MN | 7CQVWYJ2MN | statement | record (an 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.14458#SEX2 |
| 7CRMA1KYWE | 7CRMA1KYWE | 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.26896#R6QA |
| 7CS428MR9G | 7CS428MR9G | statement | record (an 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#XYXQ |
| 7CSHVBD6GZ | 7CSHVBD6GZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.22045#PQFA |
| 7CT4CYQGJK | 7CT4CYQGJK | statement | record (an 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.08382#ROEX |
| 7CV0FR5JT8 | 7CV0FR5JT8 | 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#SPNA |
| 7CV27P4M53 | 7CV27P4M53 | statement | record (an 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#WMPV |
| 7CV9AJWRGE | 7CV9AJWRGE | statement | record (an 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.17479#7GNX |
| 7CVCYFK4DJ | 7CVCYFK4DJ | statement | record (an 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.11002#JNEQ |
| 7CVE8V77BB | 7CVE8V77BB | 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.04314#4K8T |
| 7CVQD18THG | 7CVQD18THG | statement | record (an 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.39353#1ZLW |
| 7CVW9RB7AR | 7CVW9RB7AR | statement | record (an 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.19455#N1BY |
| 7CVZQXS5GB | 7CVZQXS5GB | statement | record (an 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.06645#NX7Q |
| 7CW3MZXTEH | 7CW3MZXTEH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.06555#G0RH |
| 7CWACTY1ZM | 7CWACTY1ZM | definition | open | hott_book categories.tex#ct:functor-composition |
| 7CWD681D7F | 7CWD681D7F | statement | record (an 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.32104#SL1A |
| 7CWM6S55Z6 | 7CWM6S55Z6 | statement | record (an 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.05914#G1PO |
| 7CX1JDV58C | 7CX1JDV58C | statement | record (an 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.27023#VUDF |
| 7CXA0QVM6K | 7CXA0QVM6K | statement | record (an 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.10816#X9RS |
| 7CXKS807YS | 7CXKS807YS | 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.21475#6ZQ6 |
| 7CXNF4F6CR | 7CXNF4F6CR | 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.09739#LLFG |
| 7CXTQ9FE0D | 7CXTQ9FE0D | statement | record (an 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.08633#WH70 |
| 7CY8XFB6RA | 7CY8XFB6RA | statement | record (an 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#Y1LZ |