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 4001–4100 of 5624.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| WJ8586WRA5 | WJ8586WRA5 | statement | record (an 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.21544#WDWQ |
| WJ8KPPKPQ3 | WJ8KPPKPQ3 | statement | record (an 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.29227#6EVM |
| WJ8VV1E6JB | WJ8VV1E6JB | statement | record (an 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.40274#GWP3 |
| WJ8X29WYX9 | WJ8X29WYX9 | statement | record (an 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.00775#OIXI |
| WJ940N7JWH | WJ940N7JWH | 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.37197#1GB7 |
| WJ9Q78SSTN | WJ9Q78SSTN | exercise | open | napkin tex/complex-ana/meromorphic.tex#dproblem-1 |
| WJ9RW50AX8 | WJ9RW50AX8 | statement | record (an 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.29531#E1I4 |
| WJ9TXFAMV0 | WJ9TXFAMV0 | statement | record (an 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.11048#0PEA |
| WJAPJSR24J | WJAPJSR24J | statement | record (an 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.08424#RVTR |
| WJAVMTQ448 | WJAVMTQ448 | unknown | open | arXiv 2610.13680#UI22 |
| WJAXDN4YEK | WJAXDN4YEK | statement | record (an 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.18239#AZ0G |
| WJB34HNR6M | WJB34HNR6M | statement | record (an 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#0GHN |
| WJBBQ0XFA7 | WJBBQ0XFA7 | statement | record (an 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.05179#374S |
| WJBS2Y2P7W | WJBS2Y2P7W | proof | open | napkin tex/set-theory/ordinal.tex#proof-4 |
| WJCKBJ8ASN | WJCKBJ8ASN | statement | record (an 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.20513#G34F |
| WJCKYEQEJX | WJCKYEQEJX | statement | record (an 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.09042#XLJB |
| WJCN7NYRJB | WJCN7NYRJB | statement | record (an 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#Y927 |
| WJD4WN7677 | WJD4WN7677 | 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.16962#0XL5 |
| WJDMWDX16S | WJDMWDX16S | statement | record (an 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.06895#7NSA |
| WJEFRD1VRY | WJEFRD1VRY | statement | record (an 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.15881#YVJQ |
| WJEFWH48N5 | WJEFWH48N5 | statement | record (an 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.14847#G15Y |
| WJEXSKHXR5 | WJEXSKHXR5 | statement | record (an 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#GP0F |
| WJEYSF9YPW | WJEYSF9YPW | statement | record (an 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.05327#1LRQ |
| WJFNRV2MRD | WJFNRV2MRD | 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.28650#R1G9 |
| WJH6WTAPDN | WJH6WTAPDN | statement | record (an 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.01599#91VP |
| WJHS9ZDQFS | WJHS9ZDQFS | statement | record (an 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.09042#2V1T |
| WJJ2303XBF | WJJ2303XBF | statement | record (an 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.39254#ZM0L |
| WJJZ6J486Q | WJJZ6J486Q | statement | record (an 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.08655#4GEN |
| WJKV80X0PV | WJKV80X0PV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.02019#W93K |
| WJKW4X1J1Q | WJKW4X1J1Q | statement | record (an 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.31883#TA10 |
| WJM70P1ZDM | WJM70P1ZDM | statement | record (an 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.40200#P683 |
| WJMBQ25WFC | WJMBQ25WFC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.23212#167E |
| WJMKT8E21W | WJMKT8E21W | statement | record (an 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.17139#1JOD |
| WJMX5919KA | WJMX5919KA | statement | record (an 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.19093#1JEM |
| WJN11VAETN | WJN11VAETN | statement | record (an 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.20488#9JHT |
| WJNJP29YW0 | WJNJP29YW0 | statement | record (an 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.17677#B4Y8 |
| WJP12JR7T4 | WJP12JR7T4 | example | open | lebl_ra ch-metric.tex#example:intervalcompact |
| WJPF7GFHEG | WJPF7GFHEG | statement | record (an 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.18419#LFLC |
| WJPJ6VEPPG | WJPJ6VEPPG | statement | record (an 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#OAEK |
| WJQ6J4QW52 | WJQ6J4QW52 | statement | record (an 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.09319#WASC |
| WJQHJZ3B8G | WJQHJZ3B8G | proof | open | open_logic content/lambda-calculus/syntax/unique-readability.tex#proof-2 |
| WJQZETEZ0P | WJQZETEZ0P | 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.35191#717J |
| WJR48Q7514 | WJR48Q7514 | statement | record (an 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.05708#JZ77 |
| WJS8373F1P | WJS8373F1P | 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.20375#QQWF |
| WJSM44Y8A9 | WJSM44Y8A9 | statement | record (an 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#YT3G |
| WJSNSY2492 | WJSNSY2492 | statement | open | open_logic content/second-order-logic/syntax-and-semantics/inf-count.tex#prop-1 |
| WJT60HXRYS | WJT60HXRYS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1903.11969#Q49V |
| WJT8QEZZ9B | WJT8QEZZ9B | statement | record (an 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.07092#VWFB |
| WJTKSVAMQ8 | WJTKSVAMQ8 | statement | record (an 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.18740#YPNF |
| WJTM71X63P | WJTM71X63P | 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 2304.03611#QWZI |
| WJTVMZ47WN | WJTVMZ47WN | statement | record (an 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.26500#GS3A |
| WJV0QGN6TS | WJV0QGN6TS | statement | record (an 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.12430#KVOV |
| WJVEYBYZWK | WJVEYBYZWK | statement | record (an 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.33469#A566 |
| WJVG0N8JXW | WJVG0N8JXW | 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.08935#G5B7 |
| WJVTG6WQTR | WJVTG6WQTR | statement | record (an 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.15525#7MJP |
| WJVTRFWTWR | WJVTRFWTWR | 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.28489#Q2XF |
| WJW3BJDKDA | WJW3BJDKDA | statement | record (an 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.10202#FEKE |
| WJWBRFDN10 | WJWBRFDN10 | 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.16962#JCKO |
| WJWCVEQNRP | WJWCVEQNRP | 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.10930#9034 |
| WJWF3MJWN7 | WJWF3MJWN7 | statement | record (an 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.15169#L59T |
| WJWNK6WG3B | WJWNK6WG3B | 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.29450#WSE8 |
| WJX30TA4H2 | WJX30TA4H2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.13464#PR8C |
| WJXJCHQ9YA | WJXJCHQ9YA | statement | record (an 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.22326#X3SC |
| WJXQ81J48S | WJXQ81J48S | statement | record (an 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#TBBU |
| WJXQZY1K65 | WJXQZY1K65 | statement | record (an 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.19853#FLKF |
| WJY40RN148 | WJY40RN148 | exercise | open | austin_ula src/exercises/exercises2-3.xml#exercise-2 |
| WJY5H4SATT | WJY5H4SATT | 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 2405.14678#NKBL |
| WJY6N0JJQ1 | WJY6N0JJQ1 | statement | record (an 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.10477#U3ZJ |
| WJY75GYMXB | WJY75GYMXB | statement | record (an 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.07461#ITDC |
| WJYAW6CNHZ | WJYAW6CNHZ | statement | record (an 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#LCOG |
| WJYBEY5EQC | WJYBEY5EQC | statement | record (an 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#I1MT |
| WJYE6AJ5CJ | WJYE6AJ5CJ | statement | record (an 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.21017#TYTH |
| WJYH42PXXR | WJYH42PXXR | statement | record (an 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#BB9W |
| WJYHE86YXY | WJYHE86YXY | statement | record (an 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.00048#N8DK |
| WJYJVTKF4Q | WJYJVTKF4Q | statement | record (an 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.17135#5VX9 |
| WJYSWJJKHS | WJYSWJJKHS | statement | record (an 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.04323#NFT4 |
| WJYZR33TF7 | WJYZR33TF7 | 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.07061#IQ8Z |
| WJZ5QWKFTV | WJZ5QWKFTV | statement | record (an 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.02798#CYR1 |
| WK0387QY61 | WK0387QY61 | statement | record (an 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.23803#H3X9 |
| WK08GFE91N | WK08GFE91N | unknown | open | |
| WK09KRS5TZ | WK09KRS5TZ | statement | record (an 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.21060#RTUB |
| WK0ERVKMRE | WK0ERVKMRE | statement | record (an 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.07728#QAAG |
| WK0FJX8YR4 | WK0FJX8YR4 | exercise | open | austin_ula src/exercises/exercises1-1.xml#exercise-3 |
| WK0SHKFZVH | WK0SHKFZVH | statement | record (an 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.09796#VUQ1 |
| WK19DZ6V09 | WK19DZ6V09 | statement | record (an 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.07164#K8O8 |
| WK1SWX2EFK | WK1SWX2EFK | statement | record (an 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.21045#NDJD |
| WK26YYWT3P | WK26YYWT3P | proof | open | hott_book reals.tex#proof-35 |
| WK2NMQNS0Q | WK2NMQNS0Q | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-6 |
| WK31VT0VNP | WK31VT0VNP | statement | record (an 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.17626#UDNK |
| WK32RHNTY8 | WK32RHNTY8 | example | open | hott_book reals.tex#eg-1 |
| WK3BNZHNNP | WK3BNZHNNP | statement | record (an 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.14236#QKTS |
| WK442JQWMY | WK442JQWMY | statement | record (an 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#4RDM |
| WK4BSJ6S2K | WK4BSJ6S2K | statement | record (an 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.07963#UOQX |
| WK4EXH642Y | WK4EXH642Y | statement | record (an 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#KXYL |
| WK547R6AEE | WK547R6AEE | statement | record (an 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.10801#8CUX |
| WK56ZFRV50 | WK56ZFRV50 | statement | record (an 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#VD7L |
| WK5FT9837W | WK5FT9837W | statement | record (an 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.16181#XMU0 |
| WK682N0XSQ | WK682N0XSQ | statement | record (an 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.00076#DYK8 |
| WK6ZT212P1 | WK6ZT212P1 | statement | record (an 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.15631#J27A |
| WK70K1MTC3 | WK70K1MTC3 | statement | record (an 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.14383#VIIK |