Inventory: Z
The rows of the inventory whose names start with Z. 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 501–600 of 3622.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Z4W7EGBYJR | Z4W7EGBYJR | statement | record (an 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.23522#2EKM |
| Z4X3M385RD | Z4X3M385RD | statement | open | lebl_ra ch-seq-ser.tex#prop:seqtosubseq |
| Z4YTAHM06C | Z4YTAHM06C | statement | record (an 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.13295#BA4N |
| Z4Z39JP034 | Z4Z39JP034 | statement | open | napkin tex/alg-NT/pell.tex#theorem-1 |
| Z501Z8C84C | Z501Z8C84C | statement | record (an 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.06909#RTWN |
| Z50PHKTQMV | Z50PHKTQMV | statement | record (an 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.28254#3TMN |
| Z5111MDJ95 | Z5111MDJ95 | statement | record (an 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.18302#6Y94 |
| Z5172N3V5F | Z5172N3V5F | 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.07695#OIVX |
| Z51QH2Q7J3 | Z51QH2Q7J3 | statement | record (an 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.10840#Q7QE |
| Z52GB31Z46 | Z52GB31Z46 | statement | record (an 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.19333#8MNP |
| Z52PCSRYJX | Z52PCSRYJX | statement | record (an 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.21945#AD74 |
| Z52VYJ0TCW | Z52VYJ0TCW | statement | record (an 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.39593#05CV |
| Z52WPV4PKF | Z52WPV4PKF | 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.15432#G1GH |
| Z531GYK0Q0 | Z531GYK0Q0 | exercise | open | austin_ula src/section7-5.xml#ula-preview-7-5 |
| Z53KFHK0EH | Z53KFHK0EH | statement | record (an 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.13291#E8AI |
| Z53NB6TB05 | Z53NB6TB05 | statement | record (an 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.13869#QZ5L |
| Z53P6ZG6SV | Z53P6ZG6SV | statement | record (an 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.02709#FN0Q |
| Z53SDRP6ZS | Z53SDRP6ZS | 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.02628#V7SU |
| Z5436PJC7G | Z5436PJC7G | statement | record (an 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#PFH1 |
| Z54TFQH62R | Z54TFQH62R | statement | open | open_logic content/first-order-logic/axiomatic-deduction/provability-propositional.tex#prop:provability-lif |
| Z55JMAEC6S | Z55JMAEC6S | 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.24599#4NPO |
| Z55MSHXB2G | Z55MSHXB2G | statement | record (an 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.17139#LCE5 |
| Z55P2J71PA | Z55P2J71PA | statement | record (an 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.40282#9NPZ |
| Z55VTH239R | Z55VTH239R | statement | record (an 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.28295#QV8C |
| Z55ZXND09Q | Z55ZXND09Q | statement | record (an 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.10206#T5P6 |
| Z56BSMTGGR | Z56BSMTGGR | statement | record (an 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.29653#DZG2 |
| Z579FMX4YQ | Z579FMX4YQ | statement | record (an 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.26074#1PWT |
| Z57FTXDF9J | Z57FTXDF9J | 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.25289#NDR6 |
| Z57HNSREKK | Z57HNSREKK | statement | record (an 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.13358#HUKV |
| Z57MAAD9HP | Z57MAAD9HP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.13401#WPEH |
| Z58W75DFKD | Z58W75DFKD | statement | record (an 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.17071#DPZW |
| Z59TZFDVST | Z59TZFDVST | statement | record (an 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.21781#XWHU |
| Z5A5YX06E7 | Z5A5YX06E7 | statement | record (an 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.15700#8F33 |
| Z5A6YN6HKC | Z5A6YN6HKC | 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.02756#LZYN |
| Z5ADCFJ1EJ | Z5ADCFJ1EJ | 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 2410.14097#19FN |
| Z5B2YS7JXK | Z5B2YS7JXK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2307.06098#FND3 |
| Z5BA8KGQNP | Z5BA8KGQNP | 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.00934#VD4N |
| Z5CYSPDXDC | Z5CYSPDXDC | proof | open | hott_book hlevels.tex#proof-24 |
| Z5DVQKK6B2 | Z5DVQKK6B2 | statement | record (an 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#38Y3 |
| Z5EGPD3S1N | Z5EGPD3S1N | statement | record (an 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.04172#IAJS |
| Z5EYK7T6KJ | Z5EYK7T6KJ | statement | record (an 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.19132#6AHG |
| Z5F9NXKQZG | Z5F9NXKQZG | statement | record (an 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.07897#M5GQ |
| Z5FFT5TBKE | Z5FFT5TBKE | 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 2405.01860#EYED |
| Z5FT3PWG9D | Z5FT3PWG9D | 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.10558#FBTI |
| Z5G4XA4PMB | Z5G4XA4PMB | statement | record (an 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.10559#B1PL |
| Z5GTXSZ99K | Z5GTXSZ99K | statement | record (an 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.04729#LVBB |
| Z5GW9Z8H0D | Z5GW9Z8H0D | statement | record (an 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.21255#M9AY |
| Z5HER16F1W | Z5HER16F1W | statement | record (an 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.37606#3OYE |
| Z5HFEP5MFW | Z5HFEP5MFW | statement | record (an 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.04069#SEUB |
| Z5JG54NRS3 | Z5JG54NRS3 | statement | record (an 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#HZKY |
| Z5K65SHEX0 | Z5K65SHEX0 | proof | open | napkin tex/topology/fundamental-group.tex#proof-4 |
| Z5K8F8W5SP | Z5K8F8W5SP | statement | record (an 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.20097#M6A4 |
| Z5KKTMVQYE | Z5KKTMVQYE | statement | record (an 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#6SQV |
| Z5M4XD7GWG | Z5M4XD7GWG | statement | record (an 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.09594#L3OB |
| Z5M5WBFVXP | Z5M5WBFVXP | 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.07608#Q097 |
| Z5MBA12823 | Z5MBA12823 | 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.33953#7R5L |
| Z5MDPAPPSS | Z5MDPAPPSS | 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.31300#36C4 |
| Z5MV2SFHAR | Z5MV2SFHAR | statement | record (an 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.37931#7MJH |
| Z5N0FJNA1A | Z5N0FJNA1A | statement | record (an 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.21572#W9PY |
| Z5P1B74ZYD | Z5P1B74ZYD | statement | record (an 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.16883#SRN5 |
| Z5P4F5ZRHE | Z5P4F5ZRHE | statement | record (an 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.39700#MAE3 |
| Z5PW68A0PY | Z5PW68A0PY | statement | record (an 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.03601#DW8Y |
| Z5Q3ME7F6A | Z5Q3ME7F6A | 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.27775#G05A |
| Z5QG73ZT91 | Z5QG73ZT91 | example | open | napkin tex/measure/martingale.tex#example-9 |
| Z5QMHHSR2P | Z5QMHHSR2P | statement | record (an 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.04948#3NKS |
| Z5QT8XYZ18 | Z5QT8XYZ18 | statement | record (an 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#LRDL |
| Z5QW7041GS | Z5QW7041GS | 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.20593#J2ON |
| Z5RFWWNVVA | Z5RFWWNVVA | statement | record (an 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.07679#2EB6 |
| Z5S4R5TFZC | Z5S4R5TFZC | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-19 |
| Z5S5GQRHBM | Z5S5GQRHBM | statement | record (an 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.28848#XHD5 |
| Z5SG913YVB | Z5SG913YVB | statement | record (an 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.08237#DILI |
| Z5SSA307XQ | Z5SSA307XQ | statement | record (an 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#OE5O |
| Z5SXWNY699 | Z5SXWNY699 | statement | record (an 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#HN1V |
| Z5T1ZM1QA6 | Z5T1ZM1QA6 | 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.29925#ST6B |
| Z5TGB9CNFD | Z5TGB9CNFD | statement | record (an 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.22311#CXGR |
| Z5TSFY3WXN | Z5TSFY3WXN | problem | open | Wikipedia Pure type system#FEU1 |
| Z5V25ZY3C2 | Z5V25ZY3C2 | 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.39347#8IZO |
| Z5V6DSN5JQ | Z5V6DSN5JQ | statement | record (an 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.04000#8O0I |
| Z5VA5VX685 | Z5VA5VX685 | statement | record (an 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.15720#I7OP |
| Z5VK48B2WH | Z5VK48B2WH | 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.30444#2L8K |
| Z5VWYH08N8 | Z5VWYH08N8 | exercise | open | napkin tex/linalg/vector-space.tex#ques-2 |
| Z5XD9GK3VH | Z5XD9GK3VH | 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.11545#D0YV |
| Z5XDW8FP9D | Z5XDW8FP9D | 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.05216#LVB3 |
| Z5XXX5CR4C | Z5XXX5CR4C | statement | record (an 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#76N5 |
| Z5XYBCZMEJ | Z5XYBCZMEJ | statement | record (an 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.35229#09LZ |
| Z5Y1JJF9KS | Z5Y1JJF9KS | statement | record (an 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#HVRV |
| Z5Y37GNNB8 | Z5Y37GNNB8 | exercise | open | napkin tex/cats/categories.tex#exercise-7 |
| Z5Y93XHVQ6 | Z5Y93XHVQ6 | 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 2208.07784#3NC1 |
| Z5YSSRMKTA | Z5YSSRMKTA | statement | record (an 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.05923#LKF9 |
| Z5Z9BSA6K4 | Z5Z9BSA6K4 | exercise | open | lebl_ra ch-multivar-int.tex#exercise-52 |
| Z5ZJ2P26AK | Z5ZJ2P26AK | statement | record (an 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.00512#4UYI |
| Z5ZNG83HK1 | Z5ZNG83HK1 | statement | record (an 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.35404#D4LN |
| Z5ZXPK3TE4 | Z5ZXPK3TE4 | 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.30637#4H56 |
| Z60NBHW6E4 | Z60NBHW6E4 | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-21 |
| Z60SRA7QRH | Z60SRA7QRH | statement | record (an 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.27974#G6KR |
| Z614GGBN3K | Z614GGBN3K | statement | record (an 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#JJK2 |
| Z61EXA5Z8D | Z61EXA5Z8D | statement | record (an 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.21971#PIA8 |
| Z61PTA4SZ4 | Z61PTA4SZ4 | statement | record (an 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#XB0Q |
| Z631WW5R0X | Z631WW5R0X | 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.01251#TYU2 |
| Z63PWTGF8C | Z63PWTGF8C | statement | record (an 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.20590#P9RF |