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 201–300 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| C29R1KC66X | C29R1KC66X | statement | record (an 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#AT0V |
| C2AGGFS6HP | C2AGGFS6HP | statement | record (an 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.32233#BP9X |
| C2AGNVVFFR | C2AGNVVFFR | proof | open | open_logic content/first-order-logic/completeness/downward-ls.tex#proof-1 |
| C2AM2K0KA0 | C2AM2K0KA0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2307.02473#9ZBE |
| C2AQGRBTXQ | C2AQGRBTXQ | 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 2512.16003#BF4R |
| C2BP6F9YHC | C2BP6F9YHC | statement | record (an 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#WF1O |
| C2C3GRGZAY | C2C3GRGZAY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.00212#H411 |
| C2D55D7CDW | C2D55D7CDW | statement | record (an 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.27360#RUS9 |
| C2FA22W8A3 | C2FA22W8A3 | statement | record (an 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#FL6F |
| C2FCMT36EH | C2FCMT36EH | statement | record (an 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.03672#GXHL |
| C2FEHZFAXN | C2FEHZFAXN | 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 2406.07116#0QV5 |
| C2FFG9FZZK | C2FFG9FZZK | 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.27078#LBQ8 |
| C2G0G98ENJ | C2G0G98ENJ | statement | record (an 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.19449#WUR0 |
| C2GAV251PA | C2GAV251PA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0709.4546#6TNG |
| C2H50XZ5D3 | C2H50XZ5D3 | statement | record (an 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#IA2D |
| C2HGAF37PP | C2HGAF37PP | exercise | open | levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-8 |
| C2HP8ENAQB | C2HP8ENAQB | 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 1103.1038#HMPV |
| C2HQPX92TS | C2HQPX92TS | statement | record (an 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.25957#X9G3 |
| C2JJS2VJGG | C2JJS2VJGG | statement | record (an 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.05320#5ZOM |
| C2JTCW8N46 | C2JTCW8N46 | 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 2401.11433#HP0X |
| C2JVZ2BJE1 | C2JVZ2BJE1 | proof | open | open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#proof-3 |
| C2KV2E809G | C2KV2E809G | 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.04325#44D1 |
| C2M1SV5VVJ | C2M1SV5VVJ | statement | record (an 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.11309#6ML7 |
| C2MDHQJG3V | C2MDHQJG3V | statement | record (an 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.28552#GOD0 |
| C2MEY2Q2Y2 | C2MEY2Q2Y2 | statement | record (an 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.20207#7G8S |
| C2MTXG8CHS | C2MTXG8CHS | proof | open | lebl_ra ch-seq-ser.tex#proof-12 |
| C2MV2VEAA9 | C2MV2VEAA9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.22882#HVQO |
| C2N0V8WVAM | C2N0V8WVAM | statement | record (an 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.35398#MD6N |
| C2PEJJ41SR | C2PEJJ41SR | statement | record (an 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.16099#RWPK |
| C2PYRBKZC1 | C2PYRBKZC1 | statement | record (an 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#MGM4 |
| C2Q2MPRQGD | C2Q2MPRQGD | proof | open | lebl_ra ch-approximate.tex#proof-25 |
| C2Q6X9R6JH | C2Q6X9R6JH | statement | record (an 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.28282#LLZU |
| C2RCKVA9XF | C2RCKVA9XF | 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.29877#WZFU |
| C2RPEKQGCS | C2RPEKQGCS | statement | record (an 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#1RZ5 |
| C2RQND0Y8R | C2RQND0Y8R | exercise | open | ernst_ibl MAAPressVersion/TasteNumberTheory.tex#problem-2 |
| C2S71C8BD9 | C2S71C8BD9 | statement | record (an 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.20273#DY0Q |
| C2S98CBEJ5 | C2S98CBEJ5 | 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#UEAG |
| C2SAN20BYM | C2SAN20BYM | exercise | open | open_logic content/set-theory/z/pairs.tex#prob-2 |
| C2SS79GMXK | C2SS79GMXK | statement | record (an 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.08261#LVU0 |
| C2T1AY9DF1 | C2T1AY9DF1 | statement | record (an 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.10558#SXEC |
| C2T8WSXSTE | C2T8WSXSTE | statement | open | hott_book homotopy.tex#lem-2 |
| C2T9NJW7GA | C2T9NJW7GA | exercise | open | levin_dmoi ptx/exercises/counting-conc.ptx#exercise-10 |
| C2TWG49BBX | C2TWG49BBX | statement | record (an 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.04600#WMDP |
| C2VJ7YK63Y | C2VJ7YK63Y | statement | record (an 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.37208#M7HX |
| C2WDA87VQC | C2WDA87VQC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1408.1555#MVR9 |
| C2WXWAETEV | C2WXWAETEV | statement | record (an 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.25301#L0GF |
| C2XR8SHFB2 | C2XR8SHFB2 | statement | record (an 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.04075#V5D5 |
| C2YEGRD5MT | C2YEGRD5MT | 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.27078#OLXK |
| C2YVJ1PCHC | C2YVJ1PCHC | 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.27078#237O |
| C2YXCF4P5X | C2YXCF4P5X | statement | record (an 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.02686#CKT2 |
| C2ZJG5E1EP | C2ZJG5E1EP | statement | record (an 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.30664#EYV5 |
| C2ZKZHP1FR | C2ZKZHP1FR | statement | record (an 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.37897#24GU |
| C308Z8D2A6 | C308Z8D2A6 | statement | record (an 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.34852#IYWE |
| C30C7XWDEC | C30C7XWDEC | statement | record (an 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.38188#QXSH |
| C30E7XP7A4 | C30E7XP7A4 | statement | record (an 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#T7FQ |
| C30GVKGY1A | C30GVKGY1A | statement | record (an 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.26675#GHD1 |
| C30RQEBFN0 | C30RQEBFN0 | statement | record (an 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.17698#LJWY |
| C315AY5AGQ | C315AY5AGQ | statement | record (an 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.16461#BPFA |
| C31S2TV5YK | C31S2TV5YK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.01576#3LKW |
| C32155PGN9 | C32155PGN9 | statement | record (an 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.33651#6SS4 |
| C329NB18XX | C329NB18XX | statement | record (an 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.17565#1402 |
| C32JMDG9EK | C32JMDG9EK | statement | record (an 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.20466#6WMX |
| C3342ATQD7 | C3342ATQD7 | statement | record (an 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.11301#Q2LO |
| C33KGHQYHA | C33KGHQYHA | statement | record (an 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.09945#PCE2 |
| C33XHZ5MCA | C33XHZ5MCA | statement | record (an 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.36334#6PZK |
| C347XCHEQF | C347XCHEQF | exercise | open | ernst_ibl MAAPressVersion/IntroFunctions.tex#problem-3 |
| C34PWY2M5E | C34PWY2M5E | statement | record (an 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.06529#KV5V |
| C35KCZFFY7 | C35KCZFFY7 | statement | record (an 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#E5HU |
| C35RGS4SEC | C35RGS4SEC | exercise | open | lebl_ra ch-seq-ser.tex#exercise-7 |
| C35T9085XZ | C35T9085XZ | statement | record (an 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.31102#ZYPP |
| C35TXM2FB9 | C35TXM2FB9 | statement | record (an 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#EIXX |
| C35YXGH0P2 | C35YXGH0P2 | statement | record (an 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.20466#AYT3 |
| C36NJTYQ9Z | C36NJTYQ9Z | definition | open | napkin tex/measure/large-laws.tex#definition-1 |
| C37MN9Q7NE | C37MN9Q7NE | statement | record (an 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#GR5V |
| C37SN4995A | C37SN4995A | statement | record (an 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#T5LY |
| C38C7BWW99 | C38C7BWW99 | statement | record (an 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.25151#PIWQ |
| C38FEGC1E5 | C38FEGC1E5 | statement | record (an 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.37093#FP3J |
| C38FR5ERFY | C38FR5ERFY | statement | record (an 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.13898#72X5 |
| C38HYG7EQC | C38HYG7EQC | statement | record (an 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#TBCN |
| C394MV1TRY | C394MV1TRY | statement | record (an 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.13241#TE8Q |
| C394W9RYV7 | C394W9RYV7 | statement | record (an 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.14717#80E0 |
| C39HHCJ608 | C39HHCJ608 | 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.31274#WJ2T |
| C39VZ43T4D | C39VZ43T4D | statement | record (an 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.24623#N1NP |
| C3A6S6AYNN | C3A6S6AYNN | statement | record (an 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.20480#XI5Q |
| C3A8JFZJE8 | C3A8JFZJE8 | statement | record (an 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.33590#U194 |
| C3A8RPW4VE | C3A8RPW4VE | 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 2604.11825#PQUV |
| C3AA0FZAP2 | C3AA0FZAP2 | statement | record (an 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#2DHO |
| C3AK2VQX4B | C3AK2VQX4B | 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.35467#7R3G |
| C3B14RVH5W | C3B14RVH5W | 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#AT4H |
| C3B4HN4DZZ | C3B4HN4DZZ | statement | record (an 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.21934#2Q3S |
| C3BF6N985V | C3BF6N985V | statement | open | lebl_ra ch-metric.tex#prop:closedsubsetcompact |
| C3BZVJ0VFE | C3BZVJ0VFE | statement | record (an 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.29531#HSDN |
| C3D6F2Q2GK | C3D6F2Q2GK | statement | record (an 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.36313#7XET |
| C3DDFTSJKT | C3DDFTSJKT | statement | record (an 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.31604#KDEM |
| C3DFW9SDPD | C3DFW9SDPD | 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.16768#7TTE |
| C3DHNV0KW8 | C3DHNV0KW8 | statement | record (an 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.09796#619F |
| C3DPBP1V7Y | C3DPBP1V7Y | statement | record (an 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.05631#UT1N |
| C3DVWD1PEP | C3DVWD1PEP | statement | record (an 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.08682#XKRI |
| C3DY8JAVC4 | C3DY8JAVC4 | 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.25703#I8U3 |
| C3FKEY2549 | C3FKEY2549 | statement | record (an 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.07190#1BSA |