{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:RPIKOKOVGDWCOTU3EPJLP2INS3","short_pith_number":"pith:RPIKOKOV","schema_version":"1.0","canonical_sha256":"8bd0a729d530ec274e9b23d2b7e90d96de471a4d6207e2e0b37f296a02ad1a58","source":{"kind":"arxiv","id":"1512.01041","version":1},"attestation_state":"computed","paper":{"title":"Querying with {\\L}ukasiewicz logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.DB","math.LO"],"primary_cat":"cs.LO","authors_text":"Brunella Gerla, Diego Valota, Pietro Codara, Stefano Aguzzoli, Tommaso Flaminio","submitted_at":"2015-12-03T11:26:40Z","abstract_excerpt":"In this paper we present, by way of case studies, a proof of concept, based on a prototype working on a automotive data set, aimed at showing the potential usefulness of using formulas of {\\L}ukasiewicz propositional logic to query databases in a fuzzy way. Our approach distinguishes itself for its stress on the purely linguistic, contraposed with numeric, formulations of queries. Our queries are expressed in the pure language of logic, and when we use (integer) numbers, these stand for shortenings of formulas on the syntactic level, and serve as linguistic hedges on the semantic one. Our case"},"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":"1512.01041","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-12-03T11:26:40Z","cross_cats_sorted":["cs.AI","cs.DB","math.LO"],"title_canon_sha256":"ba72643bd29031db751ae0403f6d8e82780930fd082e8f85d95ed22cbf214b06","abstract_canon_sha256":"a42220780a0eb236c0bb5d2900be9c8d18c6f433d6f39f489c27d4a38ab5de47"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:25:23.508755Z","signature_b64":"v4WeWuYA4gg56FeFqOTTmJ53vuwdsI9IgPsSU59F8GIC69RObAWslUaBJR9WhxPGqQuj77CftrAbb7EfO/VGBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8bd0a729d530ec274e9b23d2b7e90d96de471a4d6207e2e0b37f296a02ad1a58","last_reissued_at":"2026-05-18T01:25:23.508272Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:25:23.508272Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Querying with {\\L}ukasiewicz logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.DB","math.LO"],"primary_cat":"cs.LO","authors_text":"Brunella Gerla, Diego Valota, Pietro Codara, Stefano Aguzzoli, Tommaso Flaminio","submitted_at":"2015-12-03T11:26:40Z","abstract_excerpt":"In this paper we present, by way of case studies, a proof of concept, based on a prototype working on a automotive data set, aimed at showing the potential usefulness of using formulas of {\\L}ukasiewicz propositional logic to query databases in a fuzzy way. Our approach distinguishes itself for its stress on the purely linguistic, contraposed with numeric, formulations of queries. Our queries are expressed in the pure language of logic, and when we use (integer) numbers, these stand for shortenings of formulas on the syntactic level, and serve as linguistic hedges on the semantic one. Our case"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.01041","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":"1512.01041","created_at":"2026-05-18T01:25:23.508358+00:00"},{"alias_kind":"arxiv_version","alias_value":"1512.01041v1","created_at":"2026-05-18T01:25:23.508358+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.01041","created_at":"2026-05-18T01:25:23.508358+00:00"},{"alias_kind":"pith_short_12","alias_value":"RPIKOKOVGDWC","created_at":"2026-05-18T12:29:39.896362+00:00"},{"alias_kind":"pith_short_16","alias_value":"RPIKOKOVGDWCOTU3","created_at":"2026-05-18T12:29:39.896362+00:00"},{"alias_kind":"pith_short_8","alias_value":"RPIKOKOV","created_at":"2026-05-18T12:29:39.896362+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/RPIKOKOVGDWCOTU3EPJLP2INS3","json":"https://pith.science/pith/RPIKOKOVGDWCOTU3EPJLP2INS3.json","graph_json":"https://pith.science/api/pith-number/RPIKOKOVGDWCOTU3EPJLP2INS3/graph.json","events_json":"https://pith.science/api/pith-number/RPIKOKOVGDWCOTU3EPJLP2INS3/events.json","paper":"https://pith.science/paper/RPIKOKOV"},"agent_actions":{"view_html":"https://pith.science/pith/RPIKOKOVGDWCOTU3EPJLP2INS3","download_json":"https://pith.science/pith/RPIKOKOVGDWCOTU3EPJLP2INS3.json","view_paper":"https://pith.science/paper/RPIKOKOV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1512.01041&json=true","fetch_graph":"https://pith.science/api/pith-number/RPIKOKOVGDWCOTU3EPJLP2INS3/graph.json","fetch_events":"https://pith.science/api/pith-number/RPIKOKOVGDWCOTU3EPJLP2INS3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RPIKOKOVGDWCOTU3EPJLP2INS3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RPIKOKOVGDWCOTU3EPJLP2INS3/action/storage_attestation","attest_author":"https://pith.science/pith/RPIKOKOVGDWCOTU3EPJLP2INS3/action/author_attestation","sign_citation":"https://pith.science/pith/RPIKOKOVGDWCOTU3EPJLP2INS3/action/citation_signature","submit_replication":"https://pith.science/pith/RPIKOKOVGDWCOTU3EPJLP2INS3/action/replication_record"}},"created_at":"2026-05-18T01:25:23.508358+00:00","updated_at":"2026-05-18T01:25:23.508358+00:00"}