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 1101–1200 of 3560.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| WBCSEBCGD2 | WBCSEBCGD2 | statement | record (an 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.17441#05GB |
| WBD2CA3FSP | WBD2CA3FSP | 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.08193#SOD9 |
| WBDKS34ED9 | WBDKS34ED9 | statement | record (an 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.21622#0GDT |
| WBEDSPPJPY | WBEDSPPJPY | statement | record (an 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#CH17 |
| WBEYZJ8F58 | WBEYZJ8F58 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17009#TLBX |
| WBJZQC1BRZ | WBJZQC1BRZ | statement | record (an 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#XYNL |
| WBK19TWVCW | WBK19TWVCW | statement | record (an 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.25255#ZUBF |
| WBK2DBZP4H | WBK2DBZP4H | statement | record (an 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.21444#5X36 |
| WBK52J8J1P | WBK52J8J1P | statement | record (an 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.07442#U48Q |
| WBK6F604PT | WBK6F604PT | definition | open | open_logic content/many-valued-logic/infinite-valued-logics/lukasiewicz.tex#def:lukasiewicz |
| WBKD21E23Z | WBKD21E23Z | statement | record (an 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.14068#394O |
| WBM7HJ11XS | WBM7HJ11XS | 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.27056#7RZ0 |
| WBMDEB7J3S | WBMDEB7J3S | statement | record (an 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#I81H |
| WBMPHV5HKX | WBMPHV5HKX | statement | record (an 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.12819#G379 |
| WBMR8PQQHC | WBMR8PQQHC | 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.33682#QVI7 |
| WBMV8WSHFA | WBMV8WSHFA | 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.31858#JAUE |
| WBN0SV4P8N | WBN0SV4P8N | statement | record (an 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#MNJP |
| WBNPHK9V96 | WBNPHK9V96 | definition | open | hott_book categories.tex#ct:full-faithful |
| WBNWF90RDW | WBNWF90RDW | statement | record (an 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.13260#TJW3 |
| WBP4F039NK | WBP4F039NK | statement | record (an 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.16235#GH8A |
| WBPA7AKT1A | WBPA7AKT1A | statement | record (an 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.04835#KIV0 |
| WBQ6X9MC46 | WBQ6X9MC46 | 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 2506.16491#QBLX |
| WBQS2MV5MQ | WBQS2MV5MQ | statement | record (an 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.18483#PRGE |
| WBQTX7PHVW | WBQTX7PHVW | statement | record (an 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#8FGX |
| WBR8KMG77J | WBR8KMG77J | statement | record (an 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.04809#GERZ |
| WBS40WVEWB | WBS40WVEWB | statement | record (an 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#GEEG |
| WBSGCMNV5X | WBSGCMNV5X | statement | record (an 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.19360#8DPT |
| WBT0YHW3X2 | WBT0YHW3X2 | 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.15217#4CR9 |
| WBV1TBJ8V0 | WBV1TBJ8V0 | 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.36922#3B4M |
| WBVMHV4QTZ | WBVMHV4QTZ | 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.24448#QF2X |
| WBW1K4TCA2 | WBW1K4TCA2 | statement | record (an 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.20110#B9AX |
| WBWF5KY8ZK | WBWF5KY8ZK | proof | open | hott_book categories.tex#proof-14 |
| WBWNX4N7SA | WBWNX4N7SA | statement | record (an 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.08357#JMM8 |
| WBWYVY46BC | WBWYVY46BC | statement | record (an 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.29422#1DZ3 |
| WBX0CE13S3 | WBX0CE13S3 | 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 2305.10921#BNXY |
| WBXGTV9JE1 | WBXGTV9JE1 | statement | record (an 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#2CQI |
| WBXWWFT9NM | WBXWWFT9NM | statement | record (an 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#HE7I |
| WBY3AZFSGH | WBY3AZFSGH | statement | open | open_logic content/proof-theory/propositions-as-types/normalization.tex#lem:subst |
| WBY4D6N3BQ | WBY4D6N3BQ | statement | record (an 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.21662#JI8O |
| WBYK0DBTGE | WBYK0DBTGE | statement | record (an 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.18803#VHFG |
| WBZ2VYKW11 | WBZ2VYKW11 | statement | record (an 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.00589#I2O0 |
| WBZ35K2XT7 | WBZ35K2XT7 | statement | record (an 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.10452#T6GK |
| WBZAPEBC86 | WBZAPEBC86 | 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 2110.06338#T520 |
| WBZW40XRY9 | WBZW40XRY9 | statement | record (an 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.04305#YVJL |
| WC04AQR4EV | WC04AQR4EV | statement | record (an 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#0SAH |
| WC0RC2047Q | WC0RC2047Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.02722#UHXO |
| WC1J3VJPAQ | WC1J3VJPAQ | statement | record (an 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.22291#38U2 |
| WC1V3TZM6Z | WC1V3TZM6Z | statement | record (an 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.38436#RJ5S |
| WC2D7F422Z | WC2D7F422Z | statement | record (an 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#FGRJ |
| WC2DS3YRX4 | WC2DS3YRX4 | statement | record (an 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.19845#UO5J |
| WC2EWEDGPB | WC2EWEDGPB | statement | record (an 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.28669#E0E9 |
| WC2RCCWEFP | WC2RCCWEFP | statement | record (an 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#11Q7 |
| WC2VFJ1TYK | WC2VFJ1TYK | statement | record (an 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.38126#J660 |
| WC3HKG3PZJ | WC3HKG3PZJ | statement | record (an 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#HK23 |
| WC3N28FW5G | WC3N28FW5G | statement | record (an 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.02213#T9E7 |
| WC41M35C3A | WC41M35C3A | statement | record (an 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.12484#I79Y |
| WC492VRBCQ | WC492VRBCQ | statement | record (an 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.03674#MUAM |
| WC4CJ6567Y | WC4CJ6567Y | statement | record (an 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.25656#HQSK |
| WC4DPFP6DX | WC4DPFP6DX | statement | record (an 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.03520#4C3Y |
| WC4ZDVT84T | WC4ZDVT84T | exercise | open | ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#prob:reword as conditional |
| WC53TSV1AM | WC53TSV1AM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2001.10234#T9H4 |
| WC56D119VE | WC56D119VE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.05066#ODTK |
| WC5B0CVTVJ | WC5B0CVTVJ | statement | record (an 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.13513#4QZN |
| WC5TN4AWPB | WC5TN4AWPB | exercise | open | levin_dmoi ptx/exercises/counting-binom.ptx#exercise-4 |
| WC609H529E | WC609H529E | statement | record (an 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.16205#DRKD |
| WC6RHRS2RP | WC6RHRS2RP | statement | record (an 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.04063#FAHC |
| WC8Q9808P5 | WC8Q9808P5 | 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.25718#I5SZ |
| WC8TC5N09Q | WC8TC5N09Q | statement | record (an 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.25912#H7NV |
| WC8XE2Z88S | WC8XE2Z88S | statement | record (an 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.03337#5OX2 |
| WC9E6VV75C | WC9E6VV75C | example | open | lebl_ra ch-multivar-int.tex#example-9 |
| WC9E9XFM3M | WC9E9XFM3M | statement | record (an 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.33185#ILBI |
| WC9PEBWWA3 | WC9PEBWWA3 | 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 1504.03271#J7AH |
| WCAEADT2NP | WCAEADT2NP | statement | record (an 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.36389#CSS1 |
| WCAG16MB1S | WCAG16MB1S | statement | record (an 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#RA0A |
| WCARBNV7EA | WCARBNV7EA | statement | record (an 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.11869#GGWM |
| WCB6257JWX | WCB6257JWX | 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.11157#KE8Q |
| WCB6E63ACN | WCB6E63ACN | statement | record (an 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.04989#MI9N |
| WCBABRN0Y5 | WCBABRN0Y5 | 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 1303.4328#OEA9 |
| WCBK21JAV7 | WCBK21JAV7 | definition | open | napkin tex/homology/cohomology.tex#definition-3 |
| WCBYRJG3D6 | WCBYRJG3D6 | statement | record (an 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.27181#D9L3 |
| WCC615RZEA | WCC615RZEA | statement | record (an 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.39505#S73P |
| WCC64M6JBD | WCC64M6JBD | statement | record (an 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.16069#IICE |
| WCC81WSVXM | WCC81WSVXM | 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.22040#41KV |
| WCD9KF1C5A | WCD9KF1C5A | exercise | open | hott_book induction.tex#ex:no-dep-uniqueness-failure |
| WCDEZ02CPQ | WCDEZ02CPQ | statement | record (an 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.15831#UILX |
| WCDJ6ZVHV5 | WCDJ6ZVHV5 | statement | record (an 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.34551#6JF5 |
| WCDKWJ04AB | WCDKWJ04AB | statement | record (an 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.19707#8207 |
| WCE46A5ZRB | WCE46A5ZRB | statement | record (an 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.17318#MZ0W |
| WCEC65R0VT | WCEC65R0VT | statement | record (an 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#CDS8 |
| WCEN3VA70E | WCEN3VA70E | statement | record (an 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#SZCJ |
| WCETCD7B4Z | WCETCD7B4Z | statement | record (an 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.33766#L64E |
| WCEWCARF6N | WCEWCARF6N | statement | record (an 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.33300#RAI1 |
| WCEZX0VWJD | WCEZX0VWJD | exercise | open | lebl_ra ch-seq-ser.tex#exercise-29 |
| WCFDE6VG15 | WCFDE6VG15 | statement | record (an 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.06419#21XS |
| WCFKBTSR0F | WCFKBTSR0F | exercise | open | hott_book basics.tex#ex:sigma-eq-components-neq |
| WCFYMJVDNN | WCFYMJVDNN | statement | record (an 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.01946#71G4 |
| WCG decomposition theorem | NKA301Q8MA | statement | record (an 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.38396#FH0O |
| WCG304WH25 | WCG304WH25 | statement | record (an 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.15313#LFVZ |
| WCG6C17YP2 | WCG6C17YP2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.05529#PL08 |
| WCGZXK91NF | WCGZXK91NF | statement | record (an 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.22218#LMOR |