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 2501–2600 of 2989.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| ZTN5DY4G31 | ZTN5DY4G31 | statement | record (an 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.04069#CRPR |
| ZTP5M5FJT2 | ZTP5M5FJT2 | statement | record (an 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.12683#1UYF |
| ZTPNTGPSFW | ZTPNTGPSFW | statement | record (an 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.07409#HYS1 |
| ZTPRR21MHP | ZTPRR21MHP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.08723#DK0N |
| ZTPTJZWM63 | ZTPTJZWM63 | statement | record (an 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.30679#W5IW |
| ZTQ28FHXEV | ZTQ28FHXEV | statement | record (an 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.36377#PRPU |
| ZTQQBQ7CPD | ZTQQBQ7CPD | statement | record (an 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#94P8 |
| ZTQSPDGD6B | ZTQSPDGD6B | statement | record (an 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.37897#BERA |
| ZTQYZW4X98 | ZTQYZW4X98 | statement | record (an 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.32916#ZKV7 |
| ZTRSEDWNF8 | ZTRSEDWNF8 | example | open | levin_dmoi ptx/sec_counting-starsbars.ptx#example-stars-bars-int-sol |
| ZTSGMB5RZF | ZTSGMB5RZF | statement | record (an 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.25275#4CV7 |
| ZTSHDRTPPS | ZTSHDRTPPS | 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.28323#ZZL6 |
| ZTSZC9SYY6 | ZTSZC9SYY6 | statement | record (an 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.09672#IV3H |
| ZTVFQAFC9C | ZTVFQAFC9C | statement | record (an 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.39465#O4ZQ |
| ZTVR4KDAQA | ZTVR4KDAQA | statement | record (an 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.08610#BCVM |
| ZTVYV00FYF | ZTVYV00FYF | example | open | napkin tex/alg-geom/proj-var.tex#example-3 |
| ZTWDHBVWF2 | ZTWDHBVWF2 | 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.24795#O747 |
| ZTWGGHXEBD | ZTWGGHXEBD | statement | record (an 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.11047#9DSL |
| ZTWPEZ6750 | ZTWPEZ6750 | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-21 |
| ZTWQY1X90N | ZTWQY1X90N | statement | record (an 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#M8M6 |
| ZTWWXQA28T | ZTWWXQA28T | 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.31910#IPRL |
| ZTX7T3XVPA | ZTX7T3XVPA | proof | open | lebl_ra ch-multivar-int.tex#proof-19 |
| ZTXB3G4HQ3 | ZTXB3G4HQ3 | statement | record (an 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.06488#5V03 |
| ZTXBWRV691 | ZTXBWRV691 | statement | record (an 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.29631#07Z9 |
| ZTY0AYZGJ4 | ZTY0AYZGJ4 | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-75 |
| ZTYCSMT3Z0 | ZTYCSMT3Z0 | 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.32338#F99C |
| ZTYCXS9J06 | ZTYCXS9J06 | 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.17258#18E5 |
| ZTZNYAZDF2 | ZTZNYAZDF2 | statement | record (an 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.14068#E0O8 |
| Zu Chongzhi | 5WY9H6EZ2C | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q227444, ProofWiki Mathematician:Zu_Chongzhi |
| Zu Gengzhi | TJ7VWR5SRB | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1292375, ProofWiki Mathematician:Zu_Geng |
| Zuckerman | 9WX618WG1W | statement | record (an 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.01441#OWNM |
| Zuckerman number | B6BV90AGMM | object | open | Wikidata Q4516291, OEIS A007602 |
| Zumkeller number | 4KCF2TAN79 | object | open | Wikidata Q67197651, OEIS A083207 |
| ZV055G511T | ZV055G511T | exercise | open | ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#problem-9 |
| ZV0QM0HMBS | ZV0QM0HMBS | statement | record (an 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.40123#Z4VG |
| ZV0W1BWF5B | ZV0W1BWF5B | statement | record (an 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.17070#2YKT |
| ZV0W4R7V7K | ZV0W4R7V7K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.00146#7W4T |
| ZV0X0QBJYD | ZV0X0QBJYD | statement | record (an 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.39539#TIGG |
| ZV1DEVBWCP | ZV1DEVBWCP | definition | open | open_logic content/set-theory/cardinals/classing.tex#defnfinite |
| ZV1SKGZXV1 | ZV1SKGZXV1 | statement | record (an 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.37103#IAMC |
| ZV1SQYSNNB | ZV1SQYSNNB | statement | record (an 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.18744#HKEA |
| ZV29978PD0 | ZV29978PD0 | statement | record (an 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.14022#SS87 |
| ZV3EGJW8V7 | ZV3EGJW8V7 | statement | record (an 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.31212#686P |
| ZV3KKMMWXJ | ZV3KKMMWXJ | statement | record (an 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.06455#TLYT |
| ZV3N3YZ64T | ZV3N3YZ64T | proof | open | open_logic content/proof-theory/propositions-as-types/normalization.tex#proof-2 |
| ZV3PGJQH6B | ZV3PGJQH6B | 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 1002.0879#BF1Q |
| ZV3SQGD9TG | ZV3SQGD9TG | statement | record (an 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#2LLP |
| ZV4KN9W6MF | ZV4KN9W6MF | definition | open | napkin tex/alg-geom/spec-sheaf.tex#definition-1 |
| ZV4QK4NK5M | ZV4QK4NK5M | statement | record (an 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.07409#DJ43 |
| ZV4R8D1JVY | ZV4R8D1JVY | example | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#ex-1 |
| ZV4SD73M34 | ZV4SD73M34 | statement | record (an 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.29624#T9PA |
| ZV6AN51VQM | ZV6AN51VQM | 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 1903.07030#DXKB |
| ZV6HVTMJ3Q | ZV6HVTMJ3Q | exercise | open | napkin tex/linalg/vector-space.tex#problem-3 |
| ZV6SBRQ0PQ | ZV6SBRQ0PQ | 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.29748#8RDP |
| ZV7JDFHB63 | ZV7JDFHB63 | 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.27800#ZNM5 |
| ZV7YN0V195 | ZV7YN0V195 | statement | record (an 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#MPSZ |
| ZV8KVW41AK | ZV8KVW41AK | statement | record (an 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.15700#X9LL |
| ZV8P61DWHT | ZV8P61DWHT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#KGMQ |
| ZV97VRTVRX | ZV97VRTVRX | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-10 |
| ZV9C1JRGZM | ZV9C1JRGZM | statement | record (an 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.07049#0F94 |
| ZV9N89PK7R | ZV9N89PK7R | statement | record (an 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.24845#169A |
| ZVABZ27C60 | ZVABZ27C60 | statement | record (an 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.24355#EFQS |
| ZVASR37B44 | ZVASR37B44 | statement | record (an 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.35678#Q7N9 |
| ZVC0D6WWMG | ZVC0D6WWMG | statement | record (an 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.26417#2PCY |
| ZVCRXRNY98 | ZVCRXRNY98 | statement | record (an 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.16386#GORY |
| ZVEB265XEJ | ZVEB265XEJ | 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.39317#NMWQ |
| ZVEN04AFSV | ZVEN04AFSV | example | open | napkin tex/cats/categories.tex#example-3 |
| ZVEWZCF9C4 | ZVEWZCF9C4 | statement | open | open_logic content/proof-theory/natural-deduction/sequents.tex#prop-2 |
| ZVFKG3828F | ZVFKG3828F | statement | record (an 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.28365#623O |
| ZVGCCSHFVZ | ZVGCCSHFVZ | statement | record (an 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.09900#LSD4 |
| ZVGNKXB0NB | ZVGNKXB0NB | statement | record (an 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.05986#R2HG |
| ZVGRNCRH76 | ZVGRNCRH76 | statement | record (an 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.03424#UVP1 |
| ZVGXS2KJB4 | ZVGXS2KJB4 | statement | open | open_logic content/lambda-calculus/syntax/substitution.tex#thm:clr |
| Zvi Bern | KHFGNXG5TQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15855856, nLab Zvi Bern |
| ZVJ8QDEZF4 | ZVJ8QDEZF4 | statement | record (an 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.35204#1J56 |
| ZVJRHAVQZF | ZVJRHAVQZF | statement | record (an 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.33770#4KCM |
| ZVJZ0CXMJ2 | ZVJZ0CXMJ2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1406.2996#HELY |
| ZVK8KSSH0K | ZVK8KSSH0K | 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.25100#TRII |
| ZVKBPJA2Y2 | ZVKBPJA2Y2 | statement | record (an 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.24190#4SVG |
| ZVKCSX7HDA | ZVKCSX7HDA | exercise | open | active_calculus source/activities/act-3-6-3.xml#act-3-6-3 |
| ZVKMNCFZWY | ZVKMNCFZWY | statement | record (an 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.18512#8VD8 |
| ZVM3ABJBAQ | ZVM3ABJBAQ | statement | record (an 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.16332#D7YR |
| ZVMJVP6BG6 | ZVMJVP6BG6 | statement | record (an 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.03288#38WW |
| ZVMJXMMKNN | ZVMJXMMKNN | 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.12357#CE53 |
| ZVMVE0S1FM | ZVMVE0S1FM | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-39 |
| ZVNG5VEQP6 | ZVNG5VEQP6 | statement | record (an 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.21231#HGMR |
| ZVNTDCMWQ7 | ZVNTDCMWQ7 | unknown | open | arXiv 2610.09206#3DU0 |
| ZVPE9CX5ZE | ZVPE9CX5ZE | 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.36622#JZSW |
| ZVPS69AVT7 | ZVPS69AVT7 | definition | open | napkin tex/H113/structure.tex#definition-4 |
| ZVPVVTB8Q0 | ZVPVVTB8Q0 | statement | record (an 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.08018#50M1 |
| ZVR6YXAEKC | ZVR6YXAEKC | statement | record (an 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.00798#EGAG |
| ZVRSEVJ67C | ZVRSEVJ67C | statement | record (an 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.12271#QF75 |
| ZVS5HKR08Q | ZVS5HKR08Q | statement | record (an 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.08261#650F |
| ZVSA7CRM8T | ZVSA7CRM8T | statement | record (an 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.14249#6H8D |
| ZVSG65Y2BX | ZVSG65Y2BX | 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#5RS7 |
| ZVT4S7J2QX | ZVT4S7J2QX | statement | record (an 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.35460#FB56 |
| ZVTQ9PRZJX | ZVTQ9PRZJX | statement | record (an 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.26386#JNIQ |
| ZVV7EQ5QDT | ZVV7EQ5QDT | statement | record (an 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.30207#HITB |
| ZVV8H283XM | ZVV8H283XM | exercise | open | hott_book categories.tex#ct:ex:hocat |
| ZVWFB741GQ | ZVWFB741GQ | 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.09133#6X1M |