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 1701–1800 of 2989.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Ziegler spectrum | FWF3VWEYA4 | unknown | open | Wikidata Q48996495, nLab Ziegler spectrum |
| Zig-Zag Collision-Free Convergence | G21MVYVP05 | 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.17677#3UBO |
| Zigzag cycle | 7Z3ATABJYZ | 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 2506.21337#CWGX |
| Zigzags resist every reparameterisation | PXAYX5ZVQV | statement | record (an 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.26129#3DYZ |
| Zinbiel algebra | YJ9J76PVFK | unknown | open | Wikidata Q2835946, nLab Zinbiel algebra |
| Zinkevich et al. | SNHXJ5PDVX | statement | record (an 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.26265#N8V4 |
| Zipf's law | 5AF82G329R | statement | open | Wikidata Q205472, MathWorld ZipfsLaw |
| ZJ theorem | TBK5HK7Y66 | statement | open | mathlib_1000 Q8063120, Wikidata Q8063120, thousand_plus Q8063120, Wikipedia ZJ theorem |
| ZJ00DKSYKA | ZJ00DKSYKA | proof | open | open_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-6 |
| ZJ0GWVFYCQ | ZJ0GWVFYCQ | 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.32439#YVT9 |
| ZJ0M4D3RAM | ZJ0M4D3RAM | statement | record (an 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.37520#9VN7 |
| ZJ0TKKBYWE | ZJ0TKKBYWE | statement | record (an 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.18246#TPFX |
| ZJ145EHH9B | ZJ145EHH9B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0706.0357#3ZWC |
| ZJ14K50Z8E | ZJ14K50Z8E | proof | open | open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#proof-4 |
| ZJ1T9AS4E4 | ZJ1T9AS4E4 | statement | record (an 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.01737#6UNW |
| ZJ221NB1GT | ZJ221NB1GT | statement | record (an 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.35287#S6PD |
| ZJ3EJWZJM0 | ZJ3EJWZJM0 | statement | record (an 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.02065#YP1H |
| ZJ3J1PR5QT | ZJ3J1PR5QT | statement | record (an 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.02436#JALV |
| ZJ49G8NRJD | ZJ49G8NRJD | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#mv:exercise:curveintegral |
| ZJ4ETHZ8SS | ZJ4ETHZ8SS | statement | record (an 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.03517#WTTK |
| ZJ4WZZPQH6 | ZJ4WZZPQH6 | statement | record (an 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.11455#DLMG |
| ZJ5CABNR4F | ZJ5CABNR4F | exercise | open | open_logic content/first-order-logic/sequent-calculus/soundness.tex#prob-1 |
| ZJ5HGA25KS | ZJ5HGA25KS | 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 2203.10220#TM5K |
| ZJ5JY3HKFZ | ZJ5JY3HKFZ | statement | record (an 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.11760#VIU3 |
| ZJ5YH27C8R | ZJ5YH27C8R | statement | record (an 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.18803#511M |
| ZJ5ZCNQZ43 | ZJ5ZCNQZ43 | statement | record (an 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.36904#S8X5 |
| ZJ5ZME8BS1 | ZJ5ZME8BS1 | statement | record (an 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.16431#GMLG |
| ZJ66AN435Z | ZJ66AN435Z | statement | record (an 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.10243#WQTE |
| ZJ69GSDBA7 | ZJ69GSDBA7 | statement | record (an 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.09765#RB7X |
| ZJ77TCDFRZ | ZJ77TCDFRZ | statement | record (an 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.18033#9ZBP |
| ZJ780HWN1R | ZJ780HWN1R | unknown | open | arXiv 2609.32916#9G0Q |
| ZJ7GQ00FR2 | ZJ7GQ00FR2 | statement | record (an 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.09162#32F6 |
| ZJ7PKG02ZK | ZJ7PKG02ZK | statement | record (an 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.39981#BCW0 |
| ZJ7YFCW8JK | ZJ7YFCW8JK | statement | record (an 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#Q3VA |
| ZJ90XBEZPF | ZJ90XBEZPF | statement | record (an 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.13850#0BK1 |
| ZJAC0MNH6K | ZJAC0MNH6K | statement | record (an 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.20110#RRJ8 |
| ZJAR6FTXQ7 | ZJAR6FTXQ7 | 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#B7NR |
| ZJAYJH0T45 | ZJAYJH0T45 | statement | record (an 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#MCDB |
| ZJBDA6S42Q | ZJBDA6S42Q | statement | record (an 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.16491#YQIY |
| ZJBHRF6PNV | ZJBHRF6PNV | statement | record (an 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.28295#11IP |
| ZJC75XQEM3 | ZJC75XQEM3 | statement | record (an 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.4587#8UGS |
| ZJCB09GAT3 | ZJCB09GAT3 | 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.26479#BU63 |
| ZJCMFDAKR0 | ZJCMFDAKR0 | statement | record (an 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.32233#WP4V |
| ZJCNT0871M | ZJCNT0871M | 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.21037#J2PQ |
| ZJCPGXS3P0 | ZJCPGXS3P0 | statement | record (an 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.05684#SRF0 |
| ZJCTDREC11 | ZJCTDREC11 | exercise | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-11 |
| ZJDVSCCWMY | ZJDVSCCWMY | statement | record (an 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.26262#IR1C |
| ZJF2EB8W1T | ZJF2EB8W1T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.26962#77WT |
| ZJFCESK603 | ZJFCESK603 | statement | record (an 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.37739#WVIO |
| ZJFTW4QE5K | ZJFTW4QE5K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.24424#ZY0G |
| ZJFY4K0JVF | ZJFY4K0JVF | statement | record (an 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#TDR6 |
| ZJG1CH2B5B | ZJG1CH2B5B | statement | record (an 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.00617#RC1T |
| ZJG8002GN7 | ZJG8002GN7 | statement | record (an 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#C4OR |
| ZJGMRNQW25 | ZJGMRNQW25 | statement | record (an 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.19787#4ZPJ |
| ZJHC8X0827 | ZJHC8X0827 | statement | record (an 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.36823#NZDK |
| ZJJ4Q4Z183 | ZJJ4Q4Z183 | statement | record (an 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.20126#3VU5 |
| ZJJ8DC10JN | ZJJ8DC10JN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.02160#1V3W |
| ZJJJ8CR7Y7 | ZJJJ8CR7Y7 | statement | record (an 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#UI17 |
| ZJKVZAHDZN | ZJKVZAHDZN | statement | record (an 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#ROH4 |
| ZJM785PE47 | ZJM785PE47 | statement | record (an 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.06441#ODF8 |
| ZJMAE3CDMF | ZJMAE3CDMF | 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.10558#E210 |
| ZJMDY99JN4 | ZJMDY99JN4 | statement | record (an 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.07983#TV32 |
| ZJMF9J0DBG | ZJMF9J0DBG | statement | open | lebl_ra ch-seq-funcs.tex#cor:differentiatepowerser |
| ZJMGMGVYFA | ZJMGMGVYFA | statement | record (an 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.38250#T9CT |
| ZJMQK77CH4 | ZJMQK77CH4 | statement | record (an 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.27192#VWEW |
| ZJMYGDCNP0 | ZJMYGDCNP0 | statement | record (an 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.07040#IJA2 |
| ZJMZEBJRJY | ZJMZEBJRJY | 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.01912#Z1G0 |
| ZJN5XXHD6B | ZJN5XXHD6B | statement | record (an 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#HHW5 |
| ZJNQDT1KRK | ZJNQDT1KRK | statement | record (an 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.27458#GFM8 |
| ZJNSDR1QKS | ZJNSDR1QKS | statement | record (an 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.39905#UMEY |
| ZJPEKBEV0B | ZJPEKBEV0B | statement | open | napkin tex/homology/cup-product.tex#theorem-1 |
| ZJPQEK6ZEN | ZJPQEK6ZEN | 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.05320#NI8K |
| ZJPTDN3ANY | ZJPTDN3ANY | statement | record (an 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.12330#W7RV |
| ZJQQVT9D4H | ZJQQVT9D4H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.03730#VBCI |
| ZJQX441Z1M | ZJQX441Z1M | statement | open | lebl_diffyqs ap-linear-algebra.tex#theorem-6 |
| ZJRFDQQVN9 | ZJRFDQQVN9 | statement | record (an 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.05198#1QIF |
| ZJSKRH1TH8 | ZJSKRH1TH8 | 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.39872#MCPZ |
| ZJSMXPT07M | ZJSMXPT07M | statement | record (an 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.11902#YYFV |
| ZJSZT1BBBG | ZJSZT1BBBG | statement | record (an 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.21005#SKS8 |
| ZJTGD9GS45 | ZJTGD9GS45 | 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.16875#UAAZ |
| ZJTTR8XQA1 | ZJTTR8XQA1 | statement | record (an 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#M6IU |
| ZJVVQW4MYS | ZJVVQW4MYS | statement | record (an 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.34013#YFRT |
| ZJWQEN8SMW | ZJWQEN8SMW | 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.21298#G26I |
| ZJWX2ZP710 | ZJWX2ZP710 | statement | record (an 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#HQNC |
| ZJX2HK1RHZ | ZJX2HK1RHZ | statement | record (an 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.21945#78N2 |
| ZJX3ZFDR0H | ZJX3ZFDR0H | 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#P1N8 |
| ZJXY9F7DV3 | ZJXY9F7DV3 | exercise | open | open_logic content/incompleteness/representability-in-q/basic-representable.tex#prob-3 |
| ZJZ9GQRVWA | ZJZ9GQRVWA | statement | record (an 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.15472#W41V |
| ZJZ9P079QM | ZJZ9P079QM | statement | record (an 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#DEFG |
| ZJZSPHR8AC | ZJZSPHR8AC | statement | record (an 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.24878#BY8X |
| ZJZWE488PF | ZJZWE488PF | statement | record (an 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.37634#Y0WG |
| ZJZYXJ33PF | ZJZYXJ33PF | statement | record (an 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.26455#WN3X |
| ZK0751WMAV | ZK0751WMAV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.02722#JO0V |
| ZK0JRQY5DR | ZK0JRQY5DR | statement | record (an 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.27788#0BE3 |
| ZK0M3XHX3H | ZK0M3XHX3H | 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.37520#R1YF |
| ZK1TJ4F1J5 | ZK1TJ4F1J5 | statement | record (an 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.21934#P32S |
| ZK1VTGM1PN | ZK1VTGM1PN | statement | record (an 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.31689#R1X4 |
| ZK1Z5JEVW1 | ZK1Z5JEVW1 | 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 2505.04063#TES5 |
| ZK24WJGKQR | ZK24WJGKQR | statement | record (an 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.03437#MNLV |
| ZK2F0E603V | ZK2F0E603V | example | open | levin_dmoi ptx/sec_intro-functions.ptx#example-3 |