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 401–500 of 5624.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| W410Y5EVRQ | W410Y5EVRQ | statement | record (an 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#LQEP |
| W414PEHD66 | W414PEHD66 | statement | record (an 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.05696#OWHE |
| W41E4P8DJK | W41E4P8DJK | statement | record (an 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.39317#1RYH |
| W41EG7XX3D | W41EG7XX3D | statement | record (an 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.12141#4W8A |
| W41FMB3S8F | W41FMB3S8F | statement | record (an 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#8JW6 |
| W4246K4TZV | W4246K4TZV | statement | record (an 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.25367#BM9B |
| W4247A7449 | W4247A7449 | statement | record (an 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.15517#BEAP |
| W426AYBNMK | W426AYBNMK | statement | record (an 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#3A6K |
| W426K04RQ3 | W426K04RQ3 | statement | record (an 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.09001#SA8X |
| W42CSECDBQ | W42CSECDBQ | statement | record (an 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.32440#KOVB |
| W42N3E6KFS | W42N3E6KFS | statement | record (an 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.05018#O5HB |
| W42QJVJC6B | W42QJVJC6B | 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#9MA8 |
| W433QFQP95 | W433QFQP95 | statement | open | hott_book hits.tex#thm:transport-is-given |
| W437C04WXZ | W437C04WXZ | statement | record (an 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.20567#GUXR |
| W43DDS60P4 | W43DDS60P4 | statement | record (an 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.18016#J41Y |
| W43FJHFDWM | W43FJHFDWM | statement | record (an 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.03231#ONJQ |
| W43QEZ49ZV | W43QEZ49ZV | statement | record (an 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.28501#RGNN |
| W43QXTEDSN | W43QXTEDSN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.19687#GAL3 |
| W440Y49M0M | W440Y49M0M | statement | record (an 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.21507#JQN2 |
| W44M84ETGW | W44M84ETGW | exercise | open | lebl_ra ch-seq-ser.tex#exercise-12 |
| W44R2Q8QQJ | W44R2Q8QQJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.08272#YVCA |
| W44ZKS09S0 | W44ZKS09S0 | statement | record (an 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.36135#J447 |
| W455XJBGX6 | W455XJBGX6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.14022#0US4 |
| W45BY2JAV9 | W45BY2JAV9 | statement | record (an 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.25703#EDNQ |
| W45H5DG6K3 | W45H5DG6K3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.17852#KVLB |
| W45JXMYJ17 | W45JXMYJ17 | statement | record (an 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.17476#PQ1Z |
| W45N213BYH | W45N213BYH | example | open | ernst_ibl MAAPressVersion/Relations.tex#ex:digraph |
| W45PSHWR1C | W45PSHWR1C | statement | record (an 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.16631#ULGQ |
| W46CQ0EXD9 | W46CQ0EXD9 | statement | open | hott_book categories.tex#ct:eqv-levelwise |
| W46KMN2KGE | W46KMN2KGE | exercise | open | levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-14 |
| W46P0Z7SMJ | W46P0Z7SMJ | statement | record (an 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.16003#FY34 |
| W4708CWVBF | W4708CWVBF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.08738#I5T2 |
| W482V3CB4C | W482V3CB4C | statement | record (an 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.11468#I8OU |
| W48MSPCQBH | W48MSPCQBH | statement | record (an 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.39260#FBI6 |
| W48TEYVHT2 | W48TEYVHT2 | 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 2506.09840#1M7U |
| W492F6MMSV | W492F6MMSV | statement | record (an 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.17411#AXW4 |
| W493MA42YM | W493MA42YM | statement | record (an 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.37368#MCWJ |
| W496EZ832S | W496EZ832S | statement | record (an 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#POUC |
| W49C883B5J | W49C883B5J | statement | record (an 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.28509#3F9E |
| W4A6QRS542 | W4A6QRS542 | statement | record (an 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#97CY |
| W4A9WQ0PTB | W4A9WQ0PTB | statement | record (an 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.22058#CWJK |
| W4ADFRF6NX | W4ADFRF6NX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.06621#QKLM |
| W4AEM0K4EH | W4AEM0K4EH | statement | record (an 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.29641#IBC3 |
| W4BC5QFN9V | W4BC5QFN9V | exercise | open | active_calculus source/activities/act-1-8-1.xml#act-1-8-1 |
| W4BEFSMXVB | W4BEFSMXVB | statement | open | lebl_ra ch-seq-funcs.tex#prop-2 |
| W4BS2P18CR | W4BS2P18CR | statement | record (an 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#PHM5 |
| W4C5KWBK7C | W4C5KWBK7C | statement | record (an 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.20422#1CYU |
| W4CA9ASXR4 | W4CA9ASXR4 | statement | record (an 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.25983#Z2O0 |
| W4CFZRWC1Y | W4CFZRWC1Y | statement | record (an 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.37520#DL68 |
| W4CKPB6ND5 | W4CKPB6ND5 | statement | open | applied_combinatorics source/s_graphs_eulerham.ptx#thm_graphs_dirac |
| W4D9CJ0458 | W4D9CJ0458 | 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.21627#1C8J |
| W4DB6F5XRB | W4DB6F5XRB | statement | record (an 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.12633#U60P |
| W4DZ3WDDG0 | W4DZ3WDDG0 | 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.03612#GNJ6 |
| W4EYR5KEHV | W4EYR5KEHV | 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.12808#WI5A |
| W4FKHHQMHR | W4FKHHQMHR | 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.24610#69R9 |
| W4FP449ERJ | W4FP449ERJ | statement | record (an 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.05194#MBKP |
| W4FPZGWSHB | W4FPZGWSHB | statement | record (an 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.22560#4TD0 |
| W4GB84JMTN | W4GB84JMTN | statement | record (an 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.35920#SLHW |
| W4GF9ZWTFH | W4GF9ZWTFH | statement | record (an 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.24131#J6X1 |
| W4GHQSRKZ6 | W4GHQSRKZ6 | exercise | open | lebl_ra ch-seq-ser.tex#exercise-79 |
| W4GWD0RR03 | W4GWD0RR03 | statement | record (an 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.28374#M6UZ |
| W4GZ7Q2DM4 | W4GZ7Q2DM4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1803.10042#51KW |
| W4H1X3V5Y8 | W4H1X3V5Y8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.24190#1YJQ |
| W4H691WB11 | W4H691WB11 | exercise | open | napkin tex/alg-NT/pell.tex#prob:unit_cubed |
| W4HY84P31W | W4HY84P31W | exercise | open | open_logic content/sets-functions-relations/sets/pairs-and-products.tex#prob-2 |
| W4JFAEKAYZ | W4JFAEKAYZ | 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 2102.09374#KS4S |
| W4JJYPSDKJ | W4JJYPSDKJ | statement | record (an 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#NFT8 |
| W4JKZWMHVZ | W4JKZWMHVZ | statement | record (an 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.24739#PBEC |
| W4KAMT2910 | W4KAMT2910 | statement | record (an 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.09314#ZCRS |
| W4KCV38S37 | W4KCV38S37 | statement | record (an 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.22296#YCW9 |
| W4KGN0HYX5 | W4KGN0HYX5 | statement | record (an 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.10570#IDLH |
| W4M4WS5RQK | W4M4WS5RQK | statement | record (an 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.02901#YLDE |
| W4M7521GFQ | W4M7521GFQ | 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.01087#EM8I |
| W4M7SSEPVY | W4M7SSEPVY | unknown | open | arXiv 2106.06387#DSHU |
| W4NJG9MZP7 | W4NJG9MZP7 | statement | record (an 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.11652#D33E |
| W4NT31GM4T | W4NT31GM4T | 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.23279#MGQ2 |
| W4P01ZE8TW | W4P01ZE8TW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0911.1417#OJ0W |
| W4P9Z4KK48 | W4P9Z4KK48 | statement | record (an 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.13884#GA78 |
| W4PV77W78P | W4PV77W78P | statement | record (an 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.09561#ZT13 |
| W4Q97ZDNAV | W4Q97ZDNAV | statement | record (an 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.19872#AGE3 |
| W4QDQBVDK2 | W4QDQBVDK2 | statement | record (an 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#ZXUD |
| W4QVQ2G2XA | W4QVQ2G2XA | statement | record (an 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#J6Z3 |
| W4RGMNM8XR | W4RGMNM8XR | 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.15099#ZHDD |
| W4RTJBSCNY | W4RTJBSCNY | statement | record (an 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.19729#7WV4 |
| W4S1KFVNRW | W4S1KFVNRW | 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.24545#TWNS |
| W4S2R07WWT | W4S2R07WWT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1406.2996#DKNG |
| W4SGBPQ4D7 | W4SGBPQ4D7 | statement | record (an 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.17070#08AD |
| W4SJFXE6KT | W4SJFXE6KT | statement | record (an 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#2XRX |
| W4SP0R3FRW | W4SP0R3FRW | proof | open | open_logic content/first-order-logic/tableaux/provability-consistency.tex#proof-1 |
| W4TA035J13 | W4TA035J13 | statement | record (an 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.20460#RZOQ |
| W4TNRWGPGM | W4TNRWGPGM | statement | record (an 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#AVXY |
| W4VAJK6W5R | W4VAJK6W5R | statement | record (an 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.36827#2ZZK |
| W4VYJABJZR | W4VYJABJZR | statement | record (an 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.25973#B0E5 |
| W4WXHXMV17 | W4WXHXMV17 | statement | record (an 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.17798#5P1R |
| W4XV4G9JYM | W4XV4G9JYM | statement | record (an 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.01919#70WO |
| W4XW7EEQ0X | W4XW7EEQ0X | statement | record (an 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.11693#53DU |
| W4ZFKHMMHX | W4ZFKHMMHX | statement | record (an 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.06310#RYD7 |
| W4ZG35W1GE | W4ZG35W1GE | statement | record (an 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.13833#6ULT |
| W4ZP5FZPJV | W4ZP5FZPJV | statement | record (an 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#YIBB |
| W4ZPWA63T7 | W4ZPWA63T7 | statement | record (an 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.17181#S25R |