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 3801–3900 of 15607.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| CG10N70GR3 | CG10N70GR3 | statement | record (an 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#E6XO |
| CG1S9WZMD2 | CG1S9WZMD2 | statement | record (an 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.09596#8DNH |
| CG23Y4HC5Q | CG23Y4HC5Q | statement | record (an 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.07240#UJ0S |
| CG253HT7X1 | CG253HT7X1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.13401#J2PM |
| CG26DWGYJM | CG26DWGYJM | proof | open | hott_book categories.tex#proof-4 |
| CG2KFTD3WK | CG2KFTD3WK | statement | record (an 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.33584#4ZZJ |
| CG2YNBVF5G | CG2YNBVF5G | proof | open | hott_book setmath.tex#proof-17 |
| CG3J28DWRD | CG3J28DWRD | 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.13817#3RT2 |
| CG3SD0RRNB | CG3SD0RRNB | statement | record (an 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.20010#0F0Z |
| CG3WM8GDNC | CG3WM8GDNC | statement | record (an 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.20718#MCFT |
| CG4GHH2QAX | CG4GHH2QAX | statement | record (an 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.20131#G6XQ |
| CG4YSDMMT0 | CG4YSDMMT0 | statement | record (an 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.25801#M233 |
| CG4Z2E1SMV | CG4Z2E1SMV | statement | record (an 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.27484#UNGL |
| CG53G4YCQE | CG53G4YCQE | statement | record (an 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.20131#0CJB |
| CG53J80B0K | CG53J80B0K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.04068#1EOQ |
| CG5AZNFZN8 | CG5AZNFZN8 | statement | record (an 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.27800#6892 |
| CG5DG76S2G | CG5DG76S2G | statement | record (an 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.18154#RZMW |
| CG5M82G4TE | CG5M82G4TE | statement | record (an 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.16884#QCSB |
| CG5WSV9MC6 | CG5WSV9MC6 | statement | record (an 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.13385#X5J3 |
| CG6DFX6PW9 | CG6DFX6PW9 | statement | record (an 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.02061#JH4V |
| CG6Q139VTE | CG6Q139VTE | statement | record (an 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.24078#7XUW |
| CG7BAZH5Y7 | CG7BAZH5Y7 | 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.30018#XT15 |
| CG7DA415AA | CG7DA415AA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.08958#0YQZ |
| CG7DD4VFW0 | CG7DD4VFW0 | statement | record (an 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.02506#I1B8 |
| CG80VRGEK3 | CG80VRGEK3 | statement | record (an 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.04398#MUOX |
| CG8WYEE1DA | CG8WYEE1DA | 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.12857#35ZK |
| CG97KA4ZG6 | CG97KA4ZG6 | exercise | open | napkin tex/topology/top-more.tex#problem-2 |
| CG9H7KFDWG | CG9H7KFDWG | example | open | applied_combinatorics source/s_background_relations.ptx#example-1 |
| CG9J8JWAQ0 | CG9J8JWAQ0 | statement | record (an 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.15593#CIKE |
| CG9WAF1GMC | CG9WAF1GMC | statement | record (an 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.07445#IHJK |
| CGA634SBWX | CGA634SBWX | statement | record (an 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#1VCN |
| CGA9C3K25D | CGA9C3K25D | 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.24580#HF4R |
| CGACKB6569 | CGACKB6569 | statement | record (an 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#PZNW |
| CGB3JQPGKZ | CGB3JQPGKZ | statement | record (an 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.16875#Z207 |
| CGB7QMW9B0 | CGB7QMW9B0 | statement | record (an 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.16768#VQTI |
| CGB7YDZGJX | CGB7YDZGJX | statement | record (an 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#RBW0 |
| CGB8BADVWC | CGB8BADVWC | statement | record (an 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.04355#AVCM |
| CGBCVQ5SBF | CGBCVQ5SBF | statement | record (an 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.16530#8HNB |
| CGBDPDVET1 | CGBDPDVET1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q47490726, nLab Tai-Danae Bradley |
| CGBQ5ER1W8 | CGBQ5ER1W8 | statement | record (an 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.31387#7XYZ |
| CGBTSNN4N6 | CGBTSNN4N6 | statement | record (an 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.22218#UES7 |
| CGBVDJ21Q7 | CGBVDJ21Q7 | 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.20678#SOMY |
| CGC7DCBGCN | CGC7DCBGCN | 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 1512.06981#QJJ2 |
| CGCM73JYPB | CGCM73JYPB | exercise | open | open_logic content/first-order-logic/tableaux/soundness.tex#prob-2 |
| CGCS98WHX8 | CGCS98WHX8 | 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.10221#N562 |
| CGCXX5GFP6 | CGCXX5GFP6 | statement | record (an 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#0N2F |
| CGD64E6BN0 | CGD64E6BN0 | statement | record (an 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.22074#UE10 |
| CGD8PVK205 | CGD8PVK205 | statement | record (an 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#6Y9Z |
| CGDFM68EJX | CGDFM68EJX | statement | record (an 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.16241#66JT |
| CGDW8YECM3 | CGDW8YECM3 | statement | record (an 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.13980#YGOE |
| CGE1EPSVW2 | CGE1EPSVW2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.16706#RSXZ |
| CGER3QAMZ0 | CGER3QAMZ0 | statement | record (an 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.35605#QD92 |
| CGF0375899 | CGF0375899 | 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.20119#H874 |
| CGFT506M0P | CGFT506M0P | statement | record (an 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.08288#L41N |
| CGFW4719X9 | CGFW4719X9 | definition | open | austin_ula src/section2-3.xml#definition-1 |
| CGG1K3GQ84 | CGG1K3GQ84 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2101.07846#TDNA |
| CGGTDXM968 | CGGTDXM968 | statement | record (an 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#4UAN |
| CGGVQ0JGDY | CGGVQ0JGDY | statement | record (an 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.37507#PMGI |
| CGHAFSKVHF | CGHAFSKVHF | statement | record (an 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.20206#LED6 |
| CGHBVF07C5 | CGHBVF07C5 | statement | record (an 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.28824#AACT |
| CGHD49H6N3 | CGHD49H6N3 | exercise | open | levin_dmoi ptx/exercises/seq-conc.ptx#exercise-10 |
| CGHYTAAJN7 | CGHYTAAJN7 | statement | record (an 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.14055#703O |
| CGJPVGD8FP | CGJPVGD8FP | exercise | open | lebl_ra ch-seq-ser.tex#exercise-27 |
| CGJXBQNZ6K | CGJXBQNZ6K | 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.01858#SOWF |
| CGK3A8VZX1 | CGK3A8VZX1 | statement | record (an 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#0XFS |
| CGKSFNVTYQ | CGKSFNVTYQ | 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.25168#EHIF |
| CGM565Z0YX | CGM565Z0YX | statement | record (an 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.21945#EQU1 |
| CGM9XAPC08 | CGM9XAPC08 | statement | record (an 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.29605#H567 |
| CGMB484SVW | CGMB484SVW | 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.15217#E120 |
| CGMPEBMBY1 | CGMPEBMBY1 | 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.32138#JPSW |
| CGMYSZB9MQ | CGMYSZB9MQ | statement | record (an 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.11905#UT7P |
| CGN1DQ6MRA | CGN1DQ6MRA | 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.35307#2KVQ |
| CGNCXWJCV2 | CGNCXWJCV2 | 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.19288#KNDW |
| CGNQBA15HC | CGNQBA15HC | statement | record (an 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#EJJ3 |
| CGNZSDJ4QP | CGNZSDJ4QP | proof | open | open_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-5 |
| CGP3TWZZ89 | CGP3TWZZ89 | 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.10902#SPJC |
| CGPYVHESK9 | CGPYVHESK9 | statement | record (an 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.24078#ID0D |
| CGQ0YS8SAP | CGQ0YS8SAP | statement | record (an 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.21692#V0MD |
| CGQ941RSP0 | CGQ941RSP0 | statement | record (an 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.01653#EKQE |
| CGRFM0G8RN | CGRFM0G8RN | statement | record (an 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.38838#VX8Y |
| CGRGMD8G7K | CGRGMD8G7K | statement | record (an 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.11785#SQJZ |
| CGRP8GTJWH | CGRP8GTJWH | 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.26269#TOBD |
| CGRYCDM60N | CGRYCDM60N | exercise | open | lebl_scv scv.tex#exercise-315 |
| cgs units | T66BBCXJF1 | concept | open | lebl_diffyqs index/3.3.3/cgs-units |
| cgs units | Y1C4BYFVR8 | concept | open | lebl_diffyqs index/3.3.2/cgs-units |
| CGS226H01M | CGS226H01M | statement | record (an 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.26134#F96I |
| CGS7JE92PA | CGS7JE92PA | statement | record (an 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.17677#YXVU |
| CGSFTXPPZ2 | CGSFTXPPZ2 | statement | record (an 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.39539#KE3R |
| CGSH1ETYYM | CGSH1ETYYM | statement | record (an 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.29878#HRCG |
| CGSJEG1NSX | CGSJEG1NSX | statement | record (an 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.01968#ODXH |
| CGSXNEVR00 | CGSXNEVR00 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0806.0033#WQUP |
| CGT0W7WCSB | CGT0W7WCSB | statement | record (an 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.15744#3XN3 |
| CGTDDVJKM0 | CGTDDVJKM0 | statement | record (an 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.31278#6ENB |
| CGTQ2KF1FR | CGTQ2KF1FR | statement | record (an 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#R4XO |
| CGV8D9HFCC | CGV8D9HFCC | 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 2607.28337#2SGH |
| CGVBBBKPGQ | CGVBBBKPGQ | statement | record (an 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.38548#R2KK |
| CGVDYADJJW | CGVDYADJJW | definition | open | open_logic content/lambda-calculus/lambda-definability/introduction.tex#defn-2 |
| CGVNAF2ZCE | CGVNAF2ZCE | statement | record (an 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.00856#PJ7T |
| CGVWHM32TH | CGVWHM32TH | statement | record (an 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#634G |
| CGWBEC9T2W | CGWBEC9T2W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2504.19468#SEBV |