{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:GNIFUHQCFCMQV4VBVLJE7PCXF2","short_pith_number":"pith:GNIFUHQC","schema_version":"1.0","canonical_sha256":"33505a1e0228990af2a1aad24fbc572e8b5fcf8603440a44a78f5f51d2d69785","source":{"kind":"arxiv","id":"1405.5645","version":1},"attestation_state":"computed","paper":{"title":"A Variant of Earley Deduction With Partial Evaluation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.LO","authors_text":"Heike Stephan, Stefan Brass","submitted_at":"2014-05-22T07:31:16Z","abstract_excerpt":"We present an algorithm for query evaluation given a logic program consisting of function-free Datalog rules. It is based on Earley Deduction [4, 6] and uses a partial evaluation similar to the one we devel oped for our SLDMagic method [1]. With this, finite automata modeling the evaluation of given queries are generated. In certain cases, the new method is more efficient than SLDMagic and the standard Magic Set method since it can process several deduction steps as one."},"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":"1405.5645","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-05-22T07:31:16Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"d99478b26dcdf501c9f12987c93d4a2bfac22b6dfde9f0a1e47edc530636703f","abstract_canon_sha256":"a4ef68ebb118120b623edd5b36b9534552f1e519bf297d9a68cf54775ec255d7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:16.057395Z","signature_b64":"JpnQMAO72xcksDGfndPmNbwtB21lPIxqReQYxdUW6aS0pKsgYT8i22QGsOfCCEGaDT4YrxXbFwyANX8KYpcgBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"33505a1e0228990af2a1aad24fbc572e8b5fcf8603440a44a78f5f51d2d69785","last_reissued_at":"2026-05-18T02:51:16.056697Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:16.056697Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Variant of Earley Deduction With Partial Evaluation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.LO","authors_text":"Heike Stephan, Stefan Brass","submitted_at":"2014-05-22T07:31:16Z","abstract_excerpt":"We present an algorithm for query evaluation given a logic program consisting of function-free Datalog rules. It is based on Earley Deduction [4, 6] and uses a partial evaluation similar to the one we devel oped for our SLDMagic method [1]. With this, finite automata modeling the evaluation of given queries are generated. In certain cases, the new method is more efficient than SLDMagic and the standard Magic Set method since it can process several deduction steps as one."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.5645","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":"1405.5645","created_at":"2026-05-18T02:51:16.056802+00:00"},{"alias_kind":"arxiv_version","alias_value":"1405.5645v1","created_at":"2026-05-18T02:51:16.056802+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.5645","created_at":"2026-05-18T02:51:16.056802+00:00"},{"alias_kind":"pith_short_12","alias_value":"GNIFUHQCFCMQ","created_at":"2026-05-18T12:28:30.664211+00:00"},{"alias_kind":"pith_short_16","alias_value":"GNIFUHQCFCMQV4VB","created_at":"2026-05-18T12:28:30.664211+00:00"},{"alias_kind":"pith_short_8","alias_value":"GNIFUHQC","created_at":"2026-05-18T12:28:30.664211+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/GNIFUHQCFCMQV4VBVLJE7PCXF2","json":"https://pith.science/pith/GNIFUHQCFCMQV4VBVLJE7PCXF2.json","graph_json":"https://pith.science/api/pith-number/GNIFUHQCFCMQV4VBVLJE7PCXF2/graph.json","events_json":"https://pith.science/api/pith-number/GNIFUHQCFCMQV4VBVLJE7PCXF2/events.json","paper":"https://pith.science/paper/GNIFUHQC"},"agent_actions":{"view_html":"https://pith.science/pith/GNIFUHQCFCMQV4VBVLJE7PCXF2","download_json":"https://pith.science/pith/GNIFUHQCFCMQV4VBVLJE7PCXF2.json","view_paper":"https://pith.science/paper/GNIFUHQC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1405.5645&json=true","fetch_graph":"https://pith.science/api/pith-number/GNIFUHQCFCMQV4VBVLJE7PCXF2/graph.json","fetch_events":"https://pith.science/api/pith-number/GNIFUHQCFCMQV4VBVLJE7PCXF2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GNIFUHQCFCMQV4VBVLJE7PCXF2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GNIFUHQCFCMQV4VBVLJE7PCXF2/action/storage_attestation","attest_author":"https://pith.science/pith/GNIFUHQCFCMQV4VBVLJE7PCXF2/action/author_attestation","sign_citation":"https://pith.science/pith/GNIFUHQCFCMQV4VBVLJE7PCXF2/action/citation_signature","submit_replication":"https://pith.science/pith/GNIFUHQCFCMQV4VBVLJE7PCXF2/action/replication_record"}},"created_at":"2026-05-18T02:51:16.056802+00:00","updated_at":"2026-05-18T02:51:16.056802+00:00"}