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 801–900 of 3560.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| W9AJFCBMWB | W9AJFCBMWB | statement | record (an 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#RQ1C |
| W9AV2Q61G6 | W9AV2Q61G6 | statement | record (an 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#CKQ5 |
| W9AXP1VSTT | W9AXP1VSTT | statement | record (an 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.05602#X85G |
| W9BY37BDW1 | W9BY37BDW1 | statement | record (an 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.02017#EXXI |
| W9CMPFCFRY | W9CMPFCFRY | statement | record (an 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.05684#4XQM |
| W9E9AMNPCR | W9E9AMNPCR | statement | record (an 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.04833#BJ3K |
| W9EAZS1WBC | W9EAZS1WBC | statement | record (an 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.09129#USO2 |
| W9EEFTA1CF | W9EEFTA1CF | statement | record (an 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.03517#GZ7V |
| W9EF0PAWM4 | W9EF0PAWM4 | definition | open | open_logic content/incompleteness/representability-in-q/beta-function.tex#defn-1 |
| W9EWZS9BR0 | W9EWZS9BR0 | statement | record (an 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.12479#180H |
| W9FFCNQ746 | W9FFCNQ746 | 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.31615#R21C |
| W9FHGBMFWJ | W9FHGBMFWJ | statement | record (an 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.00113#G8CW |
| W9FV7S7MX1 | W9FV7S7MX1 | statement | record (an 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#SMO6 |
| W9GSYKATMX | W9GSYKATMX | 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 2212.06253#M9BB |
| W9GWJM53QC | W9GWJM53QC | statement | record (an 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.26600#QRJ7 |
| W9HXC49E5R | W9HXC49E5R | 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 2308.02672#RMGV |
| W9HXSBJ4JJ | W9HXSBJ4JJ | statement | record (an 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.29838#PQI9 |
| W9J3193G5B | W9J3193G5B | 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.09294#MGGV |
| W9J36ZTZV0 | W9J36ZTZV0 | proof | open | open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#proof-4 |
| W9JBBT5H4V | W9JBBT5H4V | statement | record (an 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.08873#AG0L |
| W9JH4SY1WG | W9JH4SY1WG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.15403#NVU4 |
| W9JM309821 | W9JM309821 | statement | record (an 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#0WBK |
| W9K5C2E0JQ | W9K5C2E0JQ | 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.04593#17WV |
| W9M8H7N955 | W9M8H7N955 | statement | record (an 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.09390#U0X5 |
| W9MPAZHXTQ | W9MPAZHXTQ | statement | record (an 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.11517#UMCB |
| W9MXDEW5JD | W9MXDEW5JD | statement | record (an 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.37124#LWXI |
| W9NB7K5W1Z | W9NB7K5W1Z | statement | record (an 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#KJ2G |
| W9NDDF3PVA | W9NDDF3PVA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1612.08394#66TO |
| W9NFRA2013 | W9NFRA2013 | exercise | open | lebl_scv scv.tex#exercise-157 |
| W9NQJ9VPHY | W9NQJ9VPHY | exercise | open | austin_ula src/exercises/exercises1-2.xml#exercise-6 |
| W9NSCMH4Z8 | W9NSCMH4Z8 | statement | record (an 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.15402#AUOX |
| W9P0F97J34 | W9P0F97J34 | statement | record (an 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.17717#26KB |
| W9P6YQ8V1A | W9P6YQ8V1A | statement | record (an 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.18929#ZK2M |
| W9PE60DFCP | W9PE60DFCP | 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.10581#NE0G |
| W9PXZ6B4MC | W9PXZ6B4MC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#AY3L |
| W9Q6MFY8EG | W9Q6MFY8EG | exercise | open | levin_dmoi ptx/exercises/logic-conc.ptx#exercise-9 |
| W9QAQ1XH25 | W9QAQ1XH25 | statement | record (an 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#1772 |
| W9QD623YYK | W9QD623YYK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1806.05002#UPSS |
| W9QS22N3JX | W9QS22N3JX | statement | record (an 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#KA94 |
| W9RMG7JZJ8 | W9RMG7JZJ8 | 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.11031#AVV9 |
| W9RTHTVG2B | W9RTHTVG2B | statement | record (an 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.11082#LC22 |
| W9S2XXVWGX | W9S2XXVWGX | statement | record (an 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#CV04 |
| W9S4M8D71K | W9S4M8D71K | statement | record (an 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.08753#THJL |
| W9SVREGTB0 | W9SVREGTB0 | statement | record (an 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.38532#JKPF |
| W9T1VE3W2X | W9T1VE3W2X | statement | record (an 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#TPQE |
| W9TDZEVMWB | W9TDZEVMWB | statement | record (an 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.17091#713R |
| W9TE3N81EK | W9TE3N81EK | exercise | open | lebl_scv scv.tex#exercise-200 |
| W9TK2N2MWC | W9TK2N2MWC | statement | record (an 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.03298#CUDH |
| W9V78PPQDW | W9V78PPQDW | statement | record (an 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.14076#4PJ4 |
| W9VE5A1TK2 | W9VE5A1TK2 | statement | record (an 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.12502#ILY7 |
| W9VM3NV28F | W9VM3NV28F | 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.28552#DQPX |
| W9VNP2JXW8 | W9VNP2JXW8 | definition | open | austin_ula src/section3-5.xml#definition-4 |
| W9W4F0CYRW | W9W4F0CYRW | 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.36884#WJZE |
| W9WP87RHA2 | W9WP87RHA2 | statement | record (an 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#7SOD |
| W9XBQ0BRQC | W9XBQ0BRQC | 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.10221#1ZCJ |
| W9XNDXCCS0 | W9XNDXCCS0 | statement | record (an 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.32829#TZNY |
| W9YVWXZQS7 | W9YVWXZQS7 | statement | record (an 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/0512416#R99S |
| W9ZZ7KFG81 | W9ZZ7KFG81 | 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.40207#63JL |
| W9ZZZDN0ED | W9ZZZDN0ED | statement | record (an 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.17571#KEVQ |
| WA0TT2BJ3Y | WA0TT2BJ3Y | exercise | open | applied_combinatorics source/s_probability_exercises.ptx#exercise-2 |
| WA0YPJT0J6 | WA0YPJT0J6 | statement | record (an 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.17875#B88B |
| WA0Z5YP2DD | WA0Z5YP2DD | statement | record (an 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#GJN5 |
| WA0ZFM2VZE | WA0ZFM2VZE | statement | record (an 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#N5F2 |
| WA1AJ710CB | WA1AJ710CB | statement | record (an 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.18580#7QYX |
| WA1EP93YKC | WA1EP93YKC | statement | record (an 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.24553#J4T6 |
| WA1N7QMSX4 | WA1N7QMSX4 | exercise | open | lebl_scv scv.tex#exercise-310 |
| WA1X6N3RNM | WA1X6N3RNM | statement | record (an 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.26745#1SNM |
| WA1YV2TBY7 | WA1YV2TBY7 | statement | record (an 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.32374#G1H4 |
| WA22SFGG5T | WA22SFGG5T | statement | record (an 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.05032#QURB |
| WA2F8W82DJ | WA2F8W82DJ | statement | record (an 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.22081#UT5W |
| WA2XB94KTD | WA2XB94KTD | statement | record (an 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.20775#RLO8 |
| WA3631VV0R | WA3631VV0R | statement | record (an 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#5OVQ |
| WA3P5R7F2Y | WA3P5R7F2Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2408.01345#T9F9 |
| WA4E54XWG1 | WA4E54XWG1 | statement | record (an 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.29498#V1JW |
| WA4HZFQ2G4 | WA4HZFQ2G4 | 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.15831#ECV9 |
| WA4VC3Q6VK | WA4VC3Q6VK | statement | record (an 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.35287#Z7DC |
| WA54XBE9X9 | WA54XBE9X9 | 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.06541#T3YO |
| WA6CRKEN48 | WA6CRKEN48 | proof | open | open_logic content/lambda-calculus/lambda-definability/lambda-definable-recursive.tex#proof-1 |
| WA6N1TVMDV | WA6N1TVMDV | 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.26382#7F81 |
| WA6QJ2ZSV4 | WA6QJ2ZSV4 | statement | record (an 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.13100#KI2Q |
| WA6SJGRG2Y | WA6SJGRG2Y | statement | record (an 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.00856#JLG8 |
| WA6YRP6N7X | WA6YRP6N7X | statement | record (an 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#O3Q0 |
| WA7E9JWAB4 | WA7E9JWAB4 | definition | open | open_logic content/first-order-logic/completeness/identity.tex#defn-1 |
| WA7GTA3TPK | WA7GTA3TPK | 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.31278#R7NK |
| WA7J29BXC5 | WA7J29BXC5 | statement | record (an 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.24484#LJDV |
| WA7MRMFK6S | WA7MRMFK6S | statement | record (an 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.02275#J4U9 |
| WA8E5VX2C5 | WA8E5VX2C5 | 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.18195#6FFH |
| WA9NZ3D71H | WA9NZ3D71H | statement | record (an 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.08081#8SFN |
| WA9Q9836VQ | WA9Q9836VQ | exercise | open | levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-13 |
| WA9VDMTZWN | WA9VDMTZWN | statement | record (an 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.20758#G06Q |
| WA9W8GVKKY | WA9W8GVKKY | statement | record (an 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.05312#32AT |
| WAA34YENFH | WAA34YENFH | statement | record (an 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#70OI |
| WAAJ8W815G | WAAJ8W815G | 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.22074#EE5Y |
| WAAJTWDD4Q | WAAJTWDD4Q | statement | record (an 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.33313#PVGU |
| WAB0X5HE94 | WAB0X5HE94 | statement | record (an 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.06461#XUH3 |
| WABD1Y3FWC | WABD1Y3FWC | statement | record (an 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#BFDN |
| WABQHPVTTH | WABQHPVTTH | statement | open | open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prop:soundness-4 |
| WAC31T34RB | WAC31T34RB | statement | record (an 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.02061#OMDI |
| WADGCHGGA5 | WADGCHGGA5 | exercise | open | lebl_ra ch-real-nums.tex#exercise:supofsum |
| WAFBXN3M50 | WAFBXN3M50 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1802.02910#TPSL |