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 601–700 of 2989.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Z6X9AQ70JS | Z6X9AQ70JS | 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.25409#B9SF |
| Z6XR8S0E49 | Z6XR8S0E49 | exercise | open | hott_book setmath.tex#ex:cumhierhit |
| Z6Y9BD2PJK | Z6Y9BD2PJK | statement | record (an 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.10086#VJYX |
| Z6Z534YBG4 | Z6Z534YBG4 | statement | record (an 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.07021#7DKZ |
| Z6ZDEMDVTN | Z6ZDEMDVTN | statement | record (an 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.12329#B3UY |
| Z6ZFFGB603 | Z6ZFFGB603 | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-44 |
| Z6ZR5TMTPG | Z6ZR5TMTPG | 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 2503.16884#9YTP |
| Z6ZZGTK5WX | Z6ZZGTK5WX | 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.21355#9D2G |
| Z700MEWC3R | Z700MEWC3R | 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.26401#0HHC |
| Z704SGJ1TR | Z704SGJ1TR | statement | record (an 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.34923#9O4P |
| Z705164CYW | Z705164CYW | 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.27799#M0YA |
| Z705M6TFE6 | Z705M6TFE6 | statement | record (an 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.36410#XSO3 |
| Z715CRTZDN | Z715CRTZDN | statement | record (an 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.15489#WDFQ |
| Z724B0YFRZ | Z724B0YFRZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.0068#PIXJ |
| Z72RZQCDRJ | Z72RZQCDRJ | statement | record (an 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#0PYG |
| Z733YRARM7 | Z733YRARM7 | statement | record (an 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.08873#IWCJ |
| Z734GYX23E | Z734GYX23E | example | open | levin_dmoi ptx/sec_seq-basics.ptx#example-1 |
| Z74ETY7CHM | Z74ETY7CHM | statement | record (an 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.29274#AYDQ |
| Z74J88HX32 | Z74J88HX32 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#KY01 |
| Z74Z2Y6G0N | Z74Z2Y6G0N | exercise | open | lebl_diffyqs ch-systems.tex#exercise-95 |
| Z75QC007MH | Z75QC007MH | statement | record (an 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#9M6B |
| Z76DV24E74 | Z76DV24E74 | statement | record (an 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.07890#SUTD |
| Z77N35WSZV | Z77N35WSZV | statement | record (an 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.07718#SI7X |
| Z784W9HK8Y | Z784W9HK8Y | statement | record (an 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.02790#JXZV |
| Z7862QC0SY | Z7862QC0SY | statement | record (an 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.17909#8ODM |
| Z78FBC5NHQ | Z78FBC5NHQ | exercise | open | applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-16 |
| Z78QAG6MJA | Z78QAG6MJA | statement | record (an 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.16002#4ZX6 |
| Z793Q307SS | Z793Q307SS | statement | record (an 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.15037#TNHE |
| Z79EK2HHRC | Z79EK2HHRC | statement | open | open_logic content/normal-modal-logic/axioms-systems/systems-distinct.tex#thm:KTBnot45 |
| Z7A1J2RWVT | Z7A1J2RWVT | statement | record (an 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.17476#3G7N |
| Z7ARTN2XD9 | Z7ARTN2XD9 | statement | record (an 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.00909#9IIF |
| Z7AV9Y1659 | Z7AV9Y1659 | statement | record (an 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#67SA |
| Z7BMRJ06XC | Z7BMRJ06XC | statement | record (an 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#4EPK |
| Z7C2CE4PKN | Z7C2CE4PKN | 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 1607.01095#K339 |
| Z7CNBYPF2S | Z7CNBYPF2S | 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.36421#FHID |
| Z7CPSHG601 | Z7CPSHG601 | 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 2111.09700#8YRD |
| Z7CYG0NP4T | Z7CYG0NP4T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1001.0174#NFJ0 |
| Z7DDZERR2S | Z7DDZERR2S | 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 2103.14389#Q9EA |
| Z7EMFNPFB5 | Z7EMFNPFB5 | 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.16768#NL33 |
| Z7ER6HHDGR | Z7ER6HHDGR | statement | record (an 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.28677#B2AV |
| Z7EXTZW61C | Z7EXTZW61C | statement | record (an 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.09341#67IR |
| Z7F7NFT18N | Z7F7NFT18N | statement | record (an 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.30354#M5D6 |
| Z7FCBHN9T0 | Z7FCBHN9T0 | statement | record (an 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.09171#42OF |
| Z7GAQD2G0Z | Z7GAQD2G0Z | statement | record (an 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.08193#WXWE |
| Z7GG3WEBNN | Z7GG3WEBNN | exercise | open | hott_book setmath.tex#ex:multiply-ordinals |
| Z7GNZR840S | Z7GNZR840S | statement | record (an 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#X5KQ |
| Z7GVT0NATZ | Z7GVT0NATZ | statement | record (an 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.12329#Z1N4 |
| Z7GY5KFAT1 | Z7GY5KFAT1 | statement | record (an 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.30165#CCZF |
| Z7GZN410G8 | Z7GZN410G8 | 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.40345#2O94 |
| Z7H3TE437R | Z7H3TE437R | statement | record (an 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.32977#NL9J |
| Z7J5Z95NM0 | Z7J5Z95NM0 | statement | record (an 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.06461#QLGZ |
| Z7J89NAMY1 | Z7J89NAMY1 | statement | record (an 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.36389#AXHM |
| Z7JFXP3344 | Z7JFXP3344 | statement | record (an 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.39782#EUB0 |
| Z7JFZRM24W | Z7JFZRM24W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.16099#V5ZD |
| Z7JPGV0Y5V | Z7JPGV0Y5V | statement | record (an 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.28411#2CMF |
| Z7K2XZDJCK | Z7K2XZDJCK | exercise | open | open_logic content/computability/recursive-functions/examples.tex#prob-1 |
| Z7K45X0GND | Z7K45X0GND | statement | record (an 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.09390#ZK3H |
| Z7KC11G8A7 | Z7KC11G8A7 | 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.17060#WDSV |
| Z7KH603FHY | Z7KH603FHY | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-10 |
| Z7KKQQ7Q5B | Z7KKQQ7Q5B | example | open | levin_dmoi ptx/sec_seq-recurrence.ptx#example-1 |
| Z7M0GF9WJE | Z7M0GF9WJE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.04933#9HZX |
| Z7MFNG84P6 | Z7MFNG84P6 | statement | record (an 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.22317#KK31 |
| Z7MN154Q4E | Z7MN154Q4E | statement | record (an 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.17060#4135 |
| Z7MTVEDPKV | Z7MTVEDPKV | statement | record (an 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.07790#UKX7 |
| Z7MY6WRS8H | Z7MY6WRS8H | 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 2503.16884#38JD |
| Z7N4HBKXMG | Z7N4HBKXMG | statement | record (an 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.29531#92TM |
| Z7NCTQR4E6 | Z7NCTQR4E6 | statement | record (an 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.07905#R5SL |
| Z7P43ZNDSS | Z7P43ZNDSS | statement | record (an 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#NDMV |
| Z7PA28N64Y | Z7PA28N64Y | example | open | napkin tex/cats/categories.tex#example-6 |
| Z7PT3Y6BXX | Z7PT3Y6BXX | statement | record (an 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.10029#HZ2B |
| Z7PV4ZCQNH | Z7PV4ZCQNH | statement | record (an 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.22317#VUO8 |
| Z7Q4D0VCRS | Z7Q4D0VCRS | statement | record (an 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.26496#LRM3 |
| Z7Q8HSSY78 | Z7Q8HSSY78 | statement | record (an 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.27918#VC0F |
| Z7R677WK7M | Z7R677WK7M | statement | open | open_logic content/set-theory/ordinals/iso.tex#ordisoisequiv |
| Z7RQPKS0V8 | Z7RQPKS0V8 | proof | open | open_logic content/lambda-calculus/syntax/free-variables.tex#proof-1 |
| Z7SDSY6NTK | Z7SDSY6NTK | statement | record (an 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.20466#QPF1 |
| Z7SKV4JADG | Z7SKV4JADG | 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 1903.07030#HU1C |
| Z7SYVD3TXA | Z7SYVD3TXA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.16151#LYWF |
| Z7T13SZD1Q | Z7T13SZD1Q | statement | record (an 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#I93H |
| Z7TE2NBZ33 | Z7TE2NBZ33 | statement | record (an 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.10570#L557 |
| Z7VCYK16Z0 | Z7VCYK16Z0 | statement | record (an 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.32078#CGSL |
| Z7VKES1HAM | Z7VKES1HAM | 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.37967#NJXB |
| Z7VMJX3CT6 | Z7VMJX3CT6 | 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#8AAD |
| Z7VTGXDWXT | Z7VTGXDWXT | statement | record (an 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#Y9LU |
| Z7W59FJB7X | Z7W59FJB7X | 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.39951#Q7FS |
| Z7WNACCKNP | Z7WNACCKNP | statement | record (an 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.09084#NNCM |
| Z7WNT9GABD | Z7WNT9GABD | statement | record (an 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#2V8Z |
| Z7WSQBCW1R | Z7WSQBCW1R | statement | record (an 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.05631#OKTO |
| Z7WW9DSRYY | Z7WW9DSRYY | statement | record (an 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#W5ZR |
| Z7X0FW1A3K | Z7X0FW1A3K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0903.0651#GH0I |
| Z7XD62G08K | Z7XD62G08K | statement | record (an 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.11395#9WOT |
| Z7XJRGNKRX | Z7XJRGNKRX | statement | record (an 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.20299#9NUE |
| Z7YJFWNFCZ | Z7YJFWNFCZ | statement | record (an 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.04452#QODW |
| Z7ZY6GCE2Q | Z7ZY6GCE2Q | statement | record (an 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.11785#R1S4 |
| Z80BNTMFQ2 | Z80BNTMFQ2 | statement | record (an 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.17129#3FNE |
| Z80PYJYPRG | Z80PYJYPRG | statement | record (an 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.29304#KDOS |
| Z80VW5PDWD | Z80VW5PDWD | statement | record (an 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.11097#E82M |
| Z8166GCWD7 | Z8166GCWD7 | statement | record (an 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.28518#46W4 |
| Z82NC11AC3 | Z82NC11AC3 | statement | record (an 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.16518#6HP1 |
| Z82PJBP1PM | Z82PJBP1PM | unknown | open | arXiv 2205.15365#7F9L |