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 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 2901–3000 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| CJY0Y0RHMH | CJY0Y0RHMH | 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.20758#ZAGM |
| CJYFJV5HXM | CJYFJV5HXM | statement | record (an 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.39491#I9LI |
| CJYHZ7AMKK | CJYHZ7AMKK | statement | record (an 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.40251#PHO6 |
| CJZ36CS88H | CJZ36CS88H | statement | record (an 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.04124#HWOK |
| CJZ7JPAF2E | CJZ7JPAF2E | statement | record (an 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#UQTM |
| CJZBEDPS8D | CJZBEDPS8D | exercise | open | levin_dmoi ptx/exercises/gt-planar.ptx#exercise-13 |
| CJZCFB9FX6 | CJZCFB9FX6 | exercise | open | levin_dmoi ptx/exercises/gt-matchings.ptx#exercise-3 |
| CJZNP1MYDK | CJZNP1MYDK | 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.26337#MPRC |
| CK03AF58ZY | CK03AF58ZY | 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.28011#73QH |
| CK0J0GWD0D | CK0J0GWD0D | exercise | open | lebl_diffyqs ch-systems.tex#exercise-33 |
| CK1MA24ZE6 | CK1MA24ZE6 | 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.30067#8T9N |
| CK202EPSQA | CK202EPSQA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.2839#13R6 |
| CK24M8PMJP | CK24M8PMJP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.10361#3HSV |
| CK2CAKY9S5 | CK2CAKY9S5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.02432#QHWA |
| CK3ZQY1HJB | CK3ZQY1HJB | exercise | open | napkin tex/complex-ana/log.tex#problem-2 |
| CK4N1QRAZ5 | CK4N1QRAZ5 | statement | record (an 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.00562#R7G6 |
| CK4N6C2JDG | CK4N6C2JDG | 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.00934#0P11 |
| CK4PX06Z73 | CK4PX06Z73 | 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)) | |
| CK5M63WTA1 | CK5M63WTA1 | 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 2312.06581#GH7J |
| CK64WSQFS2 | CK64WSQFS2 | statement | record (an 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.04559#OXHG |
| CK690TAPZX | CK690TAPZX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1805.04646#6HNW |
| CK6BZ8KBE9 | CK6BZ8KBE9 | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#ex_graphs_degseq2 |
| CK6SHR8YSM | CK6SHR8YSM | 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.09201#I4QM |
| CK83AMY0QE | CK83AMY0QE | 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.17240#8BN5 |
| CK87C3KX6K | CK87C3KX6K | statement | open | lebl_ra ch-contfunc.tex#contbasic:prop |
| CK8CKCM5FT | CK8CKCM5FT | 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#BCG0 |
| CK8V1NNPEP | CK8V1NNPEP | statement | record (an 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.14699#0B22 |
| CK99JR77NX | CK99JR77NX | example | open | open_logic content/intuitionistic-logic/introduction/bhk-interpretation.tex#ex-2 |
| CK9G67VZYD | CK9G67VZYD | statement | record (an 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.30527#2IPR |
| CK9NDJ6961 | CK9NDJ6961 | statement | record (an 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.11271#GM0O |
| CK9NST4M8N | CK9NST4M8N | exercise | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-7 |
| CKB3096XH7 | CKB3096XH7 | statement | record (an 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.19437#T9FS |
| CKBHNCFVGX | CKBHNCFVGX | 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.17589#J54N |
| CKBSW94V6N | CKBSW94V6N | exercise | open | open_logic content/computability/recursive-functions/other-recursions.tex#prob-1 |
| CKBW988N8M | CKBW988N8M | statement | record (an 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.08193#3YVD |
| CKBYWJAKHC | CKBYWJAKHC | definition | open | open_logic content/incompleteness/introduction/definitions.tex#defn-2 |
| CKCKF6C9F7 | CKCKF6C9F7 | exercise | open | austin_ula src/exercises/exercises3-2.xml#exercise-5 |
| CKD7VAMET7 | CKD7VAMET7 | statement | record (an 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.20165#AC4Z |
| CKD7W4QYQV | CKD7W4QYQV | exercise | open | austin_ula src/section7-3.xml#ula-preview-7-3 |
| CKDHFFTG6C | CKDHFFTG6C | 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 2608.23797#L360 |
| CKDT28KP5E | CKDT28KP5E | statement | record (an 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.35467#NPMJ |
| CKE7TFH37T | CKE7TFH37T | 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.12238#Y86X |
| CKESVFC4ZZ | CKESVFC4ZZ | proof | open | lebl_ra ch-multivar-int.tex#proof-5 |
| CKF3ASBF9G | CKF3ASBF9G | statement | record (an 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.14086#DRP3 |
| CKF5ZB7BFH | CKF5ZB7BFH | statement | open | open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#prop:incons |
| CKFJZRZWYP | CKFJZRZWYP | statement | record (an 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.13715#E1D5 |
| CKGE43GXMM | CKGE43GXMM | statement | record (an 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.05066#7HCV |
| CKGF21AQ2H | CKGF21AQ2H | statement | record (an 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#TOAU |
| CKGV6KYY0Z | CKGV6KYY0Z | statement | record (an 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.20583#DZAC |
| CKGXNV5C0V | CKGXNV5C0V | 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.15344#TABF |
| CKHBCWWH33 | CKHBCWWH33 | statement | record (an 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.34193#HPYJ |
| CKHBV5AXV3 | CKHBV5AXV3 | statement | record (an 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#8KNW |
| CKHD6DP5FW | CKHD6DP5FW | 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 math/0003117#1PBZ |
| CKJRD69VH8 | CKJRD69VH8 | 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.31883#WL8G |
| CKLS model | YT4XW5AQQC | 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.05864#MDW5 |
| CKLS--CIR transform | 180NTETAKR | statement | record (an 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.05864#RP8K |
| CKMC0G9SAH | CKMC0G9SAH | statement | record (an 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.03837#JRKT |
| CKNBJNYMWV | CKNBJNYMWV | statement | record (an 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.17325#AOJ5 |
| CKNNMWA2D0 | CKNNMWA2D0 | statement | record (an 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.05417#V8NU |
| CKNSBXTBT9 | CKNSBXTBT9 | statement | record (an 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.02468#JZ1U |
| CKPQ6NHJGT | CKPQ6NHJGT | example | open | active_calculus source/sec-2-3-prod-quot.xml#example-3 |
| CKPRGYAAYP | CKPRGYAAYP | statement | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#prop:openassum |
| CKPVT35Z7Y | CKPVT35Z7Y | statement | record (an 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.07162#R2FN |
| CKQ6P7PWF5 | CKQ6P7PWF5 | statement | record (an 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.14509#MYWG |
| CKQBRD67TN | CKQBRD67TN | 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.32981#J9P8 |
| CKQD9NXAHA | CKQD9NXAHA | statement | record (an 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.00386#K1IB |
| CKQPZE351P | CKQPZE351P | statement | record (an 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.40023#91A8 |
| CKQRYPJWHQ | CKQRYPJWHQ | statement | record (an 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.24323#E3PU |
| CKRCX2KXME | CKRCX2KXME | statement | record (an 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.37973#3QPL |
| CKRS Coverage Guarantee | BN6DEYS65Z | statement | record (an 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#0E8I |
| CKRS Coverage Guarantee | H8XWX4SSQ4 | statement | record (an 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#RF9R |
| CKRWS40J6K | CKRWS40J6K | statement | record (an 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#Y7II |
| CKRZ2ZV5PS | CKRZ2ZV5PS | 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 2410.14097#HGTX |
| CKS8ZDRZ3R | CKS8ZDRZ3R | statement | record (an 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.08789#0VL2 |
| CKSFTR7GXD | CKSFTR7GXD | statement | record (an 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.38228#GHCC |
| CKVCND9J78 | CKVCND9J78 | 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.10813#H24X |
| CKVVKRT063 | CKVVKRT063 | unknown | open | arXiv 1408.1555#WMRY |
| CKVZF50ZY0 | CKVZF50ZY0 | statement | record (an 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.33469#BWP8 |
| CKW0KYWDP4 | CKW0KYWDP4 | statement | record (an 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.04466#3A0W |
| CKWZA4M389 | CKWZA4M389 | statement | record (an 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.11869#2JR1 |
| CKXCMFN2G8 | CKXCMFN2G8 | 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.11886#1FL7 |
| CKXDEKV1QQ | CKXDEKV1QQ | statement | record (an 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.33015#H2OB |
| CKXR3K9XR9 | CKXR3K9XR9 | statement | record (an 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.13585#XEFL |
| CKXWTFWETY | CKXWTFWETY | 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.10581#CSSO |
| CKY2XRKCQ1 | CKY2XRKCQ1 | statement | record (an 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.26576#E5TX |
| CKY9J8ZW8Q | CKY9J8ZW8Q | 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 2510.12502#TFQ1 |
| CKZ01HBRGM | CKZ01HBRGM | statement | record (an 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.35642#J1AD |
| CKZ802BNAD | CKZ802BNAD | exercise | open | lebl_ra ch-approximate.tex#exercise-9 |
| CKZHZ65EAM | CKZHZ65EAM | statement | record (an 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.17476#ETU0 |
| CLA--LASSO identity under general constraints | KB3KA4H3V0 | statement | record (an 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.25704#ISMY |
| Clairaut's equation | 3X9C5ZZ3ER | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1094772, EoM Clairaut_equation, MathWorld ClairautsDifferentialEquation |
| Clairaut's theorem | ESFRAVW2WJ | statement | open | mathlib_1000 Q1068385, Wikidata Q1068385, thousand_plus Q1068385, Wikipedia Clairaut's theorem |
| Claire Voisin | PVH851NMSG | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q468049, nLab Claire Voisin |
| clamped end of beam | CK9VMQ6KG8 | concept | open | lebl_diffyqs index/3.2/clamped-end-of-beam |
| Clapeyron's theorem | 7QYS8JXJYS | statement | open | mathlib_1000 Q5125859, Wikidata Q5125859, thousand_plus Q5125859, Wikipedia Clapeyron's theorem |
| Clara Grima | 2B4MRH7W17 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q27786458, ProofWiki Mathematician:Clara_Isabel_Grima_Ruiz |
| Clark Barwick | TAJG9WM9H9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q52106822, nLab Clark Barwick |
| Clark et al. | 8K0TH6FA0J | statement | record (an 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.13580#ERWA |
| Clarke First-Order Characterization | YAYM11ZE1P | statement | record (an 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.10927#BOFQ |
| Clarke's dual-action formula | 5YBREE2WJV | statement | record (an 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.37794#PXLO |