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 2301–2400 of 3560.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| WK08GFE91N | WK08GFE91N | unknown | open | |
| 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 |
| 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 |
| WK7373GMA9 | WK7373GMA9 | statement | record (an 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#DST9 |
| WK7TH87Q7E | WK7TH87Q7E | 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.31269#LSX6 |
| WK7VHAXGFN | WK7VHAXGFN | statement | open | lebl_ra ch-seq-ser.tex#prop-9 |
| WK8214CJ2E | WK8214CJ2E | 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.19088#BJSN |
| WK8V1CD9ND | WK8V1CD9ND | statement | record (an 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.14267#SNCJ |
| WK8XEWN93N | WK8XEWN93N | statement | record (an 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.27798#LA3S |
| WK90YNQB5C | WK90YNQB5C | statement | record (an 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.02407#YFCX |
| WK95KDX2YF | WK95KDX2YF | statement | record (an 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.17547#DBZ4 |
| WK9SBZ943R | WK9SBZ943R | statement | record (an 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.16746#BRKD |
| WKA46TTVVF | WKA46TTVVF | exercise | open | levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-9 |
| WKAHM74KAG | WKAHM74KAG | statement | open | lebl_ra ch-riemann.tex#thm:FTCv2 |
| WKAJM1ADVC | WKAJM1ADVC | 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.05715#LISJ |
| WKB approximation | 1K1ADEWCZK | unknown | open | Wikidata Q907306, nLab WKB method |
| WKB7S5YQM2 | WKB7S5YQM2 | 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#1MNA |
| WKBP2XKQYC | WKBP2XKQYC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2106.01660#622I |
| WKBXFR14VE | WKBXFR14VE | statement | record (an 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.33015#UONZ |
| WKC6BHWPF2 | WKC6BHWPF2 | statement | record (an 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.26477#ETQQ |
| WKCSKFS2R7 | WKCSKFS2R7 | statement | open | lebl_scv scv.tex#prop:inertiainvariant |
| WKD05DF8HT | WKD05DF8HT | statement | record (an 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.20911#THKS |
| WKD48GWB1G | WKD48GWB1G | statement | open | open_logic content/computability/recursive-functions/pr-relations.tex#prop-2 |
| WKD6ZS7X49 | WKD6ZS7X49 | statement | record (an 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#7QP9 |
| WKDCR4T5X4 | WKDCR4T5X4 | proof | open | hott_book hlevels.tex#proof-20 |
| WKDR35P56S | WKDR35P56S | statement | record (an 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.26386#QODF |
| WKDZQB7SYX | WKDZQB7SYX | statement | record (an 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#G4TR |
| WKEA7YQZJF | WKEA7YQZJF | statement | record (an 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.32906#0DCV |
| WKF9GWQC77 | WKF9GWQC77 | statement | record (an 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.02111#HCHF |
| WKF9QVV4J3 | WKF9QVV4J3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0907.5545#59AQ |
| WKFVS44M9P | WKFVS44M9P | statement | record (an 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.30018#88WG |
| WKG4DXB6RB | WKG4DXB6RB | statement | record (an 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.15454#SMH3 |
| WKGF8PY64K | WKGF8PY64K | exercise | open | napkin tex/linalg/fourier.tex#prob:arrow_lemma |
| WKGHBD40ZR | WKGHBD40ZR | statement | record (an 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.07259#TF4L |
| WKGMVK8X7T | WKGMVK8X7T | 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.00135#WNN3 |
| WKGR1ES4JF | WKGR1ES4JF | statement | record (an 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.27152#OPKJ |
| WKGRCNFV1K | WKGRCNFV1K | statement | record (an 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.31365#WLAX |
| WKHEH6A1SJ | WKHEH6A1SJ | statement | record (an 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#1ZM5 |
| WKHXEC6Y7M | WKHXEC6Y7M | 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.00267#VDQE |
| WKJ21X6FEQ | WKJ21X6FEQ | statement | record (an 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.36321#DKFP |
| WKKCYSJY16 | WKKCYSJY16 | proof | open | lebl_ra ch-approximate.tex#proof-31 |
| WKKXK1XAF5 | WKKXK1XAF5 | statement | record (an 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.14045#88W1 |
| WKKY8B6RP3 | WKKY8B6RP3 | statement | record (an 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.11038#EH98 |
| WKMKZHX9VD | WKMKZHX9VD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17009#7CW5 |