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 401–500 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| C4S722N2ME | C4S722N2ME | statement | record (an 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#SEPC |
| C4SAN3M5FD | C4SAN3M5FD | statement | record (an 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.32883#BGFW |
| C4SS9PMAC5 | C4SS9PMAC5 | statement | record (an 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.38436#45J3 |
| C4THPJZSQR | C4THPJZSQR | statement | record (an 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.17060#8CBI |
| C4VG8H80DJ | C4VG8H80DJ | statement | record (an 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.21536#G33P |
| C4VXXEXQ93 | C4VXXEXQ93 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-24 |
| C4W7RXCEBT | C4W7RXCEBT | statement | record (an 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.34845#HDCD |
| C4WG346R37 | C4WG346R37 | statement | record (an 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.12034#6MN9 |
| C4Z8MT4M8E | C4Z8MT4M8E | 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.08226#UXU4 |
| C4ZYVRHDQS | C4ZYVRHDQS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.02634#9CL9 |
| C50EMG21PA | C50EMG21PA | 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.02756#45EF |
| C512A1PBXQ | C512A1PBXQ | statement | open | open_logic content/first-order-logic/completeness/compactness-direct.tex#prop:fsat-instances |
| C512FX4NZ8 | C512FX4NZ8 | statement | record (an 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.24878#7Z2Y |
| C51N1KYXY0 | C51N1KYXY0 | 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.28552#N9HW |
| C52374ZAD7 | C52374ZAD7 | statement | record (an 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#VZWR |
| C52B2V49E8 | C52B2V49E8 | 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.36423#RHOU |
| C52BX86021 | C52BX86021 | statement | record (an 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.13528#OBAQ |
| C52K0F18YP | C52K0F18YP | statement | record (an 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#VAWW |
| C52PF71MYH | C52PF71MYH | 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.02017#S0HW |
| C54MYSC51J | C54MYSC51J | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise:normonedim |
| C558C9T18A | C558C9T18A | 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 2501.18744#KVCP |
| C55JFCN5TR | C55JFCN5TR | statement | record (an 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.07717#XQUD |
| C55QECBFQ6 | C55QECBFQ6 | statement | open | ernst_ibl MAAPressVersion/MoreQuantification.tex#thm:negation of quantifiers |
| C55XHEN7YW | C55XHEN7YW | statement | record (an 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.13670#2YNR |
| C564MC59QW | C564MC59QW | statement | record (an 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.37762#J0ZE |
| C567VW50YP | C567VW50YP | exercise | open | open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#prob-1 |
| C56D2WTZYS | C56D2WTZYS | statement | record (an 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#LNLU |
| C56MT6AEDC | C56MT6AEDC | statement | record (an 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#M524 |
| C5729TPMRN | C5729TPMRN | statement | record (an 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.23212#68CF |
| C572ZWR24X | C572ZWR24X | exercise | open | active_calculus source/activities/act-2-1-1.xml#act-2-1-1 |
| C576JQCDP1 | C576JQCDP1 | 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#QRFE |
| C578APVN4F | C578APVN4F | statement | record (an 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.24541#C2SB |
| C57AM5SNGM | C57AM5SNGM | 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.08426#QGT3 |
| C58DQ9Q6PC | C58DQ9Q6PC | statement | record (an 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.05715#VCOH |
| C58EQCP46D | C58EQCP46D | 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.09599#QLK6 |
| C595F8TQ1R | C595F8TQ1R | 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#8BF0 |
| C59HYWSTFW | C59HYWSTFW | statement | record (an 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.39293#5DON |
| C59KJHDKW2 | C59KJHDKW2 | statement | record (an 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.27635#HTTN |
| C59QSBM4BS | C59QSBM4BS | 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.03288#6HWO |
| C59WBZPKPK | C59WBZPKPK | statement | record (an 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.20077#BKNM |
| C59XDC4DEX | C59XDC4DEX | 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.15817#VHIF |
| C5AE77PQJ3 | C5AE77PQJ3 | statement | record (an 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.14374#SQG0 |
| C5AE7NP9FA | C5AE7NP9FA | statement | record (an 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.27366#J3W9 |
| C5B24617ER | C5B24617ER | statement | record (an 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.25468#HBJD |
| C5B5ERKN0R | C5B5ERKN0R | statement | record (an 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#O5HE |
| C5BC5PGTPS | C5BC5PGTPS | statement | record (an 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.02993#8HDA |
| C5BH6MC80W | C5BH6MC80W | statement | record (an 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.09739#IRNU |
| C5BN5QE7JF | C5BN5QE7JF | 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.07530#9N3W |
| C5BQBPA6HD | C5BQBPA6HD | statement | record (an 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.01946#WMPP |
| C5BWEMEBGS | C5BWEMEBGS | exercise | open | austin_ula src/exercises/exercises6-5.xml#exercise-1 |
| C5BZE3AQ5T | C5BZE3AQ5T | statement | record (an 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.28898#QGZF |
| C5CMFYEVAG | C5CMFYEVAG | statement | record (an 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.11619#FVR8 |
| C5CY3NTF70 | C5CY3NTF70 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1012.0963#CYL7 |
| C5D1HRHEW3 | C5D1HRHEW3 | exercise | open | lebl_ra ch-approximate.tex#exercise-46 |
| C5DAT1CANW | C5DAT1CANW | statement | record (an 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#UWYE |
| C5DFERFVK6 | C5DFERFVK6 | statement | record (an 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.16358#AEQC |
| C5DV8QNHZC | C5DV8QNHZC | statement | record (an 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.00596#U7GY |
| C5DVJCGK25 | C5DVJCGK25 | statement | record (an 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.16655#MCY0 |
| C5EXVGMQSG | C5EXVGMQSG | statement | record (an 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.18094#N8NZ |
| C5F35TWPZG | C5F35TWPZG | statement | record (an 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.28514#VFTY |
| C5FP3TR21T | C5FP3TR21T | statement | record (an 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#S5DT |
| C5FZBZNCHQ | C5FZBZNCHQ | 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.27524#SQ89 |
| C5G0RPEZAC | C5G0RPEZAC | statement | record (an 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.10921#PJUX |
| C5G82E1DYW | C5G82E1DYW | statement | record (an 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.31883#4YVN |
| C5HVK0AAHX | C5HVK0AAHX | 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#HVY8 |
| C5J0Z2H957 | C5J0Z2H957 | statement | record (an 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.18078#IM10 |
| C5J149XM5K | C5J149XM5K | example | open | lebl_diffyqs ch-higher-order-ode.tex#example-3 |
| C5J3JATP5Q | C5J3JATP5Q | statement | record (an 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.15887#AKB0 |
| C5JWYB09N6 | C5JWYB09N6 | statement | record (an 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.03050#5VHG |
| C5JZKF7HFC | C5JZKF7HFC | statement | record (an 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.16606#J9ZM |
| C5K6J66P25 | C5K6J66P25 | statement | record (an 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.08222#OBVU |
| C5KQGS34QJ | C5KQGS34QJ | statement | record (an 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#U6MI |
| C5M71DGP29 | C5M71DGP29 | statement | record (an 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#VMKN |
| C5N139SJ8K | C5N139SJ8K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#X13V |
| C5PHQ162VG | C5PHQ162VG | statement | record (an 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.05032#NINI |
| C5QB3X34V5 | C5QB3X34V5 | statement | record (an 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.39169#DL5Y |
| C5QVHKSZ57 | C5QVHKSZ57 | statement | open | hott_book homotopy.tex#lem:fibration-over-pushout |
| C5QVP44VNT | C5QVP44VNT | statement | record (an 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.07828#Y2AM |
| C5QXE2DAXT | C5QXE2DAXT | statement | record (an 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.26169#ODGE |
| C5R6N1G26H | C5R6N1G26H | exercise | open | lebl_diffyqs ch-nonlin-systems.tex#exercise-31 |
| C5RC6XBMAZ | C5RC6XBMAZ | statement | record (an 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#328O |
| C5RW1G6Y2P | C5RW1G6Y2P | statement | record (an 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.32440#SMKC |
| C5RYZ8VY6C | C5RYZ8VY6C | statement | record (an 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.31393#7T4T |
| C5SEB5SK9F | C5SEB5SK9F | statement | record (an 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.16583#8UW9 |
| C5STVEWPE6 | C5STVEWPE6 | statement | record (an 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.18777#2MVX |
| C5T1380BER | C5T1380BER | 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.13833#15TW |
| C5T42YBMW5 | C5T42YBMW5 | statement | record (an 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.12484#RSOW |
| C5TQSFQ63T | C5TQSFQ63T | statement | record (an 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.32505#BZQT |
| C5TXYQ03T5 | C5TXYQ03T5 | statement | record (an 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.04305#NB7G |
| C5VAJKKFP7 | C5VAJKKFP7 | 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.09162#N95D |
| C5VQNX35AE | C5VQNX35AE | statement | record (an 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.16821#8RQ2 |
| C5W0NQCMGV | C5W0NQCMGV | statement | record (an 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.05784#YR1M |
| C5W1ME8VSM | C5W1ME8VSM | 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 2501.01612#JTR9 |
| C5WE1Q90VT | C5WE1Q90VT | proof | open | open_logic content/proof-theory/sequent-calculus/proof-examples.tex#proof-2 |
| C5WW79EZV5 | C5WW79EZV5 | statement | record (an 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#RBMJ |
| C5XGHYHYNB | C5XGHYHYNB | statement | record (an 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.37606#Z9IE |
| C5XZHTZNWZ | C5XZHTZNWZ | statement | record (an 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.25973#3OF0 |
| C5Y27PZWZ6 | C5Y27PZWZ6 | exercise | open | active_calculus source/activities/act-3-1-2.xml#act-3-1-2 |
| C5YAYD5BHT | C5YAYD5BHT | statement | record (an 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.15434#BOJL |
| C5YQ565VQB | C5YQ565VQB | statement | record (an 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.18070#6BQ4 |