Inventory: W
The rows of the inventory whose names start with W. 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 101–200 of 5624.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| W0RCVCGB4K | W0RCVCGB4K | statement | open | hott_book hlevels.tex#thm:h-set-uip-K |
| W0S072E15X | W0S072E15X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2307.13930#0B4U |
| W0S8EHCJES | W0S8EHCJES | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.01410#86B3 |
| W0SWKWEF34 | W0SWKWEF34 | 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 2207.11097#JWHH |
| W0T13WM113 | W0T13WM113 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2047#IO58 |
| W0TP04MKGV | W0TP04MKGV | statement | record (an 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.27049#G6VA |
| W0TY2FFH3C | W0TY2FFH3C | statement | record (an 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.20556#T49J |
| W0VBY0M09D | W0VBY0M09D | 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.06556#PDXL |
| W0VY5J101J | W0VY5J101J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1509.00950#JL29 |
| W0VZQKJKT2 | W0VZQKJKT2 | statement | record (an 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.13847#K8BS |
| W0X3F6Q763 | W0X3F6Q763 | statement | record (an 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.06463#E9F8 |
| W0XVN17KG3 | W0XVN17KG3 | statement | record (an 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.21043#UANK |
| W0XW8ZD4TE | W0XW8ZD4TE | statement | record (an 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.21181#VIZ9 |
| W0XZW6AWW5 | W0XZW6AWW5 | statement | record (an 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.27125#9SJ9 |
| W0Y9EZWF4P | W0Y9EZWF4P | statement | record (an 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.34066#DBM3 |
| W0YYWAEMR8 | W0YYWAEMR8 | statement | record (an 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#TQE3 |
| W0Z8MKPDM1 | W0Z8MKPDM1 | statement | record (an 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.09945#YGHX |
| W0ZE09VMNV | W0ZE09VMNV | exercise | open | austin_ula src/exercises/exercises2-1.xml#exercise-2 |
| W0ZZTP874Z | W0ZZTP874Z | statement | record (an 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.20119#6AME |
| W110K61K6P | W110K61K6P | 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.20119#HOBG |
| W11FCF6Q8V | W11FCF6Q8V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#T18N |
| W11Y1ES1SF | W11Y1ES1SF | 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.20361#P0HA |
| W126RR8C4F | W126RR8C4F | statement | record (an 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#6X2R |
| W129FDRSF6 | W129FDRSF6 | statement | record (an 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.23595#9ZD3 |
| W12FKSXT9C | W12FKSXT9C | 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 2108.10246#09S8 |
| W12N13BK1X | W12N13BK1X | 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.32916#WEJO |
| W133MD5ZT9 | W133MD5ZT9 | statement | record (an 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#5E4I |
| W13577JVPS | W13577JVPS | exercise | open | levin_dmoi ptx/exercises/counting-conc.ptx#exercise-14 |
| W1413M9SFT | W1413M9SFT | statement | record (an 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.08052#1M6K |
| W14GC0CQNW | W14GC0CQNW | definition | open | open_logic content/sets-functions-relations/inductive-defs-proofs/introduction.tex#defn-2 |
| W14X47YRB7 | W14X47YRB7 | statement | record (an 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.11047#7K6W |
| W160D5BCR8 | W160D5BCR8 | statement | record (an 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#87J3 |
| W161B4PEJZ | W161B4PEJZ | statement | record (an 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.13745#RDFR |
| W16Q4S28GN | W16Q4S28GN | exercise | open | lebl_ra ch-metric.tex#exercise-67 |
| W16QHEVVAC | W16QHEVVAC | statement | record (an 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.18992#J49M |
| W16R7EMXPK | W16R7EMXPK | 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.21365#5G5O |
| W17WQKK6K6 | W17WQKK6K6 | statement | record (an 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.24325#TWVS |
| W18CWCHFCV | W18CWCHFCV | statement | record (an 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.07114#AJ1U |
| W18DCJ0K36 | W18DCJ0K36 | statement | open | hott_book hlevels.tex#prop:lv_n_deptype_sec_equiv_by_precomp |
| W18DMX4W5N | W18DMX4W5N | statement | record (an 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.39539#UXWB |
| W18M949296 | W18M949296 | statement | record (an 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.36423#0AQ9 |
| W1916K6N2F | W1916K6N2F | statement | record (an 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.07114#UUAU |
| W19B9EYPZQ | W19B9EYPZQ | statement | record (an 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.22667#IQBH |
| W19M80DE6W | W19M80DE6W | statement | record (an 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.00358#61EH |
| W1A9GB3ABQ | W1A9GB3ABQ | exercise | open | austin_ula src/section6-1.xml#activity-2 |
| W1AKYN3NBW | W1AKYN3NBW | statement | record (an 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.32078#XZQK |
| W1AT8DSNWT | W1AT8DSNWT | statement | record (an 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.18744#ABXL |
| W1B0C98B68 | W1B0C98B68 | statement | record (an 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.32138#3AFB |
| W1B55NXZKB | W1B55NXZKB | statement | record (an 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#007W |
| W1B6Z2NE0G | W1B6Z2NE0G | statement | record (an 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.39726#7G9P |
| W1B8NC2G3Q | W1B8NC2G3Q | statement | record (an 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.26496#UIPC |
| W1BC52CYY5 | W1BC52CYY5 | statement | record (an 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.29631#MNFO |
| W1BDHKEHGZ | W1BDHKEHGZ | statement | record (an 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.21732#1OY4 |
| W1BQZE529E | W1BQZE529E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2008.10035#06G6 |
| W1BYFVS5MR | W1BYFVS5MR | statement | record (an 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.11481#W9E7 |
| W1CW326PG7 | W1CW326PG7 | definition | open | napkin tex/calculus/limits.tex#definition-8 |
| W1DCY8844Z | W1DCY8844Z | definition | open | hott_book basics.tex#def:pointedtype |
| W1DE6FA37Y | W1DE6FA37Y | statement | record (an 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.26592#ICN0 |
| W1DEY186M1 | W1DEY186M1 | statement | record (an 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.34295#A5UA |
| W1ECCKFKHZ | W1ECCKFKHZ | 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.25801#WJ69 |
| W1F8CRS12R | W1F8CRS12R | 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.16404#LFEF |
| W1FSHPB8C0 | W1FSHPB8C0 | statement | record (an 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.10747#KGDZ |
| W1FTB7RGCR | W1FTB7RGCR | statement | record (an 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.11120#LQ0N |
| W1G41WA2P0 | W1G41WA2P0 | statement | record (an 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#Y45A |
| W1GCF053GD | W1GCF053GD | exercise | open | lebl_ra ch-seq-ser.tex#exercise-63 |
| W1H81HHP8Z | W1H81HHP8Z | statement | record (an 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.21545#AIDX |
| W1HQW0D2R6 | W1HQW0D2R6 | 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.18084#WMVF |
| W1JYS4E7TM | W1JYS4E7TM | statement | record (an 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.33953#JOMY |
| W1JZBN6VFJ | W1JZBN6VFJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.06445#XVE2 |
| W1K9NF3K5S | W1K9NF3K5S | statement | record (an 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.24917#DXP6 |
| W1KDNN8P7Y | W1KDNN8P7Y | statement | record (an 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.14692#ISIJ |
| W1KMVHA5CJ | W1KMVHA5CJ | 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 2112.05010#F98K |
| W1KQZQJY63 | W1KQZQJY63 | definition | open | open_logic content/normal-modal-logic/tableaux/soundness.tex#defn-1 |
| W1KQZVCBAQ | W1KQZVCBAQ | statement | record (an 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.18992#290U |
| W1KYYCZJ4Z | W1KYYCZJ4Z | statement | record (an 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.23629#BGDZ |
| W1M284KZ2X | W1M284KZ2X | statement | record (an 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.22374#CDPD |
| W1MMQQ0RN0 | W1MMQQ0RN0 | statement | record (an 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#FUFK |
| W1NWX9PBKW | W1NWX9PBKW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.08723#L1OI |
| W1NX7EQ33A | W1NX7EQ33A | 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.21914#6LCS |
| W1P3XNFVK6 | W1P3XNFVK6 | statement | record (an 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#0OYW |
| W1P5QW5QXD | W1P5QW5QXD | statement | record (an 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#90KH |
| W1P8CSNP7H | W1P8CSNP7H | 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 2311.00585#QZM7 |
| W1PRWYMVG5 | W1PRWYMVG5 | 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#EI3C |
| W1QCW6P3X1 | W1QCW6P3X1 | statement | record (an 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.28518#H20G |
| W1QJGGFV2Q | W1QJGGFV2Q | statement | record (an 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.14509#0XGI |
| W1R7FVY7SY | W1R7FVY7SY | proof | open | napkin tex/alg-NT/finite-field.tex#proof-3 |
| W1RG4YFC4D | W1RG4YFC4D | statement | record (an 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#IT8W |
| W1RJXKG39Z | W1RJXKG39Z | statement | record (an 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.20577#BC3G |
| W1RRSNZ5WR | W1RRSNZ5WR | statement | record (an 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.02935#PW62 |
| W1RSQFG3EY | W1RSQFG3EY | 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.21052#DTUA |
| W1S5YKGHXH | W1S5YKGHXH | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-40 |
| W1SCVKWAGS | W1SCVKWAGS | statement | record (an 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.20798#1UPQ |
| W1SHP05BJV | W1SHP05BJV | statement | record (an 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.02484#W92B |
| W1T25GEVC6 | W1T25GEVC6 | statement | record (an 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.17060#S5CV |
| W1V0TSEEB1 | W1V0TSEEB1 | statement | record (an 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.03612#B7NZ |
| W1V33BZPY9 | W1V33BZPY9 | statement | record (an 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#CWCI |
| W1V38FXEKX | W1V38FXEKX | statement | record (an 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.04593#VPF0 |
| W1VDG4FRXC | W1VDG4FRXC | statement | record (an 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.37026#69VD |
| W1XQ3T2K4N | W1XQ3T2K4N | 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.21860#5EBH |
| W1Y4FD2M10 | W1Y4FD2M10 | statement | record (an 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.02506#XUZV |