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 701–800 of 3622.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| Z7AADVKMSS | Z7AADVKMSS | statement | record (an 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.21529#2CXC |
| Z7AAZSTCD9 | Z7AAZSTCD9 | 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.21860#B304 |
| 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 |
| Z7E9YQ5XQB | Z7E9YQ5XQB | statement | record (an 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.21399#N0NB |
| 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 |
| Z7PGFXQ6GC | Z7PGFXQ6GC | 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.21060#8V28 |
| Z7PJNT7X35 | Z7PJNT7X35 | 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.21438#50E1 |
| 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 |
| Z7XSM5837Q | Z7XSM5837Q | statement | record (an 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.21098#HK72 |
| 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 |
| Z7Z6P2ZS0E | Z7Z6P2ZS0E | statement | record (an 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.23237#35HX |
| 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 |
| Z83386R38P | Z83386R38P | 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 2212.06621#GOR8 |
| Z83SQCVFB3 | Z83SQCVFB3 | statement | record (an 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.24232#4WOB |
| Z83ZWNP14G | Z83ZWNP14G | statement | record (an 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.21358#RXCW |
| Z846NPDT78 | Z846NPDT78 | statement | record (an 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.15024#OIY7 |
| Z847847M4C | Z847847M4C | statement | record (an 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#X45Q |
| Z84T54ZWYH | Z84T54ZWYH | statement | record (an 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.19357#OR1J |
| Z85AYG9YXD | Z85AYG9YXD | statement | record (an 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.35323#5L5E |
| Z85EJ6YT1X | Z85EJ6YT1X | statement | record (an 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.14838#05N7 |
| Z85N52GRMC | Z85N52GRMC | statement | open | napkin tex/linalg/transpose.tex#thm:transpose_dual |
| Z86AXPFE22 | Z86AXPFE22 | 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.22557#FBHM |
| Z86X4N2GE3 | Z86X4N2GE3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.05048#CEEJ |
| Z86ZV4T0D4 | Z86ZV4T0D4 | statement | record (an 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.27872#XXRN |
| Z8769XQ2Y8 | Z8769XQ2Y8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.00191#4POI |
| Z8785CQFN4 | Z8785CQFN4 | statement | record (an 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.31249#52XW |
| Z892WF5E6S | Z892WF5E6S | statement | record (an 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.25255#RG17 |
| Z89FQAXVXE | Z89FQAXVXE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1812.02599#CKLV |
| Z89NMB612D | Z89NMB612D | statement | record (an 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.03756#21R0 |