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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 3701–3800 of 15607.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| cf.\ Theorem 5.14 in and Theorem 1 | N23FXMST8J | statement | record (an 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.09810#IDEM |
| cf.\ {*{Lemma 3.8 | CWGPAM02QW | statement | record (an 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.15255#KWQR |
| cf.\ },; \coqident{typecat_structure}, \coqident{is_split_}\allowbreak\coqident{typecat}, \coqident{split_typecat_structure | GY7TPS5VRX | 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 1705.04310#DDZ0 |
| CF049P3DQB | CF049P3DQB | statement | record (an 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.19088#5ZN8 |
| CF06G6VJAF | CF06G6VJAF | statement | record (an 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.20231#W419 |
| CF126HEXY2 | CF126HEXY2 | 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.07061#NKDV |
| CF1BC5MF3H | CF1BC5MF3H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1810.06028#M6ZG |
| CF1VB3DVSV | CF1VB3DVSV | statement | record (an 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#5OEB |
| CF2BX5Z9MS | CF2BX5Z9MS | statement | record (an 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#V67D |
| CF2J0BBQ6Z | CF2J0BBQ6Z | statement | record (an 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.27834#X568 |
| CF55H3N576 | CF55H3N576 | statement | record (an 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.01802#T542 |
| CF57VKP6XG | CF57VKP6XG | statement | record (an 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.24593#TSVM |
| CF6743JQAB | CF6743JQAB | statement | record (an 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.14060#FFA0 |
| CF6JVZW08W | CF6JVZW08W | statement | record (an 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.01924#JSCN |
| CF6KFRM3PB | CF6KFRM3PB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2047#AMAN |
| CF6QEG02AM | CF6QEG02AM | statement | record (an 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.22002#IHCH |
| CF6R53PH26 | CF6R53PH26 | statement | record (an 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.18483#JY15 |
| CF6T7PJ117 | CF6T7PJ117 | statement | record (an 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#E5T5 |
| CF71XBHRCH | CF71XBHRCH | statement | record (an 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.12116#YOHF |
| CF76Y67RS9 | CF76Y67RS9 | proof | open | lebl_ra ch-riemann.tex#proof-3 |
| CF7MHEBM2R | CF7MHEBM2R | 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.09171#FM5U |
| CF7QFBQ18B | CF7QFBQ18B | statement | record (an 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.15302#E3SR |
| CF8RBYC6Z0 | CF8RBYC6Z0 | statement | record (an 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.24185#V955 |
| CF91ZHXEZE | CF91ZHXEZE | statement | record (an 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.21534#NM2G |
| CF9NHZ68KN | CF9NHZ68KN | proof | open | lebl_ra ch-der.tex#proof-10 |
| CF9NYMJNH4 | CF9NYMJNH4 | statement | record (an 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.04323#IUYW |
| CFA2T8ZYXE | CFA2T8ZYXE | problem | open | Wikipedia Catalan's constant#UQEO |
| CFAE9JZ3HE | CFAE9JZ3HE | statement | record (an 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.23527#T9ZM |
| CFAQ0WP04X | CFAQ0WP04X | statement | record (an 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.01855#67FY |
| CFAY267FRF | CFAY267FRF | statement | record (an 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.10840#M4F9 |
| CFB mode | PD9FZXS1VY | unknown | open | Wikipedia Block cipher mode of operation#397Y |
| CFBE4F79RP | CFBE4F79RP | statement | record (an 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.02174#EFFQ |
| CFBFVMSP2W | CFBFVMSP2W | unknown | open | arXiv 2306.00590#HAZH |
| CFC7S08KSH | CFC7S08KSH | statement | record (an 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.15736#0OBB |
| CFCZ3481NW | CFCZ3481NW | statement | record (an 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.00323#PW76 |
| CFD9H3AZD3 | CFD9H3AZD3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.07710#RJXN |
| CFDR6K6587 | CFDR6K6587 | statement | record (an 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.18324#1ZDW |
| CFE8T08RHN | CFE8T08RHN | statement | record (an 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.01958#OG7W |
| CFEDSVX3PQ | CFEDSVX3PQ | statement | record (an 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/0406514#4M6Q |
| CFEFFF9M0V | CFEFFF9M0V | statement | record (an 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.17518#WYNZ |
| CFEJP4QW1D | CFEJP4QW1D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2009.11127#FVIK |
| CFEP7WSVK8 | CFEP7WSVK8 | statement | record (an 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.18562#Q7GT |
| CFF9MYVF9K | CFF9MYVF9K | 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.01346#KRR1 |
| CFFEV8EB8Q | CFFEV8EB8Q | statement | record (an 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.04252#6JT3 |
| CFG parsing | PN6QXX3HZD | unknown | open | Wikipedia Context-free grammar#B14Q |
| CFG4YG2BPB | CFG4YG2BPB | 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.36827#2NRZ |
| CFGGMF19F7 | CFGGMF19F7 | statement | record (an 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.32977#FZR3 |
| CFGH6ZTNHF | CFGH6ZTNHF | statement | record (an 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.35691#FDL3 |
| CFGJEPNR81 | CFGJEPNR81 | statement | record (an 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.12116#E22X |
| CFGMD9R87T | CFGMD9R87T | statement | record (an 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.17408#ZZQ0 |
| CFGPDPTVTD | CFGPDPTVTD | 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 2108.10246#DRW3 |
| CFH13046QJ | CFH13046QJ | statement | record (an 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.19535#RSCL |
| CFH3BKQ2QA | CFH3BKQ2QA | exercise | open | napkin tex/quantum/shor.tex#exercise-2 |
| CFH6HPCVX9 | CFH6HPCVX9 | statement | record (an 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.10469#PLC7 |
| CFHECDK6GN | CFHECDK6GN | definition | open | open_logic content/set-theory/cardinals/cardsasords.tex#defcardinalasordinal |
| CFHG7FAESM | CFHG7FAESM | statement | record (an 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.16814#3V3D |
| CFHHTQPZ1B | CFHHTQPZ1B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2105.08875#CD0V |
| CFK5K4Z1TD | CFK5K4Z1TD | statement | record (an 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.22304#QZ1N |
| CFKARGF0PW | CFKARGF0PW | statement | record (an 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.37112#S5M5 |
| CFM6NXW5CC | CFM6NXW5CC | 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.21438#1YUF |
| CFMCB4BA34 | CFMCB4BA34 | statement | record (an 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.26496#6OIH |
| CFN5ZXDCNW | CFN5ZXDCNW | 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.03864#2CBX |
| CFNM4WYNG3 | CFNM4WYNG3 | proof | open | napkin tex/alg-geom/zariski.tex#proof-1 |
| CFNM8X4WM0 | CFNM8X4WM0 | unknown | open | arXiv 2404.06445#4X9Y |
| CFNQZ2QKMB | CFNQZ2QKMB | statement | record (an 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#YYM2 |
| CFP40PSEHE | CFP40PSEHE | 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.16727#QBL2 |
| CFPDCRQK7Z | CFPDCRQK7Z | statement | record (an 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.14099#CROS |
| CFQBNYR78E | CFQBNYR78E | statement | record (an 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.06340#HTVL |
| CFQFZBSVJY | CFQFZBSVJY | 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#AP3Q |
| CFQGWYEQEM | CFQGWYEQEM | statement | record (an 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.35191#R8LS |
| CFREPBEC7C | CFREPBEC7C | statement | record (an 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#PU9E |
| CFRJTXT336 | CFRJTXT336 | statement | record (an 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.31555#UQL2 |
| CFRM00BC3C | CFRM00BC3C | 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.35396#9NX0 |
| CFRTBJGT6Z | CFRTBJGT6Z | statement | record (an 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.14435#0M1M |
| CFRXZYGCG0 | CFRXZYGCG0 | statement | record (an 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.20725#G353 |
| CFSYH7HWF1 | CFSYH7HWF1 | statement | record (an 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.07461#UFD0 |
| CFTBGDT6N5 | CFTBGDT6N5 | statement | record (an 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.27752#JS7A |
| CFTMXWX32Q | CFTMXWX32Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.04933#PMCW |
| CFVEGDRRSA | CFVEGDRRSA | exercise | open | lebl_ra ch-contfunc.tex#exercise-21 |
| CFW8VTAZ2G | CFW8VTAZ2G | statement | record (an 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.20568#QD5R |
| CFWDCN5TW9 | CFWDCN5TW9 | statement | record (an 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#7CRB |
| CFWG7XY9QG | CFWG7XY9QG | statement | record (an 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.35421#WH40 |
| CFWMB9C4M8 | CFWMB9C4M8 | statement | record (an 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.25038#TKAF |
| CFWMPPKBPA | CFWMPPKBPA | statement | record (an 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.24614#QJVP |
| CFXF68M2M7 | CFXF68M2M7 | 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.14458#V847 |
| CFXYBAGEZJ | CFXYBAGEZJ | statement | record (an 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.23341#EWGJ |
| CFY9T6K544 | CFY9T6K544 | statement | record (an 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.35030#0PCL |
| CFYC5XMMCM | CFYC5XMMCM | statement | record (an 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.11487#ZSAI |
| CFYXCWN8GQ | CFYXCWN8GQ | statement | record (an 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.23145#NS6Y |
| CFZ3C18HY0 | CFZ3C18HY0 | statement | record (an 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.09678#DXO1 |
| CFZC6XK07G | CFZC6XK07G | exercise | open | austin_ula src/exercises/exercises5-2.xml#exercise-8 |
| CFZFKTMGBV | CFZFKTMGBV | statement | record (an 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.17267#BCYS |
| CFZGV02FD6 | CFZGV02FD6 | statement | record (an 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.02111#LDJL |
| CFZHNTQSMK | CFZHNTQSMK | statement | record (an 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.19990#CIIN |
| CFZVC940VZ | CFZVC940VZ | 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.26337#RFTA |
| CG Robustness | C4NS00HDAW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.01076#0BBQ |
| CG03ZV2J05 | CG03ZV2J05 | 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.14803#GTIA |
| CG0EJ1MVZ1 | CG0EJ1MVZ1 | statement | record (an 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#PCIC |
| CG0KTWY946 | CG0KTWY946 | 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#Y20C |
| CG10AY6682 | CG10AY6682 | statement | open | napkin tex/set-theory/models.tex#lemma-2 |