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 6101–6200 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| CQKJWZJEYG | CQKJWZJEYG | statement | record (an 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.01216#2459 |
| CQKW2DZ9CX | CQKW2DZ9CX | statement | record (an 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.15169#E5WP |
| CQMQ2MSS9V | CQMQ2MSS9V | 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 1711.00219#EDQB |
| CQMSP5EDBY | CQMSP5EDBY | statement | record (an 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#73SL |
| CQN1EBZY01 | CQN1EBZY01 | statement | record (an 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.03337#7D8B |
| CQN61XG2ZZ | CQN61XG2ZZ | statement | record (an 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#DDNR |
| CQN8EN71T9 | CQN8EN71T9 | 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.05066#S2VY |
| CQNKKA1BT0 | CQNKKA1BT0 | 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.37578#YC8T |
| CQNQJKCRWE | CQNQJKCRWE | 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 1503.05744#ILN7 |
| CQNZXDVVZE | CQNZXDVVZE | 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.17442#5ANG |
| CQP9PJN0M8 | CQP9PJN0M8 | statement | record (an 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.36412#Y2XC |
| CQPBP3Y9KW | CQPBP3Y9KW | statement | record (an 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.24232#RUNS |
| CQPZWB01X5 | CQPZWB01X5 | statement | record (an 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.33697#HIEG |
| CQQ0PWV9A5 | CQQ0PWV9A5 | statement | record (an 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.38532#A08I |
| CQQYRPMMZ1 | CQQYRPMMZ1 | statement | record (an 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.15316#QKDU |
| CQR accuracy of interval length | 2E8MCF0AXY | statement | record (an 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.33866#EWJG |
| CQR marginal coverage | YTEX8W2HP2 | statement | record (an 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.33866#PQJI |
| CQR9VYWRXP | CQR9VYWRXP | statement | record (an 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.33552#1XZU |
| CQRA5WQ3C6 | CQRA5WQ3C6 | statement | record (an 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.27023#T22N |
| CQRCADS2W5 | CQRCADS2W5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.14274#YV3J |
| CQRGVJC0M6 | CQRGVJC0M6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1209.5343#12QS |
| CQSCJN5T4C | CQSCJN5T4C | statement | record (an 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.21365#EDZT |
| CQSHNZA154 | CQSHNZA154 | statement | record (an 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.27518#OH8X |
| CQSJ8Q27C2 | CQSJ8Q27C2 | statement | record (an 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.03081#0WFG |
| CQSK0ECX32 | CQSK0ECX32 | statement | open | open_logic content/set-theory/ord-arithmetic/multiplication.tex#prop-1 |
| CQTD2ZHDX1 | CQTD2ZHDX1 | 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.28774#UZEL |
| CQVA8SA3AW | CQVA8SA3AW | statement | record (an 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#FEK1 |
| CQVBS5GWT5 | CQVBS5GWT5 | 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.19459#TE1F |
| CQVYREJ781 | CQVYREJ781 | statement | record (an 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.09578#U65Z |
| CQW0YHC1YM | CQW0YHC1YM | 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 2503.01567#DAKA |
| CQWPWXKG85 | CQWPWXKG85 | 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#UUX2 |
| CQXDRARX6M | CQXDRARX6M | statement | record (an 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.04593#9JCG |
| CQYAQXK0B1 | CQYAQXK0B1 | 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 2508.21045#VV90 |
| CQYH59NXXD | CQYH59NXXD | exercise | open | lebl_ra ch-real-nums.tex#exercise-22 |
| CQYWH8KKKC | CQYWH8KKKC | statement | record (an 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.13100#TMXX |
| CQYX3W56F7 | CQYX3W56F7 | 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.37931#6TYI |
| CQZ5433F29 | CQZ5433F29 | statement | record (an 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#RBK5 |
| CQZED4997X | CQZED4997X | 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.32916#UPQ4 |
| CQZV44R07C | CQZV44R07C | exercise | open | levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-18 |
| CQZWYB8FP2 | CQZWYB8FP2 | statement | record (an 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.12612#ML16 |
| CR function | AVTR472ZJD | concept | open | lebl_scv index/3.2/cr-function |
| CR manifold | HSBQV3NNHT | unknown | open | Wikidata Q5014001, EoM CR-manifold, nLab CR manifold |
| CR04W52AGZ | CR04W52AGZ | 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.07451#UTZR |
| CR0GHS074N | CR0GHS074N | statement | record (an 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#JBRL |
| CR0QNPRQGF | CR0QNPRQGF | statement | record (an 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#C5PU |
| CR0X4N5B7K | CR0X4N5B7K | statement | record (an 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.26738#QH18 |
| CR1SYSJVRE | CR1SYSJVRE | statement | record (an 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.03384#357H |
| CR22C590QC | CR22C590QC | 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.06152#2QI6 |
| CR26429WCP | CR26429WCP | statement | record (an 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#SJHK |
| CR2DBD9GFW | CR2DBD9GFW | example | open | lebl_diffyqs ch-fourier-and-pde.tex#example-24 |
| CR2K7FD4Y1 | CR2K7FD4Y1 | statement | record (an 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#JNI4 |
| CR2PXEWPY1 | CR2PXEWPY1 | statement | record (an 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.14162#Y2HU |
| CR3SASA262 | CR3SASA262 | statement | record (an 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.39726#D8C7 |
| CR3TXQ8M7C | CR3TXQ8M7C | statement | record (an 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#YERI |
| CR3ZV4ZSYV | CR3ZV4ZSYV | statement | record (an 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.16180#USOM |
| CR48BFQV65 | CR48BFQV65 | example | open | open_logic content/first-order-logic/tableaux/proving-things.tex#ex-3 |
| CR4DWJRD2E | CR4DWJRD2E | statement | record (an 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.15316#A9M3 |
| CR5191DDK4 | CR5191DDK4 | 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.13213#Z640 |
| CR58Y69WK6 | CR58Y69WK6 | statement | record (an 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#KHHL |
| CR5H2FHT9K | CR5H2FHT9K | statement | record (an 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.16225#7N6B |
| CR5XQ7B5EW | CR5XQ7B5EW | statement | record (an 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.12329#DLQQ |
| CR6RKV7DHC | CR6RKV7DHC | exercise | open | lebl_diffyqs ch-systems.tex#exercise-16 |
| CR6TV0CQ04 | CR6TV0CQ04 | statement | record (an 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.29683#1CT3 |
| CR6ZNFCHNQ | CR6ZNFCHNQ | statement | record (an 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.07299#TZP9 |
| CR735DN4A5 | CR735DN4A5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.07541#ZW4Q |
| CR79KGDSGE | CR79KGDSGE | statement | record (an 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.07679#VFPM |
| CR7SY6BG8G | CR7SY6BG8G | statement | record (an 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.33531#A4BY |
| CR88G3FR9C | CR88G3FR9C | statement | record (an 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.21092#XZX3 |
| CR91Y0PTMG | CR91Y0PTMG | 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 2403.08723#N09V |
| Craig's Interpolation Theorem | J6E09YZ1ZA | statement | open | open_logic content/model-theory/interpolation/interpolation-proof.tex#thm:interpol |
| Craig's Interpolation Theorem | VR9Y6N7V1N | statement | open | open_logic content/proof-theory/cut-elimination/interpolation.tex#thm:interpolation |
| Craig's interpolation theorem | YYJHED3NBN | statement | open | mathlib_1000 Q1052021, Wikidata Q1052021, thousand_plus Q1052021, Wikipedia Craig's interpolation theorem |
| Craig's theorem | KTMNW7MJBG | statement | open | mathlib_1000 Q5180651, Wikidata Q5180651, thousand_plus Q5180651, Wikipedia Craig's theorem |
| Cram | CS1FYVPJ6V | unknown | open | Wikidata Q1106423, MathWorld Domineering |
| Cram\'er's theorem | JPQ1R4WFT3 | statement | record (an 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.27766#8HUX |
| Cram\'er's theorem on $\R$ | 7RGGV3TT3T | statement | record (an 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.27765#8VX8 |
| Cramer's paradox | KBYEC356KH | concept | open | Wikidata Q3363319, MathWorld Cramer-EulerParadox |
| Cramer's rule | VJNA5W5652 | statement | node (a node has the same Wikidata item as the row) | Wikidata Q322666, EoM Cramer_rule, MathWorld CramersRule |
| Cramer's theorem (algebraic curves) | HSPDG98ED8 | statement | open | mathlib_1000 Q20278711, Wikidata Q20278711, thousand_plus Q20278711, Wikipedia Cramer's theorem (algebraic curves) |
| Cramer-Castillon's problem | YAJF0FCNFB | problem | open | Wikidata Q18881735, MathWorld CastillonsProblem |
| Cramer’s Rule | 8T83W18R9F | statement | open | mathlib_100 97, Mathlib Matrix.mulVec_cramer |
| Cramér's conjecture | JXGHXVBFTW | conjecture | open | Wikidata Q515591, MathWorld CramerConjecture |
| Cramér's theorem | 605JR0HWPV | statement | open | mathlib_1000 Q2226640, Wikidata Q2226640, thousand_plus Q2226640, Wikipedia Cramér’s decomposition theorem, EoM Lévy-Cramér theorem, MathWorld CramersTheorem |
| Cramér's theorem (large deviations) | D2ZCV5H33H | statement | open | mathlib_1000 Q55647729, Wikidata Q55647729, thousand_plus Q55647729, Wikipedia Cramér's theorem (large deviations) |
| Cramér's V | 4C1YZ78YYV | concept | open | Wikidata Q2905588, MathWorld CramersV |
| Cramér–Wold theorem | 8YYDRFXJRA | statement | open | mathlib_1000 Q966837, Wikidata Q966837, thousand_plus Q966837, Wikipedia Cramér–Wold theorem |
| Crandall--Rabinowitz | DGPEJWMWHJ | statement | record (an 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.11056#SSOX |
| crank | EEY18F3Z92 | definition | open | Wikidata Q1138434, ProofWiki Definition:Crackpot |
| craps | 589X7BTD8M | unknown | open | Wikidata Q869499, MathWorld Craps |
| CRB5NXZ85W | CRB5NXZ85W | 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 2401.07983#V20I |
| CRBC1BD1XB | CRBC1BD1XB | statement | record (an 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.10902#H4M9 |
| CRCNJ99SBM | CRCNJ99SBM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2006.05158#FGWC |
| CRCQTJDJ9W | CRCQTJDJ9W | statement | record (an 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.34856#V1VZ |
| CRCSX72DFE | CRCSX72DFE | 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.39317#PP9K |
| CRDDPDE6P0 | CRDDPDE6P0 | statement | record (an 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.07380#UXJY |
| CRDQ68K72S | CRDQ68K72S | statement | record (an 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.14267#OGLB |
| Creation | BDCQ4685AQ | statement | record (an 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#RA4D |
| Creation and description of Witt ring elements | R8ETSATHFG | 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.37931#T5S7 |
| Creation of an average-mode seed | HP5338JB7E | statement | record (an 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.21328#RLFZ |
| creative set | 7H9AK7T8YX | unknown | open | Wikidata Q118347502, EoM Creative_set, MathWorld CreativeSet |