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 2401–2500 of 3560.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| WKNGQJQNKD | WKNGQJQNKD | statement | record (an 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.21017#DO3G |
| WKNHD0BZDF | WKNHD0BZDF | statement | record (an 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.34852#3K1V |
| WKNZ3GN3AJ | WKNZ3GN3AJ | 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 2504.01057#G52Y |
| WKP6HQJ65J | WKP6HQJ65J | statement | record (an 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.06458#I7C0 |
| WKP7QA38DZ | WKP7QA38DZ | 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 1209.3562#BUCE |
| WKPBS2HPN3 | WKPBS2HPN3 | 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.25477#R6WU |
| WKPMZRKH12 | WKPMZRKH12 | statement | record (an 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.14689#0Y9B |
| WKPT3ZQQ4T | WKPT3ZQQ4T | statement | record (an 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.09721#NA3U |
| WKPXQ5X7FP | WKPXQ5X7FP | statement | record (an 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#5WXY |
| WKQT3DK7RS | WKQT3DK7RS | statement | record (an 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.14060#T4JT |
| WKSQVC1VK3 | WKSQVC1VK3 | statement | record (an 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.21600#A5US |
| WKSZ60AGQ3 | WKSZ60AGQ3 | statement | open | ernst_ibl MAAPressVersion/InfinitudeOfPrimes.tex#thm:infprimes |
| WKV2AD03V0 | WKV2AD03V0 | statement | record (an 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.30363#5JNN |
| WKVAP8PDE8 | WKVAP8PDE8 | statement | record (an 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.02777#Y042 |
| WKVJ59T72R | WKVJ59T72R | statement | record (an 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.38041#9PXR |
| WKVMV86YD6 | WKVMV86YD6 | statement | record (an 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.21092#9A10 |
| WKVPAEHC0P | WKVPAEHC0P | statement | record (an 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#WMLH |
| WKVPFDQKB4 | WKVPFDQKB4 | statement | record (an 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.16359#DQQ8 |
| WKWAZ6JG87 | WKWAZ6JG87 | statement | record (an 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.13950#6JDO |
| WKWZDHHRXV | WKWZDHHRXV | 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 2303.14022#QW8S |
| WKX0NHRF5K | WKX0NHRF5K | 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.16583#LTSR |
| WKX7C3T9PC | WKX7C3T9PC | statement | record (an 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.04694#GD5G |
| WKXYK5BY2Q | WKXYK5BY2Q | statement | record (an 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.02484#PQGU |
| WKYRNA91R6 | WKYRNA91R6 | exercise | open | open_logic content/proof-theory/cut-elimination/ce-topmost.tex#prob-1 |
| WKZABYYG42 | WKZABYYG42 | 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.25188#3G58 |
| WKZE4YBV80 | WKZE4YBV80 | statement | record (an 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.27078#VRYM |
| WKZK86KDWZ | WKZK86KDWZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.14214#0FR1 |
| WKZQ8WM6MT | WKZQ8WM6MT | statement | record (an 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.26980#AWBN |
| WM0CMGKA4N | WM0CMGKA4N | definition | open | napkin tex/linalg/transpose.tex#def:hermitian |
| WM0TF80GVC | WM0TF80GVC | statement | record (an 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/9902147#V2WI |
| WM0XBPC0CT | WM0XBPC0CT | statement | record (an 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.19854#OQP2 |
| WM17XDRQ3M | WM17XDRQ3M | statement | record (an 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.03628#98Z9 |
| WM19ES3BX7 | WM19ES3BX7 | statement | record (an 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.31104#88W3 |
| WM1Y9CRWH5 | WM1Y9CRWH5 | statement | record (an 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.32535#3QY4 |
| WM24EVJCX8 | WM24EVJCX8 | 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.24795#VMIU |
| WM2DHH4SGC | WM2DHH4SGC | statement | record (an 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.24465#HONO |
| WM2GN9G37S | WM2GN9G37S | 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.01433#HPPP |
| WM31NQR0S6 | WM31NQR0S6 | statement | record (an 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.20391#6WI5 |
| WM3504MA0H | WM3504MA0H | 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.16555#LGTO |
| WM36SCTYGM | WM36SCTYGM | definition | open | napkin tex/alg-geom/zariski.tex#definition-2 |
| WM36W47ACT | WM36W47ACT | statement | record (an 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.04466#OZ39 |
| WM3YN9T8ZZ | WM3YN9T8ZZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.16041#JA6H |
| WM3YSAE2N9 | WM3YSAE2N9 | statement | record (an 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.17817#OORO |
| WM4AEJCWW6 | WM4AEJCWW6 | 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.28357#5MR6 |
| WM4P7R8KQX | WM4P7R8KQX | statement | record (an 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#S2YC |
| WM4PH9BBQS | WM4PH9BBQS | statement | record (an 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.32104#W04G |
| WM4SHSF60J | WM4SHSF60J | statement | record (an 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#Q68M |
| WM5403SYHE | WM5403SYHE | statement | record (an 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#AJWK |
| WM5J96T7SG | WM5J96T7SG | statement | record (an 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.39104#F2QX |
| WM68N1QMQ1 | WM68N1QMQ1 | statement | record (an 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.10078#6WPA |
| WM6PKAKC53 | WM6PKAKC53 | statement | record (an 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/9802134#SDHV |
| WM6ZRGZXH8 | WM6ZRGZXH8 | statement | record (an 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.38243#B3NB |
| WM74DDEPVH | WM74DDEPVH | statement | record (an 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.34289#KASW |
| WM7K6MPDFT | WM7K6MPDFT | statement | record (an 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.07828#LD87 |
| WM8TDZ31BK | WM8TDZ31BK | 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.24845#7OD9 |
| WM8Z8FC9DA | WM8Z8FC9DA | statement | record (an 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#LEAV |
| WM97G8RXH0 | WM97G8RXH0 | statement | record (an 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.31274#QDQQ |
| WM9H7ZS4VN | WM9H7ZS4VN | example | open | ernst_ibl MAAPressVersion/Relations.tex#ex:relation on finite |
| WM9KDWXYPJ | WM9KDWXYPJ | statement | record (an 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.06108#Y5Z4 |
| WM9PEKZG37 | WM9PEKZG37 | statement | record (an 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.25129#I981 |
| WM9VZTAZT5 | WM9VZTAZT5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2043#NJF3 |
| WMA3TS0632 | WMA3TS0632 | statement | record (an 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.40017#AW10 |
| WMADHYMED0 | WMADHYMED0 | statement | record (an 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.39455#45YC |
| WMAYXRJTAV | WMAYXRJTAV | statement | record (an 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.28323#Z7QE |
| WMB8Q261XW | WMB8Q261XW | 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 2505.05539#WP4M |
| WMC7PXYQMD | WMC7PXYQMD | 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.33476#6LID |
| WMC9EECW5A | WMC9EECW5A | statement | record (an 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.19285#3JP6 |
| WMDBFX9M45 | WMDBFX9M45 | statement | open | lebl_ra ch-contfunc.tex#cor-1 |
| WMEBFZC0GP | WMEBFZC0GP | statement | record (an 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.31604#3QPG |
| WMEC2ZVGG0 | WMEC2ZVGG0 | statement | record (an 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.28020#0QTD |
| WMEFK57Z71 | WMEFK57Z71 | statement | record (an 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.09900#QJXQ |
| WMER1RFEQA | WMER1RFEQA | statement | record (an 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.17045#RLIS |
| WMFXV7MNMK | WMFXV7MNMK | 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 2508.07340#ZEIB |
| WMGJA4C79Q | WMGJA4C79Q | statement | record (an 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.27320#5KFB |
| WMH20K4SXZ | WMH20K4SXZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2004.12552#5D6M |
| WMH4NFV7GK | WMH4NFV7GK | statement | record (an 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.05259#51PN |
| WMH64Y4X2V | WMH64Y4X2V | proof | open | open_logic content/set-theory/card-arithmetic/expotough.tex#proof-4 |
| WMHH45BWSD | WMHH45BWSD | statement | record (an 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.20135#1JO1 |
| WMHR1FQDEF | WMHR1FQDEF | statement | record (an 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#5GPA |
| WMJ6NHPBXS | WMJ6NHPBXS | statement | record (an 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.00914#QOHU |
| WMJR7E638V | WMJR7E638V | 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.26452#TAYQ |
| WMJRDERZX3 | WMJRDERZX3 | 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 2403.16388#C92J |
| WMK6FWP4QC | WMK6FWP4QC | statement | open | open_logic content/first-order-logic/sequent-calculus/provability-quantifiers.tex#prop:provability-quantifiers |
| WMKEHP27EY | WMKEHP27EY | 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.32174#PQ7I |
| WMKEZS239D | WMKEZS239D | 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 2608.23797#HK4B |
| WMM2PH90B2 | WMM2PH90B2 | statement | record (an 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.16605#B8GR |
| WMM7GJN57J | WMM7GJN57J | statement | record (an 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.15648#GERF |
| WMM8Z1R1K9 | WMM8Z1R1K9 | statement | record (an 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.26401#BSKC |
| WMNY13Y83T | WMNY13Y83T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1004.4564#JEZW |
| WMP5C2FG7B | WMP5C2FG7B | 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.22205#HXJQ |
| WMP6PYQC6E | WMP6PYQC6E | statement | record (an 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.30575#VX3V |
| WMPFRWKYBF | WMPFRWKYBF | statement | record (an 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.36022#EUO0 |
| WMPNJ4GBC4 | WMPNJ4GBC4 | statement | record (an 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.36423#H6PG |
| WMQ8ZXWEB3 | WMQ8ZXWEB3 | statement | record (an 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.08599#CZX8 |
| WMR8RBF3PG | WMR8RBF3PG | statement | record (an 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.27800#F70E |
| WMRXY0Y9CA | WMRXY0Y9CA | statement | record (an 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.39455#Y4RL |
| WMS4DZ6XNF | WMS4DZ6XNF | statement | record (an 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.07812#YGAE |
| WMS8AKXC8T | WMS8AKXC8T | statement | record (an 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.11395#J4FQ |
| WMSGCHJPXH | WMSGCHJPXH | 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.34382#1U80 |
| WMSHX017XG | WMSHX017XG | statement | record (an 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.09704#1Y39 |