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 2701–2800 of 3560.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| WPDNABZ6KQ | WPDNABZ6KQ | example | open | applied_combinatorics source/s_intro_number.ptx#example-2 |
| WPDQN7HK6C | WPDQN7HK6C | definition | open | napkin tex/diffgeo/multivar.tex#definition-2 |
| WPDXNM4SXZ | WPDXNM4SXZ | example | open | levin_dmoi ptx/sec_seq-recurrence.ptx#example-7 |
| WPE5XR81ZD | WPE5XR81ZD | statement | record (an 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.22190#IICJ |
| WPEJ2WK9KC | WPEJ2WK9KC | unknown | open | |
| WPF09VSKGZ | WPF09VSKGZ | statement | record (an 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.10927#ITJS |
| WPFD7C4TM1 | WPFD7C4TM1 | statement | record (an 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.37520#4BVP |
| WPFEZS1SP5 | WPFEZS1SP5 | statement | record (an 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.39992#3CZ9 |
| WPFJA1VVT5 | WPFJA1VVT5 | statement | record (an 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#NHVY |
| WPFXRY6VHX | WPFXRY6VHX | exercise | open | napkin tex/linalg/eigenvalues.tex#exercise-1 |
| WPHGN4P63P | WPHGN4P63P | statement | record (an 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.19249#6KM5 |
| WPHXG4THWD | WPHXG4THWD | example | open | open_logic content/first-order-logic/syntax-and-semantics/first-order-languages.tex#ex-1 |
| WPJ6GB1VE1 | WPJ6GB1VE1 | statement | record (an 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.10080#GJ2B |
| WPJE63GH6H | WPJE63GH6H | 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.32816#DCXQ |
| WPK0JGM6Y9 | WPK0JGM6Y9 | statement | record (an 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#ZFZU |
| WPPG328Q5V | WPPG328Q5V | statement | record (an 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.2047#8WO4 |
| WPPXC36BKE | WPPXC36BKE | statement | record (an 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#6C9A |
| WPQ4848WRD | WPQ4848WRD | 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.04046#3FBF |
| WPQ48T7BKM | WPQ48T7BKM | unknown | open | arXiv 1008.4254#Z0J9 |
| WPQY0P52X7 | WPQY0P52X7 | 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 2604.10080#7EEB |
| WPR9FDSXX1 | WPR9FDSXX1 | statement | record (an 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#L0UX |
| WPRBVQGBV4 | WPRBVQGBV4 | statement | record (an 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.27301#0ZZ5 |
| WPSVQ2CRHZ | WPSVQ2CRHZ | proof | open | hott_book equivalences.tex#proof-29 |
| WPTQ7WFD9Y | WPTQ7WFD9Y | 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.35691#22LO |
| WPTS47TW3X | WPTS47TW3X | statement | record (an 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.35858#BYG4 |
| WPTVXQBN04 | WPTVXQBN04 | statement | record (an 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#OULV |
| WPTWJ4ACS4 | WPTWJ4ACS4 | statement | open | open_logic content/sets-functions-relations/functions/inverses.tex#prop-2 |
| WPV428P83F | WPV428P83F | 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.13629#0F7Z |
| WPW07VGSGM | WPW07VGSGM | statement | record (an 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.17553#JX4D |
| WPW19G5XRX | WPW19G5XRX | statement | open | lebl_ra ch-contfunc.tex#seqflimit:lemma |
| WPWXGC4BKM | WPWXGC4BKM | statement | record (an 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.10591#JFFU |
| WPX0Y35VWR | WPX0Y35VWR | 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.06438#24FP |
| WPX7TYH6AZ | WPX7TYH6AZ | exercise | open | open_logic content/incompleteness/representability-in-q/basic-representable.tex#prob-2 |
| WPXW0Y5GRH | WPXW0Y5GRH | statement | record (an 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.17825#SKW5 |
| WPXZ285TNW | WPXZ285TNW | statement | record (an 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#R0DV |
| WPYF20WQ1F | WPYF20WQ1F | statement | record (an 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.19023#7CQG |
| WPZ1P7JSX4 | WPZ1P7JSX4 | statement | record (an 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.16203#536U |
| WQ060KHKD7 | WQ060KHKD7 | statement | record (an 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.15771#0SYE |
| WQ28SXSER2 | WQ28SXSER2 | statement | record (an 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.30033#6Z15 |
| WQ2ECH5XYH | WQ2ECH5XYH | statement | record (an 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#LDRB |
| WQ2KDSY3NV | WQ2KDSY3NV | 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.07398#JMW1 |
| WQ32M1FCMB | WQ32M1FCMB | statement | record (an 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.12380#R00N |
| WQ3PA685PR | WQ3PA685PR | definition | open | open_logic content/counterfactuals/minimal-change-semantics/sphere-models.tex#defn-1 |
| WQ3XX5AP5S | WQ3XX5AP5S | definition | open | napkin tex/topology/top-more.tex#definition-12 |
| WQ46XAT4RK | WQ46XAT4RK | statement | record (an 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.07631#D656 |
| WQ47Q5KN3B | WQ47Q5KN3B | statement | record (an 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.19088#7J1V |
| WQ4F62PA92 | WQ4F62PA92 | statement | record (an 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.01837#9DVV |
| WQ5C8R8XWC | WQ5C8R8XWC | statement | record (an 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.16114#M0FW |
| WQ686HKVZY | WQ686HKVZY | statement | record (an 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.28336#1Y5P |
| WQ6CG01EMY | WQ6CG01EMY | statement | record (an 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.15504#92O5 |
| WQ6J3GCG5A | WQ6J3GCG5A | statement | record (an 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.28046#KVZ6 |
| WQ6V51QEZ2 | WQ6V51QEZ2 | statement | record (an 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.07598#N085 |
| WQ89YX34S0 | WQ89YX34S0 | statement | record (an 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.29107#TVUH |
| WQ8GSK7F61 | WQ8GSK7F61 | exercise | open | lebl_scv scv.tex#exercise:supportofpsi |
| WQ8XT49E34 | WQ8XT49E34 | statement | record (an 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.24399#4IOP |
| WQ916MF7FT | WQ916MF7FT | statement | record (an 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.08839#SQ60 |
| WQ9HXA3WQQ | WQ9HXA3WQQ | statement | record (an 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#X6C9 |
| WQ9W8CBW68 | WQ9W8CBW68 | statement | record (an 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#3YZL |
| WQA04WKTGP | WQA04WKTGP | statement | record (an 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.06321#5OW8 |
| WQAA4091B1 | WQAA4091B1 | statement | record (an 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#DOCQ |
| WQB98YY9QE | WQB98YY9QE | example | open | active_calculus source/sec-3-2-LHR.xml#ex-2-8-rational-infty |
| WQBN2QQBAW | WQBN2QQBAW | statement | record (an 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.10366#QPBI |
| WQBQYWJKVV | WQBQYWJKVV | 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.37578#6Z40 |
| WQC15XAHPY | WQC15XAHPY | definition | open | austin_ula src/section7-1.xml#def-orthog-diag |
| WQCRJKY8X8 | WQCRJKY8X8 | statement | record (an 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.05146#GYDJ |
| WQCVFY6JX8 | WQCVFY6JX8 | statement | record (an 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.06886#BMEJ |
| WQCVVZR2HH | WQCVVZR2HH | 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.15340#EEDB |
| WQD3YE2KSY | WQD3YE2KSY | statement | record (an 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.33027#0BSR |
| WQD78JBR0Z | WQD78JBR0Z | statement | open | hott_book hlevels.tex#thm:isntype-mono |
| WQDKXC33P6 | WQDKXC33P6 | 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.16731#TF7U |
| WQDQ7AM6KH | WQDQ7AM6KH | statement | record (an 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.22237#8DJ1 |
| WQFMVCF17E | WQFMVCF17E | statement | record (an 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.25275#DSGX |
| WQFNBK8X8Q | WQFNBK8X8Q | proof | open | open_logic content/model-theory/models-of-arithmetic/standard-models.tex#proof-1 |
| WQFVKHKSAB | WQFVKHKSAB | statement | record (an 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.36509#J623 |
| WQGKCZX8BC | WQGKCZX8BC | statement | record (an 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.10790#AMNH |
| WQGNWQ22G3 | WQGNWQ22G3 | definition | open | napkin tex/set-theory/forcing.tex#definition-1 |
| WQHD7WM6NW | WQHD7WM6NW | statement | record (an 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.33766#UXYU |
| WQJCBJV5NG | WQJCBJV5NG | 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#PZ9Z |
| WQJD9RY4EQ | WQJD9RY4EQ | statement | record (an 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.24190#DWD2 |
| WQJDYXCJHQ | WQJDYXCJHQ | statement | record (an 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.24463#0T7G |
| WQJG16NTP1 | WQJG16NTP1 | statement | record (an 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.34295#JDIS |
| WQJJWVKFM6 | WQJJWVKFM6 | statement | record (an 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#R3YB |
| WQJQH8ZX53 | WQJQH8ZX53 | statement | record (an 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.29597#NX3V |
| WQJSK3EBJW | WQJSK3EBJW | 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.25094#K6Y9 |
| WQKA7SB5GW | WQKA7SB5GW | statement | record (an 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.27103#6368 |
| WQKB6WCPNX | WQKB6WCPNX | statement | record (an 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.05391#EHEM |
| WQKC3EC0KA | WQKC3EC0KA | statement | record (an 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.28540#Q0MV |
| WQKG1KQRE1 | WQKG1KQRE1 | statement | record (an 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.20583#0NEJ |
| WQM28MF42V | WQM28MF42V | proof | open | lebl_ra ch-metric.tex#proof-26 |
| WQM4MTAA8J | WQM4MTAA8J | 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.11905#2FGA |
| WQMGHT7XAV | WQMGHT7XAV | 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.12380#YXB5 |
| WQMKDQA9PS | WQMKDQA9PS | exercise | open | levin_dmoi ptx/exercises/gt-intro.ptx#exercise-9 |
| WQN8AZR857 | WQN8AZR857 | statement | record (an 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.30336#5O1R |
| WQNHNS4SN4 | WQNHNS4SN4 | statement | record (an 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.2047#6K2S |
| WQNXDHP5K4 | WQNXDHP5K4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.08858#F7A5 |
| WQP09EZG5A | WQP09EZG5A | 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 2507.23666#NQ3T |
| WQPWRQPEY7 | WQPWRQPEY7 | statement | record (an 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.36509#BAQX |
| WQQHKDP5M1 | WQQHKDP5M1 | example | open | lebl_diffyqs ap-linear-algebra.tex#example-5 |
| WQQJBK48R5 | WQQJBK48R5 | statement | record (an 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.30579#A59D |
| WQQW8QBVM4 | WQQW8QBVM4 | statement | open | hott_book equivalences.tex#lem:coh-hfib |