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 1501–1600 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| CB3WKR9C7G | CB3WKR9C7G | statement | record (an 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.16258#CY89 |
| CB4X8XC4CQ | CB4X8XC4CQ | statement | record (an 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.13855#0AUY |
| CB51E134K4 | CB51E134K4 | statement | record (an 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.33162#Q030 |
| CB58JAQ7QQ | CB58JAQ7QQ | statement | record (an 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.04870#IPMR |
| CB5ZY350NZ | CB5ZY350NZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2008.10035#V31G |
| CB6P1MGE2J | CB6P1MGE2J | statement | record (an 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.06480#YUK2 |
| CB6XK96K7Q | CB6XK96K7Q | statement | record (an 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.21600#QKDX |
| CB728S8ZQ6 | CB728S8ZQ6 | 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#5K10 |
| CB7H0SZZRP | CB7H0SZZRP | statement | record (an 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.15013#COUP |
| CB85YCATVT | CB85YCATVT | statement | record (an 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.20422#B4V8 |
| CB886BCGWD | CB886BCGWD | statement | record (an 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.07546#29BN |
| CB8BJ26BY7 | CB8BJ26BY7 | statement | record (an 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.26357#2A6S |
| CB9PVW42ZS | CB9PVW42ZS | statement | record (an 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.30015#C0OE |
| CB9SD9Z7WG | CB9SD9Z7WG | statement | open | open_logic content/normal-modal-logic/filtrations/S5-decidable.tex#thm-1 |
| CB9WV6VGK4 | CB9WV6VGK4 | 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.37520#0ZWL |
| CBAJ8RTY0W | CBAJ8RTY0W | statement | record (an 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.30999#TVAJ |
| CBATG8EKQ8 | CBATG8EKQ8 | 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 2512.19872#D9J2 |
| CBB37KQJCA | CBB37KQJCA | statement | record (an 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#FNV6 |
| CBB439VKK3 | CBB439VKK3 | 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.19088#Q0E8 |
| CBBXT90CMQ | CBBXT90CMQ | statement | record (an 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#QSFE |
| CBBY2MXSHT | CBBY2MXSHT | statement | record (an 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.05198#PXWW |
| CBC5JA1NMH | CBC5JA1NMH | statement | record (an 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.38131#5G22 |
| CBD1G2294A | CBD1G2294A | 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.16962#C159 |
| CBE2QAVH1W | CBE2QAVH1W | statement | record (an 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.35442#2Q90 |
| CBEVEF28N4 | CBEVEF28N4 | 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.20385#TJZE |
| CBEY859BYM | CBEY859BYM | exercise | open | lebl_scv scv.tex#exercise-261 |
| CBF558VWES | CBF558VWES | statement | record (an 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.01796#8U09 |
| CBGJZSTNMZ | CBGJZSTNMZ | statement | record (an 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.25703#9BCI |
| CBH formula | 8PZN563056 | statement | record (an 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#GRJ9 |
| CBH13FYFGQ | CBH13FYFGQ | statement | record (an 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#TRX0 |
| CBHA0XS7A5 | CBHA0XS7A5 | statement | record (an 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.13532#SJ7E |
| CBHBCEHJN9 | CBHBCEHJN9 | statement | record (an 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.12513#X2WA |
| CBHG5M72FY | CBHG5M72FY | statement | record (an 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.18223#RM16 |
| CBHJMPS4DR | CBHJMPS4DR | 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.35323#1PIC |
| CBJ6CCTGWG | CBJ6CCTGWG | statement | record (an 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.25269#YQM7 |
| CBJ9VTMTNG | CBJ9VTMTNG | statement | open | lebl_diffyqs ch-higher-order-ode.tex#theorem-8 |
| CBJA3CMSZV | CBJA3CMSZV | statement | record (an 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.13105#ORZC |
| CBKBWGZ98A | CBKBWGZ98A | statement | record (an 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#K6U3 |
| CBKEE3WQ4H | CBKEE3WQ4H | 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.35442#USBI |
| CBKKSTTTZ8 | CBKKSTTTZ8 | statement | record (an 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.21715#FKG9 |
| CBKM51SHGJ | CBKM51SHGJ | 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 1903.07030#ZCB3 |
| CBKX6NNFV7 | CBKX6NNFV7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.10697#RNZP |
| CBM6TGSJ20 | CBM6TGSJ20 | statement | record (an 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.18277#Z7PY |
| CBMDSFVDC9 | CBMDSFVDC9 | proof | open | open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#proof-1 |
| CBMXH926VA | CBMXH926VA | statement | record (an 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.22636#T6EP |
| CBP44JW1Q9 | CBP44JW1Q9 | proof | open | hott_book homotopy.tex#proof-16 |
| CBP91EXHCK | CBP91EXHCK | statement | record (an 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.17669#AP2I |
| CBQ639D8NC | CBQ639D8NC | statement | record (an 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.39990#NEME |
| CBQ6DPR7AC | CBQ6DPR7AC | statement | record (an 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#GBQ9 |
| CBQBJAVZY1 | CBQBJAVZY1 | statement | record (an 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.17691#R73Y |
| CBQCX0TMKQ | CBQCX0TMKQ | statement | record (an 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.18632#UI07 |
| CBQH84JXPT | CBQH84JXPT | statement | record (an 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.12475#SPTI |
| CBQWGMPBPR | CBQWGMPBPR | statement | record (an 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.15176#O56V |
| CBR5GA05A3 | CBR5GA05A3 | statement | record (an 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.25960#D2T9 |
| CBT0919XBG | CBT0919XBG | statement | record (an 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.05506#KL6L |
| CBTRTSPG9K | CBTRTSPG9K | statement | record (an 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#0SOV |
| CBTZJ29BBF | CBTZJ29BBF | 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#280C |
| CBVJJM1F8T | CBVJJM1F8T | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-8 |
| CBVN1GJVHW | CBVN1GJVHW | exercise | open | open_logic content/model-theory/basics/nonstandard-arithmetic.tex#prob-3 |
| CBW3YVFJ4H | CBW3YVFJ4H | statement | record (an 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.12054#WVC4 |
| CBWH1MTD1S | CBWH1MTD1S | statement | record (an 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/0008020#DOC2 |
| CBXB85ES1B | CBXB85ES1B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.19872#SJPX |
| CBXE0C0BJR | CBXE0C0BJR | statement | record (an 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.04694#GK6Q |
| CBXXFMG4YH | CBXXFMG4YH | exercise | open | levin_dmoi ptx/exercises/gt-planar.ptx#exercise-1 |
| CBYATQBP2T | CBYATQBP2T | proof | open | napkin tex/topology/metric-top.tex#proof-3 |
| CBYZXDQ08T | CBYZXDQ08T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.07470#ESYP |
| CC0QW4M50T | CC0QW4M50T | statement | record (an 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.12479#NSWI |
| CC0TEWA6DP | CC0TEWA6DP | statement | record (an 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.00676#4RKH |
| CC1Q8102RZ | CC1Q8102RZ | statement | record (an 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#VYQD |
| CC2EWPGF35 | CC2EWPGF35 | statement | record (an 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#SZBR |
| CC2JW79T5G | CC2JW79T5G | statement | record (an 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.08010#646H |
| CC2Z5K4JG1 | CC2Z5K4JG1 | statement | record (an 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.15525#N7B6 |
| CC3074VGT8 | CC3074VGT8 | statement | record (an 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#C16K |
| CC3EKYC811 | CC3EKYC811 | statement | record (an 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#8FJN |
| CC3XJ19V4Y | CC3XJ19V4Y | statement | record (an 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.01731#6X40 |
| CC4Z6FSFT3 | CC4Z6FSFT3 | conjecture | record (an 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.29699#WEMU |
| CC4ZBFJ5MX | CC4ZBFJ5MX | 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.36321#Y6RT |
| CC6HX5C4SG | CC6HX5C4SG | exercise | open | lebl_scv scv.tex#exercise-189 |
| CC6W202A02 | CC6W202A02 | statement | record (an 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.11082#UZV4 |
| CC78NNRTYY | CC78NNRTYY | statement | record (an 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.01197#5O7A |
| CC7942F9MB | CC7942F9MB | 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.08357#29VS |
| CC829VXA5E | CC829VXA5E | statement | record (an 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.25896#UHPU |
| CC8C4QGBVY | CC8C4QGBVY | statement | record (an 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.11545#J2AX |
| CC8DBF85Z6 | CC8DBF85Z6 | 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/0406514#K4CJ |
| CC8WHKGXNH | CC8WHKGXNH | statement | record (an 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.06381#Y080 |
| CCA0C1JMHK | CCA0C1JMHK | statement | record (an 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.26769#ZXR6 |
| CCB90J9089 | CCB90J9089 | conjecture | record (an 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.35307#A0C7 |
| CCBA3PJMEB | CCBA3PJMEB | statement | record (an 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.15403#SOIA |
| CCBC5JE1AD | CCBC5JE1AD | statement | record (an 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.03272#IV6C |
| CCBV9TM3EQ | CCBV9TM3EQ | unknown | open | arXiv 2610.13680#Q3IC |
| CCCMBN1KQ1 | CCCMBN1KQ1 | statement | record (an 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.13864#7207 |
| CCDF8N5B3K | CCDF8N5B3K | statement | record (an 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.01087#XMD7 |
| CCDKZ1EW2K | CCDKZ1EW2K | statement | record (an 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.38742#RMXC |
| CCDMNKCJ4Y | CCDMNKCJ4Y | statement | record (an 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#8OL9 |
| CCE is not ordinally invariant | 5JT9DG0TSF | statement | record (an 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.05428#U06J |
| CCE35X2PQD | CCE35X2PQD | exercise | open | napkin tex/calculus/differentiate.tex#problem-2 |
| CCF5N3046V | CCF5N3046V | 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.00412#FQ9X |
| CCFHXZ61SK | CCFHXZ61SK | statement | record (an 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.11823#J231 |
| CCFJCHRRMH | CCFJCHRRMH | 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.10262#TILD |
| CCFMB5FCPR | CCFMB5FCPR | statement | record (an 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.10745#BL0T |