{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:5ZSAJD2U2RXOULZXBYZIDZVUB2","short_pith_number":"pith:5ZSAJD2U","schema_version":"1.0","canonical_sha256":"ee64048f54d46eea2f370e3281e6b40e87f26886fe1a7dcd23c96a02cdfcd704","source":{"kind":"arxiv","id":"1108.6097","version":1},"attestation_state":"computed","paper":{"title":"Proceedings Second Workshop on Logics for Component Configuration","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"Conrad Drescher, Ines Lynce, Ralf Treinen","submitted_at":"2011-08-30T23:07:40Z","abstract_excerpt":"This volume contains the papers presented at the second international workshop on Logics for Component Configuration (LoCoCo 2011) which was associated with the International Conference on Principles and Practice of Constraint Programming (CP 2011) and which took place on September 12, 2011 in Perugia, Italy. Representing and solving configuration problems is a hot topic of great importance for many application domains. For example, modern software distributions are based on the notion of components, which denote units of independent development and deployment. Components provide the necessary"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1108.6097","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-30T23:07:40Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"99fadfd26f7c71619f8fb18517f330d9a6d954c0be073cfe47c8c63d3c146749","abstract_canon_sha256":"6dd6048e3ade5046d9d928ca6af17f0aa68d1de5d24b340ade70527785146aec"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:14:27.065179Z","signature_b64":"pc3R9RRbjn9rocR1brcW+nATNskSZN9U/nutcE7mDYL7F1BdZFPnAItMXpYFPNqSwID1cE8dIR6JsDSrsSWsBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ee64048f54d46eea2f370e3281e6b40e87f26886fe1a7dcd23c96a02cdfcd704","last_reissued_at":"2026-05-18T04:14:27.064671Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:14:27.064671Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proceedings Second Workshop on Logics for Component Configuration","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"Conrad Drescher, Ines Lynce, Ralf Treinen","submitted_at":"2011-08-30T23:07:40Z","abstract_excerpt":"This volume contains the papers presented at the second international workshop on Logics for Component Configuration (LoCoCo 2011) which was associated with the International Conference on Principles and Practice of Constraint Programming (CP 2011) and which took place on September 12, 2011 in Perugia, Italy. Representing and solving configuration problems is a hot topic of great importance for many application domains. For example, modern software distributions are based on the notion of components, which denote units of independent development and deployment. Components provide the necessary"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.6097","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1108.6097","created_at":"2026-05-18T04:14:27.064754+00:00"},{"alias_kind":"arxiv_version","alias_value":"1108.6097v1","created_at":"2026-05-18T04:14:27.064754+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.6097","created_at":"2026-05-18T04:14:27.064754+00:00"},{"alias_kind":"pith_short_12","alias_value":"5ZSAJD2U2RXO","created_at":"2026-05-18T12:26:22.705136+00:00"},{"alias_kind":"pith_short_16","alias_value":"5ZSAJD2U2RXOULZX","created_at":"2026-05-18T12:26:22.705136+00:00"},{"alias_kind":"pith_short_8","alias_value":"5ZSAJD2U","created_at":"2026-05-18T12:26:22.705136+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/5ZSAJD2U2RXOULZXBYZIDZVUB2","json":"https://pith.science/pith/5ZSAJD2U2RXOULZXBYZIDZVUB2.json","graph_json":"https://pith.science/api/pith-number/5ZSAJD2U2RXOULZXBYZIDZVUB2/graph.json","events_json":"https://pith.science/api/pith-number/5ZSAJD2U2RXOULZXBYZIDZVUB2/events.json","paper":"https://pith.science/paper/5ZSAJD2U"},"agent_actions":{"view_html":"https://pith.science/pith/5ZSAJD2U2RXOULZXBYZIDZVUB2","download_json":"https://pith.science/pith/5ZSAJD2U2RXOULZXBYZIDZVUB2.json","view_paper":"https://pith.science/paper/5ZSAJD2U","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1108.6097&json=true","fetch_graph":"https://pith.science/api/pith-number/5ZSAJD2U2RXOULZXBYZIDZVUB2/graph.json","fetch_events":"https://pith.science/api/pith-number/5ZSAJD2U2RXOULZXBYZIDZVUB2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5ZSAJD2U2RXOULZXBYZIDZVUB2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5ZSAJD2U2RXOULZXBYZIDZVUB2/action/storage_attestation","attest_author":"https://pith.science/pith/5ZSAJD2U2RXOULZXBYZIDZVUB2/action/author_attestation","sign_citation":"https://pith.science/pith/5ZSAJD2U2RXOULZXBYZIDZVUB2/action/citation_signature","submit_replication":"https://pith.science/pith/5ZSAJD2U2RXOULZXBYZIDZVUB2/action/replication_record"}},"created_at":"2026-05-18T04:14:27.064754+00:00","updated_at":"2026-05-18T04:14:27.064754+00:00"}