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 1101–1200 of 2989.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| ZC76XSXK8F | ZC76XSXK8F | proof | open | open_logic content/sets-functions-relations/size-of-sets/non-enumerability-alt.tex#proof-1 |
| ZC7JB3T8JT | ZC7JB3T8JT | 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.03373#OEDS |
| ZC822TE7NQ | ZC822TE7NQ | statement | record (an 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.21489#9543 |
| ZC8GFAXGAE | ZC8GFAXGAE | statement | record (an 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#H779 |
| ZC9ZYMV2PD | ZC9ZYMV2PD | statement | record (an 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.03728#4WQM |
| ZCA1VDW23V | ZCA1VDW23V | 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.12736#99A7 |
| ZCA4R6QA53 | ZCA4R6QA53 | statement | record (an 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.06334#BWPN |
| ZCAHQ8KFG2 | ZCAHQ8KFG2 | statement | record (an 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.26922#YQV2 |
| ZCBCHN7H6G | ZCBCHN7H6G | statement | record (an 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.01073#3VQR |
| ZCBMAZB0PN | ZCBMAZB0PN | statement | record (an 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.12047#O8TK |
| ZCC71764HT | ZCC71764HT | unknown | open | arXiv 2211.01586#4JPP |
| ZCC778NX7A | ZCC778NX7A | exercise | open | lebl_ra ch-der.tex#exercise-15 |
| ZCCPAVEQDB | ZCCPAVEQDB | statement | record (an 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#74B5 |
| ZCD5J9S8N2 | ZCD5J9S8N2 | statement | record (an 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.22288#ORVD |
| ZCDM4CKFSA | ZCDM4CKFSA | exercise | open | ernst_ibl MAAPressVersion/PowerSets.tex#conjecture:PowerSets |
| ZCDR14RFPG | ZCDR14RFPG | statement | record (an 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.02993#CMA4 |
| ZCEPSVX0PD | ZCEPSVX0PD | 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 2211.10178#JL86 |
| ZCEPW762NA | ZCEPW762NA | statement | record (an 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.04809#ANAL |
| ZCEX3W1QE5 | ZCEX3W1QE5 | statement | record (an 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.33863#PLY4 |
| ZCEYDRM599 | ZCEYDRM599 | statement | record (an 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.24522#LFO1 |
| ZCF84DK3YK | ZCF84DK3YK | statement | record (an 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.31919#H7GS |
| ZCFP6GSACG | ZCFP6GSACG | statement | record (an 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#8S0G |
| ZCGKTZCPC7 | ZCGKTZCPC7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv math/0406514#75X2 |
| ZCGX5QKR3H | ZCGX5QKR3H | statement | record (an 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#F4DU |
| ZCHGS4FBSF | ZCHGS4FBSF | statement | record (an 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.03327#R8NV |
| ZCHNQ6AN6K | ZCHNQ6AN6K | statement | record (an 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.05179#HNJD |
| ZCHY66SJC5 | ZCHY66SJC5 | statement | record (an 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#R5W1 |
| ZCJA78AAFM | ZCJA78AAFM | statement | record (an 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.27114#4UI5 |
| ZCJFCET77H | ZCJFCET77H | statement | record (an 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.02019#ORLS |
| ZCJP1GM32R | ZCJP1GM32R | statement | record (an 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.13213#G1Y7 |
| ZCJSMJHG33 | ZCJSMJHG33 | 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.20421#FJ7W |
| ZCMCGQKYX8 | ZCMCGQKYX8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.17091#S2M9 |
| ZCMFV83NE7 | ZCMFV83NE7 | statement | record (an 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#JFFE |
| ZCMQ39GMBV | ZCMQ39GMBV | statement | record (an 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#399P |
| ZCMWGJKWZV | ZCMWGJKWZV | statement | record (an 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.17045#I6JY |
| ZCNG3FNSQJ | ZCNG3FNSQJ | definition | open | open_logic content/computability/recursive-functions/pr-functions.tex#defn:primitive-recursion |
| ZCP7DJB7MF | ZCP7DJB7MF | statement | record (an 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.20306#OKKP |
| ZCPEN51AV7 | ZCPEN51AV7 | statement | record (an 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.14204#K7E1 |
| ZCPHZ79NTN | ZCPHZ79NTN | statement | record (an 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.19326#AE0J |
| ZCPNMYCYJH | ZCPNMYCYJH | 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.21960#0CAG |
| ZCQ9WVET91 | ZCQ9WVET91 | 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 2610.17897#WHKD |
| ZCQJGY9PRW | ZCQJGY9PRW | statement | record (an 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#QOSF |
| ZCR1ZQ76W0 | ZCR1ZQ76W0 | statement | record (an 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.25435#BNHD |
| ZCRHSDTQJ2 | ZCRHSDTQJ2 | definition | open | lebl_ra ch-several-vars-ders.tex#defn-10 |
| ZCRWEQY11N | ZCRWEQY11N | definition | open | napkin tex/linalg/inner-form.tex#definition-2 |
| ZCRX6PF5Z3 | ZCRX6PF5Z3 | statement | record (an 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.10902#7OLN |
| ZCS50D4NGJ | ZCS50D4NGJ | statement | record (an 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.39307#IH1Z |
| ZCSAHS4MHX | ZCSAHS4MHX | statement | record (an 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.02961#ZT21 |
| ZCSSHC7WYK | ZCSSHC7WYK | statement | record (an 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.01411#77FS |
| ZCT6DQDWR2 | ZCT6DQDWR2 | statement | record (an 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.06886#71N2 |
| ZCTMZZ4H1K | ZCTMZZ4H1K | 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.10747#VUQ6 |
| ZCTR9RVGT2 | ZCTR9RVGT2 | statement | open | open_logic content/methods/proofs/proof-by-contradiction.tex#prop-1 |
| ZCTW7D7578 | ZCTW7D7578 | 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 2407.12231#NCRQ |
| ZCV189XBW5 | ZCV189XBW5 | example | open | napkin tex/H113/quotient.tex#example-7 |
| ZCVJ4TKJJC | ZCVJ4TKJJC | statement | record (an 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.04600#OV85 |
| ZCVP8GN5V1 | ZCVP8GN5V1 | statement | record (an 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.31604#ZAQS |
| ZCVRS989R0 | ZCVRS989R0 | statement | record (an 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.19288#GJ10 |
| ZCVTKX5ACM | ZCVTKX5ACM | 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 2302.04566#5GXO |
| ZCW4ZFTQ1W | ZCW4ZFTQ1W | statement | record (an 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.19251#BDCK |
| ZCW94X268M | ZCW94X268M | statement | record (an 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.11031#N08W |
| ZCWEKDZ982 | ZCWEKDZ982 | statement | record (an 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.02275#BTI8 |
| ZCXZ4ADPGR | ZCXZ4ADPGR | statement | record (an 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.14783#E8B6 |
| ZCYKHF9MGC | ZCYKHF9MGC | statement | record (an 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#TQ0L |
| ZCZ0916WC3 | ZCZ0916WC3 | statement | record (an 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.15086#7QRN |
| ZD05WVJXGR | ZD05WVJXGR | statement | record (an 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.21960#K5US |
| ZD0DH601W4 | ZD0DH601W4 | statement | record (an 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#2XAR |
| ZD13RN5YD7 | ZD13RN5YD7 | 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.11886#IW2U |
| ZD17ZZEAMY | ZD17ZZEAMY | proof | open | open_logic content/proof-theory/sequent-calculus/invertibility.tex#proof-1 |
| ZD1VGSQ3DH | ZD1VGSQ3DH | example | open | austin_ula src/section4-2.xml#example-10 |
| ZD30J33V9K | ZD30J33V9K | statement | open | hott_book reals.tex#thm:RC-lt-open |
| ZD3KCN8P7T | ZD3KCN8P7T | 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.37337#SRMN |
| ZD4Q7Q5KBX | ZD4Q7Q5KBX | statement | record (an 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.15982#35HZ |
| ZD5EKT42M8 | ZD5EKT42M8 | statement | record (an 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.31102#4MD1 |
| ZD5X062NN3 | ZD5X062NN3 | 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.11478#FJN5 |
| ZD602VKY3Y | ZD602VKY3Y | statement | record (an 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.38556#S1JC |
| ZD7635MS3D | ZD7635MS3D | statement | record (an 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.00775#ACM9 |
| ZD7KFM0X04 | ZD7KFM0X04 | 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.16631#WAOS |
| ZD837A1DGS | ZD837A1DGS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1806.00752#NDFN |
| ZD89W9PDNM | ZD89W9PDNM | exercise | open | levin_dmoi ptx/exercises/seq-polyfit.ptx#ex-quad-diff |
| ZD8G2CSE03 | ZD8G2CSE03 | statement | record (an 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.33926#0WCV |
| ZD9BY7VXJT | ZD9BY7VXJT | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-46 |
| ZD9FM4N7KD | ZD9FM4N7KD | statement | record (an 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.21103#U7N4 |
| ZD9P6QS01M | ZD9P6QS01M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00108#1ETX |
| ZDB47XM8PH | ZDB47XM8PH | statement | record (an 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.12803#WQ3Z |
| ZDB7N5HQK6 | ZDB7N5HQK6 | statement | record (an 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.04673#Y1PK |
| ZDBS3RA4Q0 | ZDBS3RA4Q0 | unknown | open | arXiv 2306.16411#1RCX |
| ZDBVXH13P5 | ZDBVXH13P5 | statement | record (an 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.25823#TQJZ |
| ZDC1AH7JWX | ZDC1AH7JWX | statement | record (an 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.21298#0APP |
| ZDE9DZKGE3 | ZDE9DZKGE3 | statement | record (an 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.26357#RWBG |
| ZDEWM5MY23 | ZDEWM5MY23 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-40 |
| ZDF06BFTNW | ZDF06BFTNW | statement | record (an 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.27957#6YL3 |
| ZDFMG5B9B7 | ZDFMG5B9B7 | statement | record (an 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#U7HN |
| ZDFW312EBB | ZDFW312EBB | 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.39293#YLUQ |
| ZDG1V5TJ0F | ZDG1V5TJ0F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.01000#KJIA |
| ZDGDAZZ0YQ | ZDGDAZZ0YQ | statement | record (an 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.00775#NVIO |
| ZDGF5D1C0Z | ZDGF5D1C0Z | exercise | open | napkin tex/H113/structure.tex#ques-1 |
| ZDGGQ500VR | ZDGGQ500VR | statement | record (an 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.38228#DPEC |
| ZDGN24HK6M | ZDGN24HK6M | exercise | open | napkin tex/H113/sylow.tex#problem-4 |
| ZDJF7A2301 | ZDJF7A2301 | statement | record (an 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.12486#BV8Q |
| ZDJY9NDYHF | ZDJY9NDYHF | statement | record (an 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.20178#6MGU |