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 6001–6100 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| CPE supplies \textup{(F | ZMCAJRSVTB | statement | record (an 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.27961#DZSO |
| CPEC91RDT4 | CPEC91RDT4 | statement | record (an 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#PXCR |
| CPENZRFM5E | CPENZRFM5E | statement | record (an 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#W89Q |
| CPEVZT0E68 | CPEVZT0E68 | 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.04870#NCI5 |
| CPEW9B6NNH | CPEW9B6NNH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0909.2893#8DPI |
| CPEZFNWAC9 | CPEZFNWAC9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.01612#OLKG |
| CPFA9VMNMP | CPFA9VMNMP | unknown | open | Wikidata Q130404513, House of Graphs 49432 |
| CPFAH17F33 | CPFAH17F33 | statement | record (an 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#GVMR |
| CPFGA1FAK0 | CPFGA1FAK0 | statement | record (an 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.34168#3V0A |
| CPFJ491C4V | CPFJ491C4V | statement | record (an 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.36622#1E3S |
| CPG58QSE04 | CPG58QSE04 | proof | open | open_logic content/proof-theory/propositions-as-types/normalization.tex#proof-5 |
| CPGV6DR5XC | CPGV6DR5XC | exercise | open | napkin tex/H113/sylow.tex#ques-4 |
| CPH57NCNT5 | CPH57NCNT5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17009#2VMZ |
| CPH8EZJJP8 | CPH8EZJJP8 | statement | record (an 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.17909#LDYI |
| CPHDNW49YD | CPHDNW49YD | statement | record (an 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.04730#W0M1 |
| CPJF52A2KN | CPJF52A2KN | statement | record (an 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.03719#ASS9 |
| CPMBAQY9K6 | CPMBAQY9K6 | unknown | open | arXiv 2610.06441#ESM4 |
| CPN63582QN | CPN63582QN | statement | record (an 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#HNV4 |
| CPNAWNKSZG | CPNAWNKSZG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2047#SU1J |
| CPNKFGBG7J | CPNKFGBG7J | 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.38138#82NM |
| CPNPGVPV61 | CPNPGVPV61 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.02722#K48B |
| CPNR0SWMRR | CPNR0SWMRR | statement | open | open_logic content/many-valued-logic/three-valued-logics/multiple-designation.tex#prop:LP-taut-CL |
| CPP7QQR4PP | CPP7QQR4PP | statement | record (an 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.15472#QQL8 |
| CPPD6DWF3H | CPPD6DWF3H | statement | record (an 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.16060#Z8LE |
| CPPEJ5JN2F | CPPEJ5JN2F | statement | record (an 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.09207#W1M0 |
| CPPPVJ61KJ | CPPPVJ61KJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.08976#IP2H |
| CPQ30RJ18J | CPQ30RJ18J | 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#BP1C |
| CPQP924D12 | CPQP924D12 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-9 |
| CPQYS6PRF9 | CPQYS6PRF9 | statement | record (an 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.09567#ZR14 |
| CPR2VBS232 | CPR2VBS232 | proof | open | open_logic content/computability/recursive-functions/sequences.tex#proof-2 |
| CPRT543MTA | CPRT543MTA | statement | record (an 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.39707#PS7Q |
| CPS16HR79Q | CPS16HR79Q | 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.15160#OKBN |
| CPS178FY28 | CPS178FY28 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.16205#1NNX |
| CPSG5YRMKV | CPSG5YRMKV | statement | record (an 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.24374#AQ0Q |
| CPT3YKRY2Q | CPT3YKRY2Q | 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 2403.15255#4DXN |
| CPV1JSMZER | CPV1JSMZER | statement | record (an 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.02961#OU35 |
| CPW3JDYRDN | CPW3JDYRDN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.15210#YNOA |
| CPW526BRB6 | CPW526BRB6 | example | open | lebl_diffyqs ch-first-order-ode.tex#exact:examplevortex |
| CPW5561K9X | CPW5561K9X | statement | record (an 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.13741#22DE |
| CPW75TR38A | CPW75TR38A | statement | record (an 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.00914#1H1D |
| CPWJJVGJQ5 | CPWJJVGJQ5 | 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.03138#MG1S |
| CPWM0EFWX2 | CPWM0EFWX2 | statement | record (an 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.36818#Z8KD |
| CPWX3T8E4P | CPWX3T8E4P | exercise | open | napkin tex/alg-NT/numfield.tex#problem-5 |
| CPX07P7AT6 | CPX07P7AT6 | statement | record (an 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.36622#9P18 |
| CPX4KXQ08G | CPX4KXQ08G | statement | record (an 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.27114#3OQG |
| CPX6FQC7JR | CPX6FQC7JR | statement | record (an 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.37124#8TKE |
| CPXPEYE118 | CPXPEYE118 | statement | record (an 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.04809#WFJI |
| CPXT3ED6CH | CPXT3ED6CH | statement | record (an 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.27771#1266 |
| CPXXBEYJ8Q | CPXXBEYJ8Q | definition | open | lebl_scv scv.tex#defn-12 |
| CPYCZ47EYD | CPYCZ47EYD | statement | record (an 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.20663#KQWD |
| CPYYGZ1JG2 | CPYYGZ1JG2 | statement | record (an 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.04135#TLS2 |
| CPZ5A7DTF1 | CPZ5A7DTF1 | statement | record (an 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.24314#TD6A |
| CPZDHFERD6 | CPZDHFERD6 | 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 1903.07030#E97E |
| CPZXQF91BF | CPZXQF91BF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1701.00517#YCAA |
| CQ07PBG0M8 | CQ07PBG0M8 | 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.07927#OBLB |
| CQ0CZAXD1J | CQ0CZAXD1J | statement | record (an 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#IOPF |
| CQ0QE4JJ9H | CQ0QE4JJ9H | statement | record (an 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.02484#OM8Z |
| CQ0QXM16CB | CQ0QXM16CB | statement | open | lebl_ra ch-seq-ser.tex#prop-3 |
| CQ1Q5RRPTT | CQ1Q5RRPTT | statement | record (an 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.21005#20KF |
| CQ214SAV1T | CQ214SAV1T | statement | record (an 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.12691#TOIB |
| CQ2ANVH30Q | CQ2ANVH30Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.05191#O2CR |
| CQ443Q3GXQ | CQ443Q3GXQ | statement | record (an 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.37265#55GW |
| CQ47WN7KN8 | CQ47WN7KN8 | 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.40290#GS4P |
| CQ54M3RW42 | CQ54M3RW42 | statement | record (an 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.31126#XK6C |
| CQ61DS27F8 | CQ61DS27F8 | statement | record (an 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#KZSX |
| CQ770N6QZ5 | CQ770N6QZ5 | statement | record (an 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#AW7R |
| CQ7GEPFYF7 | CQ7GEPFYF7 | statement | record (an 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.27694#A8FF |
| CQ7PVFW9H2 | CQ7PVFW9H2 | statement | record (an 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.25912#5LGP |
| CQ7YE9E65M | CQ7YE9E65M | statement | record (an 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.05965#KGJ6 |
| CQ9P2R0FRD | CQ9P2R0FRD | 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.11455#8EY2 |
| CQAATB9X9J | CQAATB9X9J | statement | record (an 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.39948#2S22 |
| CQAH8E66PF | CQAH8E66PF | statement | record (an 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.36181#HT76 |
| CQAKEQM2WK | CQAKEQM2WK | statement | record (an 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.13271#9021 |
| CQAWN7HAVB | CQAWN7HAVB | statement | record (an 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.38556#3WCR |
| CQAZKTSH3K | CQAZKTSH3K | statement | record (an 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#TIXJ |
| CQBHB8VXV1 | CQBHB8VXV1 | statement | record (an 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.14837#YP9U |
| CQBJVW1Q2S | CQBJVW1Q2S | 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.36016#85W8 |
| CQBQ6E1XAQ | CQBQ6E1XAQ | statement | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#cor-1 |
| CQCN37XDBS | CQCN37XDBS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1507.03803#POD3 |
| CQCP0EDTY4 | CQCP0EDTY4 | 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.31604#5JLX |
| CQD0V914BV | CQD0V914BV | proof | open | hott_book setmath.tex#proof-12 |
| CQD1DNDJKM | CQD1DNDJKM | 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 2303.09207#K7GA |
| CQD2QTAG8R | CQD2QTAG8R | statement | record (an 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.21971#3MO8 |
| CQD4YVGFFD | CQD4YVGFFD | statement | record (an 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.15700#BTYQ |
| CQD9D5ER3N | CQD9D5ER3N | statement | record (an 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#K6LL |
| CQDBYX7GR3 | CQDBYX7GR3 | statement | record (an 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.17412#2MD5 |
| CQDV38912Q | CQDV38912Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.07461#LJI0 |
| CQDVD24QBB | CQDVD24QBB | 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.31604#KMY3 |
| CQEP3JYY28 | CQEP3JYY28 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.13184#30W5 |
| CQFGVBNYB2 | CQFGVBNYB2 | 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.26201#EB9M |
| CQFZWB1EGZ | CQFZWB1EGZ | statement | record (an 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.01208#92ZO |
| CQGRKQBDV0 | CQGRKQBDV0 | statement | record (an 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#XYUI |
| CQH7TNN96X | CQH7TNN96X | statement | record (an 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.28489#HF97 |
| CQHAYH8FQ8 | CQHAYH8FQ8 | exercise | open | austin_ula src/exercises/exercises1-1.xml#exercise-1 |
| CQHM5J2PBE | CQHM5J2PBE | statement | record (an 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#BUPE |
| CQJ1JVW9CH | CQJ1JVW9CH | proof | open | lebl_ra ch-seq-ser.tex#proof-11 |
| CQJ2M6YXSE | CQJ2M6YXSE | statement | record (an 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.36181#FPDW |
| CQJTR2VBA9 | CQJTR2VBA9 | statement | record (an 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.21036#RF8Y |
| CQK6BNVG90 | CQK6BNVG90 | statement | record (an 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#RXW5 |
| CQKD0RHEVX | CQKD0RHEVX | statement | record (an 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.34011#1UUX |