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 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 401–500 of 2989.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Z4C2GGF6DM | Z4C2GGF6DM | 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.30976#AC8D |
| Z4CF63R6BT | Z4CF63R6BT | statement | record (an 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.01302#5CA0 |
| Z4CH6RC64A | Z4CH6RC64A | statement | record (an 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.05784#X1YS |
| Z4DM9BYEDD | Z4DM9BYEDD | exercise | open | lebl_scv scv.tex#exercise:bergmanpunctureddisc |
| Z4DRQ5NNT2 | Z4DRQ5NNT2 | statement | record (an 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.04834#X135 |
| Z4ET8K6PQK | Z4ET8K6PQK | statement | open | open_logic content/methods/proofs/example-2.tex#prop-1 |
| Z4F39FHB9V | Z4F39FHB9V | statement | record (an 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.05784#GTTJ |
| Z4FDD41QGT | Z4FDD41QGT | statement | record (an 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.25449#IX3M |
| Z4FGHM4MS9 | Z4FGHM4MS9 | 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.33590#021H |
| Z4FGV71435 | Z4FGV71435 | statement | record (an 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#68HX |
| Z4FNYVQS9R | Z4FNYVQS9R | statement | record (an 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.28702#EBFU |
| Z4GVMNR272 | Z4GVMNR272 | statement | record (an 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.07285#ZNOR |
| Z4GW3J71PC | Z4GW3J71PC | 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.06152#ZP7T |
| Z4H5PD7CE5 | Z4H5PD7CE5 | statement | record (an 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#WUNR |
| Z4J5815DPY | Z4J5815DPY | 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.24902#UUF0 |
| Z4JM0F708Q | Z4JM0F708Q | statement | record (an 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.03144#ENFI |
| Z4JWSR11HB | Z4JWSR11HB | statement | record (an 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.09819#TSOM |
| Z4JXW8EMRS | Z4JXW8EMRS | statement | record (an 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#MBJV |
| Z4K7EBYDQF | Z4K7EBYDQF | proof | open | napkin tex/homology/cellular.tex#proof-3 |
| Z4KNBQPDNF | Z4KNBQPDNF | 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.10930#67TP |
| Z4N2QKDZ4D | Z4N2QKDZ4D | statement | record (an 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.33512#2JN4 |
| Z4N6B1SA4G | Z4N6B1SA4G | statement | record (an 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.09019#V2O0 |
| Z4NEJG1128 | Z4NEJG1128 | unknown | open | arXiv 1805.04646#M6JR |
| Z4Q5AR6P8B | Z4Q5AR6P8B | 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.20050#JK9K |
| Z4QDBXD951 | Z4QDBXD951 | statement | record (an 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.06340#BP3X |
| Z4QHHPE9KR | Z4QHHPE9KR | statement | record (an 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#G77G |
| Z4QQW06FG2 | Z4QQW06FG2 | 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.34382#QPTO |
| Z4R31SGC4S | Z4R31SGC4S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2107.00792#T35A |
| Z4S9RB1TNY | Z4S9RB1TNY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.20170#7D1W |
| Z4STT9434Z | Z4STT9434Z | statement | record (an 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.32233#CVPS |
| Z4SZH49FPP | Z4SZH49FPP | statement | record (an 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.14189#71ZW |
| Z4T1EF6BJ0 | Z4T1EF6BJ0 | 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.30821#LFSG |
| Z4T36G4EQ4 | Z4T36G4EQ4 | definition | open | open_logic content/normal-modal-logic/axioms-systems/provability-properties.tex#defn-1 |
| Z4TS0Z3WFG | Z4TS0Z3WFG | statement | open | hott_book hits.tex#thm:pushout-ump |
| Z4V9Y397MV | Z4V9Y397MV | statement | record (an 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.04901#BEIT |
| Z4VNYVRE4J | Z4VNYVRE4J | 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 2409.20170#5VI8 |
| Z4VVQHQWF2 | Z4VVQHQWF2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.19866#NA1B |
| Z4VWKEJH2V | Z4VWKEJH2V | statement | record (an 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#3Z9B |
| 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 |
| 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 |
| 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 |