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 1501–1600 of 5624.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| WB7Q6X4DV2 | WB7Q6X4DV2 | statement | record (an 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.10840#9C3C |
| WB80CVSXH6 | WB80CVSXH6 | statement | record (an 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.03424#TYYW |
| WB8XB6000K | WB8XB6000K | statement | record (an 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#0PMM |
| WB90CBYRXQ | WB90CBYRXQ | statement | record (an 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.08583#28F8 |
| WB9BX50T21 | WB9BX50T21 | statement | record (an 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.27366#U0KD |
| WB9FAMCZW3 | WB9FAMCZW3 | 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.20153#Q04Q |
| WBA3B850A9 | WBA3B850A9 | statement | record (an 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.27360#9I1N |
| WBA4NWJKKY | WBA4NWJKKY | statement | record (an 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.12846#I1M8 |
| WBB0351JVG | WBB0351JVG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.09700#X9J4 |
| WBB1Z11WDD | WBB1Z11WDD | 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.15643#1QZ5 |
| WBBEA7XZPP | WBBEA7XZPP | 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.01208#O8T7 |
| WBBN09KM1B | WBBN09KM1B | exercise | open | ernst_ibl MAAPressVersion/CompleteInduction.tex#problem-1 |
| WBC4C7PGX9 | WBC4C7PGX9 | statement | record (an 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.24185#Q8ID |
| WBCBJWVDA0 | WBCBJWVDA0 | statement | record (an 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.15167#FDJF |
| 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 |
| WBD1V7P79X | WBD1V7P79X | statement | record (an 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.21668#CR4G |
| 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 |
| WBG76RSG45 | WBG76RSG45 | statement | record (an 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.23350#1G40 |
| 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 |
| WBTPXGNG27 | WBTPXGNG27 | statement | record (an 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.22825#XPFQ |
| 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 |
| WBVZWQM68Q | WBVZWQM68Q | statement | record (an 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.21692#0O85 |
| WBW1BF60DQ | WBW1BF60DQ | statement | record (an 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.22927#QZ2M |
| 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 |
| WC8S5XBSX1 | WC8S5XBSX1 | statement | record (an 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.23343#Y1ZN |
| 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 |
| WC9RSN0SXN | WC9RSN0SXN | statement | record (an 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.20145#29DT |
| 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 |
| WCAEPRDAEM | WCAEPRDAEM | statement | record (an 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.23617#EFOQ |
| 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 |