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 301–400 of 5624.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| W2Y312Q9ZA | W2Y312Q9ZA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00108#AMSP |
| W2YHASJ2F5 | W2YHASJ2F5 | conjecture | record (an 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.30323#SHJ4 |
| W2Z57G0D4E | W2Z57G0D4E | 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.27168#5Y0U |
| W2Z6EW9Y6C | W2Z6EW9Y6C | statement | record (an 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#WJ4O |
| W2ZBZ8PMBX | W2ZBZ8PMBX | 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.02689#W50U |
| W2ZEF0ZV2W | W2ZEF0ZV2W | statement | record (an 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.23332#WQE1 |
| W30G2GC3G4 | W30G2GC3G4 | 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.23469#R6M5 |
| W30M08YH0T | W30M08YH0T | statement | record (an 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.09873#B84J |
| W30WSJP5P4 | W30WSJP5P4 | exercise | open | austin_ula src/section4-5.xml#ula-preview-4-5 |
| W320BTCTT9 | W320BTCTT9 | statement | record (an 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#ASMX |
| W323PPNYBV | W323PPNYBV | statement | record (an 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.28501#FHWG |
| W32DG49AEP | W32DG49AEP | 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.21975#A9KJ |
| W32F566YT2 | W32F566YT2 | statement | record (an 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.37901#LEU6 |
| W32H3M140F | W32H3M140F | 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#0897 |
| W32K4QKX42 | W32K4QKX42 | 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 math/9602216#0NO3 |
| W32MMAF13M | W32MMAF13M | 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.22784#I1VT |
| W32R8MPVA8 | W32R8MPVA8 | statement | record (an 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#UI8M |
| W33SYGAG2G | W33SYGAG2G | definition | open | napkin tex/rep-theory/semisimple.tex#definition-1 |
| W33VRN6JKR | W33VRN6JKR | statement | record (an 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.39260#V2GF |
| W342JVPQ3G | W342JVPQ3G | 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 2105.03252#QSWN |
| W346GRGRG3 | W346GRGRG3 | statement | record (an 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.06326#RLVO |
| W347X9HM98 | W347X9HM98 | statement | record (an 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.35325#NPRS |
| W34W9EVWQY | W34W9EVWQY | statement | record (an 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.31458#1GE5 |
| W354DP6FRT | W354DP6FRT | statement | record (an 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.30961#POWK |
| W3560VVAC0 | W3560VVAC0 | 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.12188#M8T3 |
| W35MY9SWKA | W35MY9SWKA | statement | record (an 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.06556#LXYY |
| W366N85SB6 | W366N85SB6 | 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.06645#L1PQ |
| W36BV2TYBB | W36BV2TYBB | statement | record (an 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.24355#PDPT |
| W36CVZ1FNT | W36CVZ1FNT | 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#Z9RA |
| W36K3CSD1H | W36K3CSD1H | statement | record (an 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.35466#37K1 |
| W371ET68K4 | W371ET68K4 | statement | record (an 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.37897#J8JH |
| W373JYN1QN | W373JYN1QN | statement | record (an 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.26808#2XUJ |
| W37Y160626 | W37Y160626 | statement | record (an 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.05715#10DG |
| W37ZS22C58 | W37ZS22C58 | statement | open | ernst_ibl MAAPressVersion/Partitions.tex#thm:union yields reflexive |
| W386DQ7Y49 | W386DQ7Y49 | statement | record (an 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.00212#JG1X |
| W386JE2JY8 | W386JE2JY8 | statement | record (an 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.03288#F7NK |
| W3AEF4DV9S | W3AEF4DV9S | statement | record (an 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.35102#P7WN |
| W3AJSM50YG | W3AJSM50YG | statement | record (an 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.11120#OPFZ |
| W3BAJG29AE | W3BAJG29AE | statement | record (an 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.35642#9V7Y |
| W3BC0NZRXV | W3BC0NZRXV | 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 2605.24355#6A54 |
| W3BX8X30SB | W3BX8X30SB | statement | record (an 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.25926#ARW0 |
| W3BYPP0RVY | W3BYPP0RVY | 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.26133#K53N |
| W3CMN4NC1G | W3CMN4NC1G | 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.17863#UD4K |
| W3CSZ2HZ56 | W3CSZ2HZ56 | exercise | open | hott_book induction.tex#ex:ilunit |
| W3CTTMSKZ4 | W3CTTMSKZ4 | statement | record (an 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.01199#56EE |
| W3CWCBR496 | W3CWCBR496 | statement | record (an 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.05914#0KKA |
| W3D49C1EJK | W3D49C1EJK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0909.2893#MNK4 |
| W3DAM2G7ST | W3DAM2G7ST | statement | record (an 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.08837#AM5S |
| W3DKYE63B7 | W3DKYE63B7 | statement | record (an 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.13328#N2W0 |
| W3DM6AJT3V | W3DM6AJT3V | statement | record (an 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.31276#BBO8 |
| W3DSFEKA76 | W3DSFEKA76 | statement | record (an 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.37562#1ZYW |
| W3E8DEDMAP | W3E8DEDMAP | statement | record (an 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.25843#BNYG |
| W3EFT28SDZ | W3EFT28SDZ | statement | record (an 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#0KY1 |
| W3EPKJ3GQM | W3EPKJ3GQM | statement | record (an 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.07471#L0RC |
| W3FFQXSSGY | W3FFQXSSGY | example | open | austin_ula src/section3-5.xml#example-null-intro |
| W3FX3RPG46 | W3FX3RPG46 | statement | record (an 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.13734#QFP0 |
| W3G2JXJJWF | W3G2JXJJWF | statement | record (an 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.11974#6YHO |
| W3GPQWX98E | W3GPQWX98E | exercise | open | austin_ula src/exercises/exercises4-2.xml#exercise-2 |
| W3GXCE254F | W3GXCE254F | statement | record (an 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.19694#2HFG |
| W3HGT8FZ0Q | W3HGT8FZ0Q | example | open | lebl_ra ch-approximate.tex#example-15 |
| W3HGXN6H20 | W3HGXN6H20 | proof | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#proof-3 |
| W3HQW7NJBQ | W3HQW7NJBQ | 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 2510.12502#L8LJ |
| W3HRRNCWSW | W3HRRNCWSW | statement | record (an 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.11968#DHP7 |
| W3J5VVWMYY | W3J5VVWMYY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.05191#K2M7 |
| W3JFV9T7DT | W3JFV9T7DT | 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 2209.01576#7KPL |
| W3JMESE00T | W3JMESE00T | exercise | open | lebl_ra ch-riemann.tex#exercise-54 |
| W3JSC9KRJ1 | W3JSC9KRJ1 | statement | record (an 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.18106#XXES |
| W3JW5C43CA | W3JW5C43CA | statement | record (an 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.20316#5Y4V |
| W3JY2N30F4 | W3JY2N30F4 | statement | record (an 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.33238#P6FL |
| W3K0AJMF5N | W3K0AJMF5N | statement | record (an 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#QAPO |
| W3KNPH4AT3 | W3KNPH4AT3 | statement | record (an 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.21358#J4DL |
| W3KVMKKH8Y | W3KVMKKH8Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.06637#KCVK |
| W3MBE3QT8R | W3MBE3QT8R | statement | record (an 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.36078#4G56 |
| W3MGWRC97B | W3MGWRC97B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1804.05688#K2MI |
| W3MKDA4MDE | W3MKDA4MDE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.17227#NAIK |
| W3MQZCRM0M | W3MQZCRM0M | statement | record (an 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.21005#TXCJ |
| W3MW24GAFE | W3MW24GAFE | 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.12054#MAKY |
| W3MXHH5GZH | W3MXHH5GZH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2002.01498#Z3EM |
| W3NDGCPX4D | W3NDGCPX4D | statement | record (an 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.28861#GCSJ |
| W3NM409VEM | W3NM409VEM | statement | open | open_logic content/first-order-logic/natural-deduction/provability-propositional.tex#prop:provability-lor |
| W3NRSPE8N9 | W3NRSPE8N9 | 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.26896#1MWY |
| W3P9ZNKNE2 | W3P9ZNKNE2 | statement | record (an 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.11468#CUB3 |
| W3PEFN98PF | W3PEFN98PF | statement | record (an 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.20207#FBFC |
| W3PJ2H4A5M | W3PJ2H4A5M | statement | record (an 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#LI1M |
| W3RCZYJ58G | W3RCZYJ58G | statement | record (an 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.06488#62XO |
| W3TKAWSH8R | W3TKAWSH8R | 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.19852#XP3D |
| W3TZT334BR | W3TZT334BR | exercise | open | lebl_ra ch-der.tex#exercise:bndmuldiff |
| W3VES6WXHD | W3VES6WXHD | statement | record (an 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#S9LL |
| W3VZBGX3QV | W3VZBGX3QV | 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.25353#ETYU |
| W3WA2P20CB | W3WA2P20CB | 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.11800#EN5J |
| W3WDTR11BR | W3WDTR11BR | statement | record (an 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.27570#M47F |
| W3XCBTTKNT | W3XCBTTKNT | statement | record (an 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.02065#7LPO |
| W3XF7S9KP1 | W3XF7S9KP1 | statement | record (an 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.36622#I4WG |
| W3YD8GAPYK | W3YD8GAPYK | statement | record (an 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.10077#IBQV |
| W3YFXXN3DR | W3YFXXN3DR | proof | open | open_logic content/turing-machines/undecidability/trakhtenbrot.tex#proof-2 |
| W3YGH1MN3F | W3YGH1MN3F | 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 2112.14455#EGMD |
| W3Z8XC4NYW | W3Z8XC4NYW | statement | record (an 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.01970#C25P |
| W3ZBZSJM6X | W3ZBZSJM6X | 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.28742#RC1F |
| W3ZRDP6E8K | W3ZRDP6E8K | 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 2602.14912#U4NO |
| W409J52GRB | W409J52GRB | statement | record (an 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.18043#8TPE |