{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:FXHAHYFRBGNX6C2VB6QLMY2WCD","short_pith_number":"pith:FXHAHYFR","schema_version":"1.0","canonical_sha256":"2dce03e0b1099b7f0b550fa0b6635610f80561aeee53ffa27da0670d567d8c5f","source":{"kind":"arxiv","id":"1401.3840","version":1},"attestation_state":"computed","paper":{"title":"Grounding FO and FO(ID) with Bounds","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Johan Wittocx, Maarten Mari\\\"en, Marc Denecker","submitted_at":"2014-01-16T04:53:20Z","abstract_excerpt":"Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning systems. Such systems provide a rich first-order input language to a user and can rely on efficient propositional solvers to perform the actual reasoning. \nBesides a first-order theory and finite domain, the input for grounders contains in many applications also additional data. By exploiting this data, the size of the grounders output can often be reduced significantly. A common practice to improve the efficiency of a g"},"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":"1401.3840","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-16T04:53:20Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"eeb93025c53b4c172b1837f3123b3ec3e89b9f135128bddcd703a87b8305494e","abstract_canon_sha256":"6adc0ab8b6ef5b4462b372c88d8a6992b1e1bd57903225cf3abffde8ba1366c5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:06.726306Z","signature_b64":"ozZccjKGn1p0FvQ3kPRregl+FZm69uSuLN8H1wh5/l3vjvEjXFaeejeZc0r7W6EAYq7q9vNu1NvoDMs9micFAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2dce03e0b1099b7f0b550fa0b6635610f80561aeee53ffa27da0670d567d8c5f","last_reissued_at":"2026-05-18T03:02:06.725685Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:06.725685Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Grounding FO and FO(ID) with Bounds","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Johan Wittocx, Maarten Mari\\\"en, Marc Denecker","submitted_at":"2014-01-16T04:53:20Z","abstract_excerpt":"Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning systems. Such systems provide a rich first-order input language to a user and can rely on efficient propositional solvers to perform the actual reasoning. \nBesides a first-order theory and finite domain, the input for grounders contains in many applications also additional data. By exploiting this data, the size of the grounders output can often be reduced significantly. A common practice to improve the efficiency of a g"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3840","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":"1401.3840","created_at":"2026-05-18T03:02:06.725773+00:00"},{"alias_kind":"arxiv_version","alias_value":"1401.3840v1","created_at":"2026-05-18T03:02:06.725773+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3840","created_at":"2026-05-18T03:02:06.725773+00:00"},{"alias_kind":"pith_short_12","alias_value":"FXHAHYFRBGNX","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_16","alias_value":"FXHAHYFRBGNX6C2V","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_8","alias_value":"FXHAHYFR","created_at":"2026-05-18T12:28:28.263976+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/FXHAHYFRBGNX6C2VB6QLMY2WCD","json":"https://pith.science/pith/FXHAHYFRBGNX6C2VB6QLMY2WCD.json","graph_json":"https://pith.science/api/pith-number/FXHAHYFRBGNX6C2VB6QLMY2WCD/graph.json","events_json":"https://pith.science/api/pith-number/FXHAHYFRBGNX6C2VB6QLMY2WCD/events.json","paper":"https://pith.science/paper/FXHAHYFR"},"agent_actions":{"view_html":"https://pith.science/pith/FXHAHYFRBGNX6C2VB6QLMY2WCD","download_json":"https://pith.science/pith/FXHAHYFRBGNX6C2VB6QLMY2WCD.json","view_paper":"https://pith.science/paper/FXHAHYFR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1401.3840&json=true","fetch_graph":"https://pith.science/api/pith-number/FXHAHYFRBGNX6C2VB6QLMY2WCD/graph.json","fetch_events":"https://pith.science/api/pith-number/FXHAHYFRBGNX6C2VB6QLMY2WCD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FXHAHYFRBGNX6C2VB6QLMY2WCD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FXHAHYFRBGNX6C2VB6QLMY2WCD/action/storage_attestation","attest_author":"https://pith.science/pith/FXHAHYFRBGNX6C2VB6QLMY2WCD/action/author_attestation","sign_citation":"https://pith.science/pith/FXHAHYFRBGNX6C2VB6QLMY2WCD/action/citation_signature","submit_replication":"https://pith.science/pith/FXHAHYFRBGNX6C2VB6QLMY2WCD/action/replication_record"}},"created_at":"2026-05-18T03:02:06.725773+00:00","updated_at":"2026-05-18T03:02:06.725773+00:00"}