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 2701–2800 of 2989.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| ZWXN6BYRCH | ZWXN6BYRCH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0806.0678#GS24 |
| ZWXZA7MQQ1 | ZWXZA7MQQ1 | statement | record (an 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.18219#OHZN |
| ZWYF7X40Y9 | ZWYF7X40Y9 | statement | record (an 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.18377#G36P |
| ZWZ6QD7R2T | ZWZ6QD7R2T | statement | record (an 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.28808#V8RM |
| ZWZGYD6FBV | ZWZGYD6FBV | statement | record (an 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#3DZY |
| ZWZJKQ0HJ0 | ZWZJKQ0HJ0 | definition | open | austin_ula src/section3-2.xml#definition-1 |
| ZX0ZMCG063 | ZX0ZMCG063 | unknown | open | |
| ZX10ZP3G6B | ZX10ZP3G6B | 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.08837#8D6R |
| ZX25K9RWJS | ZX25K9RWJS | statement | record (an 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.14086#TBBU |
| ZX2Z1GYSC1 | ZX2Z1GYSC1 | statement | record (an 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.25543#YI6U |
| ZX43PX7AHM | ZX43PX7AHM | statement | record (an 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.09422#PDBN |
| ZX4M76CQXA | ZX4M76CQXA | statement | record (an 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.26675#1YC2 |
| ZX4RVS1D9K | ZX4RVS1D9K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1804.05688#NSTL |
| ZX53R7QP98 | ZX53R7QP98 | exercise | open | lebl_ra ch-approximate.tex#exercise:finitelymanyweierequal |
| ZX5A8YRR6D | ZX5A8YRR6D | 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.14667#9UBB |
| ZX5E133H0G | ZX5E133H0G | statement | record (an 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#LDP7 |
| ZX5SJ06HB9 | ZX5SJ06HB9 | statement | record (an 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.02901#CCND |
| ZX66S646QW | ZX66S646QW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1002.0879#O22L |
| ZX784NH9F7 | ZX784NH9F7 | statement | record (an 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.04271#QYIU |
| ZX8B53ANKC | ZX8B53ANKC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.17751#6NGX |
| ZX8N6ZWSHZ | ZX8N6ZWSHZ | statement | record (an 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.32860#F3DN |
| ZX8SZ0E1B9 | ZX8SZ0E1B9 | 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 2311.16795#NWY6 |
| ZX8WZCHRTX | ZX8WZCHRTX | 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.15744#GOTL |
| ZX8Z9VCPA6 | ZX8Z9VCPA6 | statement | record (an 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.32174#ZS15 |
| ZX9DVGHG6Z | ZX9DVGHG6Z | statement | record (an 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.24542#DLIT |
| ZX9NDDSSNZ | ZX9NDDSSNZ | statement | record (an 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.01561#AGK6 |
| ZX9PJ723FB | ZX9PJ723FB | statement | record (an 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.32058#CLKW |
| ZX9ZEP86AQ | ZX9ZEP86AQ | exercise | open | lebl_ra ch-metric.tex#exercise-72 |
| ZXA0XJ12F1 | ZXA0XJ12F1 | proof | open | open_logic content/set-theory/card-arithmetic/opps.tex#proof-3 |
| ZXA7F41NXN | ZXA7F41NXN | statement | record (an 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.12640#TIIT |
| ZXA9W1DKPK | ZXA9W1DKPK | statement | record (an 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.30519#CFOV |
| ZXAQ19PE3D | ZXAQ19PE3D | statement | record (an 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.19296#TZAD |
| ZXAQAZDDY2 | ZXAQAZDDY2 | statement | record (an 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.09522#FOUM |
| ZXB6H76XFQ | ZXB6H76XFQ | exercise | open | levin_dmoi ptx/exercises/logic-prop.ptx#exercise-12 |
| ZXBC7008J7 | ZXBC7008J7 | proof | open | open_logic content/set-theory/ord-arithmetic/using-addition.tex#proof-1 |
| ZXBG5VDY01 | ZXBG5VDY01 | statement | record (an 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.26896#J0H5 |
| ZXBVSDATKY | ZXBVSDATKY | statement | record (an 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.28075#FGLG |
| ZXC0J7N5K9 | ZXC0J7N5K9 | statement | record (an 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.21675#NYHR |
| ZXC4EHYXHY | ZXC4EHYXHY | statement | record (an 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.32300#J8T1 |
| ZXC8XDY17G | ZXC8XDY17G | statement | record (an 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.20510#2WQ4 |
| ZXCBTQNNKE | ZXCBTQNNKE | statement | record (an 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.16704#Y55K |
| ZXCH76T743 | ZXCH76T743 | 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#H7V1 |
| ZXD8X5TGX2 | ZXD8X5TGX2 | statement | record (an 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.12413#BX0J |
| ZXDBQ6TZXV | ZXDBQ6TZXV | 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.08272#55KM |
| ZXE2YPXS5N | ZXE2YPXS5N | statement | record (an 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.19464#6EWK |
| ZXEEJFP16C | ZXEEJFP16C | statement | record (an 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.00916#YU3R |
| ZXEGQVG0FF | ZXEGQVG0FF | statement | record (an 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.33805#85QW |
| ZXF4V4PTD6 | ZXF4V4PTD6 | proof | open | hott_book logic.tex#proof-15 |
| ZXFGADD0KM | ZXFGADD0KM | statement | record (an 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.10406#8E3Z |
| ZXFVH9QAMX | ZXFVH9QAMX | statement | record (an 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.00409#8RIC |
| ZXGNPH6Y8P | ZXGNPH6Y8P | 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.20944#4K4N |
| ZXGXSKCBFZ | ZXGXSKCBFZ | 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.04694#45OU |
| ZXHESW9SR8 | ZXHESW9SR8 | statement | record (an 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.05142#2VM9 |
| ZXHJBG5PED | ZXHJBG5PED | statement | record (an 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.34613#EMFA |
| ZXHNNFCS4S | ZXHNNFCS4S | statement | record (an 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.38017#GEH4 |
| ZXHT9H4DJA | ZXHT9H4DJA | statement | record (an 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.40156#G3K9 |
| ZXHWRDCNJN | ZXHWRDCNJN | statement | record (an 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.33469#DVZL |
| ZXJ4TRNAT4 | ZXJ4TRNAT4 | proof | open | levin_dmoi ptx/sec_logic-proofs.ptx#proof-4 |
| ZXJ7RWYDC9 | ZXJ7RWYDC9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1204.5958#CESC |
| ZXJ96EC3BB | ZXJ96EC3BB | statement | record (an 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#1E9Z |
| ZXJJFF1GGD | ZXJJFF1GGD | statement | record (an 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.18101#0ZA3 |
| ZXJQVT9CDZ | ZXJQVT9CDZ | 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 2610.07445#DIK3 |
| ZXK6T9WY7M | ZXK6T9WY7M | statement | record (an 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.10745#AFVI |
| ZXKKJM5RK8 | ZXKKJM5RK8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.10963#2ROY |
| ZXKMKP3P1E | ZXKMKP3P1E | statement | record (an 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.34845#3510 |
| ZXM3H23J3N | ZXM3H23J3N | 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.37450#ALKQ |
| ZXM72JA5NT | ZXM72JA5NT | statement | record (an 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.13931#TCYS |
| ZXM77ZKSH4 | ZXM77ZKSH4 | 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.27078#9HR8 |
| ZXMWJNR96Z | ZXMWJNR96Z | statement | record (an 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#OQCU |
| ZXMWPV4C03 | ZXMWPV4C03 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#JZSP |
| ZXN5ZRJKXA | ZXN5ZRJKXA | statement | record (an 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.21675#3JG4 |
| ZXN8VNJHRY | ZXN8VNJHRY | exercise | open | austin_ula src/section6-1.xml#activity-1 |
| ZXNBBV9JHP | ZXNBBV9JHP | statement | record (an 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.04317#RN6D |
| ZXNM11SB20 | ZXNM11SB20 | statement | record (an 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.17850#UD6U |
| ZXNVRR7HXV | ZXNVRR7HXV | statement | record (an 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.16886#YIT6 |
| ZXNY22BAJG | ZXNY22BAJG | proof | open | napkin tex/alg-geom/localization.tex#proof-4 |
| ZXP4KW1E3T | ZXP4KW1E3T | statement | open | open_logic content/model-theory/interpolation/separation.tex#lem:sep1 |
| ZXP6Z1B1B4 | ZXP6Z1B1B4 | statement | record (an 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.36181#51AT |
| ZXPD1AD7C5 | ZXPD1AD7C5 | statement | record (an 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.08226#JJCM |
| ZXPP9XP0F7 | ZXPP9XP0F7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.07061#8K0C |
| ZXPPYMN3RH | ZXPPYMN3RH | 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.25129#98JR |
| ZXPZESQQ3Q | ZXPZESQQ3Q | proof | open | open_logic content/normal-modal-logic/completeness/lindenbaums-lemma.tex#proof-1 |
| ZXQ22RAKGF | ZXQ22RAKGF | exercise | open | active_calculus source/activities/act-3-2-2.xml#act-3-2-2 |
| ZXQ2ZS6NYX | ZXQ2ZS6NYX | statement | record (an 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.22268#P276 |
| ZXQR1CJVVR | ZXQR1CJVVR | statement | record (an 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.16853#CGXZ |
| ZXQSED6MEQ | ZXQSED6MEQ | statement | open | napkin tex/riemann-surface/morphism.tex#theorem-1 |
| ZXR7R6ZJ5T | ZXR7R6ZJ5T | statement | record (an 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.25168#S9S2 |
| ZXR9JHH1AW | ZXR9JHH1AW | statement | record (an 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.33250#Q3R1 |
| ZXRJ42DVNQ | ZXRJ42DVNQ | statement | record (an 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.39505#JEFZ |
| ZXS0Y5VN5S | ZXS0Y5VN5S | statement | record (an 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#MWP6 |
| ZXSC58SW04 | ZXSC58SW04 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#6VHN |
| ZXSK36QDYS | ZXSK36QDYS | statement | record (an 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#VZY3 |
| ZXSP5ZCBVR | ZXSP5ZCBVR | 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.15169#TEDQ |
| ZXTQ6MT2E5 | ZXTQ6MT2E5 | statement | record (an 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.09294#YC8Y |
| ZXTSHGWSJC | ZXTSHGWSJC | 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 2505.05539#PTS4 |
| ZXTSK49EK4 | ZXTSK49EK4 | 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.13532#1PFW |
| ZXTTNN3D9G | ZXTTNN3D9G | exercise | open | lebl_ra ch-approximate.tex#exercise-34 |
| ZXV6KHAG9S | ZXV6KHAG9S | statement | record (an 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/9201244#IH5W |
| ZXV8EJKM6G | ZXV8EJKM6G | statement | record (an 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.17736#FOJ5 |
| ZXV916EN19 | ZXV916EN19 | statement | record (an 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.04935#N8R0 |