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 601–700 of 15607.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| C5WTC2C73H | C5WTC2C73H | statement | record (an 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.23343#WXLV |
| 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 |
| C5WZS37MQ4 | C5WZS37MQ4 | statement | record (an 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.22394#S3QF |
| C5XD8BTCX4 | C5XD8BTCX4 | statement | record (an 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.23538#646N |
| 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 |
| C5YSF87QKV | C5YSF87QKV | statement | record (an 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.13950#H11T |
| C5Z0JB59C9 | C5Z0JB59C9 | statement | open | open_logic content/set-theory/ord-arithmetic/addition.tex#ordsumnotcommute |
| C5Z826SKGB | C5Z826SKGB | exercise | open | austin_ula src/section4-2.xml#activity-2 |
| C5ZBXQA6VP | C5ZBXQA6VP | exercise | open | lebl_scv scv.tex#exercise-12 |
| C5ZCQX0CKS | C5ZCQX0CKS | statement | record (an 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#3OI1 |
| C5ZNN9GDBQ | C5ZNN9GDBQ | statement | record (an 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.20944#HK7R |
| C60WJXJ9NB | C60WJXJ9NB | statement | record (an 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.24845#TIUA |
| C61520K8SN | C61520K8SN | statement | record (an 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.28265#ZHJ2 |
| C620EB6PGM | C620EB6PGM | statement | record (an 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.26455#P3QF |
| C62EWQFE1J | C62EWQFE1J | 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.30262#F9OF |
| C62Y1WYRVP | C62Y1WYRVP | statement | open | napkin tex/measure/swapsum.tex#proposition-1 |
| C639JCJ30T | C639JCJ30T | 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.20131#SYMI |
| C63FT607N0 | C63FT607N0 | statement | record (an 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.02669#2OPH |
| C63WT1J98C | C63WT1J98C | 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.01251#7XKQ |
| C64DCFKGEK | C64DCFKGEK | 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.33015#JVFI |
| C64GP6YP20 | C64GP6YP20 | statement | record (an 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.10925#O5KP |
| C64JS9JS8Y | C64JS9JS8Y | statement | record (an 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.24553#L3D4 |
| C65FYHKX1N | C65FYHKX1N | 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.07122#1FC4 |
| C65HXW80QH | C65HXW80QH | statement | record (an 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/9802134#BRSO |
| C662ZW4N2R | C662ZW4N2R | statement | record (an 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.22924#TCQS |
| C66FSWQBV7 | C66FSWQBV7 | statement | record (an 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#RCVN |
| C66P2PTMSA | C66P2PTMSA | statement | record (an 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.28141#SZ33 |
| C66VBBJQW5 | C66VBBJQW5 | 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 0806.0033#OCZ3 |
| C672SD4C5M | C672SD4C5M | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-53 |
| C674E8EMYZ | C674E8EMYZ | proof | open | lebl_scv scv.tex#proof-15 |
| C67MQM1JDF | C67MQM1JDF | statement | record (an 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.21090#WU62 |
| C682R1QK4M | C682R1QK4M | 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.09162#VC71 |
| C68KVNETA9 | C68KVNETA9 | statement | record (an 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.26180#20LR |
| C68SGSG67A | C68SGSG67A | statement | record (an 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.31907#I011 |
| C6A26H0FSD | C6A26H0FSD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.0817#Y49F |
| C6A74PEWTW | C6A74PEWTW | 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.37520#XEQ9 |
| C6AP0FZM2J | C6AP0FZM2J | statement | record (an 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.32599#VPEB |
| C6BTR8KWS3 | C6BTR8KWS3 | statement | record (an 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.29262#UYM5 |
| C6CCK62GA9 | C6CCK62GA9 | statement | record (an 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.05730#DCCT |
| C6CG5EVDJS | C6CG5EVDJS | statement | record (an 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.03058#SUOE |
| C6CKH908H0 | C6CKH908H0 | 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 2409.20170#FMRL |
| C6CXV1HTB2 | C6CXV1HTB2 | statement | record (an 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.35361#VE42 |
| C6DP3JP045 | C6DP3JP045 | statement | record (an 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.02213#7VAB |
| C6E1P40VV2 | C6E1P40VV2 | statement | record (an 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.22078#9OTV |
| C6ECA2Y08Q | C6ECA2Y08Q | statement | record (an 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#R53W |
| C6EMYBRXA8 | C6EMYBRXA8 | statement | record (an 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.03856#WMIR |
| C6F9SVQXAD | C6F9SVQXAD | statement | record (an 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.23812#3RMO |
| C6FCP0GM4E | C6FCP0GM4E | example | open | napkin tex/diffgeo/forms.tex#example-2 |
| C6FFWHDWJG | C6FFWHDWJG | statement | record (an 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#U7PH |
| C6FGDP8GG3 | C6FGDP8GG3 | statement | record (an 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#IP03 |
| C6FQT5X0A4 | C6FQT5X0A4 | statement | record (an 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#VHO5 |
| C6G5V8WPRX | C6G5V8WPRX | statement | record (an 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.19459#U9N8 |
| C6H7Y3AEVZ | C6H7Y3AEVZ | 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.16941#NDPZ |
| C6HWA8CR4F | C6HWA8CR4F | 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 1705.04310#POU0 |
| C6J236YY2G | C6J236YY2G | 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.36045#EY04 |
| C6J38420MS | C6J38420MS | 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.08382#9X1U |
| C6J3DXEN58 | C6J3DXEN58 | statement | open | open_logic content/intuitionistic-logic/tableaux/soundness.tex#prop-1 |
| C6JCA8WECP | C6JCA8WECP | statement | record (an 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.17527#Z759 |
| C6JQ6YA6HZ | C6JQ6YA6HZ | statement | record (an 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.16554#2OZ7 |
| C6JRQT6W68 | C6JRQT6W68 | statement | record (an 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.06445#98XR |
| C6KF5JNWFB | C6KF5JNWFB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.02468#BU8L |
| C6KPW2AE9P | C6KPW2AE9P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.14879#49H7 |
| C6MEQGXDX9 | C6MEQGXDX9 | statement | open | open_logic content/turing-machines/machines-computations/combining-machines.tex#prop-1 |
| C6MXG8GJSD | C6MXG8GJSD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1909.03896#FY9B |
| C6MYXMT4Q4 | C6MYXMT4Q4 | statement | record (an 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.20225#U1RB |
| C6NCK11SMZ | C6NCK11SMZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.15812#GV8I |
| C6NKV8H40Y | C6NKV8H40Y | statement | record (an 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.32174#RFCF |
| C6NZ7PMQN9 | C6NZ7PMQN9 | exercise | open | open_logic content/model-theory/models-of-arithmetic/computable-models.tex#prob-1 |
| C6NZEQMPRN | C6NZEQMPRN | statement | record (an 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.16669#9M7S |
| C6P4PDZVFZ | C6P4PDZVFZ | proof | open | napkin tex/calculus/differentiate.tex#proof-9 |
| C6P8B7W99W | C6P8B7W99W | 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.18377#US5I |
| C6PASBFXN7 | C6PASBFXN7 | statement | record (an 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.14811#ZSLU |
| C6PM98MMTN | C6PM98MMTN | statement | record (an 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.15460#VPT0 |
| C6PVFE3B0X | C6PVFE3B0X | 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#3HW3 |
| C6QKWT598A | C6QKWT598A | statement | record (an 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#9H6O |
| C6R0Q8281C | C6R0Q8281C | 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 2610.18600#9AYJ |
| C6RCC321XA | C6RCC321XA | proof | open | open_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-8 |
| C6RJRHCH68 | C6RJRHCH68 | statement | record (an 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.01267#F4EG |
| C6RKP8JSTP | C6RKP8JSTP | statement | record (an 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.37920#UDIF |
| C6T3BS2SC6 | C6T3BS2SC6 | statement | record (an 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.02893#2GDP |
| C6TD2M3EXS | C6TD2M3EXS | proof | open | open_logic content/incompleteness/incompleteness-provability/rosser-thm.tex#proof-1 |
| C6THTMVE70 | C6THTMVE70 | statement | record (an 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.24082#Q5PK |
| C6V11ASNR5 | C6V11ASNR5 | statement | record (an 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.34923#I9BC |
| C6V4PDGH6F | C6V4PDGH6F | statement | record (an 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.13852#72TW |
| C6VDWQSGGA | C6VDWQSGGA | statement | record (an 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#U5FJ |
| C6VG3HATZQ | C6VG3HATZQ | statement | record (an 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.21444#JRX9 |
| C6W7M9RDBW | C6W7M9RDBW | statement | record (an 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.24917#70HC |
| C6WMYBSWF0 | C6WMYBSWF0 | 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.23106#XBD8 |
| C6WTKKCWF3 | C6WTKKCWF3 | statement | record (an 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.18242#EQMG |
| C6WW75V9R9 | C6WW75V9R9 | statement | record (an 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.21037#T7WR |
| C6XGA864SR | C6XGA864SR | statement | record (an 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.03238#17RF |
| C6XNM45ZRB | C6XNM45ZRB | 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.08873#SI06 |