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 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 301–400 of 3560.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| W3JSC9KRJ1 | W3JSC9KRJ1 | statement | record (an 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.18106#XXES |
| W3JW5C43CA | W3JW5C43CA | statement | record (an 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.20316#5Y4V |
| W3JY2N30F4 | W3JY2N30F4 | statement | record (an 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.33238#P6FL |
| W3K0AJMF5N | W3K0AJMF5N | statement | record (an 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.10505#QAPO |
| W3KNPH4AT3 | W3KNPH4AT3 | statement | record (an 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.21358#J4DL |
| W3KVMKKH8Y | W3KVMKKH8Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.06637#KCVK |
| W3MBE3QT8R | W3MBE3QT8R | statement | record (an 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.36078#4G56 |
| W3MGWRC97B | W3MGWRC97B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1804.05688#K2MI |
| W3MKDA4MDE | W3MKDA4MDE | statement | record (an 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#NAIK |
| W3MQZCRM0M | W3MQZCRM0M | statement | record (an 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.21005#TXCJ |
| W3MW24GAFE | W3MW24GAFE | 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.12054#MAKY |
| W3MXHH5GZH | W3MXHH5GZH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2002.01498#Z3EM |
| W3NDGCPX4D | W3NDGCPX4D | statement | record (an 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.28861#GCSJ |
| W3NM409VEM | W3NM409VEM | statement | open | open_logic content/first-order-logic/natural-deduction/provability-propositional.tex#prop:provability-lor |
| W3NRSPE8N9 | W3NRSPE8N9 | 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#1MWY |
| W3P9ZNKNE2 | W3P9ZNKNE2 | statement | record (an 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#CUB3 |
| W3PEFN98PF | W3PEFN98PF | statement | record (an 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.20207#FBFC |
| W3PJ2H4A5M | W3PJ2H4A5M | statement | record (an 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.08594#LI1M |
| W3RCZYJ58G | W3RCZYJ58G | statement | record (an 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.06488#62XO |
| W3TKAWSH8R | W3TKAWSH8R | 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.19852#XP3D |
| W3TZT334BR | W3TZT334BR | exercise | open | lebl_ra ch-der.tex#exercise:bndmuldiff |
| W3VES6WXHD | W3VES6WXHD | statement | record (an 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.15217#S9LL |
| W3VZBGX3QV | W3VZBGX3QV | 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.25353#ETYU |
| W3WA2P20CB | W3WA2P20CB | 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.11800#EN5J |
| W3WDTR11BR | W3WDTR11BR | statement | record (an 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.27570#M47F |
| W3XCBTTKNT | W3XCBTTKNT | statement | record (an 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.02065#7LPO |
| W3XF7S9KP1 | W3XF7S9KP1 | statement | record (an 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.36622#I4WG |
| W3YD8GAPYK | W3YD8GAPYK | statement | record (an 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.10077#IBQV |
| W3YFXXN3DR | W3YFXXN3DR | proof | open | open_logic content/turing-machines/undecidability/trakhtenbrot.tex#proof-2 |
| W3YGH1MN3F | W3YGH1MN3F | 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.14455#EGMD |
| W3Z8XC4NYW | W3Z8XC4NYW | statement | record (an 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.01970#C25P |
| W3ZBZSJM6X | W3ZBZSJM6X | 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.28742#RC1F |
| W3ZRDP6E8K | W3ZRDP6E8K | 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 2602.14912#U4NO |
| W409J52GRB | W409J52GRB | statement | record (an 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.18043#8TPE |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |