Inventory: C
The rows of the inventory whose names start with C. 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 26896
- A 5694
- B 4524
- C 7434
- D 4863
- E 5167
- F 4998
- G 4504
- H 4194
- I 1415
- J 3180
- K 3512
- L 1962
- M 5019
- N 4008
- O 928
- P 5631
- Q 3296
- R 5027
- S 7101
- T 5981
- U 1055
- V 3253
- W 3675
- X 2801
- Y 2926
- Z 3092
Rows 7301–7400 of 7434.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| CYN7A1X3VE | CYN7A1X3VE | proof | open | napkin tex/alg-geom/bezout.tex#proof-4 |
| CYNCB4ED48 | CYNCB4ED48 | statement | record (an 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.01324#41A0 |
| CYNK1225MP | CYNK1225MP | statement | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#thm:contrapos |
| CYP0CT1108 | CYP0CT1108 | statement | record (an 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#04SQ |
| CYP1S11S37 | CYP1S11S37 | statement | record (an 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#OCNA |
| CYP67N96D2 | CYP67N96D2 | statement | record (an 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#U8TD |
| CYPA2T9AQA | CYPA2T9AQA | statement | record (an 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.05327#M9SD |
| CYPKQ6S25P | CYPKQ6S25P | statement | record (an 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.39700#PYKP |
| CYR70C4ZKR | CYR70C4ZKR | statement | record (an 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.30961#GRIQ |
| CYRD2N90RG | CYRD2N90RG | 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.01473#E79P |
| CYRY6X3J5G | CYRY6X3J5G | statement | record (an 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.10365#X7PK |
| CYS58Y8R6G | CYS58Y8R6G | statement | record (an 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.05829#43TD |
| CYTN7EKM9Q | CYTN7EKM9Q | statement | record (an 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.10481#ZKHV |
| CYTWXME0M5 | CYTWXME0M5 | statement | record (an 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.25080#D0ZC |
| CYV2N048S3 | CYV2N048S3 | 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 2011.06637#TXZW |
| CYVDWJD9Q9 | CYVDWJD9Q9 | statement | record (an 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.09078#5QPJ |
| CYWMN02J7E | CYWMN02J7E | statement | record (an 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.03814#G0RH |
| CYWSYHBGCC | CYWSYHBGCC | statement | record (an 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.14374#YOJC |
| CYX7RBGSKB | CYX7RBGSKB | statement | record (an 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.21717#QTNK |
| CYX9CEN1JF | CYX9CEN1JF | statement | record (an 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#VVQE |
| CYY3EH1WRE | CYY3EH1WRE | statement | record (an 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#A5LO |
| CYYATF9XXN | CYYATF9XXN | example | open | napkin tex/alg-geom/localization.tex#example-12 |
| CYYBCVECQR | CYYBCVECQR | 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.20316#Z1F5 |
| CYYKEHPK1B | CYYKEHPK1B | statement | record (an 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.17484#MFW9 |
| CYYKK1GAYA | CYYKK1GAYA | statement | record (an 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.14236#LYNA |
| CYZ00658AZ | CYZ00658AZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1311.6044#Y371 |
| CYZ2APXSN0 | CYZ2APXSN0 | 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.35625#KHG7 |
| CYZD5VVNBQ | CYZD5VVNBQ | statement | record (an 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.11847#942A |
| CYZK3Y0PV7 | CYZK3Y0PV7 | statement | record (an 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#WYX8 |
| CYZSABCV8G | CYZSABCV8G | statement | record (an 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.06445#GW0N |
| CZ0Z37S0QV | CZ0Z37S0QV | 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 math/0003117#Z7NP |
| CZ19FCDQD9 | CZ19FCDQD9 | statement | record (an 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.17303#5W6N |
| CZ20RJT540 | CZ20RJT540 | statement | record (an 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.01273#4LIG |
| CZ2AJQTV8Z | CZ2AJQTV8Z | 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.04758#H09L |
| CZ2GGHBYFH | CZ2GGHBYFH | 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.10928#ZZ7C |
| CZ2XRP21S9 | CZ2XRP21S9 | 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 2308.05715#A7KW |
| CZ34NSQKZT | CZ34NSQKZT | statement | record (an 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.09374#SL0K |
| CZ3DE18X1A | CZ3DE18X1A | statement | record (an 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.18270#GCEU |
| CZ3HVKT5GD | CZ3HVKT5GD | statement | record (an 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.11441#ZO5T |
| CZ3R2KD9M8 | CZ3R2KD9M8 | statement | record (an 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#TP4Y |
| CZ3ZCT7HCV | CZ3ZCT7HCV | statement | open | austin_ula src/section2-3.xml#prop-span-bound |
| CZ4JHBQ9DF | CZ4JHBQ9DF | statement | record (an 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.10525#V2QU |
| CZ53MT754Y | CZ53MT754Y | statement | record (an 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.34289#XLJ6 |
| CZ55KYYKY8 | CZ55KYYKY8 | statement | record (an 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.15535#UG71 |
| CZ5919832M | CZ5919832M | statement | record (an 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.30203#T7TF |
| CZ5FP36F13 | CZ5FP36F13 | statement | record (an 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.27641#TYRR |
| CZ61G2TXMY | CZ61G2TXMY | statement | record (an 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#IYV1 |
| CZ680YFS1Y | CZ680YFS1Y | statement | record (an 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.13523#9EGB |
| CZ6KBHD76P | CZ6KBHD76P | statement | record (an 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.03144#AKN2 |
| CZ80Z6MPT0 | CZ80Z6MPT0 | statement | record (an 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.04503#YT0P |
| CZ8HHD5VBX | CZ8HHD5VBX | statement | record (an 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.05820#ZFDT |
| CZ8V576YAF | CZ8V576YAF | statement | record (an 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#U42S |
| CZ97EWE1PE | CZ97EWE1PE | 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.15543#TQ5C |
| CZ995G05N4 | CZ995G05N4 | statement | record (an 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.29501#SU99 |
| CZ9KEXQERX | CZ9KEXQERX | statement | record (an 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#W6I1 |
| CZ9YHD094R | CZ9YHD094R | statement | record (an 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.05193#0IAB |
| CZB6PXA0RY | CZB6PXA0RY | statement | record (an 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.03555#AQV0 |
| CZBY29EHEZ | CZBY29EHEZ | 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.01932#3VRT |
| CZBYCZCKBX | CZBYCZCKBX | statement | record (an 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.34081#FGPC |
| CZBYGW6YK7 | CZBYGW6YK7 | statement | record (an 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.23238#I7UJ |
| CZCQ8WGDW7 | CZCQ8WGDW7 | statement | record (an 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#I0UT |
| CZCVHR1K5W | CZCVHR1K5W | 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.37967#0QI1 |
| CZCVRSC8BP | CZCVRSC8BP | statement | record (an 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.28251#JKAB |
| CZCWSY2NVM | CZCWSY2NVM | statement | record (an 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.12502#86BE |
| CZD6V0ESKP | CZD6V0ESKP | 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.30315#FF0L |
| CZDCR6N0BB | CZDCR6N0BB | 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.21231#LP04 |
| Czech Republic | 5DZVMR9TMS | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q213, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Czechia |
| CZEPZKJA6A | CZEPZKJA6A | statement | record (an 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.17060#DZ2B |
| CZFADHZEDF | CZFADHZEDF | statement | record (an 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#Y5P5 |
| CZFXSK1G5C | CZFXSK1G5C | statement | record (an 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.32829#C44J |
| CZG2GQZGC7 | CZG2GQZGC7 | statement | record (an 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.28336#O531 |
| CZGH6ZHPAZ | CZGH6ZHPAZ | statement | record (an 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#RH8B |
| CZGZ0XX70A | CZGZ0XX70A | statement | record (an 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.28509#GOBN |
| CZHH37FNDV | CZHH37FNDV | statement | record (an 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.30544#ZVRU |
| CZHRBBG8VD | CZHRBBG8VD | 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.01919#E2CX |
| CZHT93RHGM | CZHT93RHGM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.05715#AP46 |
| CZHZ39H4N6 | CZHZ39H4N6 | statement | record (an 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.01928#3PMG |
| CZJEA5JQ1Z | CZJEA5JQ1Z | statement | record (an 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#MR47 |
| CZK9D83GNP | CZK9D83GNP | 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.08027#TWUL |
| CZM6Y1KWEX | CZM6Y1KWEX | statement | record (an 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#4TRY |
| CZM74CRR1T | CZM74CRR1T | statement | record (an 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.02022#GKCH |
| CZMPMSFMKF | CZMPMSFMKF | statement | record (an 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#DEZK |
| CZMW0R33Z4 | CZMW0R33Z4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv dg-ga/9612010#J5MW |
| CZN5DHYW69 | CZN5DHYW69 | statement | open | open_logic content/first-order-logic/tableaux/provability-consistency.tex#prop:provability-exhaustive |
| CZN5SQHX9X | CZN5SQHX9X | 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.24777#ZLCU |
| CZNQRJ407E | CZNQRJ407E | statement | record (an 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.14278#55ON |
| CZP096DNDV | CZP096DNDV | exercise | open | napkin tex/riemann-surface/line-bundles.tex#ques-2 |
| CZP1DPH9X4 | CZP1DPH9X4 | statement | record (an 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.16205#LAHT |
| CZP3GC875B | CZP3GC875B | statement | record (an 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.11946#UOXD |
| CZPC6N1BVB | CZPC6N1BVB | exercise | open | austin_ula src/exercises/exercises7-1.xml#exercise-2 |
| CZPE5EX2EX | CZPE5EX2EX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.11097#ZIWH |
| CZPM7VPPZX | CZPM7VPPZX | statement | record (an 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.13877#O7GM |
| CZPTSH5ZKE | CZPTSH5ZKE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1404.3458#838Z |
| CZQ05S9TAQ | CZQ05S9TAQ | statement | record (an 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.32078#DND0 |
| CZQ2HD1G1M | CZQ2HD1G1M | 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.19194#NBJY |
| CZQE68WHZF | CZQE68WHZF | 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.25111#S4SE |
| CZQHC3E6RV | CZQHC3E6RV | exercise | open | ernst_ibl MAAPressVersion/Topology.tex#prob:closed or not |
| CZQVGZDKGH | CZQVGZDKGH | statement | record (an 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.36421#TI4W |
| CZQZ78BJW4 | CZQZ78BJW4 | statement | record (an 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.14217#VI1Y |
| CZR3GYQ46Q | CZR3GYQ46Q | exercise | open | austin_ula src/exercises/exercises5-2.xml#exercise-5 |