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 1001–1100 of 2989.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| ZB5DFYN6R1 | ZB5DFYN6R1 | statement | record (an 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.24212#QYPM |
| ZB5FWK22TP | ZB5FWK22TP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1909.03896#ZMAB |
| ZB5XAYK7ZG | ZB5XAYK7ZG | statement | open | open_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#prop-4 |
| ZB62K6NKA9 | ZB62K6NKA9 | statement | record (an 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.04325#HA9M |
| ZB6EJJDD3R | ZB6EJJDD3R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.07352#UCYU |
| ZB6MVES1C5 | ZB6MVES1C5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.16669#5OA0 |
| ZB6Z1Y2G6B | ZB6Z1Y2G6B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1612.08394#1BLZ |
| ZB71EHBR1A | ZB71EHBR1A | statement | record (an 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.32946#0KGO |
| ZB74B8S6CN | ZB74B8S6CN | statement | record (an 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.14154#JREY |
| ZB80ZA4G21 | ZB80ZA4G21 | statement | record (an 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.19658#36N8 |
| ZB8FS184XM | ZB8FS184XM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.13548#0TQM |
| ZB8Y11T98Q | ZB8Y11T98Q | 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.04046#9KVY |
| ZB93BDHC0F | ZB93BDHC0F | statement | record (an 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.01433#PXA5 |
| ZB95M4JSBY | ZB95M4JSBY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.15812#VCSX |
| ZB9RW1Z9FC | ZB9RW1Z9FC | 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.12912#JTLK |
| ZB9S49CCCY | ZB9S49CCCY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1407.0548#XFEA |
| ZBA0M1BKXM | ZBA0M1BKXM | statement | record (an 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.30090#S3IC |
| ZBA93GT0XK | ZBA93GT0XK | exercise | open | lebl_ra ch-multivar-int.tex#exercise-40 |
| ZBAPJ2B427 | ZBAPJ2B427 | 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 1904.08413#2TZ0 |
| ZBAVKQWFW8 | ZBAVKQWFW8 | unknown | open | arXiv 2205.15365#QNJ4 |
| ZBAWTZZJY4 | ZBAWTZZJY4 | statement | record (an 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.09561#09C2 |
| ZBC3JKS0VS | ZBC3JKS0VS | exercise | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-2 |
| ZBC7RAZRDB | ZBC7RAZRDB | 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 2303.09207#6NTQ |
| ZBC9MSJK3N | ZBC9MSJK3N | 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 2311.00585#B9L8 |
| ZBCVRVJFSG | ZBCVRVJFSG | statement | record (an 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.03358#SMLU |
| ZBCWT19Y1T | ZBCWT19Y1T | statement | record (an 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.38138#ZY7L |
| ZBDE8XY2SF | ZBDE8XY2SF | statement | open | ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#thm:prodprimes |
| ZBDTF8NA31 | ZBDTF8NA31 | exercise | open | levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-8 |
| ZBE2DKQ1QC | ZBE2DKQ1QC | statement | record (an 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.18016#TSL9 |
| ZBEC3BS1DF | ZBEC3BS1DF | statement | record (an 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.22326#2INS |
| ZBEP6EETS1 | ZBEP6EETS1 | exercise | open | lebl_scv scv.tex#exercise-16 |
| ZBFJD86NTE | ZBFJD86NTE | 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.07530#FDVU |
| ZBFMS94QG8 | ZBFMS94QG8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.21427#S8K2 |
| ZBFRW3C622 | ZBFRW3C622 | definition | open | open_logic content/sets-functions-relations/arithmetization/cauchy.tex#def:CauchySequence |
| ZBGV3HA237 | ZBGV3HA237 | statement | record (an 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#Q5JC |
| ZBH9X24NXN | ZBH9X24NXN | statement | record (an 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.33679#4GOY |
| ZBHB96M4RJ | ZBHB96M4RJ | definition | open | hott_book categories.tex#ct:category |
| ZBHZBFPQAQ | ZBHZBFPQAQ | example | open | lebl_diffyqs ch-power-ser.tex#example-11 |
| ZBJ5061GGK | ZBJ5061GGK | 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.08323#1U28 |
| ZBJQZ5CC90 | ZBJQZ5CC90 | 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.20558#PXCH |
| ZBJW3DQ7H9 | ZBJW3DQ7H9 | statement | record (an 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.04835#ZZ0W |
| ZBMSK4RGZ9 | ZBMSK4RGZ9 | 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.14847#K3DX |
| ZBNPM29PKV | ZBNPM29PKV | statement | record (an 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.08385#224T |
| ZBNZZNH1XS | ZBNZZNH1XS | exercise | open | napkin tex/H113/quotient.tex#problem-2 |
| ZBPVM4ABBC | ZBPVM4ABBC | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-24 |
| ZBQ37P9GJS | ZBQ37P9GJS | 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.12480#KM8N |
| ZBQ4XQ6RZE | ZBQ4XQ6RZE | statement | record (an 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.03672#R4NY |
| ZBQEZCAEK5 | ZBQEZCAEK5 | statement | record (an 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.01473#0097 |
| ZBRFK6AFG5 | ZBRFK6AFG5 | statement | record (an 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.12188#565J |
| ZBRG7WR8VV | ZBRG7WR8VV | exercise | open | austin_ula src/exercises/exercises1-4.xml#exercise-7 |
| ZBRRFSSKVS | ZBRRFSSKVS | example | open | hott_book categories.tex#ct:eg:set |
| ZBRVSPWH1N | ZBRVSPWH1N | exercise | open | ernst_ibl MAAPressVersion/EquivalenceRelations.tex#problem-4 |
| ZBSAFS0DHJ | ZBSAFS0DHJ | statement | record (an 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#45K2 |
| ZBSE2AZ8BA | ZBSE2AZ8BA | exercise | open | lebl_diffyqs ch-systems.tex#exercise-4 |
| ZBSMVRWK92 | ZBSMVRWK92 | statement | record (an 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.30310#4403 |
| ZBST94GKW6 | ZBST94GKW6 | statement | record (an 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.12489#7Q5U |
| ZBT31EDP2T | ZBT31EDP2T | exercise | open | austin_ula src/exercises/exercises3-5.xml#exercise-7 |
| ZBTD5971SZ | ZBTD5971SZ | 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 2204.01073#PKXT |
| ZBV0W0G2BD | ZBV0W0G2BD | 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.20801#LERW |
| ZBV55ZYCDE | ZBV55ZYCDE | exercise | open | lebl_ra ch-approximate.tex#exercise:contL2close |
| ZBVATCGHF4 | ZBVATCGHF4 | statement | record (an 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.03081#SAN8 |
| ZBW8VW7GNS | ZBW8VW7GNS | statement | record (an 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#8317 |
| ZBWH7Z6RX0 | ZBWH7Z6RX0 | proof | open | napkin tex/quantum/circuits.tex#proof-4 |
| ZBX0277WJ1 | ZBX0277WJ1 | 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.04870#6H56 |
| ZBX1KYNWYH | ZBX1KYNWYH | statement | record (an 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.15525#UEV9 |
| ZBX3XZ5RJQ | ZBX3XZ5RJQ | statement | record (an 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.19861#AAAW |
| ZBX479J0EZ | ZBX479J0EZ | statement | record (an 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.06707#KRFX |
| ZBXC14KJJB | ZBXC14KJJB | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-63 |
| ZBYG8WF2E1 | ZBYG8WF2E1 | 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 1907.01440#4J2N |
| ZBZ2T6ENNY | ZBZ2T6ENNY | exercise | open | applied_combinatorics source/s_networkflow_exercises.ptx#exercise-6 |
| ZBZQR1AQSG | ZBZQR1AQSG | proof | open | open_logic content/incompleteness/introduction/undecidability.tex#proof-1 |
| ZC09VAJWH7 | ZC09VAJWH7 | 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.00584#S9MM |
| ZC0DVSTMHC | ZC0DVSTMHC | statement | record (an 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.09201#JNZZ |
| ZC0J3QC5PW | ZC0J3QC5PW | statement | record (an 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.10821#OZ86 |
| ZC0MCSWKSH | ZC0MCSWKSH | 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.34295#APLY |
| ZC0THVHFYE | ZC0THVHFYE | statement | record (an 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.09483#1UVT |
| ZC0YH2AY2W | ZC0YH2AY2W | statement | record (an 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.19214#TEX3 |
| ZC165PMPDM | ZC165PMPDM | 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.18775#T6RS |
| ZC1GVQYJ06 | ZC1GVQYJ06 | statement | record (an 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.38596#N0TZ |
| ZC1P3KY0RP | ZC1P3KY0RP | 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.16475#BD0L |
| ZC1Z9YB8Y9 | ZC1Z9YB8Y9 | statement | record (an 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.09735#TEOA |
| ZC21N7GBWS | ZC21N7GBWS | statement | record (an 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.30819#JTBZ |
| ZC259MG6HW | ZC259MG6HW | 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.00135#I8HV |
| ZC34RMHCT2 | ZC34RMHCT2 | statement | record (an 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.29747#IVBR |
| ZC3560WYPT | ZC3560WYPT | statement | open | lebl_scv scv.tex#prop-17 |
| ZC36KWYH6C | ZC36KWYH6C | statement | record (an 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.27730#3WQA |
| ZC3AGY476B | ZC3AGY476B | 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.03601#651X |
| ZC3DA644V5 | ZC3DA644V5 | statement | record (an 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#4Z7L |
| ZC3EV85Q2X | ZC3EV85Q2X | statement | record (an 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.34020#POS5 |
| ZC3H2AT7FP | ZC3H2AT7FP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1711.00219#9Y7I |
| ZC3HZ7W66D | ZC3HZ7W66D | statement | record (an 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.37274#ANIV |
| ZC4XZR6JFX | ZC4XZR6JFX | statement | record (an 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.17825#VCTM |
| ZC53ZSXHMV | ZC53ZSXHMV | statement | record (an 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.14741#0SW3 |
| ZC546GE8CF | ZC546GE8CF | 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.33162#MBSW |
| ZC5A421TS8 | ZC5A421TS8 | exercise | open | lebl_ra ch-approximate.tex#exercise-16 |
| ZC5N0F8VJQ | ZC5N0F8VJQ | 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 2204.01073#NQVS |
| ZC5ZXESWYQ | ZC5ZXESWYQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.05451#NK3L |
| ZC66MB23XD | ZC66MB23XD | exercise | open | austin_ula src/exercises/exercises3-4.xml#exercise-7 |
| ZC6H4Y7TEE | ZC6H4Y7TEE | statement | record (an 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.09464#R70J |
| ZC743F27QM | ZC743F27QM | statement | record (an 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.14837#FWUA |