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 22701–22800 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 911KXRPK7Q | 911KXRPK7Q | statement | record (an 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.15771#YMXP |
| 912MVRD127 | 912MVRD127 | statement | record (an 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#9JS9 |
| 912ZE2QEVR | 912ZE2QEVR | statement | record (an 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.19309#X9W4 |
| 913XY1ZA2Z | 913XY1ZA2Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.2839#HF2X |
| 913YJTCQNG | 913YJTCQNG | statement | record (an 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.34676#TFO5 |
| 91451TCD3S | 91451TCD3S | statement | record (an 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.02791#LF8M |
| 915KME2085 | 915KME2085 | statement | record (an 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.07370#SJDW |
| 91639K6JRA | 91639K6JRA | 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.01596#85GI |
| 9168TQNT5Y | 9168TQNT5Y | statement | record (an 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.21494#SVTI |
| 916997TDFZ | 916997TDFZ | 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 2607.28337#C8GU |
| 916BSD57NT | 916BSD57NT | statement | record (an 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.38548#0UIW |
| 916REX5MKB | 916REX5MKB | 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.33015#FROW |
| 918JAJNXA9 | 918JAJNXA9 | statement | record (an 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.08912#AU0B |
| 918VSZPD0P | 918VSZPD0P | 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.12108#RHDQ |
| 918X9KR2WF | 918X9KR2WF | statement | record (an 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.29877#VXO7 |
| 91911V20GR | 91911V20GR | statement | record (an 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#FSS7 |
| 9193NDM44B | 9193NDM44B | statement | record (an 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.16554#ZA9N |
| 91941BZ3G7 | 91941BZ3G7 | 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.14236#PUB8 |
| 919BPQ4MVS | 919BPQ4MVS | statement | record (an 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.32345#XVEX |
| 919M6AN204 | 919M6AN204 | statement | record (an 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.07190#MHE8 |
| 91A4TWA1DN | 91A4TWA1DN | statement | record (an 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.37778#O5JK |
| 91BTSCJHXD | 91BTSCJHXD | statement | record (an 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.37524#SMAU |
| 91CMXKN3MW | 91CMXKN3MW | exercise | open | levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-12 |
| 91DCJ9181D | 91DCJ9181D | statement | record (an 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/0411039#R0KO |
| 91DR3NXVVK | 91DR3NXVVK | statement | record (an 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#UVAB |
| 91DRE88Q3A | 91DRE88Q3A | statement | record (an 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#F58G |
| 91E6EQMXDR | 91E6EQMXDR | statement | record (an 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.15805#G30L |
| 91E7MR24E5 | 91E7MR24E5 | statement | record (an 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.04124#98DJ |
| 91E8BBDW74 | 91E8BBDW74 | statement | record (an 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.26376#L8I2 |
| 91FME4R1CH | 91FME4R1CH | exercise | open | lebl_diffyqs ch-systems.tex#exercise-44 |
| 91FNKN5HKW | 91FNKN5HKW | statement | record (an 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.33241#T0G9 |
| 91H9J0RX38 | 91H9J0RX38 | statement | record (an 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#RPY0 |
| 91HDPS287X | 91HDPS287X | 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.26337#6GU1 |
| 91HFYZEEWW | 91HFYZEEWW | statement | record (an 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.34011#XWTL |
| 91J8JYFSTH | 91J8JYFSTH | 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.16707#FKFN |
| 91JHFAKRAW | 91JHFAKRAW | statement | record (an 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#33YJ |
| 91JP3M9TGB | 91JP3M9TGB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.11143#2PZ7 |
| 91JWD8X3GB | 91JWD8X3GB | statement | open | hott_book homotopy.tex#thm-1 |
| 91MCWKY46Z | 91MCWKY46Z | statement | record (an 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.04895#1AQL |
| 91MEGEWJZX | 91MEGEWJZX | 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 2607.00146#VUZI |
| 91NEN7K2XY | 91NEN7K2XY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.02432#YB8I |
| 91NX4YQZ9Z | 91NX4YQZ9Z | statement | record (an 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.02893#QHOQ |
| 91NXRMNHY7 | 91NXRMNHY7 | proof | open | hott_book setmath.tex#proof-1 |
| 91PAV9CYZ1 | 91PAV9CYZ1 | 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#C4W7 |
| 91PDGCMJAQ | 91PDGCMJAQ | statement | record (an 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.26276#IGZ2 |
| 91PK8BX6R0 | 91PK8BX6R0 | statement | record (an 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.13850#C9GG |
| 91PV502NRH | 91PV502NRH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1010.0868#8WSF |
| 91QEXPXR9T | 91QEXPXR9T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1607.01095#VLKW |
| 91QNX2JFMF | 91QNX2JFMF | definition | open | open_logic content/incompleteness/theories-computability/oconsis-ext-of-q-undec.tex#thm:oconsis-q |
| 91SB7BGGNT | 91SB7BGGNT | statement | record (an 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.10202#EU12 |
| 91SDZSPW7Y | 91SDZSPW7Y | statement | record (an 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.12014#JMLV |
| 91SVBVM9V5 | 91SVBVM9V5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1905.00573#YSKE |
| 91SWQ6YNEV | 91SWQ6YNEV | statement | record (an 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.26962#BQVP |
| 91T6DEATA8 | 91T6DEATA8 | 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.24795#9HNY |
| 91TCD0VDZF | 91TCD0VDZF | statement | open | lebl_scv scv.tex#prop-28 |
| 91V0QQY471 | 91V0QQY471 | 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.02495#ESNF |
| 91V6Z1HSHH | 91V6Z1HSHH | statement | record (an 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.38250#OMKM |
| 91W0E8YMB9 | 91W0E8YMB9 | statement | record (an 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.10600#UDGC |
| 91W1TCX7FJ | 91W1TCX7FJ | example | open | hott_book categories.tex#ct:rel |
| 91WQDV56GQ | 91WQDV56GQ | statement | record (an 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#A4JM |
| 91WR552GFV | 91WR552GFV | statement | record (an 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#AF4P |
| 91XHTSTNM0 | 91XHTSTNM0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.22986#89FY |
| 91YT62FM6A | 91YT62FM6A | statement | record (an 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#AAEM |
| 91Z6JZ7DK2 | 91Z6JZ7DK2 | statement | record (an 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.30015#2B3Q |
| 91ZJ7663QA | 91ZJ7663QA | 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.08010#W0R7 |
| 9215S99V0W | 9215S99V0W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1001.3429#0S83 |
| 921GPFS5MX | 921GPFS5MX | statement | record (an 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.34946#GWBH |
| 921P05V0MF | 921P05V0MF | exercise | open | lebl_diffyqs ch-power-ser.tex#exercise-9 |
| 921SJQ8D1P | 921SJQ8D1P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1204.5958#J6Q6 |
| 9221K6RPP6 | 9221K6RPP6 | statement | record (an 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.08226#ODH1 |
| 9229BR7E5B | 9229BR7E5B | statement | record (an 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#ADPV |
| 922PJSVFHB | 922PJSVFHB | statement | record (an 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.31276#LSTE |
| 923JC939E8 | 923JC939E8 | 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.35678#PTXQ |
| 923PPZK7VZ | 923PPZK7VZ | 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.07957#W41Q |
| 924CYDYY59 | 924CYDYY59 | statement | record (an 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.00241#IP1T |
| 924HY8XNC6 | 924HY8XNC6 | statement | record (an 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.26114#P5X9 |
| 924JR54B9Q | 924JR54B9Q | statement | record (an 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#R1TE |
| 925G98BQ0B | 925G98BQ0B | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-61 |
| 925W415DRN | 925W415DRN | statement | record (an 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.33557#I7WE |
| 925YS66DVV | 925YS66DVV | statement | record (an 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.26410#JWMW |
| 9260G33B6Z | 9260G33B6Z | statement | record (an 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#TFHY |
| 926RTVS83Q | 926RTVS83Q | statement | record (an 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/0406514#1ED5 |
| 9272RYNWBG | 9272RYNWBG | statement | record (an 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.18223#YYRZ |
| 92810C2ZTQ | 92810C2ZTQ | 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.09333#YTLX |
| 928HQK7GM2 | 928HQK7GM2 | statement | record (an 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#VNKU |
| 9296SDA3RC | 9296SDA3RC | statement | record (an 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.17817#M967 |
| 9298C5QEYV | 9298C5QEYV | statement | record (an 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.03011#1C0V |
| 92994F93WC | 92994F93WC | statement | record (an 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.36321#40AV |
| 929GS3G2WR | 929GS3G2WR | statement | record (an 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#FXUL |
| 929KY15N50 | 929KY15N50 | statement | record (an 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.24610#EB0F |
| 92ASM8AWQF | 92ASM8AWQF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.10840#8TC8 |
| 92AZD9XTZ2 | 92AZD9XTZ2 | statement | record (an 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.40191#6UP9 |
| 92CA8RCCAA | 92CA8RCCAA | statement | record (an 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.39330#4K87 |
| 92D1AMRX0V | 92D1AMRX0V | statement | record (an 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#7OSI |
| 92DAET66E4 | 92DAET66E4 | statement | record (an 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.15010#4VQX |
| 92DK79Q1V1 | 92DK79Q1V1 | statement | record (an 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.19459#0E2Q |
| 92E1F2HYQZ | 92E1F2HYQZ | exercise | open | open_logic content/intuitionistic-logic/tableaux/soundness.tex#prob-1 |
| 92EGDYB446 | 92EGDYB446 | exercise | open | active_calculus source/activities/act-2-7-1.xml#act-2-7-1 |
| 92ES06WGNX | 92ES06WGNX | statement | record (an 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#JRGF |
| 92FEEK8QK3 | 92FEEK8QK3 | statement | record (an 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.00076#LHG5 |